default search action

combined dblp search
author search
venue search
publication search

ask others

4th PLOS@SOSP 2007: Stevenson, Washington, USA

> 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
  authority control:
- export record
  dblp key:
  - conf/sosp/2007plos
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/2007plos
Eric Eide, Marc E. Fiuczynski:
Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007. ACM 2007, ISBN 978-1-59593-922-7

Construction and repair

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/DiatchkiHJLT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/DiatchkiHJLT07
Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach:
Writing systems software in a functional language: an experience report. 1:1-1:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/StuartHLAPM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/StuartHLAPM07
Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller:
Towards easing the diagnosis of bugs in OS code. 2:1-2:5

Crosscutting concerns

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/LohmannSHSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/LohmannSHSS07
Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, Wolfgang Schröder-Preikschat:
Configurable memory protection by aspects. 3:1-3:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/MarquetG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/MarquetG07
Kevin Marquet, Gilles Grimaud:
A DSL approach for object memory management of small devices. 4:1-4:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/WaltonE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/WaltonE07
Sean Walton, Eric Eide:
Resource management aspects for sensor network software. 5:1-5:5

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/McKenneyMW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/McKenneyMW07
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. 6:1-6:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/SondagKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/SondagKR07
Tyler Sondag, Viswanath Krishnamurthy, Hridesh Rajan:
Predictive thread-to-core assignment on a heterogeneous multi-core processor. 7:1-7:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/Blaser07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/Blaser07
Luc Bläser:
A high-performance operating system for structured concurrent programs. 8:1-8:5

Low-level interfaces

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/BierhoffH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/BierhoffH07
Kevin Bierhoff, Chris Hawblitzel:
Checking the hardware-software interface in spec#. 9:1-9:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/RyzhykKH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/RyzhykKH07
Leonid Ryzhyk, Ihor Kuz, Gernot Heiser:
Formalising device driver interfaces. 10:1-10:5

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.