Thomas C. Bressoud, M. Frans Kaashoek
Proceedings of the 21st ACM Symposium on Operating Systems Principles
SOSP, 2007.

@proceedings{SOSP-2007,
	address       = "Stevenson, Washington, USA",
	doi           = "10.1145/1294261",
	editor        = "Thomas C. Bressoud and M. Frans Kaashoek",
	isbn          = "978-1-59593-591-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 21st ACM Symposium on Operating Systems Principles}",
	year          = 2007,
}

Contents (25 items)

13 ×#named
3 ×#operating system
3 ×#web
2 ×#abstraction
2 ×#automation
2 ×#concurrent
2 ×#debugging
2 ×#distributed
2 ×#fault tolerance
2 ×#file system

SOSP-2007-WangFHJ #abstraction #communication #web

Protection and communication abstractions for web browsers in MashupOS (HJW, XF, JH, CJ), pp. 1–16.

SOSP-2007-KicimanL #behaviour #framework #monitoring #named #platform #web

AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.

SOSP-2007-ChongLMQVZZ #automation #clustering #web

Secure web application via automatic partitioning (SC, JL, ACM, XQ, KV, LZ, XZ), pp. 31–44.

SOSP-2007-KotlaADCW #fault tolerance #named

Zyzzyva: speculative byzantine fault tolerance (RK, LA, MD, AC, ELW), pp. 45–58.

SOSP-2007-VandiverBLM #commit #fault #scheduling #transaction #using

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (BV, HB, BL, SM), pp. 59–72.

SOSP-2007-HendricksGR #fault tolerance

Low-overhead byzantine fault-tolerant storage (JH, GRG, MKR), pp. 73–86.

SOSP-2007-RossbachHPRAW #hardware #memory management #named #operating system #transaction #using

TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.

SOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics

MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.

SOSP-2007-CostaCZZP #named

Bouncer: securing software by blocking bad input (MC, MC, LZ, LZ, MP), pp. 117–130.

SOSP-2007-TucekLHXZ #named

Triage: diagnosing production run failures at the user’s site (JT, SL, CH, SX, YZ), pp. 131–144.

SOSP-2007-TanYKZ #debugging

/*icomment: bugs or bad comments?*/ (LT, DY, GK, YZ), pp. 145–158.

SOSP-2007-AguileraMSVK #distributed #named #paradigm #scalability

Sinfonia: a new paradigm for building scalable distributed systems (MKA, AM, MAS, ACV, CTK), pp. 159–174.

SOSP-2007-HaeberlenKD #distributed #named

PeerReview: practical accountability for distributed systems (AH, PK, PD), pp. 175–188.

SOSP-2007-ChunMSK #memory management #word

Attested append-only memory: making adversaries stick to their word (BGC, PM, SS, JK), pp. 189–204.

SOSP-2007-DeCandiaHJKLPSVV #named

Dynamo: amazon’s highly available key-value store (GD, DH, MJ, GK, AL, AP, SS, PV, WV), pp. 205–220.

SOSP-2007-CrameriKKBZ #deployment #staged #testing

Staged deployment in mirage, an integrated software upgrade testing and distribution system (OC, NK, DK, RB, WZ), pp. 221–236.

SOSP-2007-SuAF #analysis #configuration management #named #operating system

AutoBash: improving configuration management with operating system causality analysis (YYS, MA, JF), pp. 237–250.

SOSP-2007-KluesHLWCGL #concurrent #energy

Integrating concurrency control and energy management in device drivers (KK, VH, CL, AW, DEC, DG, PL), pp. 251–264.

SOSP-2007-NathujiS #coordination #enterprise #named #power management

VirtualPower: coordinated power management in virtualized enterprise systems (RN, KS), pp. 265–278.

SOSP-2007-LaadanBPPN #named

DejaView: a personal virtual computer recorder (OL, RAB, DBP, SP, JN), pp. 279–292.

SOSP-2007-GunawiPKAA #file system #reliability

Improving file system reliability with I/O shepherding (HSG, VP, SK, ACAD, RHAD), pp. 293–306.

SOSP-2007-FrostMKRHMZ #dependence #file system

Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.

SOSP-2007-KrohnYBCKKM #abstraction #data flow #standard

Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.

SOSP-2007-SeshadriLQP #kernel #named

SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (AS, ML, NQ, AP), pp. 335–350.

SOSP-2007-CriswellLDA #architecture #execution #operating system

Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.