![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jean Yang 0001
Person information
- affiliation: Akita Software, Inc., San Mateo, USA
- affiliation (since 2016): Carnegie Mellon University, Pittsburgh, PA, USA
- affiliation (2015 - 2016): Harvard University, Harvard Medical School, Boston, MA, USA
- affiliation (PhD 2015): Massachusetts Institute of Technology, Cambridge, MA, USA
Other persons with the same name
- Jean Yang — disambiguation page
- Jean Yang 0002 — Macquarie University, CSIRO Mathematical and Information Sciences, Sydney, Australia
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c10]Zheng Guo, David Cao
, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova:
Type-directed program synthesis for RESTful APIs. PLDI 2022: 122-136 - [i4]Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova:
Type-Directed Program Synthesis for RESTful APIs. CoRR abs/2203.16697 (2022) - 2021
- [c9]Abhishek Bichhawat, Matt Fredrikson, Jean Yang:
Automating Audit with Policy Inference. CSF 2021: 1-16 - [c8]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: 441-459 - 2020
- [j6]Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
:
Liquid information flow control. Proc. ACM Program. Lang. 4(ICFP): 105:1-105:30 (2020) - [c7]Jean Yang:
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. PLAS@CCS 2020: 23 - [c6]Abhishek Bichhawat, Matt Fredrikson, Jean Yang, Akash Trehan:
Contextual and Granular Policy Enforcement in Database-backed Applications. AsiaCCS 2020: 432-444
2010 – 2019
- 2018
- [i3]Abhishek Bichhawat, Akash Trehan, Jean Yang, Matt Fredrikson:
ESTRELA: Automated Policy Enforcement Across Remote APIs. CoRR abs/1811.08234 (2018) - 2017
- [j5]Peter Bailis, Jean Yang, Vijay Janapa Reddi, Yuhao Zhu:
Research for practice: web security and mobile web computing. Commun. ACM 60(1): 50-53 (2017) - 2016
- [j4]Jean Yang, Vijay Janapa Reddi, Yuhao Zhu, Peter Bailis:
Research for Practice: Web Security and Mobile Web Computing. ACM Queue 14(4): 80 (2016) - [c5]Jean Yang, Travis Hance, Thomas H. Austin
, Armando Solar-Lezama
, Cormac Flanagan, Stephen Chong:
Precise, dynamic information flow for database-backed applications. PLDI 2016: 631-647 - [i2]Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama:
Type-Driven Repair for Information Flow Security. CoRR abs/1607.03445 (2016) - 2015
- [b1]Jean Yang:
Preventing information leaks with policy-agnostic programming. Massachusetts Institute of Technology, Cambridge, MA, USA, 2015 - [i1]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 abs/1507.03513 (2015) - 2014
- [j3]Jean Yang:
Women, hip-hop, and self-teaching: the new diversity in computing. XRDS 20(4): 11-12 (2014) - 2013
- [j2]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): 402-451 (2013) - [c4]Thomas H. Austin
, Jean Yang, Cormac Flanagan, Armando Solar-Lezama
:
Faceted execution of policy-agnostic programs. PLAS 2013: 15-26 - 2012
- [c3]Jean Yang, Kuat Yessenov, Armando Solar-Lezama
:
A language for automatically enforcing privacy policies. POPL 2012: 85-96 - 2011
- [j1]Jean Yang, Chris Hawblitzel:
Safe to the last instruction: automated verification of a type-safe operating system. Commun. ACM 54(12): 123-131 (2011) - [c2]Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang:
Secure distributed programming with value-dependent types. ICFP 2011: 266-278 - 2010
- [c1]Jean Yang, Chris Hawblitzel:
Safe to the last instruction: automated verification of a type-safe operating system. PLDI 2010: 99-110
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint