SOSP 2015 Oct. 5, 2015 to Oct. 7, 2015, california,usa

Event Page

Tell us about missing data
Title Speakers Summary Topic Types
Formal Systems Petros Maniatis N/A
IronFleet: Proving Practical Distributed Systems Correct Bryan Parno , Jacob r. Lorch , Brian Zill , Manos Kapritsos , Srinath Setty , Jon Howell , Chris Hawblitzel , Michael L. Roberts N/A
Using Crash Hoare Logic for Certifying the FSCQ File System Nickolai Zeldovich , M. Frans Kaashoek , Adam Chlipala , Haogang Chen , Tej Chajed , Daniel Ziegler N/A
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Anil Madhavapeddy , David Sheets , Peter Sewell , Tom Ridge , Thomas Tuerk , Andrea Giugliano N/A
Distributed Transactions Tim Harris N/A
No compromises: distributed transactions with consistency, availability, and performance Miguel Castro , Dushyanth Narayanan , Anirudh Badam , Aleksandar Dragojević , Edmund B Nightingale , Matthew Renzelmann , Alex Shamis N/A
Implementing Linearizability at Large Scale and Low Latency Ankita Kejriwal , John Ousterhout , Collin Lee , Seo Jin Park , Satoshi Matsushita N/A
Fast In-memory Transaction Processing using RDMA and HTM Haibo Chen , Rong Chen , Jiaxin Shi , Yanzhe Chen , Xingda Wei N/A
Distributed Systems Marcos k. Aguilera N/A
Paxos Made Transparent Junfeng Yang , Tianyu Chen , Heming Cui , Rui Gu , Cheng Liu N/A
E2: A Framework for NFV Applications Scott Shenker , Sylvia Ratnasamy , Aurojit Panda , Keon Jang , Luigi Rizzo , Shoumik Palkar , Chang Lan , Sangjin Han N/A
Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis Nickolai Zeldovich , Matei Zaharia , David Lazar , Jelle Hooff N/A
Concurrency and Performance Emmett Witchel N/A
Parallelizing User-Defined Aggregations using Symbolic Execution Madanlal Musuvathi , Veselin Raychev , Todd Mytkowicz N/A
Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming Pascal Felber , Alexander Matveev , Nir Shavit , Patrick Marlier N/A
COZ: Finding Code that Counts with Causal Profiling Charlie Curtsinger , Emery D. Berger N/A
Energy Aware Systems Landon P. Cox N/A
JouleGuard: Energy Guarantees for Approximate Applications Henry Hoffmann N/A
Software Defined Batteries Thomas Moscibroda , Ranveer Chandra , Anirudh Badam , Pan Hu , Jon A. Dutra , Anthony Ferrese , Steve Hodges , Julia Meinershagen , Bodhi Priyantha , Evangelia Skiani N/A
Drowsy Power Management Matthew Lentz , Bobby Bhattacharjee , James Litton N/A
More Distributed Transactions Haibo Chen N/A
Yesquel: Scalable SQL storage for Web applications Joshua b. Leners , Marcos k. Aguilera , Michael Walfish N/A
Building Consistent Transactions with Inconsistent Replication Arvind Krishnamurthy , Dan R.K. Ports , Irene Zhang , Adriana Szekeres , Naveen Kr. Sharma N/A
High-Performance ACID via Modular Concurrency Control Yang Wang , Manos Kapritsos , Lorenzo Alvisi , Chao Xie , Chunzhi Su , Cody Littley N/A
Experience and Practice Shan Lu N/A
Existential Consistency: Measuring and Understanding Consistency at Facebook Wyatt Lloyd , Sanjeev Kumar , Kaushik Veeraraghavan , Haonan Lu , Philippe Ajoux , Jim Hunt , Yee Jiun Song , Wendy Tobagus N/A
Virtual CPU Validation Dan Tsafrir , Assaf Schuster , Nadav Amit , Ahmad Ayoub , Eran Shlomo N/A
Holistic Configuration Management at Facebook Chunqiang Tang , Thawan Kooburat , Pradeep Venkatachalam , Akshay Chander , Zhe Wen , Aravind Narayanan , Patrick Dowell , Robert Karl N/A
Bugs and Analysis Brad Karp N/A
Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures Baris Kasikci , George Candea , Cristiano Pereira , Gilles Pokam , Benjamin Schubert N/A
Cross-checking Semantic Correctness: The Case of Finding File System Bugs Taesoo Kim , Byoungyoung Lee , Chengyu Song , Changwoo Min , Sanidhya Kashyap N/A
Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems Rodrigo Fonseca , Jonathan Mace , Ryan Roelke N/A
Big Data Terence Kelly N/A
Interruptible Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs Brian Demsky , Guoqing Xu , Shan Lu , Lu Fang , Khanh Nguyen N/A
Chaos: Scale-out Graph Processing from Secondary Storage Willy Zwaenepoel , Amitabha Roy , Laurent Bindschaedler , Jasmina Malicevic N/A
Arabesque: A System for Distributed Graph Mining Georgos Siganos , Carlos Teixeira , Alexandre J. Fonseca , Marco Serafini , Mohammed J. Zaki , Ashraf Aboulnaga N/A
Storage Systems Andrew Baumann N/A
How to Get More Value From Your File System Directory Cache Chia-che Tsai , Donald E. Porter , Yang Zhan , Yizheng Jiao , Jayashree Reddy , Tao Zhang N/A
Opportunistic Storage Maintenance Ashvin Goel , Angela Demke Brown , George Amvrosiadis N/A