default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th 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, Chuanxiong Guo:
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, Alex Aiken:
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 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, Ding Yuan:
The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure. 131-146 - Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim:
Finding semantic bugs in file systems with an extensible fuzzing framework. 147-161 - Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye:
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, Ming Fu, Ronghui Gu, Haibo Chen:
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, Katerina J. Argyraki, George Candea:
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, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose, Arvind Krishnamurthy, Ravi Sundaram:
Nexus: a GPU cluster engine for accelerating DNN-based video analysis. 322-337 - Stephanie Wang, John Liagouris, Robert Nishihara, Philipp Moritz, Ujval Misra, Alexey Tumanov, Ion Stoica:
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, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah:
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, 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:
Snap: a microkernel approach to host networking. 399-413 - Omid Alipourfard, Jiaqi Gao, Jérémie Koenig, Chris Harshaw, Amin Vahdat, Minlan Yu:
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, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu:
Gerenuk: thin computation over big native data using speculative program transformation. 538-553 - Xiang (Jenny) Ren, Kirk Rodrigues, Luyuan Chen, Juan Camilo Vega, Michael Stumm, Ding Yuan:
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 2025-02-05 20:19 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:
