Publications

121 entries « 1 of 3 »

2023

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), 2023.

Abstract | Links | BibTeX

2022

Brun, Yuriy

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

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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 Inproceedings

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? Inproceedings

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 Inproceedings

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) Proceeding

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

Links | BibTeX

Brun, Yuriy; Johnson, Brittany; Meliou, Alexandra

Message from the FairWare 2018 Chairs Inproceedings

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 Inproceedings

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 Incollection

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 Incollection

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 Inproceedings

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 Inproceedings

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 Inproceedings

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? Inproceedings

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 Inproceedings

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 Inproceedings

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

2015

Goues, Claire Le; Holtschulte, Neal; Smith, Edward K.; Brun, Yuriy; Devanbu, Premkumar; Forrest, Stephanie; Weimer, Westley

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs Journal Article

In: IEEE Transactions on Software Engineering (TSE), vol. 41, no. 12, pp. 1236–1256, 2015, ISSN: 0098-5589, (Recognized as a Spotlight Paper).

Abstract | Links | BibTeX

Chen, Jie; Xu, Xiwei; Osterweil, Leon J.; Zhu, Liming; Brun, Yuriy; Bass, Len; Xiao, Junchao; Li, Mingshu; Wang, Qing

Using Simulation to Evaluate Error Detection Strategies: A Case Study of Cloud-Based Deployment Processes Journal Article

In: Journal of Systems and Software, vol. 110, pp. 205–221, 2015.

Abstract | Links | BibTeX

Ke, Yalin; Stolee, Kathryn T.; Goues, Claire Le; Brun, Yuriy

Repairing Programs with Semantic Code Search Inproceedings

In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 295–306, Lincoln, NE, USA, 2015.

Abstract | Links | BibTeX

Muşlu, Kivanç; Swart, Luke; Brun, Yuriy; Ernst, Michael D.

Simplifying Development History Information Retrieval via Multi-Grained Views Inproceedings

In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 697–702, Lincoln, NE, USA, 2015.

Abstract | Links | BibTeX

Walls, Robert J.; Brun, Yuriy; Liberatore, Marc; Levine, Brian Neil

Discovering Specification Violations in Networked Software Systems Inproceedings

In: Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 496–506, Gaithersburg, MD, USA, 2015.

Abstract | Links | BibTeX

Rasley, Jeff; Gessiou, Eleni; Ohmann, Tony; Brun, Yuriy; Krishnamurthi, Shriram; Cappos, Justin

Detecting Latent Cross-Platform API Violations Inproceedings

In: Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 484–495, Gaithersburg, MD, USA, 2015.

Abstract | Links | BibTeX

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

Using Computer Simulation to Study Nurse-to-Patient Ratios in an Emergency Department Journal Article

In: The Journal of Nursing Administration, vol. 45, no. 11, pp. 551–556, 2015.

Abstract | Links | BibTeX

Smith, Edward K.; Barr, Earl; Goues, Claire Le; Brun, Yuriy

Is the Cure Worse than the Disease? Overfitting in Automated Program Repair Inproceedings

In: Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 532–543, Bergamo, Italy, 2015.

Abstract | Links | BibTeX

Brun, Yuriy; Bang, Jae; Edwards, George; Medvidovic, Nenad

Self-Adapting Reliability in Distributed Software Systems Journal Article

In: IEEE Transactions on Software Engineering (TSE), vol. 41, no. 8, pp. 764–780, 2015, ISSN: 0098-5589.

Abstract | Links | BibTeX

Muşlu, Kivanç; Brun, Yuriy; Ernst, Michael D.; Notkin, David

Reducing feedback delay of software development tools via continuous analyses Journal Article

In: IEEE Transactions on Software Engineering (TSE), vol. 41, no. 8, pp. 745–763, 2015, ISSN: 0098-5589.

Abstract | Links | BibTeX

121 entries « 1 of 3 »