Amirmohammad Nazari

According to our database, Amirmohammad Nazari authored at least 10 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Generating Complex Code Analyzers from Natural Language Questions.

Amirmohammad Nazari, Sadra Sabouri, Wang Bill Zhu, Robin Jia, Souti Chattopadhyay, Mukund Raghothaman

CoRR, May, 2026

LLM-Integrated Declarative Program Analysis.

Sara Baradaran, Amirmohammad Nazari, Mukund Raghothaman

Proceedings of the 15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2026

Accio: Rethinking OS-Architecture Co-Design for Next-Gen I/O.

Amirmohammad Nazari, Rajit Manohar, Robert Soulé

Proceedings of the 1st New Ideas in Networked Systems, 2026

2025

"How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits.

Amirmohammad Nazari, Matin Amini, Mukund Raghothaman

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Interpretable Network Verification via Subspecifications.

Yongzheng Zhang, Haoxian Chen, Amirmohammad Nazari, Mukund Raghothaman

Proceedings of the 9th Asia-Pacific Workshop on Networking, 2025

2024

Generative Explanations for Program Synthesizers.

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman

CoRR, 2024

Generating Function Names to Improve Comprehension of Synthesized Programs.

Amirmohammad Nazari, Swabha Swayamdipta, Souti Chattopadhyay, Mukund Raghothaman

Proceedings of the 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2024

NomNom: Explanatory Function Names for Program Synthesizers.

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Localized Explanations for Automatically Synthesized Network Configurations.

Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen

Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024

2023

Explainable Program Synthesis by Localizing Specifications.

Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023