Abstract is missing.
- IronFleet: proving practical distributed systems correctChris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill. 1-17 [doi]
- Using Crash Hoare logic for certifying the FSCQ file systemHaogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich. 18-37 [doi]
- SibylFS: formal specification and oracle-based testing for POSIX and real-world file systemsTom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell. 38-53 [doi]
- No compromises: distributed transactions with consistency, availability, and performanceAleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro. 54-70 [doi]
- Implementing linearizability at large scale and low latencyCollin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout. 71-86 [doi]
- Fast in-memory transaction processing using RDMA and HTMXingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen. 87-104 [doi]
- Paxos made transparentHeming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang. 105-120 [doi]
- E2: a framework for NFV applicationsShoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker. 121-136 [doi]
- Vuvuzela: scalable private messaging resistant to traffic analysisJelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich. 137-152 [doi]
- Parallelizing user-defined aggregations using symbolic executionVeselin Raychev, Madanlal Musuvathi, Todd Mytkowicz. 153-167 [doi]
- Read-log-update: a lightweight synchronization mechanism for concurrent programmingAlexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier. 168-183 [doi]
- Coz: finding code that counts with causal profilingCharlie Curtsinger, Emery D. Berger. 184-197 [doi]
- JouleGuard: energy guarantees for approximate applicationsHenry Hoffmann. 198-214 [doi]
- Software defined batteriesAnirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani. 215-229 [doi]
- Drowsy power managementMatthew Lentz, James Litton, Bobby Bhattacharjee. 230-244 [doi]
- Yesquel: scalable sql storage for web applicationsMarcos K. Aguilera, Joshua B. Leners, Michael Walfish. 245-262 [doi]
- Building consistent transactions with inconsistent replicationIrene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports. 263-278 [doi]
- High-performance ACID via modular concurrency controlChao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang 0009. 279-294 [doi]
- Existential consistency: measuring and understanding consistency at FacebookHaonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd. 295-310 [doi]
- Virtual CPU validationNadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo. 311-327 [doi]
- Holistic configuration management at FacebookChunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl. 328-343 [doi]
- Failure sketching: a technique for automated root cause diagnosis of in-production failuresBaris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea. 344-360 [doi]
- Cross-checking semantic correctness: the case of finding file system bugsChangwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim. 361-377 [doi]
- Pivot tracing: dynamic causal monitoring for distributed systemsJonathan Mace, Ryan Roelke, Rodrigo Fonseca. 378-393 [doi]
- Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programsLu Fang, Khanh Nguyen, Guoqing (Harry) Xu, Brian Demsky, Shan Lu. 394-409 [doi]
- Chaos: scale-out graph processing from secondary storageAmitabha Roy 0002, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel. 410-424 [doi]
- Arabesque: a system for distributed graph miningCarlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga. 425-440 [doi]
- How to get more value from your file system directory cacheChia-che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, Donald E. Porter. 441-456 [doi]
- Opportunistic storage maintenanceGeorge Amvrosiadis, Angela Demke Brown, Ashvin Goel. 457-473 [doi]
- Split-level I/O schedulingSuli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany, Rini T. Kaushik, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 474-489 [doi]