| 2019 | A generic communication scheduler for distributed DNN training acceleration. Yanghua Peng, Yibo Zhu, Yangrui Chen, Yixin Bao, Bairen Yi, Chang Lan, Chuan Wu, Chuanxiong Guo |
| 2019 | Aegean: replication beyond the client-server model. Remzi Can Aksoy, Manos Kapritsos |
| 2019 | An analysis of performance evolution of Linux's core operations. Xiang (Jenny) Ren, Kirk Rodrigues, Luyuan Chen, Juan Camilo Vega, Michael Stumm, Ding Yuan |
| 2019 | AutoMine: harmonizing high-level abstraction and high performance for graph mining. Daniel Mawhirter, Bo Wu |
| 2019 | CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis. Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Yang, Liang You |
| 2019 | Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye |
| 2019 | Fast and secure global payments with Stellar. Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb |
| 2019 | File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution. Abutalib Aghayev, Sage A. Weil, Michael Kuchnik, Mark Nelson, Gregory R. Ganger, George Amvrosiadis |
| 2019 | Finding semantic bugs in file systems with an extensible fuzzing framework. Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim |
| 2019 | Gerenuk: thin computation over big native data using speculative program transformation. Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu |
| 2019 | Honeycrisp: large-scale differentially private aggregation without a trusted core. Edo Roth, Daniel Noble, Brett Hemenway Falk, Andreas Haeberlen |
| 2019 | I4: incremental inference of inductive invariants for verification of distributed protocols. Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2019 | KVell: the design and implementation of a fast persistent key-value store. Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel |
| 2019 | KnightKing: a fast distributed graph random walk engine. Ke Yang, Mingxing Zhang, Kang Chen, Xiaosong Ma, Yang Bai, Yong Jiang |
| 2019 | Lineage stash: fault tolerance off the critical path. Stephanie Wang, John Liagouris, Robert Nishihara, Philipp Moritz, Ujval Misra, Alexey Tumanov, Ion Stoica |
| 2019 | Nexus: a GPU cluster engine for accelerating DNN-based video analysis. Haichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose, Arvind Krishnamurthy, Ravi Sundaram |
| 2019 | Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin |
| 2019 | Notary: a device for secure transaction approval. Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2019 | Optimizing data-intensive computations in existing libraries with split annotations. Shoumik Palkar, Matei Zaharia |
| 2019 | Parity models: erasure-coded resilience for prediction serving systems. Jack Kosaian, K. V. Rashmi, Shivaram Venkataraman |
| 2019 | Performance and protection in the ZoFS user-space NVM file system. Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen |
| 2019 | PipeDream: generalized pipeline parallelism for DNN training. Deepak Narayanan, Aaron Harlap, Amar Phanishayee, Vivek Seshadri, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia |
| 2019 | Privacy accounting and quality control in the sage differentially private ML platform. Mathias Lécuyer, Riley Spahn, Kiran Vodrahalli, Roxana Geambasu, Daniel Hsu |
| 2019 | Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019. Tim Brecht, Carey Williamson |
| 2019 | Recipe: converting concurrent DRAM indexes to persistent-memory indexes. Se Kwon Lee, Jayashree Mohan, Sanidhya Kashyap, Taesoo Kim, Vijay Chidambaram |
| 2019 | Risk based planning of network changes in evolving data centers. Omid Alipourfard, Jiaqi Gao, Jérémie Koenig, Chris Harshaw, Amin Vahdat, Minlan Yu |
| 2019 | Scalable and practical locking with shuffling. Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim |
| 2019 | Scaling symbolic evaluation for automated verification of systems code with Serval. Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang |
| 2019 | ShortCut: accelerating mostly-deterministic code regions. Xianzheng Dou, Peter M. Chen, Jason Flinn |
| 2019 | Snap: a microkernel approach to host networking. Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat |
| 2019 | SplitFS: reducing software overhead in file systems for persistent memory. Rohan Kadekodi, Se Kwon Lee, Sanidhya Kashyap, Taesoo Kim, Aasheesh Kolli, Vijay Chidambaram |
| 2019 | TASO: optimizing deep learning computation with automatic generation of graph substitutions. Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken |
| 2019 | Taiji: managing global user traffic for large-scale internet services at the edge. David Chou, Tianyin Xu, Kaushik Veeraraghavan, Andrew Newell, Sonia Margulis, Lin Xiao, Pol Mauri Ruiz, Justin Meza, Kiryong Ha, Shruti Padmanabha, Kevin Cole, Dmitri Perelman |
| 2019 | Teechain: a secure payment network with asynchronous blockchain access. Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Emin Gün Sirer, Peter R. Pietzuch |
| 2019 | The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure. Yongle Zhang, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan |
| 2019 | Using concurrent relational logic with helpers for verifying the AtomFS file system. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen |
| 2019 | Verifying concurrent, crash-safe systems with Perennial. Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | Verifying software network functions with no verification expertise. Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea |
| 2019 | Yodel: strong metadata security for voice calls. David Lazar, Yossi Gilad, Nickolai Zeldovich |