Enforcing Information Flow Policies with Targeted Program Synthesis, Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama. In submission. [Paper: arXiv] |
Draft |
A Trace Query Language for Rule-based Models, Jonathan Laurent, Hector F. Medina-Abarca, Pierre Boutillier, Jean Yang, and Walter Fontana. CMSB 2018. [Paper: pdf] |
CMSB 2018 |
Counterfactual Resimulation for Causal Analysis of Rule-Based Models, Jonathan Laurent, Jean Yang, and Walter Fontana. IJCAI 2018. [Paper: pdf] |
IJCAI 2018 |
A tool for automated inference in rule-based biological models, Chelsea Voss, Jean Yang, and Walter Fontana. Static Analysis in Systems Biology Workshop 2017. [Slides: pdf] |
SASB 2017 |
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 |