| 2022 | PLDI | Type-directed program synthesis for RESTful APIs. | Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova |
| 2021 | OSDI | STORM: Refinement Types for Secure Web Applications. | Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala |
| 2020 | CCS | Contextual and Granular Policy Enforcement in Database-backed Applications. | Abhishek Bichhawat, Matt Fredrikson, Jean Yang, Akash Trehan |
| 2020 | CCS | How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. | Jean Yang |
| 2018 | IJCAI | Counterfactual Resimulation for Causal Analysis of Rule-Based Models. | Jonathan Laurent, Jean Yang, Walter Fontana |
| 2016 | PLDI | Precise, dynamic information flow for database-backed applications. | Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
| 2013 | PLDI | Faceted execution of policy-agnostic programs. | Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama |
| 2012 | POPL | A language for automatically enforcing privacy policies. | Jean Yang, Kuat Yessenov, Armando Solar-Lezama |
| 2011 | ICFP | Secure distributed programming with value-dependent types. | Nikhil Swamy, Juan Chen, Cdric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
| 2010 | PLDI | Safe to the last instruction: automated verification of a type-safe operating system. | Jean Yang, Chris Hawblitzel |