Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jean Yang" ( http://dblp.L3S.de/Authors/Jean_Yang )

URL (Homepage):  http://people.csail.mit.edu/jeanyang/  Author page on DBLP  Author page in RDF  Community of Jean Yang in ASPL-2

Publication years (Num. hits)
2010 (1) 2011 (2) 2012 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
Commun. ACM(1) ICFP(1) PLDI(1) POPL(1)
Authors
Jean Yang(4) Chris Hawblitzel(2) Armando Solar-Lezama(1) Cédric Fournet(1) Juan Chen(1) Karthikeyan Bhargavan(1) Kuat Yessenov(1) Nikhil Swamy(1) Pierre-Yves Strub(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jean Yang, Kuat Yessenov, Armando Solar-Lezama A language for automatically enforcing privacy policies. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean Yang, Chris Hawblitzel Safe to the last instruction: automated verification of a type-safe operating system. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang Secure distributed programming with value-dependent types. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean Yang, Chris Hawblitzel Safe to the last instruction: automated verification of a type-safe operating system. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, operating system, type safety, run-time system
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.