Explainable Program Synthesis by Localizing Specifications. - Amirmohammad Nazari; Yifei Huang 007; Roopsha Samanta; Arjun Radhakrishna; Mukund Raghothaman (Proc. ACM Program. Lang., 2023)

Localized Explanations for Automatically Synthesized Network Configurations. - Amirmohammad Nazari; Yongzheng Zhang; Mukund Raghothaman; Haoxian Chen 001 (HotNets, 2024)

NomNom: Explanatory Function Names for Program Synthesizers. - Amirmohammad Nazari; Souti Chattopadhyay; Swabha Swayamdipta; Mukund Raghothaman (ICSE Companion, 2024)

Generating Function Names to Improve Comprehension of Synthesized Programs. - Amirmohammad Nazari; Swabha Swayamdipta; Souti Chattopadhyay; Mukund Raghothaman (VL/HCC, 2024)

Generative Explanations for Program Synthesizers. - Amirmohammad Nazari; Souti Chattopadhyay; Swabha Swayamdipta; Mukund Raghothaman (CoRR, 2024)