Genetic Programming Bibliography entries for Yuriy Brun

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.7630

GP coauthors/coeditors: Afsoon Afzal, Manish Motwani, Kathryn T Stolee, Claire Le Goues, Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alexander Sanchez-Stern, Talia Ringer, Earl Barr, Ming Xiao, Premkumar Devanbu, Arjun Guha, Yalin Ke, Mauricio Soto, Rene Just, Edward K Smith, Aaron Weiss,

Genetic Programming Articles by Yuriy Brun

Genetic Programming conference papers by Yuriy Brun

  1. Manish Motwani and Yuriy Brun. Better Automatic Program Repair by Using Bug Reports and Tests Together. In John Grundy editor, Proceedings of the 45th International Conference on Software Engineering, ICSE 2023, 2023. details

  2. Arpan Agrawal and Emily First and Zhanna Kaufman and Tom Reichel and Shizhuo Zhang and Timothy Zhou and Alex Sanchez-Stern and Talia Ringer and Yuriy Brun. Proofster: Automated Formal Verification. In Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), pages 26-30, Melbourne, 2023. details

  3. Emily First and Yuriy Brun. Diversity-Driven Automated Formal Verification. In Proceedings of the 44th International Conference on Software Engineering (ICSE), Pittsburgh, PA, USA, 2022. ACM. ACM SIGSOFT Distinguished Paper Award. details

  4. Emily First and Yuriy Brun and Arjun Guha. TacTok: Semantics-Aware Proof Synthesis. In Proceedings of the ACM on Programming Languages (PACMPL) Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) issue, page Article No. 231, 2020. ACM. details

  5. Aaron Weiss and Arjun Guha and Yuriy Brun. Tortoise: Interactive System Configuration Repair. In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 625-636, Urbana, IL, USA, 2017. details

  6. Edward K. Smith and Earl T. Barr and Claire Le Goues and Yuriy Brun. Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair. In Mark Harman and Patrick Heymans editors, 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), pages 532-543, Bergamo, Italy, 2015. ACM. details

  7. Yalin Ke and Kathryn T. Stolee and Claire Le Goues and Yuriy Brun. Repairing Programs with Semantic Code Search. In Lars Grunske and Michael Whalen editors, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), pages 295-306, Lincoln, Nebraska, USA, 2015. IEEE Computer Society. details

Genetic Programming technical reports by Yuriy Brun