Publications

131 entries « 1 of 3 »

2024

Eladawy, Hadeel; Goues, Claire Le; Brun, Yuriy

Automated Program Repair, What Is It Good For? Not Absolutely Nothing! Proceedings Article

In: Proceedings of the 46th International Conference on Software Engineering (ICSE), Lisbon, Portugal, 2024.

Abstract | Links | BibTeX

Gaba, Aimen; Kaufman, Zhanna; Cheung, Jason; Shvakel, Marie; Hall, Kyle Wm; Brun, Yuriy; Bearfield, Cindy Xiong

My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning Journal Article

In: IEEE Transactions on Visualization and Computer Graphics (TVCG), vol. 30, no. 1, pp. 327-337, 2024.

Abstract | Links | BibTeX

2023

First, Emily; Rabe, Markus; Ringer, Talia; Brun, Yuriy

Baldur: Whole-Proof Generation and Repair with Large Language Models Proceedings Article

In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), San Fransisco, CA, USA, 2023.

Abstract | Links | BibTeX

Hoag, Austin; Kostas, James E.; Silva, Bruno Castro; Thomas, Philip S.; Brun, Yuriy

Seldonian Toolkit: Building Software with Safe and Fair Machine Learning Proceedings Article

In: Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023.

Abstract | Links | BibTeX

Agrawal, Arpan; First, Emily; Kaufman, Zhanna; Reichel, Tom; Zhang, Shizhuo; Zhou, Timothy; Sanchez-Stern, Alex; Ringer, Talia; Brun, Yuriy

Proofster: Automated Formal Verification Proceedings Article

In: Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023.

Abstract | Links | BibTeX

Talebipour, Saghar; Park, Hyojae; Baral, Kesina; Yee, Leon; Khan, Safwat Ali; Moran, Kevin; Brun, Yuriy; Medvidovic, Nenad; Zhao, Yixue

AVGUST: A Tool for Generating Usage-Based Tests from Videos of App Executions Proceedings Article

In: Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023.

Abstract | Links | BibTeX

Motwani, Manish; Brun, Yuriy

Understanding Why and Predicting When Developers Adhere to Code-Quality Standards Proceedings Article

In: Proceedings of the Software Engineering in Practice Track at the 45th International Conference on Software Engineering (ICSE SEIP), Melbourne, Australia, 2023.

Abstract | Links | BibTeX

Motwani, Manish; Brun, Yuriy

Better Automatic Program Repair by Using Bug Reports and Tests Together Proceedings Article

In: Proceedings of the 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023.

Abstract | Links | BibTeX

Brun, Yuriy; Lin, Tian; Somerville, Jessie Elise; Myers, Elisha M.; Ebner, Natalie

Blindspots in Python and Java APIs Result in Vulnerable Code Journal Article

In: ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 32, no. 3, pp. 76:1–76:31, 2023, ISSN: 1049-331X.

Abstract | Links | BibTeX

Johnson, Brittany; Bartola, Jesse; Angell, Rico; Witty, Sam; Giguere, Stephen J.; Brun, Yuriy

Fairkit, Fairkit, on the Wall, Who's the Fairest of Them All? Supporting Data Scientists in Training Fair Models Journal Article

In: EURO Journal on Decision Processes, vol. 11, 2023.

Abstract | Links | BibTeX

Sanchez-Stern, Alex; First, Emily; Zhou, Timothy; Kaufman, Zhanna; Brun, Yuriy; Ringer, Talia

Passport: Improving Automated Formal Verification Using Identifiers Journal Article

In: ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, ISSN: 0164-0925.

Abstract | Links | BibTeX

2022

Brun, Yuriy

The Promise and Perils of Using Machine Learning When Engineering Software (Keynote Paper) Proceedings Article

In: Proceedings of the International Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), Singapore, 2022.

Abstract | Links | BibTeX

Zhao, Yixue; Talebipour, Saghar; Baral, Kesina; Park, Hyojae; Yee, Leon; Khan, Safwat Ali; Brun, Yuriy; Medvidovic, Nenad; Moran, Kevin

Avgust: Automating Usage-Based Test Generation from Videos of App Executions Proceedings Article

In: Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 421–433, Singapore, 2022, (ACM artifact badges granted: Artifact Available, Artifact Functional.).

Abstract | Links | BibTeX

Shahbazian, Arman; Karthik, Suhrid; Brun, Yuriy; Medvidovic, Nenad

eQual: Informing Early Design Decisions Proceedings Article

In: Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 1039–1051, Sacramento, CA, USA, 2022, (ACM artifact badges granted: Artifact Available.).

