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

A tool for automated inference in rule-based biological models, Chelsea Voss, Jean Yang, and Walter Fontana. Static Analysis in Systems Biology Workshop 2017 (to appear). [Slides: pdf] SASB 2017
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. Programming Language Design and Implementation 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. Workshop on Programming Languages and Analysis for Security 2013. [Paper: pdf | BibTex] PLAS 2013
A Language for Automatically Enforcing Privacy Policies, Jean Yang, Kuat Yessenov, and Armando Solar-Lezama. Principles of Programming Languages 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. International Conference on Functional Programming 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. Programming Language Design and Implementation 2010. Best Paper Award. [Paper: pdf | Slides: pptx pdf | related video | BibTeX] PLDI 2010

Workshop Talks

Causal analysis of rule-based models through counterfactual reasoning, Jonathan Laurent, Jean Yang, and Walter Fontana. Static Analysis in Systems Biology Workshop 2016 (presentation only). [Slides: pdf]

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]