Papers
- Type-Driven Repair for Information Flow Security, Nadia Polikarpova, Jean Yang, Shachar Itzhaky, and Armando Solar-Lezama. In submission. [Paper: arXiv]
- 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 | BibTex]
- Faceted Execution of Policy-Agnostic Programs, Thomas H. Austin,
Jean Yang, Cormac Flanagan, and Armando Solar-Lezama. PLAS
2013. [Paper: pdf | BibTex]
- 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]