@article{YangH10,
  author    = {Jean Yang and
               Chris Hawblitzel},
  title     = {Safe to the last instruction: automated verification of
               a type-safe operating system},
  booktitle = {PLDI},
  year      = {2010},
  pages     = {99-110}
}