profile picture

Amirmohammad Nazari

Ph.D. Student

About Me

I am a Ph.D. candidate in the Computer Science Department at the University of Southern California, where I am advised by Professor Mukund Raghothaman. My research focuses on programming languages, automated reasoning, program synthesis, and program analysis. I am particularly interested in different types of explanations that help developers to understand how programs work.

Education

Ph.D. in Computer Science

May 2021 - Present
University of Southern California, Los Angeles, USA
Thesis : TBA
Advisor : Mukund Raghothaman

M.Sc. in Computer Science

May 2021 - December 2024
University of Southern California, Los Angeles, USA

B.Sc. in Computer Engineering

September 2016 - September 2020
Amirkabir University of Technology(Tehran Polytechnic), Tehran, Iran

Publications

  • Open World Synthesis of Semantic Regular Expressions
    • Amirmohammad Nazari, Matin Amini, Mukund Raghothaman
    In Submission 2026
    PDF
  • Explainable Network Verification via Localized Subspecification
    • Yongzheng Zhang, Yaxuan Lin, Haoxian Chen, Ruize Ma, Amirmohammad Nazari, Mukund Raghothaman, Peng Zhang
    In SIGCOMM 2026
    PDF
  • Synthesizing Program Analyzers to Help Programmers Answer Questions About Code
    • Amirmohammad Nazari, Sadra Sabouri, Wang Bill Zhu, Robin Jia, Souti Chattopadhyay, Mukund Raghothaman
    In VL/HCC 2026
    PDF
  • LLM-Integrated Declarative Program Analysis
    • Sara Baradaran, Amirmohammad Nazari, Mukund Raghothaman
    In SOAP 2026
    PDF
  • Localized Explanations for Automatically Synthesized Network Configurations
    • Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen
    In HotNets 2025
    PDF
  • How Does My Circuit Work? Local Explanations for the Behavior of Sequential Circuits
    • Amirmohammad Nazari, Matin Amini, Mukund Raghothaman
    In FMCAD 2025
    PDF
  • Generating Function Names to Improve Comprehension of Synthesized Programs
    • Amirmohammad Nazari, Swabha Swayamdipta, Souti Chattopadhyay, and Mukund Raghothaman
    In VL/HCC 2024
    PDF
  • NomNom: Explanatory Function Names for Program Synthesizers
    • Amirmohammad Nazari, Swabha Swayamdipta, Souti Chattopadhyay, and Mukund Raghothaman
    In ICSE 2024-Companion
    PDF
  • Explainable Program Synthesis by Localizing Specifications
    • Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
    In OOPSLA 2023
    PDF

    Services

    PLDI 2024,Artifact Evaluation Committee
    SAS 2025,Artifact Evaluation Committee
    VMCAI 2023,Artifact Evaluation Committee
    FORMATS 2023,Artifact Evaluation Committee

    Teaching and Mentoring

    Teaching Assistant, Programming Languages

    Fall 2023
    Computer Science Department, University of Southern California
    Under supervision of Prof. Mukund Raghothaman

    Teaching Assistant, Analysis of Algorithms

    Spring 2024
    Computer Science Department, University of Southern California
    Under supervision of Prof. Shahriar Shamsian