Genetic Programming Bibliography entries for Emily First

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

GP coauthors/coeditors: Arpan Agrawal, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alexander Sanchez-Stern, Talia Ringer, Yuriy Brun, Arjun Guha,

Genetic Programming conference papers by Emily First

• 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

• 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

• 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