Proceedings of the 21st ACM Symposium on Operating Systems Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SYS
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.