ACM Symposium on Operating Systems Principles, SOSP 2015


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
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

Paxos made transparent

Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang

Paxos made transparent

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

Arabesque: a system for distributed graph mining

Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga

Arabesque: a system for distributed graph mining

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

Cross-checking semantic correctness: the case of finding file system bugs

Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim

Cross-checking semantic correctness: the case of finding file system bugs

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

Software defined batteries

Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani

Software defined batteries

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

Pivot tracing: dynamic causal monitoring for distributed systems

Jonathan Mace, Ryan Roelke, Rodrigo Fonseca

Pivot tracing: dynamic causal monitoring for distributed systems

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

Using Crash Hoare logic for certifying the FSCQ file system

Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Using Crash Hoare logic for certifying the FSCQ file system

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

Fast in-memory transaction processing using RDMA and HTM

Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen

Fast in-memory transaction processing using RDMA and HTM

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

Yesquel: scalable sql storage for web applications

Marcos K. Aguilera, Joshua B. Leners, Michael Walfish

Yesquel: scalable sql storage for web applications

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

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

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

E2: a framework for NFV applications

Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker

E2: a framework for NFV applications

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

Building consistent transactions with inconsistent replication

Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports

Building consistent transactions with inconsistent replication

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

Opportunistic storage maintenance

George Amvrosiadis, Angela Demke Brown, Ashvin Goel

Opportunistic storage maintenance

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

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs

Lu Fang, Khanh Nguyen, Guoqing (Harry) Xu, Brian Demsky, Shan Lu

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs

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

Existential consistency: measuring and understanding consistency at Facebook

Haonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd

Existential consistency: measuring and understanding consistency at Facebook

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

Read-log-update: a lightweight synchronization mechanism for concurrent programming

Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier

Read-log-update: a lightweight synchronization mechanism for concurrent programming

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

Chaos: scale-out graph processing from secondary storage

Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel

Chaos: scale-out graph processing from secondary storage

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

Holistic configuration management at Facebook

Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl

Holistic configuration management at Facebook

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

JouleGuard: energy guarantees for approximate applications

Henry Hoffmann

JouleGuard: energy guarantees for approximate applications

Details
Discussion Comments: 0
Verification: Author has not verified information

No compromises: distributed transactions with consistency, availability, and performance

Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro

No compromises: distributed transactions with consistency, availability, and performance

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

Vuvuzela: scalable private messaging resistant to traffic analysis

Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich

Vuvuzela: scalable private messaging resistant to traffic analysis

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

High-performance ACID via modular concurrency control

Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang

High-performance ACID via modular concurrency control

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

IronFleet: proving practical distributed systems correct

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill

IronFleet: proving practical distributed systems correct

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

Split-level I/O scheduling

Suli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany, Rini T. Kaushik, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

Split-level I/O scheduling

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

Coz: finding code that counts with causal profiling

Charlie Curtsinger, Emery D. Berger

Coz: finding code that counts with causal profiling

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

How to get more value from your file system directory cache

Chia-che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, Donald E. Porter

How to get more value from your file system directory cache

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

Failure sketching: a technique for automated root cause diagnosis of in-production failures

Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea

Failure sketching: a technique for automated root cause diagnosis of in-production failures

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

Parallelizing user-defined aggregations using symbolic execution

Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz

Parallelizing user-defined aggregations using symbolic execution

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

Virtual CPU validation

Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo

Virtual CPU validation

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

Implementing linearizability at large scale and low latency

Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout

Implementing linearizability at large scale and low latency

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

Drowsy power management

Matthew Lentz, James Litton, Bobby Bhattacharjee

Drowsy power management

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