USENIX | The Advanced Computing Systems Association

Device Driver Safety Through a Reference Validation Mechanism

Williams D, Reynolds P, Walsh K, Sirer EGun, Schneider FB. 2008. Device Driver Safety Through a Reference Validation Mechanism. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Read more about Device Driver Safety Through a Reference Validation Mechanism
DBLP
Log in to post comments
Google Scholar
BibTeX

Digging for Data Structures

Cozzie A, Stratton F, Xue H, King ST. 2008. Digging for Data Structures. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Read more about Digging for Data Structures
DBLP
Log in to post comments
Google Scholar
BibTeX

Binary Translation Using Peephole Superoptimizers

Bansal S, Aiken A. 2008. Binary Translation Using Peephole Superoptimizers. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Read more about Binary Translation Using Peephole Superoptimizers
DBLP
Log in to post comments
Google Scholar
BibTeX

R2: An {Application-Level} Kernel for Record and Replay

Guo Z, Wang X, Tang J, Liu X, Xu Z, M. Kaashoek F. 2008. R2: An {Application-Level} Kernel for Record and Replay. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Read more about R2: An {Application-Level} Kernel for Record and Replay
DBLP
Log in to post comments
Google Scholar
BibTeX

{KLEE}: Unassisted and Automatic Generation of {High-Coverage} Tests for Complex Systems Programs

Cadar C, Dunbar D, Engler D. 2008. {KLEE}: Unassisted and Automatic Generation of {High-Coverage} Tests for Complex Systems Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

{SQCK}: A Declarative File System Checker

Gunawi HS, Rajimwale A, Arpaci-Dusseau AC, Arpaci-Dusseau RH. 2008. {SQCK}: A Declarative File System Checker. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Read more about {SQCK}: A Declarative File System Checker
DBLP
Log in to post comments
Google Scholar
BibTeX

Transactional Flash

Prabhakaran V, Rodeheffer TL, Zhou L. 2008. Transactional Flash. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Avoiding File System Micromanagement with Range Writes

Anand A, Sen S, Krioukov A, Popovici F, Akella A, Arpaci-Dusseau A, Banerjee S. 2008. Avoiding File System Micromanagement with Range Writes. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Read more about Avoiding File System Micromanagement with Range Writes
DBLP
Log in to post comments
Google Scholar
BibTeX

Symposium Reception

[Anonymous]. 2008. Symposium Reception. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).

Multikernel: An Architecture for Scalable Multi-core Operating Systems

Peter S, Schüpbach A, Singhania A, Baumann A, Zurich TRoscoeETH, Barham P, Isaacs R. 2008. Multikernel: An Architecture for Scalable Multi-core Operating Systems.

Read more about Multikernel: An Architecture for Scalable Multi-core Operating Systems
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages