Abstract is missing.
- A microkernel API for fine-grained decompositionSebastian Reichelt, Jan Stoess, Frank Bellosa. [doi]
- Checking process-oriented operating system behaviour using CSP and refinementFrederick R. M. Barnes, Carl G. Ritson. [doi]
- Code-Partitioning GossipLonnie Princehouse, Ken Birman. [doi]
- KStruct: preserving consistency through C annotationsAlexander Schmidt, Martin von Löwis, Andreas Polze. [doi]
- Distributed data flow language for multi-party protocolsKrzysztof Ostrowski, Ken Birman, Danny Dolev. [doi]
- CatchAndRetry: extending exceptions to handle distributed system failures and recoveryEmre Kiciman, Benjamin Livshits, Madanlal Musuvathi. [doi]
- Filet-o-Fish: practical and dependable domain-specific languages for OS developmentPierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe. [doi]