Genetic Programming Bibliography entries for Arjun Guha

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

GP coauthors/coeditors: Emily First, Yuriy Brun, Aaron Weiss,

Genetic Programming conference papers by Arjun Guha

• 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

• 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