Explainable Program Synthesis by Localizing Specifications

Published in OOPSLA 2023, 2023

Recommended citation: Amirmohammad Nazari*, Yifei Huang*, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman. 2023. Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7, OOPSLA2, Article 298 (October 2023)