|
|
|
|
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.  |
PLOS@SOSP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti |
On the Challenge of Sound Code for Operating Systems. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer |
Synthesizing Device Drivers with Ghost Writer. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaurya Patel, Sidharth Agrawal, Alexandra Fedorova, Margo I. Seltzer |
CHERI-picking: Leveraging capability hardware for prefetching. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier |
Software Compartmentalization Trade-Offs with Hardware Capabilities. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023 |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Charly Castes, Adrien Ghosn |
Dynamic Linkers Are the Narrow Waist of Operating Systems. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyao Ma, Guojun Chen, Lin Zhong 0001 |
Panic Recovery in Rust-based Embedded Systems. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat |
Towards Just-In-Time Compiling of Operating Systems. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sippel, Horst Schirmeier |
Process Composition with Typed Unix Pipes. |
PLOS@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Köppen, Birte Friesel, Christoph Borchert, Olaf Spinczyk |
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++. |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel G. Waddington, Moshik Hershcovitch, Clem Dickey |
PyMM: Heterogeneous Memory Programming for Python Data Science. |
PLOS@SOSP |
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 |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Greenberg 0002 |
Files-as-Filesystems for POSIX Shell Data Processing. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgos Kappes, Stergios V. Anastasiadis |
Asterope: A Cross-Platform Optimization Method for Fast Memory Copy. |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Lehrmann Madsen |
Using Coroutines for Multi-core Preemptive Scheduling. |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dietrich 0001 |
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions. |
PLOS@SOSP |
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? |
PLOS@SOSP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Yodaiken |
How ISO C became unusable for operating systems development. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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++. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rommel, Lennart Glauer, Christian Dietrich 0001, Daniel Lohmann |
Wait-Free Code Patching of Multi-Threaded Processes. |
PLOS@SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bittman, Peter Alvaro, Ethan L. Miller |
A Persistent Problem: Managing Pointers in NVM. |
PLOS@SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Lankes, Jens Breitbart, Simon Pickartz |
Exploring Rust for Unikernel Development. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Barbalace, Pierre Olivier, Binoy Ravindran |
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisham Muhammad, Lucas Correia Villa Real, Michael Homer |
Taxonomy of Package Management in Programming Languages and Operating Systems. |
PLOS@SOSP |
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 |
PLOS@SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |
Towards Correct-by-Construction Interrupt Routing on Real Hardware. |
PLOS@SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Friesel, Markus Buschhoff, Olaf Spinczyk |
Annotations in Operating Systems with Custom AspectC++ Attributes. |
PLOS@SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig |
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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 |
PLOS@SOSP |
2017 |
DBLP BibTeX RDF |
|
| 1 | Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser |
The Cogent Case for Property-Based Testing. |
PLOS@SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Harvey 0002, Joseph S. Sventek |
Adaptable Actors: Just What The World Needs. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Boos, Lin Zhong 0001 |
Theseus: a State Spill-free Operating System. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Yanok, Nathaniel Nystrom |
Tapir: a language for verified OS kernel probes. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan |
Making lock-free data structures verifiable with artificial transactions. |
PLOS@SOSP |
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 |
PLOS@SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ake Koomsin, Yasushi Shinjo |
Running application specific kernel code by a just-in-time compiler. |
PLOS@SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev |
Lightweight capability domains: towards decomposing the Linux kernel. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Eriksen |
Your server as a function. |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick |
Towards a verified component platform. |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Burtsev, Nikhil Mishrikoti, Eric Eide, Robert Ricci |
Weir: a streaming language for performance analysis. |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe |
Modeling NICs with Unicorn. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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! |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Kell |
The operating system: should there be one? |
PLOS@SOSP |
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 |
PLOS@SOSP |
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. |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Dzik, Nick Palladinos, Konstantinos Rontogiannis, Eirik Tsarpalis, Nikolaos Vathis |
MBrace: cloud computing with monads. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris |
Dynamic deadlock avoidance in systems code using statically inferred effects. |
PLOS@SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suman Saha 0002, Julia Lawall, Gilles Muller |
Finding resource-release omission faults in Linux. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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 |
PLOS@SOSP |
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. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Warg, Adam Lackorzynski |
Rounding pointers: type safe capabilities with C++ meta programming. |
PLOS@SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown |
Using declarative invariants for protecting file-system integrity. |
PLOS@SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emre Kiciman, Benjamin Livshits, Madanlal Musuvathi |
CatchAndRetry: extending exceptions to handle distributed system failures and recovery. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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 |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick R. M. Barnes, Carl G. Ritson |
Checking process-oriented operating system behaviour using CSP and refinement. |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schmidt 0001, Martin von Löwis, Andreas Polze |
KStruct: preserving consistency through C annotations. |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Ostrowski, Ken Birman, Danny Dolev |
Distributed data flow language for multi-party protocols. |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Reichelt, Jan Stoess, Frank Bellosa |
A microkernel API for fine-grained decomposition. |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lonnie Princehouse, Ken Birman |
Code-Partitioning Gossip. |
PLOS@SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bläser |
A high-performance operating system for structured concurrent programs. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Marquet, Gilles Grimaud |
A DSL approach for object memory management of small devices. |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Ryzhyk, Ihor Kuz, Gernot Heiser |
Formalising device driver interfaces. |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Sondag, Viswanath Krishnamurthy, Hridesh Rajan |
Predictive thread-to-core assignment on a heterogeneous multi-core processor. |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Bierhoff, Chris Hawblitzel |
Checking the hardware-software interface in spec#. |
PLOS@SOSP |
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 |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, Wolfgang Schröder-Preikschat |
Configurable memory protection by aspects. |
PLOS@SOSP |
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. |
PLOS@SOSP |
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. |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Walton, Eric Eide |
Resource management aspects for sensor network software. |
PLOS@SOSP |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #92 of 92 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license