conf.researchr.org / Amir Kafshdar Goharshady
Registered user since Thu 27 Jul 2023
Name:Amir Kafshdar Goharshady
Country:Hong Kong
Affiliation:Hong Kong University of Science and Technology
Contributions
2025
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