Genetic Programming Bibliography entries for Emily First
up to index
Created by W.Langdon from
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), Melbourne, 2023.
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.
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.