default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th SOSP 2015: Monterey, CA, USA
- Ethan L. Miller, Steven Hand:
Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015. ACM 2015, ISBN 978-1-4503-3834-9
Formal systems
- Chris Hawblitzel, Jon Howell, Manos Kapritsos
, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill:
IronFleet: proving practical distributed systems correct. 1-17 - Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich:
Using Crash Hoare logic for certifying the FSCQ file system. 18-37 - 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. 38-53
Distributed transactions
- Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro:
No compromises: distributed transactions with consistency, availability, and performance. 54-70 - Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout:
Implementing linearizability at large scale and low latency. 71-86 - Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen:
Fast in-memory transaction processing using RDMA and HTM. 87-104
Distributed systems
- Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang:
Paxos made transparent. 105-120 - Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker:
E2: a framework for NFV applications. 121-136 - Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich:
Vuvuzela: scalable private messaging resistant to traffic analysis. 137-152
Concurrency and performance
- Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz:
Parallelizing user-defined aggregations using symbolic execution. 153-167 - Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier:
Read-log-update: a lightweight synchronization mechanism for concurrent programming. 168-183 - Charlie Curtsinger, Emery D. Berger:
Coz: finding code that counts with causal profiling. 184-197
Energy aware systems
- Henry Hoffmann:
JouleGuard: energy guarantees for approximate applications. 198-214 - Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani:
Software defined batteries. 215-229 - Matthew Lentz, James Litton, Bobby Bhattacharjee:
Drowsy power management. 230-244
More distributed transactions
- Marcos K. Aguilera, Joshua B. Leners, Michael Walfish:
Yesquel: scalable sql storage for web applications. 245-262 - Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports:
Building consistent transactions with inconsistent replication. 263-278 - Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang:
High-performance ACID via modular concurrency control. 279-294
Experience and practice
- 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. 295-310 - Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo:
Virtual CPU validation. 311-327 - Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl:
Holistic configuration management at Facebook. 328-343
Bugs and analysis
- Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea:
Failure sketching: a technique for automated root cause diagnosis of in-production failures. 344-360 - Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim:
Cross-checking semantic correctness: the case of finding file system bugs. 361-377 - Jonathan Mace, Ryan Roelke, Rodrigo Fonseca:
Pivot tracing: dynamic causal monitoring for distributed systems. 378-393
Big data
- Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu:
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. 394-409 - Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel:
Chaos: scale-out graph processing from secondary storage. 410-424 - Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga:
Arabesque: a system for distributed graph mining. 425-440
Storage systems
- 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. 441-456 - George Amvrosiadis, Angela Demke Brown, Ashvin Goel:
Opportunistic storage maintenance. 457-473 - 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. 474-489
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:
