Search dblp for Publications

export results for "toc:db/conf/sosp/plos2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sosp/BoosZ17,
  author       = {Kevin Boos and
                  Lin Zhong},
  editor       = {Julia Lawall},
  title        = {Theseus: a State Spill-free Operating System},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {29--35},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144560},
  doi          = {10.1145/3144555.3144560},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/BoosZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/ChenOKKH17,
  author       = {Zilin Chen and
                  Liam O'Connor and
                  Gabriele Keller and
                  Gerwin Klein and
                  Gernot Heiser},
  editor       = {Julia Lawall},
  title        = {The Cogent Case for Property-Based Testing},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144556},
  doi          = {10.1145/3144555.3144556},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/ChenOKKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/FrieselBS17,
  author       = {Birte Friesel and
                  Markus Buschhoff and
                  Olaf Spinczyk},
  editor       = {Julia Lawall},
  title        = {Annotations in Operating Systems with Custom AspectC++ Attributes},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {36--42},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144561},
  doi          = {10.1145/3144555.3144561},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/FrieselBS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/HarveyS17,
  author       = {Paul Harvey and
                  Joseph S. Sventek},
  editor       = {Julia Lawall},
  title        = {Adaptable Actors: Just What The World Needs},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {22--28},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144559},
  doi          = {10.1145/3144555.3144559},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/HarveyS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/HumbelACR17,
  author       = {Lukas Humbel and
                  Reto Achermann and
                  David A. Cock and
                  Timothy Roscoe},
  editor       = {Julia Lawall},
  title        = {Towards Correct-by-Construction Interrupt Routing on Real Hardware},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {8--14},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144557},
  doi          = {10.1145/3144555.3144557},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/HumbelACR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/LamowskiWLH17,
  author       = {Benjamin Lamowski and
                  Carsten Weinhold and
                  Adam Lackorzynski and
                  Hermann H{\"{a}}rtig},
  editor       = {Julia Lawall},
  title        = {Sandcrust: Automatic Sandboxing of Unsafe Components in Rust},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {51--57},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144562},
  doi          = {10.1145/3144555.3144562},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/LamowskiWLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/SangRPNAE17,
  author       = {Bo Sang and
                  Srivatsan Ravi and
                  Gustavo Petri and
                  Mahsa Najafzadeh and
                  Masoud Saeida Ardekani and
                  Patrick Eugster},
  editor       = {Julia Lawall},
  title        = {Programmable Elasticity for Actor-based Cloud Applications},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {15--21},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144558},
  doi          = {10.1145/3144555.3144558},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/SangRPNAE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/VasilakisKRDDS17,
  author       = {Nikos Vasilakis and
                  Ben Karel and
                  Nick Roessler and
                  Nathan Dautenhahn and
                  Andr{\'{e}} DeHon and
                  Jonathan M. Smith},
  editor       = {Julia Lawall},
  title        = {Towards Fine-grained, Automated Application Compartmentalization},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144563},
  doi          = {10.1145/3144555.3144563},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/VasilakisKRDDS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sosp/2017plos,
  editor       = {Julia Lawall},
  title        = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3144555},
  isbn         = {978-1-4503-5153-9},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/2017plos.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.