default search action

combined dblp search
author search
venue search
publication search

ask others

9th PLOS@SOSP 2017: Shanghai, China

> Home > Conferences and Workshops > PLOS
> Home > Conferences and Workshops > SOSP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/sosp/2017plos
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/2017plos
Julia Lawall:
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017. ACM 2017, ISBN 978-1-4503-5153-9
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/ChenOKKH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/ChenOKKH17
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser:
The Cogent Case for Property-Based Testing. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/HumbelACR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/HumbelACR17
Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe:
Towards Correct-by-Construction Interrupt Routing on Real Hardware. 8-14
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/SangRPNAE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/SangRPNAE17
Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster:
Programmable Elasticity for Actor-based Cloud Applications. 15-21
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/HarveyS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/HarveyS17
Paul Harvey, Joseph S. Sventek:
Adaptable Actors: Just What The World Needs. 22-28
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/BoosZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/BoosZ17
Kevin Boos, Lin Zhong:
Theseus: a State Spill-free Operating System. 29-35
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/FrieselBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/FrieselBS17
Birte Friesel, Markus Buschhoff, Olaf Spinczyk:
Annotations in Operating Systems with Custom AspectC++ Attributes. 36-42
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/VasilakisKRDDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/VasilakisKRDDS17
Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, André DeHon, Jonathan M. Smith:
Towards Fine-grained, Automated Application Compartmentalization. 43-50
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/LamowskiWLH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/LamowskiWLH17
Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig:
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. 51-57

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.