default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th PLOS@SOSP 2017: Shanghai, China
- 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 - Zilin Chen
, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser:
The Cogent Case for Property-Based Testing. 1-7 - Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe:
Towards Correct-by-Construction Interrupt Routing on Real Hardware. 8-14 - Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster:
Programmable Elasticity for Actor-based Cloud Applications. 15-21 - Paul Harvey, Joseph S. Sventek:
Adaptable Actors: Just What The World Needs. 22-28 - Kevin Boos, Lin Zhong:
Theseus: a State Spill-free Operating System. 29-35 - Birte Friesel, Markus Buschhoff, Olaf Spinczyk:
Annotations in Operating Systems with Custom AspectC++ Attributes. 36-42 - Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, André DeHon, Jonathan M. Smith:
Towards Fine-grained, Automated Application Compartmentalization. 43-50 - 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.
last updated on 2024-10-04 20:08 CEST 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:
