Yuriy Brun

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 61

Top Venues

CoRR

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

ICSE

Publications

Aimen Gaba, Zhanna Kaufman, Jason Cheung, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. IEEE Trans. Vis. Comput. Graph. 30 (1) (2024)
Kunjal Panchal, Nisarg Parikh, Sunav Choudhary, Lijun Zhang, Yuriy Brun, Hui Guan
Thinking Forward: Memory-Efficient Federated Finetuning of Language Models. CoRR (2024)
Lijun Zhang, Xiao Liu, Antoni Viros Martin, Cindy Xiong Bearfield, Yuriy Brun, Hui Guan
Robust Image Watermarking using Stable Diffusion. CoRR (2024)
Hadeel Eladawy, Claire Le Goues, Yuriy Brun
Automated Program Repair, What Is It Good For? Not Absolutely Nothing! ICSE (2024)
Aimen Gaba, Zhanna Kaufman, Jason Chueng, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. CoRR (2023)
Saghar Talebipour, Hyojae Park, Kesina Baral, Leon Yee, Safwat Ali Khan, Kevin Moran, Yuriy Brun, Nenad Medvidovic, Yixue Zhao
Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions. ICSE Companion (2023)
Manish Motwani, Yuriy Brun
Understanding Why and Predicting When Developers Adhere to Code-Quality Standards. ICSE-SEIP (2023)
Shin Hwei Tan, Dongsun Kim, Sergey Mechtaev, Yuriy Brun
International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs. APR@ICSE (2023)
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE (2023)
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR (2023)
Yuriy Brun, Tian Lin, Jessie Elise Somerville, Elisha Myers, Natalie C. Ebner
Blindspots in Python and Java APIs Result in Vulnerable Code. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Austin Hoag, James E. Kostas, Bruno Castro da Silva, Philip S. Thomas, Yuriy Brun
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning. ICSE Companion (2023)
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
PRoofster: Automated Formal Verification. ICSE Companion (2023)
Manish Motwani, Yuriy Brun
Better Automatic Program Repair by Using Bug Reports and Tests Together. ICSE (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. CoRR (2022)
Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran
Avgust: automating usage-based test generation from videos of app executions. ESEC/SIGSOFT FSE (2022)
Brittany Johnson, Yuriy Brun
Fairkit-learn: A Fairness Evaluation and Comparison Toolkit. ICSE-Companion (2022)
Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran
Avgust: Automating Usage-Based Test Generation from Videos of App Executions. CoRR (2022)
Aline Weber, Blossom Metevier, Yuriy Brun, Philip S. Thomas, Bruno Castro da Silva
Enforcing Delayed-Impact Fairness Guarantees. CoRR (2022)
Emily First, Yuriy Brun
Diversity-Driven Automated Formal Verification. ICSE (2022)
Yuriy Brun
The promise and perils of using machine learning when engineering software (keynote paper). MaLTeSQuE@ESEC/SIGSOFT FSE (2022)
Stephen Giguere, Blossom Metevier, Bruno Castro da Silva, Yuriy Brun, Philip S. Thomas, Scott Niekum
Fairness Guarantees under Demographic Shift. ICLR (2022)
Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues
Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. 48 (2) (2022)
Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, Claire Le Goues
SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Trans. Software Eng. 47 (10) (2021)
Yuriy Brun, Tian Lin, Jessie Elise Somerville, Elisha Myers, Natalie C. Ebner
Blindspots in Python and Java APIs Result in Vulnerable Code. CoRR (2021)
Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst
Visualizing Distributed System Executions. ACM Trans. Softw. Eng. Methodol. 29 (2) (2020)
Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: Delimited Continuations for WebAssembly. CoRR (2020)
Emily First, Yuriy Brun, Arjun Guha
TacTok: semantics-aware proof synthesis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Brittany Johnson, Jesse Bartola, Rico Angell, Katherine Keith, Sam Witty, Stephen J. Giguere, Yuriy Brun
Fairkit, Fairkit, on the Wall, Who's the Fairest of Them All? Supporting Data Scientists in Training Fair Models. CoRR (2020)
Manish Motwani, Yuriy Brun
Automatically Repairing Programs Using Both Tests and Bug Reports. CoRR (2020)
Arman Shahbazian, Suhrid Karthik, Yuriy Brun, Nenad Medvidovic
eQual: informing early design decisions. ESEC/SIGSOFT FSE (2020)
Donald Pinckney, Arjun Guha, Yuriy Brun
Wasm/k: delimited continuations for WebAssembly. DLS (2020)
Brittany Johnson, Yuriy Brun, Alexandra Meliou
Causal testing: understanding defects' root causes. ICSE (2020)
Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha
Formal Foundations of Serverless Computing. CoRR (2019)
Manish Motwani, Yuriy Brun
Automatically generating precise Oracles from structured natural language specifications. ICSE (2019)
Blossom Metevier, Stephen Giguere, Sarah Brockman, Ari Kobren, Yuriy Brun, Emma Brunskill, Philip S. Thomas
Offline Contextual Bandits with High Probability Fairness Guarantees. NeurIPS (2019)
Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha
Formal foundations of serverless computing. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
Do automated program repair techniques repair hard and important bugs? ICSE (2018)
Arman Shahbazian, Youn Kyu Lee, Yuriy Brun, Nenad Medvidovic
Making well-informed software design decisions. ICSE (Companion Volume) (2018)
Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Philip L. Henneman, Leon J. Osterweil
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. IEEE Trans. Syst. Man Cybern. Syst. 48 (9) (2018)
Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
Do automated program repair techniques repair hard and important bugs? Empir. Softw. Eng. 23 (5) (2018)
Yuriy Brun, Alexandra Meliou
Software fairness. ESEC/SIGSOFT FSE (2018)
Rico Angell, Brittany Johnson, Yuriy Brun, Alexandra Meliou
Themis: automatically testing software for discrimination. ESEC/SIGSOFT FSE (2018)
Brittany Johnson, Yuriy Brun, Alexandra Meliou
Causal Testing: Finding Defects' Root Causes. CoRR (2018)
Daniela Seabra Oliveira, Tian Lin, Muhammad Sajidur Rahman, Rad Akefirad, Donovan M. Ellis, Eliany Perez, Rahul Bobhate, Lois DeLong, Justin Cappos, Yuriy Brun
API Blindspots: Why Experienced Developers Write Vulnerable Code. SOUPS @ USENIX Security Symposium (2018)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of anonymization in double-blind review. Commun. ACM 61 (6) (2018)
Arman Shahbazian, Youn Kyu Lee, Duc Minh Le, Yuriy Brun, Nenad Medvidovic
Recovering Architectural Design Decisions. ICSA (2018)
Jae Young Bang, Yuriy Brun, Nenad Medvidovic
Collaborative-Design Conflicts: Costs and Solutions. IEEE Softw. 35 (6) (2018)
Sainyam Galhotra, Yuriy Brun, Alexandra Meliou
Fairness Testing: Testing Software for Discrimination. CoRR (2017)
Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer
Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. 43 (11) (2017)
Sainyam Galhotra, Yuriy Brun, Alexandra Meliou
Fairness testing: testing software for discrimination. ESEC/SIGSOFT FSE (2017)
Jae Young Bang, Yuriy Brun, Nenad Medvidovic
Continuous Analysis of Collaborative Design. ICSA (2017)
Aaron Weiss, Arjun Guha, Yuriy Brun
Tortoise: interactive system configuration repair. ASE (2017)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of Anonymization in Double-Blind Review. CoRR (2017)
Qianqian Wang, Yuriy Brun, Alessandro Orso
Behavioral Execution Comparison: Are Tests Representative of Field Behavior? ICST (2017)
Aaron Weiss, Arjun Guha, Yuriy Brun
Tortoise: Interactive System Configuration Repair. CoRR (2017)
Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
Debugging Distributed Systems. ACM Queue 14 (2) (2016)
Tony Ohmann, Ryan Stanley, Ivan Beschastnikh, Yuriy Brun
Visually reasoning about system and resource behavior. ICSE (Companion Volume) (2016)
Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil
Specification and analysis of human-intensive system resource-utilization policies. SEHS@ICSE (2016)
Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
Debugging distributed systems. Commun. ACM 59 (8) (2016)
Jie Chen, Xiwei Xu, Leon J. Osterweil, Liming Zhu, Yuriy Brun, Len Bass, Junchao Xiao, Mingshu Li, Qing Wang
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. J. Syst. Softw. 110 (2015)
Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst
Development History Granularity Transformations (N). ASE (2015)
Robert J. Walls, Yuriy Brun, Marc Liberatore, Brian Neil Levine
Discovering specification violations in networked software systems. ISSRE (2015)
Kivanç Muslu, Yuriy Brun, Alexandra Meliou
Preventing data errors with continuous testing. ISSTA (2015)
Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman
Resource Specification for Prototyping Human-Intensive Systems. FASE (2015)
Yuriy Brun, Jae Young Bang, George Edwards, Nenad Medvidovic
Self-Adapting Reliability in Distributed Software Systems. IEEE Trans. Software Eng. 41 (8) (2015)
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng. 41 (4) (2015)
Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. 41 (8) (2015)
Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. 41 (12) (2015)
Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos
Detecting latent cross-platform API violations. ISSRE (2015)
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
Repairing Programs with Semantic Code Search (T). ASE (2015)
Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun
Is the cure worse than the disease? overfitting in automated program repair. ESEC/SIGSOFT FSE (2015)
Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro
The plastic surgery hypothesis. SIGSOFT FSE (2014)
Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun
Behavioral resource-aware model inference. ASE (2014)
Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst
Shedding light on distributed system executions. ICSE Companion (2014)
Ivo Krka, Yuriy Brun, Nenad Medvidovic
Automatic mining of specifications from invocation traces and method invariants. SIGSOFT FSE (2014)
Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy
Inferring models of concurrent systems from logs of their behavior with CSight. ICSE (2014)
Tony Ohmann, Kevin Thai, Ivan Beschastnikh, Yuriy Brun
Mining precise performance-aware behavioral models from existing instrumentation. ICSE Companion (2014)
Yuriy Brun, Nenad Medvidovic
Entrusting Private Computation and Data to Untrusted Networks. IEEE Trans. Dependable Secur. Comput. 10 (4) (2013)
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
Unifying FSM-inference algorithms through declarative specification. ICSE (2013)
Xiang Zhao, Yuriy Brun, Leon J. Osterweil
Supporting process undo and redo in software engineering decision making. ICSSP (2013)
Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
Making offline analyses continuous. ESEC/SIGSOFT FSE (2013)
Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil
Resource scheduling through resource-aware simulation of emergency departments. SEHC@ICSE (2013)
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems (2013)
Kivanç Muslu, Yuriy Brun, Alexandra Meliou
Data debugging with continuous testing. ESEC/SIGSOFT FSE (2013)
Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39 (10) (2013)
Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, Yuriy Brun
Understanding regression failures through test-passing and test-failing code changes. ICSE (2013)
Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil
Supporting Undo and Redo in Scientific Data Analysis. TaPP (2013)
Jochen Wuttke, Ivan Beschastnikh, Yuriy Brun
Effects of Centralized and Distributed Version Control on Commit Granularity. Tiny Trans. Comput. Sci. 1 (2012)
George Edwards, Yuriy Brun, Nenad Medvidovic
Automated Analysis and Code Generation for Domain-Specific Models. WICSA/ECSA (2012)
Yuriy Brun, Nenad Medvidovic
Keeping Data Private while Computing in the Cloud. IEEE CLOUD (2012)
Yuriy Brun
Efficient 3-SAT algorithms in the tile assembly model. Nat. Comput. 11 (2) (2012)
Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Speculative analysis of integrated development environment recommendations. OOPSLA (2012)
Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Improving IDE recommendations by considering global implications of existing recommendations. ICSE (2012)
Jochen Wuttke, Yuriy Brun, Alessandra Gorla, Jonathan Ramaswamy
Traffic routing for evaluating self-adaptation. SEAMS (2012)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE (2011)
George Edwards, Yuriy Brun, Nenad Medvidovic
Isomorphism in model tools and editors. ASE (2011)
Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst
Synoptic: studying logged behavior with inferred models. SIGSOFT FSE (2011)

Yuriy Brun.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuriy Brun