|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 92 publication records. Showing 92 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Amélie Gonzalez, Djob Mvondo, Yérom-David Bromberg |
Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 18-25, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti |
On the Challenge of Sound Code for Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 83-90, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer |
Synthesizing Device Drivers with Ghost Writer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 10-17, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Lafrance, David Detweiler, Zhaofeng Li 0004, Xiangdong Chen, Vikram Narayanan, Anton Burtsev |
Extending Rust with Support for Zero Copy Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 74-82, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaurya Patel, Sidharth Agrawal, Alexandra Fedorova, Margo I. Seltzer |
CHERI-picking: Leveraging capability hardware for prefetching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 58-65, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier |
Software Compartmentalization Trade-Offs with Hardware Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 49-57, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser |
Pancake: Verified Systems Programming Made Sweeter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 1-9, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Charly Castes, Adrien Ghosn |
Dynamic Linkers Are the Narrow Waist of Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 26-33, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhiyao Ma, Guojun Chen, Lin Zhong 0001 |
Panic Recovery in Rust-based Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 66-73, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat |
Towards Just-In-Time Compiling of Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 41-48, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sippel, Horst Schirmeier |
Process Composition with Typed Unix Pipes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023, pp. 34-40, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Köppen, Birte Friesel, Christoph Borchert, Olaf Spinczyk |
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 24-30, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel G. Waddington, Moshik Hershcovitch, Clem Dickey |
PyMM: Heterogeneous Memory Programming for Python Data Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 31-37, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-4503-8707-1 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Greenberg 0002 |
Files-as-Filesystems for POSIX Shell Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 17-23, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Lin, Kao-Feng Hsieh, Yu Sun, Seunghee Shin, Hui Lu 0001 |
FlashCube: Fast Provisioning of Serverless Functions with Streamlined Container Runtimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 38-45, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giorgos Kappes, Stergios V. Anastasiadis |
Asterope: A Cross-Platform Optimization Method for Fast Memory Copy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 9-16, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ole Lehrmann Madsen |
Using Coroutines for Multi-core Preemptive Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 46-52, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Dietrich 0001 |
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 62-68, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li 0004, Vikram Narayanan, Gerd Zellweger |
Isolation in Rust: What is Missing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 76-83, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Victor Yodaiken |
How ISO C became unusable for operating systems development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 84-90, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
Generating correct initial page tables from formal hardware descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 69-75, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luis Gerhorst, Benedict Herzog, Stefan Reif, Wolfgang Schröder-Preikschat, Timo Hönig |
AnyCall: Fast and Flexible System-Call Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 1-8, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhaofeng Li 0004, Tianjiao Huang, Vikram Narayanan, Anton Burtsev |
Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021, pp. 53-61, 2021, ACM, 978-1-4503-8707-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 38-44, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinloth, Marco Ammon, Dustin T. Nguyen, Timo Hönig, Volkmar Sieh, Wolfgang Schröder-Preikschat |
Cocoon: Custom-Fitted Kernel Compiled on Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 1-7, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florian Rommel, Lennart Glauer, Christian Dietrich 0001, Daniel Lohmann |
Wait-Free Code Patching of Multi-Threaded Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 23-29, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bittman, Peter Alvaro, Ethan L. Miller |
A Persistent Problem: Managing Pointers in NVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 30-37, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Lankes, Jens Breitbart, Simon Pickartz |
Exploring Rust for Unikernel Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 8-15, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon |
Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 16-22, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Barbalace, Pierre Olivier, Binoy Ravindran |
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 45-52, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller |
Fork/Wait and Multicore Frequency Scaling: a Generational Clash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 53-59, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer |
Trials and Tribulations in Synthesizing Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 67-73, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hisham Muhammad, Lucas Correia Villa Real, Michael Homer |
Taxonomy of Package Management in Programming Languages and Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019, pp. 60-66, 2019, ACM, 978-1-4503-7017-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-4503-7017-2 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |
Towards Correct-by-Construction Interrupt Routing on Real Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 8-14, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Birte Friesel, Markus Buschhoff, Olaf Spinczyk |
Annotations in Operating Systems with Custom AspectC++ Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 36-42, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig |
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 51-57, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster |
Programmable Elasticity for Actor-based Cloud Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 15-21, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julia Lawall (eds.) |
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-4503-5153-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser |
The Cogent Case for Property-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 1-7, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Harvey 0002, Joseph S. Sventek |
Adaptable Actors: Just What The World Needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 22-28, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, André DeHon, Jonathan M. Smith |
Towards Fine-grained, Automated Application Compartmentalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 43-50, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Boos, Lin Zhong 0001 |
Theseus: a State Spill-free Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017, pp. 29-35, 2017, ACM, 978-1-4503-5153-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Borchert, Olaf Spinczyk |
Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 1-7, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Yanok, Nathaniel Nystrom |
Tapir: a language for verified OS kernel probes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 33-38, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Khanh Nguyen 0001, Lu Fang 0003, Guoqing Xu 0001, Brian Demsky |
Speculative region-based memory management for big data systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 27-32, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan |
Making lock-free data structures verifiable with artificial transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 39-45, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shan Lu 0001 (eds.) |
Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-4503-3942-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ake Koomsin, Yasushi Shinjo |
Running application specific kernel code by a just-in-time compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 15-20, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev |
Lightweight capability domains: towards decomposing the Linux kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 8-14, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015, pp. 21-26, 2015, ACM, 978-1-4503-3942-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marius Eriksen |
Your server as a function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 5:1-5:7, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick |
Towards a verified component platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 2:1-2:7, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci |
Weir: a streaming language for performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 6:1-6:6, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe |
Modeling NICs with Unicorn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 3:1-3:6, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Senna Tschudin, Laurent Réveillère, Lingxiao Jiang, David Lo 0001, Julia Lawall, Gilles Muller |
Understanding the genetic makeup of Linux device drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 10:1-10:6, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |
File systems deserve verification too! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 1:1-1:7, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Kell |
The operating system: should there be one? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 8:1-8:7, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tim Harris 0001, Anil Madhavapeddy (eds.) |
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-4503-2460-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kapil Arya, Tyler Denniston, Ana Maria Visan, Gene Cooperman |
Semi-automated debugging via binary search through a process lifetime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 9:1-9:7, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Dzik, Nick Palladinos, Konstantinos Rontogiannis, Eirik Tsarpalis, Nikolaos Vathis |
MBrace: cloud computing with monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 7:1-7:6, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kuei Jack Sun, Daniel Fryer, Angela Demke Brown, Ashvin Goel |
Annotation for automation: rapid generation of file system tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013, pp. 4:1-4:6, 2013, ACM, 978-1-4503-2460-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris |
Dynamic deadlock avoidance in systems code using statically inferred effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 5:1-5:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Suman Saha 0002, Julia Lawall, Gilles Muller |
Finding resource-release omission faults in Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 1:1-1:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lokesh Gidra, Gaël Thomas 0001, Julien Sopena, Marc Shapiro 0001 |
Assessing the scalability of garbage collectors on many cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 7:1-7:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-4503-0979-0 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston |
URDB: a universal reversible debugger based on decomposing debugging histories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 8:1-8:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Tartler, Daniel Lohmann, Christian Dietrich 0001, Christoph Egger 0001, Julio Sincero |
Configuration coverage in the analysis of large-scale system software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 2:1-2:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan |
Preliminary design of the SAFE platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 4:1-4:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Warg, Adam Lackorzynski |
Rounding pointers: type safe capabilities with C++ meta programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 3:1-3:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jack Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown |
Using declarative invariants for protecting file-system integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011, pp. 6:1-6:5, 2011, ACM, 978-1-4503-0979-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi |
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 4:1-4:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe |
Filet-o-Fish: practical and dependable domain-specific languages for OS development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 5:1-5:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Muller (eds.) |
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-60558-844-5 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frederick R. M. Barnes, Carl G. Ritson |
Checking process-oriented operating system behaviour using CSP and refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 1:1-1:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schmidt 0001, Martin von Löwis, Andreas Polze |
KStruct: preserving consistency through C annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 6:1-6:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Ostrowski, Ken Birman, Danny Dolev |
Distributed data flow language for multi-party protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 7:1-7:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Reichelt, Jan Stoess, Frank Bellosa |
A microkernel API for fine-grained decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 2:1-2:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lonnie Princehouse, Ken Birman |
Code-Partitioning Gossip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009, pp. 3:1-3:5, 2009, ACM, 978-1-60558-844-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Luc Bläser |
A high-performance operating system for structured concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 8:1-8:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach |
Writing systems software in a functional language: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 1:1-1:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Marquet, Gilles Grimaud |
A DSL approach for object memory management of small devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 4:1-4:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Ryzhyk, Ihor Kuz, Gernot Heiser |
Formalising device driver interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 10:1-10:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tyler Sondag, Viswanath Krishnamurthy, Hridesh Rajan |
Predictive thread-to-core assignment on a heterogeneous multi-core processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 7:1-7:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Bierhoff, Chris Hawblitzel |
Checking the hardware-software interface in spec#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 9:1-9:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eric Eide, Marc E. Fiuczynski (eds.) |
Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![ACM, 978-1-59593-922-7 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, Wolfgang Schröder-Preikschat |
Configurable memory protection by aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 3:1-3:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller |
Towards easing the diagnosis of bugs in OS code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 2:1-2:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paul E. McKenney, Maged M. Michael, Jonathan Walpole |
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 6:1-6:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sean Walton, Eric Eide |
Resource management aspects for sensor network software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS@SOSP ![In: Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007, pp. 5:1-5:5, 2007, ACM, 978-1-59593-922-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #92 of 92 (100 per page; Change: )
|
|