October 8, 2018 - October 10, 2018

Microsoft @ OSDI 2018

Location: Carlsbad, California, USA

Register

Monday, October 8, 2018 | 9:00 AM–10:20 AM
Understanding Failures

Capturing and Enhancing In Situ System Observability for Failure Detection (opens in new tab)

Peng Huang, Chuanxiong Guo, Jacob R. Lorch (opens in new tab), Lidong Zhou (opens in new tab), Yingnong Dang

REPT: Reverse Debugging of Failures in Deployed Software (opens in new tab)

Weidong Cui (opens in new tab), Xinyang Ge (opens in new tab), Baris Kasikci, Ben Niu (opens in new tab), Upamanyu Sharma, Ruoyu Wang, Insu Yun

Monday, October 8, 2018 | 2:00 PM–3:20 PM
Scheduling

RobinHood: Tail Latency Aware Caching—Dynamic Reallocation from Cache-Rich to Cache-Poor (opens in new tab)

Daniel S. Berger and Benjamin Berg, Timothy Zhu, Siddhartha Sen (opens in new tab), Mor Harchol-Balter

Monday, October 8, 2018 | 3:50 PM–5:10 PM
Data

Focus: Querying Large Video Datasets with Low Latency and Low Cost (opens in new tab)

Kevin Hsieh, Ganesh Ananthanarayanan (opens in new tab), Peter Bodik (opens in new tab), Shivaram Venkataraman, Paramvir Bahl (opens in new tab), Matthai Philipose (opens in new tab), Phillip B. Gibbons, Onur Mutlu

Tuesday, October 9, 2018 | 9:00 AM-10:20 AM
Verification

Verifying a concurrent mail server with CSPEC (opens in new tab)

Tej Chajed, Frans Kaashoek, Butler Lampson (opens in new tab), Nickolai Zeldovich

Proving the correct execution of concurrent services in zero-knowledge (opens in new tab)

Srinath Setty (opens in new tab), Sebastian Angel, Trinabh Gupta, Jonathan Lee (opens in new tab)

Tuesday, October 9, 2018 | 10:50 AM–12:10 PM
Reliability

The FuzzyLog: A Partially Ordered Shared Log (opens in new tab)

Joshua Lockerman, Jose Faleiro, Juno Kim, and Soham Sankaran, Daniel J Abadi, James Aspnes, Siddhartha Sen (opens in new tab), Mahesh Balakrishnan

Tuesday, October 9, 2018 | 3:50 PM–5:10 PM
Debugging

Orca: Differential Bug Localization in Large-Scale Services (opens in new tab)

Ranjita Bhagwan (opens in new tab), Rahul Kumar (opens in new tab), Chandra Sekhar Maddila (opens in new tab), Adithya Abraham Philip

Wednesday, October 10, 2018 | 9:00 AM–10:20 AM
Machine Learning

Gandiva: Introspective Cluster Scheduling for Deep Learning (opens in new tab)

Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee (opens in new tab), Muthian Sivathanu, Nipun Kwatra (opens in new tab), Zhenhua Han, Pratyush Patel, Xuan Peng, Hanyu Zhao, Quanlu Zhang (opens in new tab), Fan Yang (opens in new tab), Lidong Zhou (opens in new tab)

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems (opens in new tab)

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer (opens in new tab),Matteo Interlandi

Wednesday, October 10, 2018 | 2:00 PM-3:20 PM
Security

Graviton: Trusted Execution Environments on GPUs (opens in new tab)

Stavros Volos (opens in new tab), Kapil Vaswani (opens in new tab), Rodrigo Bruno

Wednesday, October 10, 2018 | 3:50 PM–5:10 PM
Graphs and Data

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine (opens in new tab)

Kai Wang, Zhiqiang Zuo, John Thorpe, Tim Nguyen, Guoqing Harry Xu