| 2025 | ICSE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. | Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun |
| 2025 | ICSE | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. | Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First |
| 2024 | ICSE | Automated Program Repair, What Is It Good For? Not Absolutely Nothing! | Hadeel Eladawy, Claire Le Goues, Yuriy Brun |
| 2023 | ICSE | PRoofster: Automated Formal Verification. | Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun |
| 2023 | ICSE | Seldonian Toolkit: Building Software with Safe and Fair Machine Learning. | Austin Hoag, James E. Kostas, Bruno Castro da Silva, Philip S. Thomas, Yuriy Brun |
| 2023 | ICSE | Better Automatic Program Repair by Using Bug Reports and Tests Together. | Manish Motwani, Yuriy Brun |
| 2023 | ICSE | Understanding Why and Predicting When Developers Adhere to Code-Quality Standards. | Manish Motwani, Yuriy Brun |
| 2023 | ICSE | Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions. | Saghar Talebipour, Hyojae Park, Kesina Baral, Leon Yee, Safwat Ali Khan, Kevin Moran, Yuriy Brun, Nenad Medvidovic, Yixue Zhao |
| 2022 | ICLR | Fairness Guarantees under Demographic Shift. | Stephen Giguere, Blossom Metevier, Bruno Castro da Silva, Yuriy Brun, Philip S. Thomas, Scott Niekum |
| 2022 | ICSE | Diversity-Driven Automated Formal Verification. | Emily First, Yuriy Brun |
| 2022 | ICSE | Fairkit-learn: A Fairness Evaluation and Comparison Toolkit. | Brittany Johnson, Yuriy Brun |
| 2020 | DLS | Wasm/k: delimited continuations for WebAssembly. | Donald Pinckney, Arjun Guha, Yuriy Brun |
| 2020 | ICSE | Causal testing: understanding defects' root causes. | Brittany Johnson, Yuriy Brun, Alexandra Meliou |
| 2019 | ICSE | Automatically generating precise Oracles from structured natural language specifications. | Manish Motwani, Yuriy Brun |
| 2018 | ICSA | Recovering Architectural Design Decisions. | Arman Shahbazian, Youn Kyu Lee, Duc Minh Le, Yuriy Brun, Nenad Medvidovic |
| 2018 | ICSE | Do automated program repair techniques repair hard and important bugs? | Manish Motwani, Sandhya Sankaranarayanan, Ren Just, Yuriy Brun |
| 2018 | ICSE | Making well-informed software design decisions. | Arman Shahbazian, Youn Kyu Lee, Yuriy Brun, Nenad Medvidovic |
| 2018 | SOUPS | API Blindspots: Why Experienced Developers Write Vulnerable Code. | Daniela Seabra Oliveira, Tian Lin, Muhammad Sajidur Rahman, Rad Akefirad, Donovan M. Ellis, Eliany Perez, Rahul Bobhate, Lois DeLong, Justin Cappos, Yuriy Brun |
| 2017 | ICSA | Continuous Analysis of Collaborative Design. | Jae Young Bang, Yuriy Brun, Nenad Medvidovic |
| 2017 | ICST | Behavioral Execution Comparison: Are Tests Representative of Field Behavior? | Qianqian Wang, Yuriy Brun, Alessandro Orso |
| 2016 | ICSE | Visually reasoning about system and resource behavior. | Tony Ohmann, Ryan Stanley, Ivan Beschastnikh, Yuriy Brun |
| 2016 | ICSE | Specification and analysis of human-intensive system resource-utilization policies. | Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil |
| 2015 | FASE | Resource Specification for Prototyping Human-Intensive Systems. | Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman |
| 2015 | ISSRE | Detecting latent cross-platform API violations. | Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos |
| 2015 | ISSRE | Discovering specification violations in networked software systems. | Robert J. Walls, Yuriy Brun, Marc Liberatore, Brian Neil Levine |
| 2015 | ISSTA | Preventing data errors with continuous testing. | Kivan Muslu, Yuriy Brun, Alexandra Meliou |
| 2014 | ICSE | Shedding light on distributed system executions. | Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst |
| 2014 | ICSE | Inferring models of concurrent systems from logs of their behavior with CSight. | Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy |
| 2014 | ICSE | Mining precise performance-aware behavioral models from existing instrumentation. | Tony Ohmann, Kevin Thai, Ivan Beschastnikh, Yuriy Brun |
| 2013 | ICSE | Unifying FSM-inference algorithms through declarative specification. | Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy |
| 2013 | ICSE | Resource scheduling through resource-aware simulation of emergency departments. | Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil |
| 2013 | ICSE | Understanding regression failures through test-passing and test-failing code changes. | Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, Yuriy Brun |
| 2012 | ICSE | Improving IDE recommendations by considering global implications of existing recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2012 | ICSE | Traffic routing for evaluating self-adaptation. | Jochen Wuttke, Yuriy Brun, Alessandra Gorla, Jonathan Ramaswamy |
| 2012 | OOPSLA | Speculative analysis of integrated development environment recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2011 | ACL | That's What She Said: Double Entendre Identification. | Chlo Kiddon, Yuriy Brun |
| 2011 | ICDCS | Smart Redundancy for Distributed Computation. | Yuriy Brun, George Edwards, Jae Young Bang, Nenad Medvidovic |
| 2010 | DNA | Improving Efficiency of 3-SAT-Solving Tile Systems. | Yuriy Brun |
| 2010 | ICSE | Improving impact of self-adaptation and self-management research through evaluation methodology. | Yuriy Brun |
| 2010 | ICSE | Using dynamic execution traces and program invariants to enhance behavioral model inference. | Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic |
| 2010 | OSDI | Synoptic: Summarizing System Logs with Refinement. | Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun |
| 2009 | ICSE | From system specifications to component behavioral models. | Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic |
| 2008 | DNA | Connecting the Dots: Molecular Machinery for Distributed Robotics. | Yuriy Brun, Dustin Reishus |
| 2007 | DNA | Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time. | Yuriy Brun |
| 2007 | ICSE | A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks. | Yuriy Brun |
| 2007 | ICSE | An Architectural Style for Solving Computationally Intensive Problems on Large Networks. | Yuriy Brun, Nenad Medvidovic |
| 2004 | ICSE | Finding Latent Code Errors via Machine Learning over Program Executions. | Yuriy Brun, Michael D. Ernst |