My research aims to help programmers write trustworthy programs. My primary area of interest is language-based information security: using programming language techniques to provide information security assurance.
- Hybrid Monitors for Concurrent Noninterference, CSF 2015 .
- Cryptographic Enforcement of Language-Based Erasure, CSF 2015 .
- Exploring and Enforcing Security Guarantees via Program Dependence Graphs, PLDI 2015 .
- Shill: A Secure Shell Scripting Language, OSDI 2014 .
- Declarative Policies for Capability Control, CSF 2014 .
In Fall 2015 I am teaching CS 252, a graduate seminar on programming languages. This incarnation will likely focus on (static and dynamic) program analysis.
- CS 61: Systems Programming and Computer Organization Fall 2010, Fall 2011.
- CS 152: Programming Languages Spring 2010, Spring 2013, Spring 2014. Spring 2015.
- CS 252r: Advanced Topics in Programming Languages Fall 2009, Spring 2011, Spring 2012, Fall 2013, Fall 2014.
- Accrue: Providing language-based security guarantees proportional to programmer effort.
- Privacy Tools for Sharing Research Data: Enhance technologies and policies to protect personal data used in research studies.
- Shill: a secure shell scripting language.
- Previous projects
- CHILI: Enabling the execution of code of unknown origin while guaranteeing that the code is not vulnerable to various classes of security attacks.
- Louis Li (undergrad, now at Google)
- Jo Booth (undergrad, now at Google)
- Ling-Ya Chao (undergrad)
- Jeff Vaughan (post doc, now at LogicBlox)
- Stefan Muller (undergrad, now grad student at CMU)
- Evan Czaplicki (undergrad, now at Prezi)
- Anna Gommerstadt (undergrad, now grad student at CMU)
- Dan Bradley (undergrad)
- Aslan Askarov (post doc, now at Aarhus University)
- Center for Research on Computation and Society
- Programming Languages at Harvard
- Systems Research at Harvard (SYRAH)
- OOPSLA 2016 Program Committee.
- POPL 2016 Artifact Evaluation Committee co-chair (with Arjun Guha).
- PLAS 2015 Program Committee.
- POST 2015 Program Committee.
- Past activities:
- General chair CSF 2012 and CSF 2013.
- Co-chair of APLWACA 2010 (with Ben Livshits).
- Co-chair of PLAS 2009 (with David Naumann).
- Program committees: POPL 2015 (ERC), OOPSLA 2014, TGC 2014, HILT 2014, PSP 2014, CSF 2014, FMS 2014, PLDI 2014 (ERC), ASPLOS 2014 (ERC), SEC@SAC14, HILT 2013, FOOL 2013, CCS 2013, SEC@SAC13, PLAS 2012, PPCloud 2011, FAST 2011, CCS 2010, CSF 2010, FCS-PrivMod 2010, WebApps '10, Bytecode 2010, ASIAN 2009, HotSec '09, FCS09, CSF 2008, PLAS 2007.
Information for prospective students, both undergraduate and graduate, can be found here.
I completed a Ph.D. at Cornell University in August 2008, under the guidance of Andrew Myers. Prior to graduate school, I spent several years working as a consultant and contractor. I received a B.Sc.(Hons) and B.A. from Victoria University of Wellington, in Wellington, New Zealand. My wife, Kiran Gajwani, is a Lecturer/Advisor in the Economics Department at Harvard.