Amirmohammad Nazari

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Generating Explanations

Program Synthesis

Relational Databases

Top Venues

Proc. ACM Program. Lang.

Publications

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
Generative Explanations for Program Synthesizers. CoRR (2024)
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
NomNom: Explanatory Function Names for Program Synthesizers. ICSE Companion (2024)
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)