CV

Education

• B.S. in Computer Science, Nanjing University, 2020
• Ph.D in Computer Science, University of Southern California, Since 2021

Work experience

• Summer 2023: Applied Scientist Intern
  • Amazon
  • Supervisor: Pranav Garg
• Summer 2022: Applied Scientist Intern
  • Amazon
  • Supervisor: Pranav Garg

Publications

Explainable Program Synthesis by Localizing Specifications

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)

Service and leadership

• PLDI 2024 AEC