Nikhil Pimpalkhare will present his FPO "Predictable Inter-Procedural Program Analysis via Almost-Commuting Transition Systems"
06-04-2026
Final Public Oral
Haoyu Zhao FPO
05-29-2026
Varun Nagaraj Rao FPO
05-27-2026
Dongsheng Yang FPO
05-14-2026
Nanqinqin Li FPO
05-07-2026
Henri Schmidt FPO
05-07-2026
Xinhao Liu FPO
05-06-2026
Nicholas Richardson FPO
05-04-2026
Rohan Baskar Prabhakar FPO
05-04-2026
Jennifer Lam FPO
05-04-2026