conf.researchr.org / Amir Kafshdar Goharshady
![Amir Kafshdar Goharshady](https://conf.researchr.org/getProfileImage/amirkafshdargoharshady1/15dec9d6-485c-4f77-ac15-51d315b68271/small.jpg?1711497901000)
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