Genetic Programming Bibliography entries for Arjun Guha
up to index
Created by W.Langdon from
gp-bibliography.bib Revision:1.7954
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