Abstract | Links | BibTeX

Johnson, Brittany; Brun, Yuriy

Fairkit-learn: A Fairness Evaluation and Comparison Toolkit Proceedings Article

In: Proceedings of the Demonstrations Track at the 44th International Conference on Software Engineering (ICSE), pp. 70–74, Pittsburgh, PA, USA, 2022.

Abstract | Links | BibTeX

First, Emily; Brun, Yuriy

Diversity-Driven Automated Formal Verification Proceedings Article

In: Proceedings of the 44th International Conference on Software Engineering (ICSE), pp. 749–761, Pittsburgh, PA, USA, 2022, (ACM SIGSOFT Distinguished Paper Award. ACM artifact badges granted: Artifact Available).

Abstract | Links | BibTeX

Giguere, Stephen; Metevier, Blossom; Brun, Yuriy; Silva, Bruno Castro; Thomas, Philip S.; Niekum, Scott

Fairness Guarantees under Demographic Shift Proceedings Article

In: Proceedings of the 10th International Conference on Learning Representations (ICLR), 2022.

Abstract | Links | BibTeX

Motwani, Manish; Soto, Mauricio; Brun, Yuriy; Just, René; Goues, Claire Le

Quality of Automated Program Repair on Real-World Defects Journal Article

In: IEEE Transactions on Software Engineering (TSE), vol. 48, no. 2, pp. 637–661, 2022, ISSN: 0098-5589.

Abstract | Links | BibTeX

2021

Afzal, Afsoon; Motwani, Manish; Stolee, Kathryn T.; Brun, Yuriy; Goues, Claire Le

SOSRepair: Expressive Semantic Search for Real-World Program Repair Journal Article

In: IEEE Transactions on Software Engineering (TSE), vol. 47, no. 10, pp. 2162–2181, 2021, ISSN: 0098-5589.

Abstract | Links | BibTeX

2020

Pinckney, Donald; Guha, Arjun; Brun, Yuriy

Wasm/k: Delimited Continuations for WebAssembly Proceedings Article

In: Proceedings of the ACM SIGPLAN International Symposium on Dynamic Languages (DLS), pp. 16–28, Chicago, IL, USA, 2020.

Abstract | Links | BibTeX

First, Emily; Brun, Yuriy; Guha, Arjun

TacTok: Semantics-Aware Proof Synthesis Journal Article

In: Proceedings of the ACM on Programming Languages (PACMPL) Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) issue, vol. 4, pp. 231:1–231:31, 2020.

Abstract | Links | BibTeX

Johnson, Brittany; Brun, Yuriy; Meliou, Alexandra

Causal Testing: Understanding Defects' Root Causes Proceedings Article

In: Proceedings of the 42nd International Conference on Software Engineering (ICSE), pp. 87–99, Seoul, Republic of Korea, 2020, (ACM SIGSOFT Distinguished Artifact Award. ACM artifact badges granted: Artifact Available, Artifact Reusable.).

Abstract | Links | BibTeX

Beschastnikh, Ivan; Liu, Perry; Xing, Albert; Wang, Patty; Brun, Yuriy; Ernst, Michael D.

Visualizing distributed system executions Journal Article

In: ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 29, no. 2, pp. 9:1–9:38, 2020, ISSN: 1049-331X.

Abstract | Links | BibTeX

2019

Metevier, Blossom; Giguere, Stephen; Brockman, Sarah; Kobren, Ari; Brun, Yuriy; Brunskill, Emma; Thomas, Philip S.

Offline Contextual Bandits with High Probability Fairness Guarantees Proceedings Article

In: Proceedings of the 33rd Annual Conference on Neural Information Processing Systems (NeurIPS), Advances in Neural Information Processing Systems 32, pp. 14893–14904, Vancouver, BC, Canada, 2019.

Abstract | Links | BibTeX

Thomas, Philip S.; Silva, Bruno Castro; Barto, Andrew G.; Giguere, Stephen; Brun, Yuriy; Brunskill, Emma

Preventing Undesirable Behavior of Intelligent Machines Journal Article

In: Science, vol. 366, no. 6468, pp. 999-1004, 2019, ISSN: 0036-8075.

Abstract | Links | BibTeX

Jangda, Abhinav; Pinckney, Donald; Brun, Yuriy; Guha, Arjun

Formal Foundations of Serverless Computing Journal Article

In: Proceedings of the ACM on Programming Languages (PACMPL) Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) issue, vol. 3, pp. 149:1–149:26, 2019, ISSN: 2475-1421, (ACM SIGPLAN Distinguished Paper Award.).

