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.
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.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Automating Audit with Policy Inference.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
Liquid information flow control.
Proc. ACM Program. Lang., 2020

How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.
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.
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.
CoRR, 2018

2017
Research for practice: web security and mobile web computing.
Commun. ACM, 2017

2016
Type-Driven Repair for Information Flow Security.
CoRR, 2016

Precise, dynamic information flow for database-backed applications.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Preventing information leaks with policy-agnostic programming.
PhD thesis, 2015

End-To-End Policy-Agnostic Security for Database-Backed Applications.
CoRR, 2015

2014
Women, hip-hop, and self-teaching: the new diversity in computing.
XRDS, 2014

2013
Secure distributed programming with value-dependent types.
J. Funct. Program., 2013

Faceted execution of policy-agnostic programs.
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

2012
A language for automatically enforcing privacy policies.
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.
Commun. ACM, 2011


  Loading...