All Stories

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

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

    Yuriy Brun

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

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

    Yuriy Brun

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

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

    Yuriy Brun

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

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

    Yuriy Brun

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

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

    Yuriy Brun, Manish Motwani

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

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

    Yuriy Brun

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

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

    Yuriy Brun, Austin Hoag

  8. PRoofster: Automated Formal Verification

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

    Yuriy Brun

  9. Passport: Improving Automated Formal Verification Using Identifiers

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

    Yuriy Brun

  10. 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

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

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

    Yuriy Brun

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

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

    Yuriy Brun

  13. Diversity-driven automated formal verification

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

    Yuriy Brun

  14. Fairkit-learn

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

    Yuriy Brun

  15. Wasm/k: delimited continuations for WebAssembly

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

    Yuriy Brun

  16. TacTok: semantics-aware proof synthesis

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

    Yuriy Brun

  17. eQual: informing early design decisions

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

    Yuriy Brun

  18. Causal testing

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

    Yuriy Brun

  19. Visualizing Distributed System Executions

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

    Yuriy Brun

  20. Formal foundations of serverless computing

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

    Yuriy Brun

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

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

    Yuriy Brun, Manish Motwani

  22. Making well-informed software design decisions

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

    Yuriy Brun

  23. Effectiveness of anonymization in double-blind review

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

    Yuriy Brun, Emery Berger

  24. Visually reasoning about system and resource behavior

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

    Yuriy Brun

  25. Repairing Programs with Semantic Code Search (T)

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

    Yuriy Brun

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

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

    Yuriy Brun

  27. Preventing data errors with continuous testing

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

    Yuriy Brun

  28. Behavioral resource-aware model inference

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

    Yuriy Brun

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

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

    Yuriy Brun

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

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

    Yuriy Brun