We stand with Ukraine  

Jean Yang

Affiliations:
  • Akita Software, Inc., San Mateo, USA
  • Carnegie Mellon University, Pittsburgh, PA, USA (since 2016)
  • Harvard University, Harvard Medical School, Boston, MA, USA (2015 - 2016)
  • Massachusetts Institute of Technology, Cambridge, MA, USA (PhD 2015)


According to our database1, Jean Yang authored at least 17 papers between 2011 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Type-directed program synthesis for RESTful APIs.
[BibTeX]
[DOI]
Zheng Guo
,
David Cao
,
Davin Tjong
,
Jean Yang
,
Cole Schlesinger
,
Nadia Polikarpova
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021
STORM: Refinement Types for Secure Web Applications.
[BibTeX]
[DOI]
Nico Lehmann
,
Rose Kunkel
,
Jordan Brown
,
Jean Yang
,
Niki Vazou
,
Nadia Polikarpova
,
Deian Stefan
,
Ranjit Jhala
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Automating Audit with Policy Inference.
[BibTeX]
[DOI]
Abhishek Bichhawat
,
Matt Fredrikson
,
Jean Yang
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
Liquid information flow control.
[BibTeX]
[DOI]
Nadia Polikarpova
,
Deian Stefan
,
Jean Yang
,
Shachar Itzhaky
,
Travis Hance
,
Armando Solar-Lezama
Proc. ACM Program. Lang., 2020

How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.
[BibTeX]
[DOI]
Jean Yang
Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

Contextual and Granular Policy Enforcement in Database-backed Applications.
[BibTeX]
[DOI]
Abhishek Bichhawat
,
Matt Fredrikson
,
Jean Yang
,
Akash Trehan
Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2018
ESTRELA: Automated Policy Enforcement Across Remote APIs.
[BibTeX]
[DOI]
Abhishek Bichhawat
,
Akash Trehan
,
Jean Yang
,
Matt Fredrikson
CoRR, 2018

2016
Research for Practice: Web Security and Mobile Web Computing.
[BibTeX]
[DOI]
Jean Yang
,
Vijay Janapa Reddi
,
Yuhao Zhu
,
Peter Bailis
ACM Queue, 2016

Type-Driven Repair for Information Flow Security.
[BibTeX]
[DOI]
Nadia Polikarpova
,
Jean Yang
,
Shachar Itzhaky
,
Armando Solar-Lezama
CoRR, 2016

Precise, dynamic information flow for database-backed applications.
[BibTeX]
[DOI]
Jean Yang
,
Travis Hance
,
Thomas H. Austin
,
Armando Solar-Lezama
,
Cormac Flanagan
,
Stephen Chong
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Preventing information leaks with policy-agnostic programming.
[BibTeX]
[DOI]
Jean Yang
PhD thesis, 2015

End-To-End Policy-Agnostic Security for Database-Backed Applications.
[BibTeX]
[DOI]
Jean Yang
,
Travis Hance
,
Thomas H. Austin
,
Armando Solar-Lezama
,
Cormac Flanagan
,
Stephen Chong
CoRR, 2015

2014
Women, hip-hop, and self-teaching: the new diversity in computing.
[BibTeX]
[DOI]
Jean Yang
XRDS, 2014

2013
Secure distributed programming with value-dependent types.
[BibTeX]
[DOI]
Nikhil Swamy
,
Juan Chen
,
Cédric Fournet
,
Pierre-Yves Strub
,
Karthikeyan Bhargavan
,
Jean Yang
J. Funct. Program., 2013

Faceted execution of policy-agnostic programs.
[BibTeX]
[DOI]
Thomas H. Austin
,
Jean Yang
,
Cormac Flanagan
,
Armando Solar-Lezama
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

2012
A language for automatically enforcing privacy policies.
[BibTeX]
[DOI]
Jean Yang
,
Kuat Yessenov
,
Armando Solar-Lezama
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011
Safe to the last instruction: automated verification of a type-safe operating system.
[BibTeX]
[DOI]
Jean Yang
,
Chris Hawblitzel
Commun. ACM, 2011


  Loading...