default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th OSDI 2018: Carlsbad, CA, USA
- Andrea C. Arpaci-Dusseau, Geoff Voelker:
13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018. USENIX Association 2018
Understanding Failures
- Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang:
Capturing and Enhancing In Situ System Observability for Failure Detection. 1-16 - Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun:
REPT: Reverse Debugging of Failures in Deployed Software. 17-32 - Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, Vijay Chidambaram
:
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. 33-50 - Ahmed Alquraan, Hatem Takruri, Mohammed Alfatafta, Samer Al-Kiswany:
An Analysis of Network-Partitioning Failures in Cloud Systems. 51-68
Operating Systems
- Yizhou Shan, Yutong Huang, Yilun Chen, Yiying Zhang:
LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation. 69-87 - Cody Cutler, M. Frans Kaashoek, Robert T. Morris:
The benefits and costs of writing a POSIX kernel in a high-level language. 89-105 - Ahmed Khawaja, Joshua Landgraf, Rohith Prakash, Michael Wei, Eric Schkufza, Christopher J. Rossbach:
Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS. 107-127 - Kiwan Maeng, Brandon Lucia:
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing. 129-144
Scheduling
- Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft, John K. Ousterhout:
Arachne: Core-Aware Thread Management. 145-160 - Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models. 161-176 - Akshitha Sriraman, Thomas F. Wenisch:
µTune: Auto-Tuned Threading for OLDI Microservices. 177-194 - Daniel S. Berger, Benjamin Berg, Timothy Zhu, Siddhartha Sen, Mor Harchol-Balter:
RobinHood: Tail Latency Aware Caching - Dynamic Reallocation from Cache-Rich to Cache-Poor. 195-212
Data
- Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris:
Noria: dynamic, partially-stateful data-flow for high-performance web applications. 213-231 - Xingda Wei, Zhiyuan Dong, Rong Chen, Haibo Chen:
Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better! 233-251 - Kshiteej Mahajan, Mosharaf Chowdhury, Aditya Akella, Shuchi Chawla:
Dynamic Query Re-Planning using QOOP. 253-267 - Kevin Hsieh, Ganesh Ananthanarayanan, Peter Bodík, Shivaram Venkataraman, Paramvir Bahl, Matthai Philipose, Phillip B. Gibbons, Onur Mutlu:
Focus: Querying Large Video Datasets with Low Latency and Low Cost. 269-286
Verification
- Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang:
Nickel: A Framework for Design and Verification of Information Flow Control Systems. 287-305 - Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich:
Verifying concurrent software using movers in CSPEC. 306-322 - Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich:
Proving confidentiality in a file system using DiskSec. 323-338 - Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee:
Proving the correct execution of concurrent services in zero-knowledge. 339-356
Reliability
- Joshua Lockerman, Jose M. Faleiro, Juno Kim, Soham Sankaran, Daniel J. Abadi, James Aspnes, Siddhartha Sen, Mahesh Balakrishnan:
The FuzzyLog: A Partially Ordered Shared Log. 357-372 - Kaushik Veeraraghavan, Justin Meza, Scott Michelson, Sankaralingam Panneerselvam, Alex Gyori, David Chou, Sonia Margulis, Daniel Obenshain, Shruti Padmanabha, Ashish Shah, Yee Jiun Song, Tianyin Xu:
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently. 373-389 - Ramnatthan Alagappan, Aishwarya Ganesan, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Fault-Tolerance, Fast and Slow: Exploiting Failure Asynchrony in Distributed Systems. 390-408 - Aleksander Maricq, Dmitry Duplyakin, Ivo Jimenez, Carlos Maltzahn, Ryan Stutsman, Robert Ricci, Ana Klimovic:
Taming Performance Variability. 409-425
File Systems
- Ana Klimovic, Yawen Wang, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle, Christos Kozyrakis:
Pocket: Elastic Ephemeral Storage for Serverless Analytics. 427-444 - Muthukaruppan Annamalai, Kaushik Ravichandran, Harish Srinivas, Igor Zinkovsky, Luning Pan, Tony Savor, David Nagle, Michael Stumm:
Sharding the Shards: Managing Datastore Locality at Scale with Akkio. 445-460 - Pengfei Zuo, Yu Hua, Jie Wu:
Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory. 461-476 - Jie Zhang, Miryeong Kwon, Donghyun Gouk, Sungjoon Koh, Changlim Lee, Mohammad Alian, Myoungjun Chun, Mahmut Taylan Kandemir, Nam Sung Kim, Jihong Kim, Myoungsoo Jung:
FlashShare: Punching Through Server Storage Stack from Kernel to Firmware for Ultra-Low Latency SSDs. 477-492
Debugging
- Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Adithya Abraham Philip:
Orca: Differential Bug Localization in Large-Scale Services. 493-509 - Abhilash Jindal, Y. Charlie Hu:
Differential Energy Profiling: Energy Optimization via Diffing Similar Apps. - Fang Zhou, Yifan Gan, Sixiang Ma, Yang Wang:
wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events. 527-543 - Andrew Quinn, Jason Flinn, Michael J. Cafarella:
Sledgehammer: Cluster-Fueled Debugging. 545-560
Machine Learning
- Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I. Jordan, Ion Stoica:
Ray: A Distributed Framework for Emerging AI Applications. 561-577 - Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Q. Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy:
TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. 578-594 - Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, Lidong Zhou:
Gandiva: Introspective Cluster Scheduling for Deep Learning. 595-610 - Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer, Matteo Interlandi:
PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems. 611-626
Networking
- Chinmay Kulkarni, Sara Moore, Mazhar Naqvi, Tian Zhang, Robert Ricci, Ryan Stutsman:
Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency Storage. 627-643 - Hyunho Yeo, Youngmok Jung, Jaehong Kim, Jinwoo Shin, Dongsu Han:
Neural Adaptive Content-aware Internet Video Delivery. 645-661 - Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson:
Floem: A Programming System for NIC-Accelerated Network Applications. 663-679
Security
- Stavros Volos, Kapil Vaswani, Rodrigo Bruno:
Graviton: Trusted Execution Environments on GPUs. 681-696 - Radhesh Krishnan Konoth, Marco Oliverio, Andrei Tatar, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Kaveh Razavi:
ZebRAM: Comprehensive and Compatible Software Protection Against Rowhammer Attacks. 697-710 - David Lazar, Yossi Gilad, Nickolai Zeldovich:
Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. 711-725 - Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi:
Obladi: Oblivious Serializable Transactions in the Cloud. 727-743
Graphs and Data
- Anand Padmanabha Iyer, Zaoxing Liu, Xin Jin, Shivaram Venkataraman, Vladimir Braverman, Ion Stoica:
ASAP: Fast, Approximate Graph Pattern Mining at Scale. 745-761 - Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu:
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. 763-782 - Vasiliki Kalavri, John Liagouris, Moritz Hoffmann, Desislava C. Dimitrova, Matthew Forshaw, Timothy Roscoe:
Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows. 783-798 - Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker, Kevin J. Brown, Kunle Olukotun, Tiark Rompf:
Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data. 799-815
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-05-19 22:23 CEST 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:
