ACM Symposium on Operating Systems Principles, SOSP 2013


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Asynchronous intrusion recovery for interconnected web services

Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich

Asynchronous intrusion recovery for interconnected web services

Details
Discussion Comments: 0
Verification: Authors have not verified information

Sparrow: distributed, low latency scheduling

Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica

Sparrow: distributed, low latency scheduling

Details
Discussion Comments: 0
Verification: Authors have not verified information

Naiad: a timely dataflow system

Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi

Naiad: a timely dataflow system

Details
Discussion Comments: 0
Verification: Authors have not verified information

Optimistic crash consistency

Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

Optimistic crash consistency

Details
Author Comments: We have made available the open-source code for the file system, and a virtual machine which has the file system and kernel compiled in.
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

ROOT: replaying multithreaded traces with resource-oriented ordering

Zev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

ROOT: replaying multithreaded traces with resource-oriented ordering

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Consistency-based service level agreements for cloud storage

Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh

Consistency-based service level agreements for cloud storage

Details
Discussion Comments: 0
Verification: Authors have not verified information

The scalable commutativity rule: designing scalable software for multicore processors

Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler

The scalable commutativity rule: designing scalable software for multicore processors

Details
Discussion Comments: 0
Verification: Authors have not verified information

IOFlow: a software-defined storage architecture

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

Details
Discussion Comments: 0
Verification: Authors have not verified information

Replication, history, and grafting in the Ori file system

Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières

Replication, history, and grafting in the Ori file system

Details
Discussion Comments: 0
Verification: Authors have not verified information

Fast dynamic binary translation for the kernel

Piyush Kedia, Sorav Bansal

Fast dynamic binary translation for the kernel

Details
Discussion Comments: 0
Verification: Authors have not verified information

X-Stream: edge-centric graph processing using streaming partitions

Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel

X-Stream: edge-centric graph processing using streaming partitions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Everything you always wanted to know about synchronization but were afraid to ask

Tudor David, Rachid Guerraoui, Vasileios Trigonakis

Everything you always wanted to know about synchronization but were afraid to ask

Details
Discussion Comments: 0
Verification: Authors have not verified information

RaceMob: crowdsourced data race detection

Baris Kasikci, Cristian Zamfir, George Candea

RaceMob: crowdsourced data race detection

Details
Discussion Comments: 0
Verification: Authors have not verified information

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish

Verifying computations with state

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Tango: distributed data structures over a shared log

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

Details
Discussion Comments: 0
Verification: Authors have not verified information

VirtuOS: an operating system with kernel virtualization

Ruslan Nikolaev, Godmar Back

VirtuOS: an operating system with kernel virtualization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Timecard: controlling user-perceived delays in server-based mobile applications

Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan

Timecard: controlling user-perceived delays in server-based mobile applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

A lightweight infrastructure for graph analytics

Donald Nguyen, Andrew Lenharth, Keshav Pingali

A lightweight infrastructure for graph analytics

Details
Discussion Comments: 0
Verification: Authors have not verified information

An analysis of Facebook photo caching

Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li

An analysis of Facebook photo caching

Details
Discussion Comments: 0
Verification: Authors have not verified information

From ARIES to MARS: transaction support for next-generation, solid-state drives

Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, Steven Swanson

From ARIES to MARS: transaction support for next-generation, solid-state drives

Details
Discussion Comments: 0
Verification: Authors have not verified information

SPANStore: cost-effective geo-replicated storage spanning multiple cloud services

Zhe Wu, Michael Butkiewicz, Dorian Perkins, Ethan Katz-Bassett, Harsha V. Madhyastha

SPANStore: cost-effective geo-replicated storage spanning multiple cloud services

Details
Discussion Comments: 0
Verification: Authors have not verified information

Transaction chains: achieving serializability with low latency in geo-distributed storage systems

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

Details
Discussion Comments: 0
Verification: Authors have not verified information

Do not blame users for misconfigurations

Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy

Do not blame users for misconfigurations

Details
Discussion Comments: 0
Verification: Authors have not verified information

From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Kevin Elphinstone, Gernot Heiser

From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Details
Discussion Comments: 0
Verification: Authors have not verified information

Parrot: a practical runtime for deterministic, stable, and reliable threads

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

Details
Discussion Comments: 0
Verification: Authors have not verified information

Speedy transactions in multicore in-memory databases

Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden

Speedy transactions in multicore in-memory databases

Details
Discussion Comments: 0
Verification: Authors have not verified information

Discretized streams: fault-tolerant streaming computation at scale

Matei Zaharia, Tathagata Das, Haoyuan Li, Timothy Hunter, Scott Shenker, Ion Stoica

Discretized streams: fault-tolerant streaming computation at scale

Details
Discussion Comments: 0
Verification: Authors have not verified information

There is more consensus in Egalitarian parliaments

Iulian Moraru, David G. Andersen, Michael Kaminsky

There is more consensus in Egalitarian parliaments

Details
Discussion Comments: 0
Verification: Authors have not verified information

Towards optimization-safe systems: analyzing the impact of undefined behavior

Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

Towards optimization-safe systems: analyzing the impact of undefined behavior

Details
Discussion Comments: 0
Verification: Authors have not verified information

Dandelion: a compiler and runtime for heterogeneous systems

Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly

Dandelion: a compiler and runtime for heterogeneous systems

Details
Discussion Comments: 0
Verification: Authors have not verified information