Scholar
Ali Shokri
Google Scholar ID: 2bRaz-QAAAAJ
Assistant Professor, University of Houston
Citations & Impact
Citations
54
H-index
5
i10-index
2
Publications
18
Co-authors
22
list available
Publications
Resume (English only)
Academic Achievements
- First-place Award Winner in the Research Competition at the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE’21).
- Paper on formally-verified binary analysis accepted to ICSE'25 research track.
- Paper on sound call graph construction accepted to OOPSLA'24 research track.
- Filed two inventions and patents based on work in program synthesis and program analysis (February 2023).
- Served as PC member for numerous top-tier conferences including USENIX'24, ECSA'24, ICST'24, SANER'24, ICSE'23, ISSTA'22, PLDI'22, ICSME'22, SCAM'22, ICPC'22, ASE'22, and MSR'23.
