default search action

combined dblp search
author search
venue search
publication search

ask others

6th PLOS@SOSP 2011: Cascais, Portugal

> 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/2011plos
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/2011plos
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011. ACM 2011, ISBN 978-1-4503-0979-0

Static analyses

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/SahaLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/SahaLM11
Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. 1:1-1:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/TartlerL00S11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/TartlerL00S11
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero:
Configuration coverage in the analysis of large-scale system software. 2:1-2:5

Security

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/WargL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/WargL11
Alexander Warg, Adam Lackorzynski:
Rounding pointers: type safe capabilities with C++ meta programming. 3:1-3:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/DeHonKKMMMMPPRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/DeHonKKMMMMPPRS11
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. 4:1-4:5

Dynamic safety and performance

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/GerakiosPSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/GerakiosPSV11
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris:
Dynamic deadlock avoidance in systems code using statically inferred effects. 5:1-5:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/SunFGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/SunFGB11
Jack Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown:
Using declarative invariants for protecting file-system integrity. 6:1-6:5
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/Gidra0S011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/Gidra0S011
Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro:
Assessing the scalability of garbage collectors on many cores. 7:1-7:5

Reversible debugging

- view
  authority control:
- export record
  dblp key:
  - conf/sosp/VisanACD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/VisanACD11
Ana Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston:
URDB: a universal reversible debugger based on decomposing debugging histories. 8:1-8: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.