default search action
27th SOSP 2019: Huntsville, , ON, Canada
- Tim Brecht, Carey Williamson:
Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019. ACM 2019, ISBN 978-1-4503-6873-5 - Deepak Narayanan, Aaron Harlap, Amar Phanishayee, Vivek Seshadri, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia
:
PipeDream: generalized pipeline parallelism for DNN training. 1-15 - Yanghua Peng, Yibo Zhu, Yangrui Chen, Yixin Bao, Bairen Yi, Chang Lan, Chuan Wu
A generic communication scheduler for distributed DNN training acceleration. 16-29 - Jack Kosaian, K. V. Rashmi, Shivaram Venkataraman:
Parity models: erasure-coded resilience for prediction serving systems. 30-46 - Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia
TASO: optimizing deep learning computation with automatic generation of graph substitutions. 47-62 - Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Emin Gün Sirer, Peter R. Pietzuch:
Teechain: a secure payment network with asynchronous blockchain access. 63-79 - Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb:
Fast and secure global payments with Stellar. 80-96 - Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich:
Notary: a device for secure transaction approval. 97-113 - Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Yang, Liang You:
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis. 114-130 - Yongle Zhang, Kirk Rodrigues, Yu Luo, Michael Stumm
The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure. 131-146 - Seulbae Kim
Finding semantic bugs in file systems with an extensible fuzzing framework. 147-161 - Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. 162-180 - Mathias Lécuyer, Riley Spahn, Kiran Vodrahalli, Roxana Geambasu, Daniel Hsu:
Privacy accounting and quality control in the sage differentially private ML platform. 181-195 - Edo Roth, Daniel Noble, Brett Hemenway Falk, Andreas Haeberlen:
Honeycrisp: large-scale differentially private aggregation without a trusted core. 196-210 - David Lazar, Yossi Gilad, Nickolai Zeldovich:
Yodel: strong metadata security for voice calls. 211-224 - Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang:
Scaling symbolic evaluation for automated verification of systems code with Serval. 225-242 - Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying concurrent, crash-safe systems with Perennial. 243-258 - Mo Zou, Haoran Ding, Dong Du
Using concurrent relational logic with helpers for verifying the AtomFS file system. 259-274 - Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa
Verifying software network functions with no verification expertise. 275-290 - Shoumik Palkar, Matei Zaharia
Optimizing data-intensive computations in existing libraries with split annotations. 291-305 - Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin:
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. 306-321 - Haichen Shen, Lequn Chen
Nexus: a GPU cluster engine for accelerating DNN-based video analysis. 322-337 - Stephanie Wang, John Liagouris
Lineage stash: fault tolerance off the critical path. 338-352 - Abutalib Aghayev, Sage A. Weil, Michael Kuchnik, Mark Nelson, Gregory R. Ganger, George Amvrosiadis:
File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution. 353-369 - Haojun Ma, Aman Goel
I4: incremental inference of inductive invariants for verification of distributed protocols. 370-384 - Remzi Can Aksoy, Manos Kapritsos
Aegean: replication beyond the client-server model. 385-398 - Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble
Snap: a microkernel approach to host networking. 399-413 - Omid Alipourfard, Jiaqi Gao
Risk based planning of network changes in evolving data centers. 414-429 - 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:
Taiji: managing global user traffic for large-scale internet services at the edge. 430-446 - Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel:
KVell: the design and implementation of a fast persistent key-value store. 447-461 - Se Kwon Lee, Jayashree Mohan, Sanidhya Kashyap, Taesoo Kim, Vijay Chidambaram
Recipe: converting concurrent DRAM indexes to persistent-memory indexes. 462-477 - Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen:
Performance and protection in the ZoFS user-space NVM file system. 478-493 - Rohan Kadekodi, Se Kwon Lee, Sanidhya Kashyap, Taesoo Kim, Aasheesh Kolli, Vijay Chidambaram
SplitFS: reducing software overhead in file systems for persistent memory. 494-508 - Daniel Mawhirter, Bo Wu:
AutoMine: harmonizing high-level abstraction and high performance for graph mining. 509-523 - Ke Yang, Mingxing Zhang, Kang Chen, Xiaosong Ma, Yang Bai, Yong Jiang:
KnightKing: a fast distributed graph random walk engine. 524-537 - Christian Navasca, Cheng Cai, Khanh Nguyen
Gerenuk: thin computation over big native data using speculative program transformation. 538-553 - Xiang (Jenny) Ren, Kirk Rodrigues, Luyuan Chen, Juan Camilo Vega
An analysis of performance evolution of Linux's core operations. 554-569 - Xianzheng Dou, Peter M. Chen, Jason Flinn:
ShortCut: accelerating mostly-deterministic code regions. 570-585 - Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim:
Scalable and practical locking with shuffling. 586-599
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 2024-10-31 20:03 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: