 | I am a fourth-year graduate student at MIT advised by Armando Solar-Lezama. I am in the Computer-Aided Programming group. My goal is to automate the creation and validation of programs in ways that allow programmers to focus on the interesting functionality. [CV]
[personal wiki]
[blog] |
Projects.
- The Jeeves programming language for automatically enforcing privacy policies.
- The F* programming language for secure distributed programming with dependent types.
- The Verve operating system, the first automatically and end-to-end verified OS for type safety.
Publications.
- A Language for Automatically Enforcing Privacy Policies, Jean Yang, Kuat Yessenov, and Armando Solar-Lezama. POPL 2012. [Paper: pdf] [Slides: pptx pdf]
- Secure Distributed Programming with Value-Dependent Types, Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang. ICFP 2011. [Paper: pdf]
- Specification-Enhanced Execution, Jean Yang. Master's thesis, MIT, May 2010.
- Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System, Jean Yang and Chris Hawblitzel. PLDI 2010. Best paper award. [Paper: pdf] [Slides: pptx pdf]
This work was selected as a CACM Research Highlight with an accompanying Technical Perspective ("Safety First!") by Xavier Leroy. [Full text: html pdf] [Technical Perspective: html pdf] - Safe Dynamic Dispatch, or How to Pickle with Class, Jean Yang. Undergraduate honors thesis, Harvard University, May 2008. [Thesis: pdf]
Press.
- What your online friends reveal about where you are. Jacob Aron, NewScientist, January 25, 2012.
Awards and Honors.
- Facebook Fellowship, 2012-2013.
- Selected to attend 60th Lindau Nobel Laureate Meeting, 2010.
- National Science Foundation Graduate Research Fellowship, 2008-2011.
Contact.
[my name] [at] csail [dot] mit [dot] edu.