I am a second year PhD student. My research interests are Security, Compilers, Programming Languages, and Operating Systems. My advisor is Prof. Rob Johnson.
Projects
deduCe - Dependent Type Inference for C
ectype - Zero Overhead Run Time Type Inspection for C