Registered user since Sat 2 Apr 2016
My research involves the use of programming-language semantics and type systems for reasoning about imperative code, security, concurrency, compiler transformations, and provenance. My present focus is on how to build verified compilers that ensure safe linking of code compiled from different programming languages. This includes work on correct and secure compilation, gradual typing, dependent types, and safe language interoperability.
|SPLASH 2018|| Speaker in Speakers within the SPLASH-I-track|
All the languages together
|Show activities from other conferences|
View general profile