Registered user since Wed 23 Aug 2017
I am a PhD student at the University of Pennsylvania.
Affiliation:University of Pennsylvania
Research interests:Programming languages
|SPLASH 2021||A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs|
|Show activities from other conferences|
Using general profile