Jean Yang

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 9

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

ACM Queue

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-Directed Program Synthesis for RESTful APIs. CoRR (2022)
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-directed program synthesis for RESTful APIs. PLDI (2022)
Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
STORM: Refinement Types for Secure Web Applications. OSDI (2021)
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
Liquid information flow control. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Peter Bailis, Jean Yang, Vijay Janapa Reddi, Yuhao Zhu
Research for practice: web security and mobile web computing. Commun. ACM 60 (1) (2017)
Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama
Type-Driven Repair for Information Flow Security. CoRR (2016)
Jean Yang, Vijay Janapa Reddi, Yuhao Zhu, Peter Bailis
Research for Practice: Web Security and Mobile Web Computing. ACM Queue 14 (4) (2016)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
Precise, dynamic information flow for database-backed applications. PLDI (2016)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR (2015)
Jean Yang
Women, hip-hop, and self-teaching: the new diversity in computing. XRDS 20 (4) (2014)
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Secure distributed programming with value-dependent types. J. Funct. Program. 23 (4) (2013)
Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
Faceted execution of policy-agnostic programs. PLAS (2013)
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
A language for automatically enforcing privacy policies. POPL (2012)
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Secure distributed programming with value-dependent types. ICFP (2011)
Jean Yang, Chris Hawblitzel
Safe to the last instruction: automated verification of a type-safe operating system. Commun. ACM 54 (12) (2011)
Jean Yang, Chris Hawblitzel
Safe to the last instruction: automated verification of a type-safe operating system. PLDI (2010)

Jean Yang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean Yang