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 | 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 |
| OSDI '18 | Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory | Pengfei Zuo, Yu Hua, Jie Wu |
| OSDI '18 | FlashShare: Punching Through Server Storage Stack from Kernel to Firmware for Ultra-Low Latency SSDs | Jie Zhang, Miryeong Kwon, Donghyun Gouk, Sungjoon Koh, Changlim Lee, Mohammad Alian, Myoungjun Chun, Mahmut Taylan Kandemir, Nam Sung Kim, Jihong Kim, Myoungsoo Jung |
| OSDI '18 | Differential Energy Profiling: Energy Optimization via Diffing Similar Apps | |
| OSDI '18 | wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events | Fang Zhou, Yifan Gan, Sixiang Ma, Yang Wang |
| OSDI '18 | Sledgehammer: Cluster-Fueled Debugging | Andrew Quinn, Jason Flinn, Michael Cafarella |
| OSDI '18 | PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems | Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer, Matteo Interlandi |
| OSDI '18 | Ray: A Distributed Framework for Emerging AI Applications | Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I. Jordan, Ion Stoica |
| OSDI '18 | TVM: An Automated End-to-End Optimizing Compiler for Deep Learning | Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy |
| OSDI '18 | Gandiva: Introspective Cluster Scheduling for Deep Learning | Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang, Fan Yang, Lidong Zhou |
| OSDI '18 | Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency Storage | Chinmay Kulkarni, Sara Moore, Mazhar Naqvi, Tian Zhang, Robert Ricci, Ryan Stutsman |
| OSDI '18 | Neural Adaptive Content-aware Internet Video Delivery | Hyunho Yeo, Youngmok Jung, Jaehong Kim, Jinwoo Shin, Dongsu Han |
| OSDI '18 | Floem: A Programming System for NIC-Accelerated Network Applications | Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodik, Thomas Anderson |
| OSDI '18 | Graviton: Trusted Execution Environments on GPUs | Stavros Volos, Kapil Vaswani, Rodrigo Bruno |
| OSDI '18 | Obladi: Oblivious Serializable Transactions in the Cloud | Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, Lorenzo Alvisi |
| OSDI '18 | ASAP: Fast, Approximate Graph Pattern Mining at Scale | Anand Padmanabha Iyer, Zaoxing Liu, Xin Jin, Shivaram Venkataraman, Vladimir Braverman, Ion Stoica |