Jean Yang

21 papers A* 5A 3Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Type-Directed Program Synthesis for RESTful APIs.
CoRR
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
2022 A* conf
Type-directed program synthesis for RESTful APIs.
PLDI
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
2021 A conf
Automating Audit with Policy Inference.
CSF
Abhishek Bichhawat, Matt Fredrikson, Jean Yang
2021 A* conf
STORM: Refinement Types for Secure Web Applications.
OSDI
Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
2020 A conf
Contextual and Granular Policy Enforcement in Database-backed Applications.
AsiaCCS
Abhishek Bichhawat, Matt Fredrikson, Jean Yang, Akash Trehan
2020 — conf
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.
PLAS@CCS
Jean Yang
2020 J jnl
Liquid information flow control.
Proc. ACM Program. Lang.
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
2018 J jnl
ESTRELA: Automated Policy Enforcement Across Remote APIs.
CoRR
Abhishek Bichhawat, Akash Trehan, Jean Yang, Matt Fredrikson
2017 J jnl
Research for practice: web security and mobile web computing.
Commun. ACM
Peter Bailis, Jean Yang, Vijay Janapa Reddi, Yuhao Zhu
2016 A* conf
Precise, dynamic information flow for database-backed applications.
PLDI
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
2016 J jnl
Research for Practice: Web Security and Mobile Web Computing.
ACM Queue
Jean Yang, Vijay Janapa Reddi, Yuhao Zhu, Peter Bailis
2016 J jnl
Type-Driven Repair for Information Flow Security.
CoRR
Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama
2015 J jnl
End-To-End Policy-Agnostic Security for Database-Backed Applications.
CoRR
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
2015 — —
Preventing information leaks with policy-agnostic programming.
Jean Yang
2014 J jnl
Women, hip-hop, and self-teaching: the new diversity in computing.
XRDS
Jean Yang
2013 — conf
Faceted execution of policy-agnostic programs.
PLAS
Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
2013 J jnl
Secure distributed programming with value-dependent types.
J. Funct. Program.
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
2012 A* conf
A language for automatically enforcing privacy policies.
POPL
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
2011 J jnl
Safe to the last instruction: automated verification of a type-safe operating system.
Commun. ACM
Jean Yang, Chris Hawblitzel
2011 A conf
Secure distributed programming with value-dependent types.
ICFP
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
2010 A* conf
Safe to the last instruction: automated verification of a type-safe operating system.
PLDI
Jean Yang, Chris Hawblitzel