Remzi H. Arpaci-Dusseau, Brad Chen
Proceedings of the Ninth Symposium on Operating Systems Design and Implementation
OSDI, 2010.

@proceedings{OSDI-2010,
	address       = "Vancouver, British Columbia, Canada",
	editor        = "Remzi H. Arpaci-Dusseau and Brad Chen",
	ee            = "https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A25",
	ee            = "http://www.usenix.org/event/osdi10/tech/full_papers/osdi10_proceedings.pdf",
	isbn          = "978-1-931971-79-9",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the Ninth Symposium on Operating Systems Design and Implementation}",
	year          = 2010,
}

Contents (32 items)

9 ×#named
5 ×#distributed
4 ×#automation
4 ×#scalability
4 ×#using
3 ×#network
2 ×#analysis
2 ×#data flow
2 ×#framework
2 ×#performance

OSDI-2010-Boyd-WickizerCMPKMZ #analysis #linux #scalability

An Analysis of Linux Scalability to Many Cores (SBW, ATC, YM, AP, MFK, RM, NZ), pp. 1–16.

OSDI-2010-TangMK #operating system #trust

Trust and Protection in the Illinois Browser Operating System (ST, HM, STK), pp. 17–32.

OSDI-2010-SoaresS #flexibility #named #scheduling

FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (LS, MS), pp. 33–46.

OSDI-2010-BeaverKLSV #facebook

Finding a Needle in Haystack: Facebook’s Photo Storage (DB, SK, HCL, JS, PV), pp. 47–60.

OSDI-2010-FordLPSTBGQ #distributed

Availability in Globally Distributed Storage Systems (DF, FL, FIP, MS, VAT, LB, CG, SQ), pp. 61–74.

OSDI-2010-GundaRTYZ #automation #named

Nectar: Automatic Management of Data and Computation in Datacenters (PKG, LR, CAT, YY, LZ), pp. 75–88.

OSDI-2010-KimWZK #using

Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.

OSDI-2010-Chlipala #policy #security #static analysis

Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications (AC), pp. 105–118.

OSDI-2010-HaeberlenARD #virtual machine

Accountable Virtual Machines (AH, PA, RR, PD), pp. 119–134.

OSDI-2010-WuCY #execution

Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.

OSDI-2010-EricksonMBO #concurrent #detection #effectiveness #kernel

Effective Data-Race Detection for the Kernel (JE, MM, SB, KO), pp. 151–162.

OSDI-2010-XiongPZZM #ad hoc #harmful

Ad Hoc Synchronization Considered Harmful (WX, SP, JZ, YZ, ZM), pp. 163–176.

OSDI-2010-BerganHCG #process

Deterministic Process Groups in dOS (TB, NH, LC, SDG), pp. 177–191.

OSDI-2010-AviramWHF #parallel #performance

Efficient System-Enforced Deterministic Parallelism (AA, SCW, SH, BF), pp. 193–206.

OSDI-2010-CuiWTY #multi #thread

Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.

OSDI-2010-KushmanK #automation #independence

Enabling Configuration-Independent Automation by Non-Expert Users (NK, DK), pp. 223–236.

OSDI-2010-AttariyanF #analysis #automation #data flow #information management

Automating Configuration Troubleshooting with Dynamic Information Flow Analysis (MA, JF), pp. 237–250.

OSDI-2010-PengD #distributed #incremental #scalability #transaction #using

Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.

OSDI-2010-AnanthanarayananKGSLSH #clustering #using

Reining in the Outliers in Map-Reduce Clusters using Mantri (GA, SK, AGG, IS, YL, BS, EH), pp. 265–278.

OSDI-2010-PortsCZML #automation #consistency #transaction

Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.

OSDI-2010-PowerL #distributed #named #performance #source code

Piccolo: Building Fast, Distributed Programs with Partitioned Tables (RP, JL), pp. 293–306.

OSDI-2010-MahajanSLCADW #named #trust

Depot: Cloud Storage with Minimal Trust (PM, STVS, SL, AC, LA, MD, MW), pp. 307–322.

OSDI-2010-GeambasuLKKL #distributed #named

Comet: An active distributed key-value store (RG, AAL, TK, AK, HML), pp. 323–336.

OSDI-2010-FeldmanZFF #collaboration #named #using

SPORC: Group Collaboration using Untrusted Cloud Resources (AJF, WPZ, MJF, EWF), pp. 337–350.

OSDI-2010-KoponenCGSPZRIIHS #distributed #framework #named #network #platform #scalability

Onix: A Distributed Control Platform for Large-scale Production Networks (TK, MC, NG, JS, LP, MZ, RR, YI, HI, TH, SS), pp. 351–364.

OSDI-2010-SherwoodGYACMP #network #question

Can the Production Network Be the Testbed? (RS, GG, KKY, GA, MC, NM, GMP), pp. 365–378.

OSDI-2010-PopaERS #network #rule-based

Building Extensible Networks with Rule-Based Forwarding (LP, NE, SR, IS), pp. 379–392.

OSDI-2010-EnckGCCJMS #data flow #monitoring #named #privacy #realtime #smarttech

TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (WE, PG, BGC, LPC, JJ, PM, AS), pp. 393–407.

OSDI-2010-HaridasanMTTZ #framework #generative #scalability

StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications (MH, IM, DT, CAT, LZ), pp. 409–422.

OSDI-2010-Ben-YehudaDDFHGLWY #design #implementation

The Turtles Project: Design and Implementation of Nested Virtualization (MBY, MDD, ZD, MF, NH, AG, AL, OW, BAY), pp. 423–436.

OSDI-2010-GulatiMV #named #scheduling #throughput #variability

mClock: Handling Throughput Variability for Hypervisor IO Scheduling (AG, AM, PJV), pp. 437–450.

OSDI-2010-BroomheadCRV

Virtualize Everything but Time (TB, LC, JR, DV), pp. 451–464.