Amirmohammad Nazari

Orcid: 0009-0000-5675-247X

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Generating Complex Code Analyzers from Natural Language Questions.
CoRR, May, 2026

LLM-Integrated Declarative Program Analysis.
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.
Proceedings of the 1st New Ideas in Networked Systems, 2026

2025
"How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Interpretable Network Verification via Subspecifications.
Proceedings of the 9th Asia-Pacific Workshop on Networking, 2025

2024
Generative Explanations for Program Synthesizers.
CoRR, 2024

Generating Function Names to Improve Comprehension of Synthesized Programs.
Proceedings of the 2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2024

NomNom: Explanatory Function Names for Program Synthesizers.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Localized Explanations for Automatically Synthesized Network Configurations.
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024

2023
Explainable Program Synthesis by Localizing Specifications.
Proc. ACM Program. Lang., October, 2023


  Loading...