Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jean Yang

Author information

MIT

Other persons with the same name

see FAQ

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/YangYS12
- ask others
Jean Yang, Kuat Yessenov, Armando Solar-Lezama: A language for automatically enforcing privacy policies. POPL 2012: 85-96
2011
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/YangH11
- ask others
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]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/SwamyCFSBY11
- ask others
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]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pldi/YangH10
- ask others
Jean Yang, Chris Hawblitzel: Safe to the last instruction: automated verification of a type-safe operating system. PLDI 2010: 99-110

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?