Richard Draves, Robbert van Renesse
Proceedings of the Eighth Symposium on Operating Systems Design and Implementation
OSDI, 2008.

@proceedings{OSDI-2008,
	address       = "San Diego, California, USA",
	editor        = "Richard Draves and Robbert van Renesse",
	ee            = "https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A73",
	isbn          = "978-1-931971-65-2",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the Eighth Symposium on Operating Systems Design and Implementation}",
	year          = 2008,
}

Contents (26 items)

12 ×#named
3 ×#concurrent
3 ×#operating system
3 ×#source code
3 ×#using
2 ×#automation
2 ×#file system
2 ×#memory management
2 ×#monitoring
2 ×#network

OSDI-2008-YuIFBEGC #distributed #named #using

DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.

OSDI-2008-NarayananDTER #named #scalability

Everest: Scaling Down Peak Loads Through I/O Off-Loading (DN, AD, ET, SE, AITR), pp. 15–28.

OSDI-2008-ZahariaKJKS #performance #pipes and filters

Improving MapReduce Performance in Heterogeneous Environments (MZ, AK, ADJ, RHK, IS), pp. 29–42.

OSDI-2008-Boyd-WickizerCCMKMPSWDZZ #named #operating system

Corey: An Operating System for Many Cores (SBW, HC, RC, YM, MFK, RM, AP, LS, MW, YhD, YZ, ZZ), pp. 43–57.

OSDI-2008-DavidCCC #named #operating system #reliability

CuriOS: Improving Reliability through Operating System Structure (FMD, EC, JCC, RHC), pp. 59–72.

OSDI-2008-YangLBKM #named #operating system

Redline: First Class Support for Interactivity in Commodity Operating Systems (TY, TL, EDB, SFK, JEBM), pp. 73–86.

OSDI-2008-JainMKYDZ #consistency #metric #monitoring #network #scalability

Network Imprecision: A New Consistency Metric for Scalable Monitoring (NJ, PM, DK, PY, MD, YZ), pp. 87–102.

OSDI-2008-BhatiaKFP #lightweight #monitoring

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.

OSDI-2008-ChenZMB #automation #case study #dependence #experience #network

Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions (XC, MZ, ZMM, PB), pp. 117–130.

OSDI-2008-GunawiRAA #declarative #file system #named

SQCK: A Declarative File System Checker (HSG, AR, ACAD, RHAD), pp. 131–146.

OSDI-2008-PrabhakaranRZ #transaction

Transactional Flash (VP, TLR, LZ), pp. 147–160.

OSDI-2008-AnandSKPAAAB #file system

Avoiding File System Micromanagement with Range Writes (AA, SS, AK, FIP, AA, ACAD, RHAD, SB), pp. 161–176.

OSDI-2008-BansalA #using

Binary Translation Using Peephole Superoptimizers (SB, AA), pp. 177–192.

OSDI-2008-GuoWTLXWKZ #kernel #named

R2: An Application-Level Kernel for Record and Replay (ZG, XW, JT, XL, ZX, MW, MFK, ZZ), pp. 193–208.

OSDI-2008-CadarDE #automation #generative #named #source code #testing

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.

OSDI-2008-ZeldovichKDK #hardware #memory management #policy #security #using

Hardware Enforcement of Application Security Policies Using Tagged Memory (NZ, HK, MD, CK), pp. 225–240.

OSDI-2008-WilliamsRWSS #safety #validation

Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.

OSDI-2008-CozzieSXK #data type

Digging for Data Structures (AC, FS, HX, STK), pp. 255–266.

OSDI-2008-MusuvathiQBBNN #concurrent #source code

Finding and Reproducing Heisenbugs in Concurrent Programs (MM, SQ, TB, GB, PAN, IN), pp. 267–280.

OSDI-2008-WangKKLM #concurrent #named #parallel #source code #thread

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.

OSDI-2008-JulaTZC #concurrent

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks (HJ, DMT, CZ, GC), pp. 295–308.

OSDI-2008-GuptaLVSSVVV #difference #memory management #virtual machine

Difference Engine: Harnessing Memory Redundancy in Virtual Machines (DG, SL, MV, SS, ACS, GV, GMV, AV), pp. 309–322.

OSDI-2008-FonsecaDLS #embedded #energy #named

Quanto: Tracking Energy in Networked Embedded Systems (RF, PD, PL, IS), pp. 323–338.

OSDI-2008-DouceurEHL #legacy #web

Leveraging Legacy Code to Deploy Desktop Applications on the Web (JRD, JE, JH, JRL), pp. 339–354.

OSDI-2008-LiCMKRAD #named

FlightPath: Obedience vs. Choice in Cooperative Services (HCL, AC, MM, MK, LR, LA, MD), pp. 355–368.

OSDI-2008-MaoJM #named #performance #state machine

Mencius: Building Efficient Replicated State Machine for WANs (YM, FPJ, KM), pp. 369–384.