Abstract | Links | BibTeX

Motwani, Manish; Brun, Yuriy

Automatically Generating Precise Oracles from Structured Natural Language Specifications Proceedings Article

In: Proceedings of the 41st International Conference on Software Engineering (ICSE), pp. 188–199, Montreal, QC, Canada, 2019, (ACM artifact badges granted: Artifact Available, Artifact Reusable.).

Abstract | Links | BibTeX

2018

Brun, Yuriy; Meliou, Alexandra

Software Fairness Proceedings Article

In: Proceedings of the New Ideas and Emerging Results Track at the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 754–759, Lake Buena Vista, FL, USA, 2018.

Abstract | Links | BibTeX

Angell, Rico; Johnson, Brittany; Brun, Yuriy; Meliou, Alexandra

Themis: Automatically Testing Software for Discrimination Proceedings Article

In: Proceedings of the Demonstrations Track at the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 871–875, Lake Buena Vista, FL, USA, 2018.

Abstract | Links | BibTeX

Bang, Jae; Brun, Yuriy; Medvidovic, Nenad

Collaborative Design Conflicts: Costs and Solutions Journal Article

In: IEEE Software, vol. 35, no. 6, pp. 25–31, 2018, ISSN: 0740-7459.

Abstract | Links | BibTeX

Motwani, Manish; Sankaranarayanan, Sandhya; Just, René; Brun, Yuriy

Do Automated Program Repair Techniques Repair Hard and Important Bugs? Journal Article

In: Empirical Software Engineering (EMSE), vol. 23, no. 5, pp. 2901–2947, 2018, ISSN: 1382-3256.

Abstract | Links | BibTeX

Shin, Seung Yeob; Brun, Yuriy; Balasubramanian, Hari; Henneman, Philip L.; Osterweil, Leon J.

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling Journal Article

In: IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 48, no. 9, pp. 1578–1593, 2018, ISSN: 1578--1593.

Abstract | Links | BibTeX

Oliveira, Daniela Seabra; Lin, Tian; Rahman, Muhammad Sajidur; Akefirad, Rad; Ellis, Donovan; Perez, Eliany; Bobhate, Rahul; DeLong, Lois A.; Cappos, Justin; Brun, Yuriy; Ebner, Natalie C.

API Blindspots: Why Experienced Developers Write Vulnerable Code Proceedings Article

In: Proceedings of the USENIX Symposium on Usable Privacy and Security (SOUPS), pp. 315–328, Baltimore, MD, USA, 2018.

Abstract | Links | BibTeX

Goues, Claire Le; Brun, Yuriy; Apel, Sven; Berger, Emery; Khurshid, Sarfraz; Smaragdakis, Yannis

Effectiveness of Anonymization in Double-Blind Review Journal Article

In: Communications of the ACM, vol. 61, no. 6, pp. 34–37, 2018.

Abstract | Links | BibTeX

Motwani, Manish; Sankaranarayanan, Sandhya; Just, René; Brun, Yuriy

Do Automated Program Repair Techniques Repair Hard and Important Bugs? Proceedings Article

In: Proceedings of the Journal First Track at the International Conference on Software Engineering (ICSE), pp. 25, Gothenburg, Sweden, 2018.

Abstract | Links | BibTeX

Shahbazian, Arman; Lee, Youn Kyu; Brun, Yuriy; Medvidovic, Nenad

Poster: Making Well-Informed Software Design Decisions Proceedings Article

In: Proceedings of the Poster Track at the International Conference on Software Engineering (ICSE), pp. 262–263, Gothenburg, Sweden, 2018.

Abstract | Links | BibTeX

Brun, Yuriy; Johnson, Brittany; Meliou, Alexandra (Ed.)

Proceedings of the IEEE/ACM International Workshop on Software Fairness (FairWare) Proceedings

Gothenburg, Sweden, 2018, ISBN: 978-1-4503-5746-3.

Links | BibTeX

Brun, Yuriy; Johnson, Brittany; Meliou, Alexandra

Message from the FairWare 2018 Chairs Proceedings Article

In: Proceedings of the IEEE/ACM International Workshop on Software Fairness, Gothenburg, Sweden, 2018.

Links | BibTeX

Shahbazian, Arman; Lee, Youn Kyu; Le, Duc; Brun, Yuriy; Medvidovic, Nenad

Recovering Architectural Design Decisions Proceedings Article

