![Ashish Mishra](https://pldi23.sigplan.org/getProfileImage/ashishmishra1/3dac23a9-2ef5-4672-9614-4418aee1cb83/small.jpg?1733504941000)
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 2023-profile
View general profile
View general profile