@inproceedings{ dblp2890570,
  title = {Safe to the last instruction: automated verification of a type-safe operating system},
  author = {Jean Yang and Chris Hawblitzel},
  author_short = {Yang, J. and Hawblitzel, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2890570},
  id = {dblp2890570},
  biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/YangH10},
  url = {http://doi.acm.org/10.1145/1806596.1806610},
  conference = {PLDI},
  pages = {99-110},
  text = {PLDI 2010:99-110},
  booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}
}

{"_id":"JtxP3YsvJstcNBay9","bibbaseid":"yang-hawblitzel-safetothelastinstructionautomatedverificationofatypesafeoperatingsystem-2010","downloads":0,"creationDate":"2015-10-22T20:47:41.463Z","title":"Safe to the last instruction: automated verification of a type-safe operating system","author_short":["Yang, J.","Hawblitzel, C."],"year":2010,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/pldi/YangH10","bibdata":{"title":"Safe to the last instruction: automated verification of a type-safe operating system","author":["Jean Yang","Chris Hawblitzel"],"author_short":["Yang, J.","Hawblitzel, C."],"bibtype":"inproceedings","type":"inproceedings","year":"2010","key":"dblp2890570","id":"dblp2890570","biburl":"http://www.dblp.org/rec/bibtex/conf/pldi/YangH10","url":"http://doi.acm.org/10.1145/1806596.1806610","conference":"PLDI","pages":"99-110","text":"PLDI 2010:99-110","booktitle":"Proceedings of Programming Language Design and Implementation (PLDI)","bibtex":"@inproceedings{ dblp2890570,\n title = {Safe to the last instruction: automated verification of a type-safe operating system},\n author = {Jean Yang and Chris Hawblitzel},\n author_short = {Yang, J. and Hawblitzel, C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2890570},\n id = {dblp2890570},\n biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/YangH10},\n url = {http://doi.acm.org/10.1145/1806596.1806610},\n conference = {PLDI},\n pages = {99-110},\n text = {PLDI 2010:99-110},\n booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}\n}","bibbaseid":"yang-hawblitzel-safetothelastinstructionautomatedverificationofatypesafeoperatingsystem-2010","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1806596.1806610"},"downloads":0},"search_terms":["safe","last","instruction","automated","verification","type","safe","operating","system","yang","hawblitzel"],"keywords":[],"authorIDs":[],"dataSources":["ECHY8CstfjLRcuJH9"]}