Filter by Conference Group
filter by award
Proceedings and Papers
The research papers from Conference Proceedings and workshops listed below are available free of charge, thanks to our commitment to Open Access.
Use the filters to the left to narrow your search. Hungry for more? Check out our best papers and the multimedia pages.
For proceedings prior to 1993, check our online index in traditional refer format and place your order via the Offprints Order Form.
Papers
| Conference | Title | Author(s) |
|---|---|---|
| OSDI '18 | Capturing and Enhancing In Situ System Observability for Failure Detection | Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang |
| OSDI '18 | REPT: Reverse Debugging of Failures in Deployed Software | Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun |
| OSDI '18 | Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing | Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, Vijay Chidambaram |
| OSDI '18 | An Analysis of Network-Partitioning Failures in Cloud Systems | Ahmed Alquraan, Hatem Takruri, Mohammed Alfatafta, Samer Al-Kiswany |
| OSDI '18 | LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation | Yizhou Shan, Yutong Huang, Yilun Chen, Yiying Zhang |
| OSDI '18 | The benefits and costs of writing a POSIX kernel in a high-level language | Cody Cutler, M. Frans Kaashoek, Robert T. Morris |
| OSDI '18 | Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS | Ahmed Khawaja, Joshua Landgraf, Rohith Prakash, Michael Wei, Eric Schkufza, Christopher J. Rossbach |
| OSDI '18 | Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing | Kiwan Maeng, Brandon Lucia |
| OSDI '18 | Arachne: Core-Aware Thread Management | Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft, John Ousterhout |
| OSDI '18 | Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models | Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| OSDI '18 | µTune: Auto-Tuned Threading for OLDI Microservices | Akshitha Sriraman, Thomas F. Wenisch |
| OSDI '18 | RobinHood: Tail Latency Aware Caching -- Dynamic Reallocation from Cache-Rich to Cache-Poor | Daniel S. Berger, Benjamin Berg, Timothy Zhu, Siddhartha Sen, Mor Harchol-Balter |
| OSDI '18 | Noria: dynamic, partially-stateful data-flow for high-performance web applications | Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris |
| OSDI '18 | Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better! | Xingda Wei, Zhiyuan Dong, Rong Chen, Haibo Chen |
| OSDI '18 | Dynamic Query Re-Planning using QOOP | Kshiteej Mahajan, Mosharaf Chowdhury, Aditya Akella, Shuchi Chawla |
| OSDI '18 | Focus: Querying Large Video Datasets with Low Latency and Low Cost | Kevin Hsieh, Ganesh Ananthanarayanan, Peter Bodik, Shivaram Venkataraman, Paramvir Bahl, Matthai Philipose, Phillip B. Gibbons, Onur Mutlu |
| OSDI '18 | Nickel: A Framework for Design and Verification of Information Flow Control Systems | Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang |
| OSDI '18 | Verifying concurrent software using movers in CSPEC | Tej Chajed, Frans Kaashoek, Butler Lampson, Nickolai Zeldovich |
| OSDI '18 | Proving confidentiality in a file system using DiskSec | Atalay Ileri, Tej Chajed, Adam Chlipala, Frans Kaashoek, Nickolai Zeldovich |
| OSDI '18 | Proving the correct execution of concurrent services in zero-knowledge | Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee |
| OSDI '18 | The FuzzyLog: A Partially Ordered Shared Log | Joshua Lockerman, Jose M. Faleiro, Juno Kim, Soham Sankaran, Daniel J. Abadi, James Aspnes, Siddhartha Sen, Mahesh Balakrishnan |
| OSDI '18 | Fault-Tolerance, Fast and Slow: Exploiting Failure Asynchrony in Distributed Systems | Ramnatthan Alagappan, Aishwarya Ganesan, Jing Liu, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau |
| OSDI '18 | Taming Performance Variability | Aleksander Maricq, Dmitry Duplyakin, Ivo Jimenez, Carlos Maltzahn, Ryan Stutsman, Robert Ricci |
| OSDI '18 | Pocket: Elastic Ephemeral Storage for Serverless Analytics | Ana Klimovic, Yawen Wang, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle, Christos Kozyrakis |
| OSDI '18 | Sharding the Shards: Managing Datastore Locality at Scale with Akkio | Muthukaruppan Annamalai, Kaushik Ravichandran, Harish Srinivas, Igor Zinkovsky, Luning Pan, Tony Savor, David Nagle, Michael Stumm |