In: Proceedings of the IEEE International Conference on Software Architecture (ICSA), pp. 95–104, Seattle, WA, USA, 2018.

Abstract | Links | BibTeX

Lemos, Rogério; Garlan, David; Ghezzi, Carlo; Giese, Holger; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Weyns, Danny; Baresi, Luciano; Bencomo, Nelly; Brun, Yuriy; Camara, Javier; Calinescu, Radu; Cohen, Myra B.; Gorla, Alessandra; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jezequel, Jean-Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Müller, Hausi A.; Rouvoy, Romain; Rubira, Cecilia M. F.; Rutten, Eric; Shaw, Mary; Tamburrelli, Giordano; Tamura, Gabriel; Villegas, Norha M.; Vogel, Thomas; Zambonelli, Franco

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances Book Section

In: Lemos, Rogério; Garlan, David; Ghezzi, Carlo; Giese, Holger (Ed.): Software Engineering for Self-Adaptive Systems III, vol. 9640, pp. 3–30, Springer, 2018, ISBN: 978-3-319-74183-3.

Abstract | Links | BibTeX

Schmerl, Bradley; Andersson, Jesper; Vogel, Thomas; Cohen, Myra B.; Rubira, Cecilia M. F.; Brun, Yuriy; Gorla, Alessandra; Zambonelli, Franco; Baresi, Luciano

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems Book Section

In: Lemos, Rogério; Garlan, David; Ghezzi, Carlo; Giese, Holger (Ed.): Software Engineering for Self-Adaptive Systems III. Assurances, vol. 9640, pp. 64–89, Springer, 2018, ISBN: 978-3-319-74183-3.

Abstract | Links | BibTeX

2017

Goues, Claire Le; Brun, Yuriy; Forrest, Stephanie; Weimer, Westley

Clarifications on the Construction and Use of the ManyBugs Benchmark Journal Article

In: IEEE Transactions on Software Engineering (TSE), comment paper, vol. 43, no. 11, pp. 1089–1090, 2017, ISSN: 0098-5589.

Abstract | Links | BibTeX

Weiss, Aaron; Guha, Arjun; Brun, Yuriy

Tortoise: Interactive System Configuration Repair Proceedings Article

In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 625–636, Urbana-Champaign, IL, USA, 2017.

Abstract | Links | BibTeX

Galhotra, Sainyam; Brun, Yuriy; Meliou, Alexandra

Fairness Testing: Testing Software for Discrimination Proceedings Article

In: Proceedings of the 11th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 498–510, Paderborn, Germany, 2017, (ACM SIGSOFT Distinguished Paper Award.).

Abstract | Links | BibTeX

Bang, Jae; Brun, Yuriy; Medvidovic, Nenad

Continuous Analysis of Collaborative Design Proceedings Article

In: Proceedings of the IEEE International Conference on Software Architecture (ICSA), pp. 97–106, Gothenburg, Sweden, 2017, (Best Paper Award.).

Abstract | Links | BibTeX

Wang, Qianqian; Brun, Yuriy; Orso, Alessandro

Behavioral Execution Comparison: Are Tests Representative of Field Behavior? Proceedings Article

In: Proceedings of the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST), pp. 321–332, Tokyo, Japan, 2017.

Abstract | Links | BibTeX

2016

Beschastnikh, Ivan; Wang, Patty; Brun, Yuriy; Ernst, Michael D.

Debugging Distributed Systems Journal Article

In: Communications of the ACM, vol. 59, no. 8, pp. 32–37, 2016.

Abstract | Links | BibTeX

Ohmann, Tony; Stanley, Ryan; Beschastnikh, Ivan; Brun, Yuriy

Visually Reasoning about System and Resource Behavior Proceedings Article

In: Proceedings of the Demonstrations Track of the 38th International Conference on Software Engineering (ICSE Demo), pp. 601–604, Austin, TX, USA, 2016.

Abstract | Links | BibTeX

Shin, Seung Yeob; Brun, Yuriy; Osterweil, Leon J.

Specification and Analysis of Human-Intensive System Resource-Utilization Policies Proceedings Article

In: Proceedings of the 8th International Workshop on Software Engineering in Healthcare Systems (SEHS), pp. 8–14, Austin, TX, USA, 2016.

Abstract | Links | BibTeX

Beschastnikh, Ivan; Wang, Patty; Brun, Yuriy; Ernst, Michael D.

Debugging Distributed Systems Journal Article

In: ACM Queue, vol. 14, no. 2, pp. 91–110, 2016.

Abstract | Links | BibTeX

131 entries « 1 of 3 »