Skip to main content

Jean Yang

Assistant Professor
Computer Science Department
Carnegie Mellon University

jyang2 [at] cs [dot] cmu [dot] edu
GHC 7113
Curriculum Vitae

Research

Active Research Directions

I am investigating how the following two programming models can change the way people think about their respective domains, and facilitate the creation of programs and analyses that were previously difficult or impossible.

Publications

Type-Driven Repair for Information Flow Security, Nadia Polikarpova, Jean Yang, Shachar Itzhaky, and Armando Solar-Lezama. In submission. [Paper: arXiv] Draft
Precise, Dynamic Information Flow for Database-Backed Applications, Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong. PLDI 2016. [Paper: pdf | Slides: pptx pdf | Talk: YouTube | BibTex] PLDI 2016
Preventing Information Leaks with Policy-Agnostic Programming, Jean Yang. PhD thesis. [pdf] PhD thesis
Secure Distributed Programming with Value-Dependent Types, Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang. Journal of Functional Programming 23(4), July 2013. [BibTex] JFP 2013
Faceted Execution of Policy-Agnostic Programs, Thomas H. Austin, Jean Yang, Cormac Flanagan, and Armando Solar-Lezama. PLAS 2013. [Paper: pdf | BibTex] PLAS 2013
A Language for Automatically Enforcing Privacy Policies, Jean Yang, Kuat Yessenov, and Armando Solar-Lezama. POPL 2012. [Paper: pdf | Slides: pptx pdf | Talk: mp4 stream | BibTex] POPL 2012
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 | BibTeX] ICFP 2011
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System, Jean Yang and Chris Hawblitzel. CACM Research Highlight. Communications of the ACM, September 2010. [Full text: html pdf | Technical Perspective: html pdf | [BibTeX] CACM 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 | related video | BibTeX] PLDI 2010

Software Patents

Stephen C. Heise, Jean Yang, Dwayne Reeves, and Yiding Jia. Privacy verification tool. US20140282837 A1, filed March 15, 2013. [BibTeX]
Chris Hawblitzel and Jean Yang. Automated verification of a type-safe operating system. US8341602 B2, filed February 27, 2010 and issued December 25, 2012. [BibTeX]