Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/sosp/BarnesR09,
  author       = {Frederick R. M. Barnes and
                  Carl G. Ritson},
  editor       = {Gilles Muller},
  title        = {Checking process-oriented operating system behaviour using {CSP} and
                  refinement},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {1:1--1:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745440},
  doi          = {10.1145/1745438.1745440},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/BarnesR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/DagandBR09,
  author       = {Pierre{-}{\'{E}}variste Dagand and
                  Andrew Baumann and
                  Timothy Roscoe},
  editor       = {Gilles Muller},
  title        = {Filet-o-Fish: practical and dependable domain-specific languages for
                  {OS} development},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {5:1--5:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745446},
  doi          = {10.1145/1745438.1745446},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/DagandBR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/KicimanLM09,
  author       = {Emre Kiciman and
                  Benjamin Livshits and
                  Madanlal Musuvathi},
  editor       = {Gilles Muller},
  title        = {CatchAndRetry: extending exceptions to handle distributed system failures
                  and recovery},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {4:1--4:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745444},
  doi          = {10.1145/1745438.1745444},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/KicimanLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/OstrowskiBD09,
  author       = {Krzysztof Ostrowski and
                  Ken Birman and
                  Danny Dolev},
  editor       = {Gilles Muller},
  title        = {Distributed data flow language for multi-party protocols},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {7:1--7:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745448},
  doi          = {10.1145/1745438.1745448},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/OstrowskiBD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/PrincehouseB09,
  author       = {Lonnie Princehouse and
                  Ken Birman},
  editor       = {Gilles Muller},
  title        = {Code-Partitioning Gossip},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {3:1--3:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745443},
  doi          = {10.1145/1745438.1745443},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/PrincehouseB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/ReicheltSB09,
  author       = {Sebastian Reichelt and
                  Jan Stoess and
                  Frank Bellosa},
  editor       = {Gilles Muller},
  title        = {A microkernel {API} for fine-grained decomposition},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {2:1--2:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745441},
  doi          = {10.1145/1745438.1745441},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/ReicheltSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/SchmidtLP09,
  author       = {Alexander Schmidt and
                  Martin von L{\"{o}}wis and
                  Andreas Polze},
  editor       = {Gilles Muller},
  title        = {KStruct: preserving consistency through {C} annotations},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {6:1--6:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745447},
  doi          = {10.1145/1745438.1745447},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/SchmidtLP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sosp/2009plos,
  editor       = {Gilles Muller},
  title        = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438},
  doi          = {10.1145/1745438},
  isbn         = {978-1-60558-844-5},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/2009plos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}