All Stories

  1. Automatically Engineering Trusted Software: A Research Roadmap

    Article • ACM Transactions on Software Engineering and Methodology, March 2026, ACM (Association for Computing Machinery)

    Yuriy Brun

  2. QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun

  3. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun

  4. Automated Program Repair, What Is It Good For? Not Absolutely Nothing!

    Article • April 2024, ACM (Association for Computing Machinery)

    Yuriy Brun

  5. Baldur: Whole-Proof Generation and Repair with Large Language Models

    Article • November 2023, ACM (Association for Computing Machinery)

    Yuriy Brun

  6. Better Automatic Program Repair by Using Bug Reports and Tests Together

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun, Manish Motwani

  7. Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun

  8. Lowering the bar for achieving responsible ML in modern software systems

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun, Austin Hoag

  9. PRoofster: Automated Formal Verification

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun

  10. Passport: Improving Automated Formal Verification Using Identifiers

    Article • ACM Transactions on Programming Languages and Systems, April 2023, ACM (Association for Computing Machinery)

    Yuriy Brun

  11. Blindspots in Python and Java APIs Result in Vulnerable Code

    Article • ACM Transactions on Software Engineering and Methodology, November 2022, ACM (Association for Computing Machinery)

    Yuriy Brun

  12. Avgust: automating usage-based test generation from videos of app executions

    Article • November 2022, ACM (Association for Computing Machinery)

    Yuriy Brun

  13. The promise and perils of using machine learning when engineering software (keynote paper)

    Article • November 2022, ACM (Association for Computing Machinery)

    Yuriy Brun

  14. Diversity-driven automated formal verification

    Article • May 2022, ACM (Association for Computing Machinery)

    Yuriy Brun

  15. Fairkit-learn

    Article • May 2022, ACM (Association for Computing Machinery)

    Yuriy Brun

  16. Wasm/k: delimited continuations for WebAssembly

    Article • November 2020, ACM (Association for Computing Machinery)

    Yuriy Brun

  17. TacTok: semantics-aware proof synthesis

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Yuriy Brun

  18. eQual: informing early design decisions

    Article • November 2020, ACM (Association for Computing Machinery)

    Yuriy Brun

  19. Causal testing

    Article • June 2020, ACM (Association for Computing Machinery)

    Yuriy Brun

  20. Visualizing Distributed System Executions

    Article • ACM Transactions on Software Engineering and Methodology, April 2020, ACM (Association for Computing Machinery)

    Yuriy Brun

  21. Formal foundations of serverless computing

    Article • Proceedings of the ACM on Programming Languages, October 2019, ACM (Association for Computing Machinery)

    Yuriy Brun

  22. Do automated program repair techniques repair hard and important bugs?

    Article • May 2018, ACM (Association for Computing Machinery)

    Yuriy Brun, Manish Motwani

  23. Making well-informed software design decisions

    Article • May 2018, ACM (Association for Computing Machinery)

    Yuriy Brun

  24. Effectiveness of anonymization in double-blind review

    Article • Communications of the ACM, May 2018, ACM (Association for Computing Machinery)

    Yuriy Brun, Emery Berger

  25. Visually reasoning about system and resource behavior

    Article • May 2016, ACM (Association for Computing Machinery)

    Yuriy Brun

  26. Repairing Programs with Semantic Code Search (T)

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Yuriy Brun

  27. Is the cure worse than the disease? overfitting in automated program repair

    Article • August 2015, ACM (Association for Computing Machinery)

    Yuriy Brun

  28. Preventing data errors with continuous testing

    Article • July 2015, ACM (Association for Computing Machinery)

    Yuriy Brun

  29. Behavioral resource-aware model inference

    Article • September 2014, ACM (Association for Computing Machinery)

    Yuriy Brun

  30. Inferring models of concurrent systems from logs of their behavior with CSight

    Article • May 2014, ACM (Association for Computing Machinery)

    Yuriy Brun

  31. Automatic mining of specifications from invocation traces and method invariants

    Article • January 2014, ACM (Association for Computing Machinery)

    Yuriy Brun