share record
persistent URL:
Marcel Köppen , Jana Traue , Christoph Borchert , Jörg Nolte , Olaf Spinczyk : Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++. PLOS@SOSP 2019 : 38-44 share record
persistent URL:
Stefan Lankes , Jens Breitbart , Simon Pickartz : Exploring Rust for Unikernel Development. PLOS@SOSP 2019 : 8-15 share record
persistent URL:
Keunhong Lee , Jeehoon Kang , Wonsup Yoon , Joongi Kim , Sue B. Moon : Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System. PLOS@SOSP 2019 : 16-22 share record
persistent URL:
Hisham Muhammad , Lucas Correia Villa Real , Michael Homer : Taxonomy of Package Management in Programming Languages and Operating Systems. PLOS@SOSP 2019 : 60-66 share record
persistent URL:
Florian Rommel , Lennart Glauer , Christian Dietrich , Daniel Lohmann : Wait-Free Code Patching of Multi-Threaded Processes. PLOS@SOSP 2019 : 23-29 share record
persistent URL:
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019. ACM 2019 , ISBN 978-1-4503-7017-2 [contents] 2017 share record
persistent URL:
Kevin Boos , Lin Zhong : Theseus: a State Spill-free Operating System. PLOS@SOSP 2017 : 29-35 share record
persistent URL:
Zilin Chen , Liam O'Connor , Gabriele Keller , Gerwin Klein , Gernot Heiser : The Cogent Case for Property-Based Testing. PLOS@SOSP 2017 : 1-7 share record
persistent URL:
Birte Friesel , Markus Buschhoff , Olaf Spinczyk : Annotations in Operating Systems with Custom AspectC++ Attributes. PLOS@SOSP 2017 : 36-42 share record
persistent URL:
Paul Harvey , Joseph S. Sventek : Adaptable Actors: Just What The World Needs. PLOS@SOSP 2017 : 22-28 share record
persistent URL:
Lukas Humbel , Reto Achermann , David A. Cock , Timothy Roscoe : Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP 2017 : 8-14 share record
persistent URL:
Benjamin Lamowski , Carsten Weinhold , Adam Lackorzynski , Hermann Härtig : Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. PLOS@SOSP 2017 : 51-57 share record
persistent URL:
Bo Sang , Srivatsan Ravi , Gustavo Petri , Mahsa Najafzadeh , Masoud Saeida Ardekani , Patrick Eugster : Programmable Elasticity for Actor-based Cloud Applications. PLOS@SOSP 2017 : 15-21 export record
dblp key:
conf/sosp/VasilakisKRDDS17 share record
persistent URL:
Nikos Vasilakis , Ben Karel , Nick Roessler , Nathan Dautenhahn , André DeHon , Jonathan M. Smith : Towards Fine-grained, Automated Application Compartmentalization. PLOS@SOSP 2017 : 43-50 share record
persistent URL:
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 [contents] 2015 share record
persistent URL:
Christoph Borchert , Olaf Spinczyk : Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. PLOS@SOSP 2015 : 1-7 share record
persistent URL:
Charles Jacobsen , Muktesh Khole , Sarah Spall , Scotty Bauer , Anton Burtsev : Lightweight capability domains: towards decomposing the Linux kernel. PLOS@SOSP 2015 : 8-14 share record
persistent URL:
Ake Koomsin , Yasushi Shinjo : Running application specific kernel code by a just-in-time compiler. PLOS@SOSP 2015 : 15-20 share record
persistent URL:
Amit A. Levy , Michael P. Andersen , Bradford Campbell , David E. Culler , Prabal Dutta , Branden Ghena , Philip Alexander Levis , Pat Pannuto : Ownership is theft: experiences building an embedded OS in rust. PLOS@SOSP 2015 : 21-26 share record
persistent URL:
Khanh Nguyen , Lu Fang , Guoqing Xu , Brian Demsky : Speculative region-based memory management for big data systems. PLOS@SOSP 2015 : 27-32 share record
persistent URL:
Ilya Yanok , Nathaniel Nystrom : Tapir: a language for verified OS kernel probes. PLOS@SOSP 2015 : 33-38 share record
persistent URL:
Xinhao Yuan , David Williams-King , Junfeng Yang , Simha Sethumadhavan : Making lock-free data structures verifiable with artificial transactions. PLOS@SOSP 2015 : 39-45 share record
persistent URL:
Shan Lu : Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015. ACM 2015 , ISBN 978-1-4503-3942-1 [contents] 2013 share record
persistent URL:
Kapil Arya , Tyler Denniston , Ana Maria Visan , Gene Cooperman : Semi-automated debugging via binary search through a process lifetime. PLOS@SOSP 2013 : 9:1-9:7 share record
persistent URL:
Anton Burtsev , Nikhil Mishrikoti , Eric Eide , Robert Ricci : Weir: a streaming language for performance analysis. PLOS@SOSP 2013 : 6:1-6:6 share record
persistent URL:
Jan Dzik , Nick Palladinos , Konstantinos Rontogiannis , Eirik Tsarpalis , Nikolaos Vathis : MBrace: cloud computing with monads. PLOS@SOSP 2013 : 7:1-7:6 share record
persistent URL:
Marius Eriksen : Your server as a function. PLOS@SOSP 2013 : 5:1-5:7 share record
persistent URL:
Matthew Fernandez , Ihor Kuz , Gerwin Klein , June Andronick : Towards a verified component platform. PLOS@SOSP 2013 : 2:1-2:7 share record
persistent URL:
Stephen Kell : The operating system: should there be one? PLOS@SOSP 2013 : 8:1-8:7 export record
dblp key:
conf/sosp/KellerMAOCRKH13 share record
persistent URL:
Gabriele Keller , Toby C. Murray , Sidney Amani , Liam O'Connor , Zilin Chen , Leonid Ryzhyk , Gerwin Klein , Gernot Heiser : File systems deserve verification too! PLOS@SOSP 2013 : 1:1-1:7