default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th SOSP 2017: Shanghai, China
- Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017. ACM 2017, ISBN 978-1-4503-5085-3
Bug hunting
- Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana:
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. 1-18 - Yongle Zhang, Serguei Makarov, Xiang Ren, David Lion, Ding Yuan:
Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach. 19-33 - Jonathan Kaldor, Jonathan Mace, Michal Bejda, Edison Gao, Wiktor Kuropatwa, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song:
Canopy: An End-to-End Performance Tracing And Analysis System. 34-50
Scalability
- Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich:
Algorand: Scaling Byzantine Agreements for Cryptocurrencies. 51-68 - Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich:
Scaling a file system to many cores using an operation log. 69-86 - Qi Huang, Petchean Ang, Peter Knowles, Tomasz Nykiel, Iaroslav Tverdokhlib, Amit Yajurvedi, Paul Dapolito IV, Xifan Yan, Maxim Bykov, Chuen Liang, Mohit Talwar, Abhishek Mathur, Sachin Kulkarni, Matthew Burke
, Wyatt Lloyd:
SVE: Distributed Video Processing at Facebook Scale. 87-103
In-network computing
- Jialin Li, Ellis Michael, Dan R. K. Ports:
Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control. 104-120 - Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica:
NetCache: Balancing Key-Value Stores with Fast In-Network Caching. 121-136 - Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang:
KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC. 137-152
Resource management
- Eli Cortez, Anand Bonde, Alexandre Muzio, Mark Russinovich, Marcus Fontoura, Ricardo Bianchini:
Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms. 153-167 - Mingzhe Hao, Huaicheng Li, Michael Hao Tong, Chrisma Pakha, Riza O. Suminto, Cesar A. Stuardo, Andrew A. Chien, Haryadi S. Gunawi:
MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface. 168-183 - Kay Ousterhout, Christopher Canel, Sylvia Ratnasamy, Scott Shenker:
Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks. 184-200
Kernels
- Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier:
NEVE: Nested Virtualization Extensions for ARM. 201-217 - Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, Felipe Huici:
My VM is Lighter (and Safer) than your Container. 218-233 - Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis:
Multiprogramming a 64kB Computer Safely and Efficiently. 234-251
Verification
- Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang:
Hyperkernel: Push-Button Verification of an OS Kernel. 252-269 - Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying a high-performance crash-safe file system using a tree specification. 270-286 - Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno:
Komodo: Using verification to disentangle secure-enclave hardware from software. 287-305
Potpourri
- Shin-Yeh Tsai, Yiying Zhang:
LITE Kernel RDMA Support for Datacenter Applications. 306-324 - George Prekas, Marios Kogias, Edouard Bugnion:
ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks. 325-341 - Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu:
ffwd: delegation is (much) faster than you think. 342-358
Adaptation and repair
- Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu:
Automatically Repairing Network Control Planes Using an Abstract Representation. 359-373 - Shivaram Venkataraman, Aurojit Panda, Kay Ousterhout, Michael Armbrust, Ali Ghodsi, Michael J. Franklin, Benjamin Recht, Ion Stoica:
Drizzle: Fast and Adaptable Stream Processing at Scale. 374-389 - Chinmay Kulkarni, Aniraj Kesavan, Tian Zhang, Robert Ricci, Ryan Stutsman:
Rocksteady: Fast Migration for Low-latency In-memory Storage. 390-405
Privacy
- Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford:
Atom: Horizontally Scaling Strong Anonymity. 406-422 - Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich:
Stadium: A Distributed Metadata-Private Messaging System. 423-440 - Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld:
Prochlo: Strong Privacy for Analytics in the Crowd. 441-459
Storage systems
- Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas E. Anderson:
Strata: A Cross Media File System. 460-477 - Jian Xu, Lu Zhang, Amir Saman Memaripour, Akshatha Gangadharaiah, Amit Borase, Tamires Brito Da Silva, Steven Swanson, Andy Rudoff:
NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System. 478-496 - Pandian Raju, Rohan Kadekodi, Vijay Chidambaram, Ittai Abraham:
PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees. 497-514
Security
- Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda:
WatchIT: Who Watches Your IT Guy? 515-530 - Marco Oliverio, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida:
Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion. 531-545 - Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish:
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. 546-564
Understanding failures
- Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou:
Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold. 565-581 - Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu:
Lazy Diagnosis of In-Production Concurrency Bugs. 582-598 - Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan:
CrystalNet: Faithfully Emulating Large Production Networks. 599-613
Data analytics
- Yunhao Zhang, Rong Chen, Haibo Chen:
Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. 614-630 - Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak:
Optimizing Big-Data Queries Using Program Synthesis. 631-646 - Nitin Agrawal, Ashish Vulimiri:
Low-Latency Analytics on Colossal Data Streams with SummaryStore. 647-664
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 2026-01-27 23:58 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:
