Computer science
Symposium on Operating Systems Principles
Association for Computing Machinery
Carnegie Mellon University
Gernot Heiser
Computing