default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th SOSP 2013: Farmington, PA, USA
- Michael Kaminsky, Mike Dahlin:
ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013. ACM 2013, ISBN 978-1-4503-2388-8
Juggling chainsaws
- Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler:
The scalable commutativity rule: designing scalable software for multicore processors. 1-17 - Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden:
Speedy transactions in multicore in-memory databases. 18-32 - Tudor David, Rachid Guerraoui
, Vasileios Trigonakis:
Everything you always wanted to know about synchronization but were afraid to ask. 33-48
Time is of the essence
- Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly:
Dandelion: a compiler and runtime for heterogeneous systems. 49-68 - Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica:
Sparrow: distributed, low latency scheduling. 69-84 - Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan:
Timecard: controlling user-perceived delays in server-based mobile applications. 85-100
Seed corn
- Piyus Kedia, Sorav Bansal:
Fast dynamic binary translation for the kernel. 101-115 - Ruslan Nikolaev, Godmar Back:
VirtuOS: an operating system with kernel virtualization. 116-132 - Kevin Elphinstone, Gernot Heiser:
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? 133-150
Everything in its place
- Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières:
Replication, history, and grafting in the Ori file system. 151-166 - Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li:
An analysis of Facebook photo caching. 167-181 - Eno Thereska, Hitesh Ballani, Greg O'Shea, Thomas Karagiannis, Antony I. T. Rowstron, Tom Talpey, Richard Black, Timothy Zhu:
IOFlow: a software-defined storage architecture. 182-196 - Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, Steven Swanson:
From ARIES to MARS: transaction support for next-generation, solid-state drives. 197-212
Whoops
- Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich:
Asynchronous intrusion recovery for interconnected web services. 213-227 - Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Optimistic crash consistency. 228-243 - Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy:
Do not blame users for misconfigurations. 244-259 - Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
Towards optimization-safe systems: analyzing the impact of undefined behavior. 260-275
Data, data, everywhere
- Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li:
Transaction chains: achieving serializability with low latency in geo-distributed storage systems. 276-291 - Zhe Wu, Michael Butkiewicz, Dorian Jean Perkins, Ethan Katz-Bassett, Harsha V. Madhyastha:
SPANStore: cost-effective geo-replicated storage spanning multiple cloud services. 292-308 - Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh:
Consistency-based service level agreements for cloud storage. 309-324
Right makes might
- Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou, Aviad Zuck:
Tango: distributed data structures over a shared log. 325-340 - Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish:
Verifying computations with state. 341-357 - Iulian Moraru, David G. Andersen, Michael Kaminsky:
There is more consensus in Egalitarian parliaments. 358-372
N' Sync
- Zev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
ROOT: replaying multithreaded traces with resource-oriented ordering. 373-387 - Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant:
Parrot: a practical runtime for deterministic, stable, and reliable threads. 388-405 - Baris Kasikci, Cristian Zamfir, George Candea:
RaceMob: crowdsourced data race detection. 406-422
Data into information
- Matei Zaharia, Tathagata Das, Haoyuan Li, Timothy Hunter, Scott Shenker, Ion Stoica:
Discretized streams: fault-tolerant streaming computation at scale. 423-438 - Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi:
Naiad: a timely dataflow system. 439-455 - Donald Nguyen, Andrew Lenharth, Keshav Pingali:
A lightweight infrastructure for graph analytics. 456-471 - Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel:
X-Stream: edge-centric graph processing using streaming partitions. 472-488
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-06 00:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
