Registered user since Mon 25 May 2015
I am a PhD student in the Programming Languages group at Harvard University. Currently, I am working with Stephen Chong on improving the security of commodity operating systems. In general, I am interested in programming language techniques and formal methods that help programmers write safe, correct, and understandable software.
|POPL 2016||Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile