default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th PLOS@SOSP 2009: Big Sky, Montana, USA
- Gilles Muller:
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009. ACM 2009, ISBN 978-1-60558-844-5
Kernels
- Frederick R. M. Barnes, Carl G. Ritson:
Checking process-oriented operating system behaviour using CSP and refinement. 1:1-1:5 - Sebastian Reichelt, Jan Stoess, Frank Bellosa:
A microkernel API for fine-grained decomposition. 2:1-2:5
Distributed systems
- Lonnie Princehouse, Ken Birman
:
Code-Partitioning Gossip. 3:1-3:5 - Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi:
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. 4:1-4:5
Domain-specific languages
- Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe:
Filet-o-Fish: practical and dependable domain-specific languages for OS development. 5:1-5:5 - Alexander Schmidt, Martin von Löwis, Andreas Polze:
KStruct: preserving consistency through C annotations. 6:1-6:5 - Krzysztof Ostrowski, Ken Birman, Danny Dolev:
Distributed data flow language for multi-party protocols. 7:1-7:5
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
