@misc{Heiser_11:plos,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at Workshop on Programming Languages and Operating Systems (PLOS), Cascais, Portugal},
    month            = oct,
    title            = {The Role of Language Technology in Trustworthy Operating Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_11:plos.abstract.pml},
    year             = {2011}
  }