conf.researchr.org / Amir K. Goharshady
Registered user since Thu 27 Jul 2023
Name:Amir K. Goharshady
Affiliation:University of Oxford
Personal website: https://amir.goharshady.com/
Contributions
2026
PLDI
2025
FSEN
2024
SPLASH
2023
SPLASH
- Author of Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs within the OOPSLA-track
- Author of Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis within the OOPSLA-track
- Author of The Bounded Pathwidth of Control-Flow Graphs within the OOPSLA-track