![Ashish Mishra](https://pldi24.sigplan.org/getProfileImage/ashishmishra1/abf497f8-7e87-48f8-918e-65d5d8011e0b/small.jpg?1720987563000)
Registered user since Sat 6 Jun 2020
Name:Ashish Mishra
Country:United States
Affiliation:Purdue University
Personal website: https://aegis-iisc.github.io
Research interests:Programming languages, Program synthesis, Program verification, Type systems
Contributions
PLDI 2024-profile
View general profile
View general profile