seL4

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 2009

Page: 207

Article

DOI: 10.1145/1629575.1629596

SO-VID: 1e264968-c598-4c12-b95e-e33f99fe8f31

Conference name: the ACM SIGOPS 22nd symposium

Conference acronym: SOSP '09

Conference number: 22

Conference location: Big Sky, Montana, USA

Conference date: November 11, 2009 - November 14, 2009

Conference sponsor: ACM, Association for Computing Machinery

Conference sponsor: SIGOPS, ACM Special Interest Group on Operating Systems

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.