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