November 4, 2020 November 6, 2020

Microsoft at OSDI 2020

Location: Virtual/Online

Wednesday, November 4

7:15 – 8:45 | Correctness

Storage Systems are Distributed Systems (So Verify Them That Way!)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno

9:15 – 10:45 | Storage

From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees
Yifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth (opens in new tab), Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau

Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi (opens in new tab), Kaushik Rajan, Akash Lal, Abhishek Modi (opens in new tab), Prakhar Jain (opens in new tab), Mo Liu (opens in new tab), Ashit Gosalia (opens in new tab), Saurabh Kalikar

1:30 – 3:00 | Consistency

Performance-Optimal Read-Only Transactions
Haonan Lu (opens in new tab), Wyatt Lloyd, Siddhartha Sen

Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, Dan Ports


Thursday, November 5

7:00 – 8:30 | Machine Learning 1

Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads
Deepak Narayanan, Keshav Santhanam, Fiodar Kazhamiaka, Amar Phanishayee, Matei Zaharia

HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Fan Yang, Lidong Zhou, Mao Yang, Francis C.M. Lau, Yuqi Wang (opens in new tab), Yifan Xiong (opens in new tab), Bin Wang

9:00 –10:30 | Consensus

Blockene: A High-throughput Blockchain Over Mobile Devices
Sambhav Satija (opens in new tab), Apurv Mehra, Sudheesh Singanamalla, Karan Grover (opens in new tab), Muthian Sivathanu, Nishanth Chandran, Divya Gupta, Satya Lokam

Tolerating Slowdowns in Replicated State Machines using Copilots
Khiem Ngo, Siddhartha Sen, Wyatt Lloyd

Byzantine ordered consensus without Byzantine oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi

11:15 – 12:45 | Bugs

Scalable Runtime Verification of Distributed Middleboxes
Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci (opens in new tab), Vincent Liu

1:15 – 2:45 | Scheduling

Providing SLOs for Resource-Harvesting VMs in Cloud Platforms
Lurdh Pradeep Reddy Ambati, Inigo Goiri, Felipe Vieira Frujeri, Alper Gun, Ke Wang, Brian Dolan (opens in new tab), Brian Corell (opens in new tab), Sekhar Pasupuleti (opens in new tab), Thomas Moscibroda, Sameh Elnikety, Marcus Fontoura (opens in new tab), Ricardo Bianchini

Protean: VM Allocation Service at Scale
Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan (opens in new tab), Esaias E Greeff, David Dion (opens in new tab), Star Dorminey, Shailesh Joshi (opens in new tab), Yang Chen, Mark Russinovich (opens in new tab), Thomas Moscibroda


Friday, November 6

7:00 – 8:15 | Machine Learning 2

Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
Lingxiao Ma (opens in new tab), Zhiqiang Xie (opens in new tab), Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu (opens in new tab), Fan Yang, Lintao Zhang, Lidong Zhou

A Tensor Compiler for Unified Machine Learning Prediction Serving
Supun Nakandala, Karla Saur (opens in new tab), Gyeong-In Yu, Konstantinos Karanasos, Carlo Curino, Markus Weimer, Matteo Interlandi (opens in new tab)

Retiarii: A Deep Learning Exploratory-Training Framework
Quanlu Zhang, Zhenhua Han (opens in new tab), Fan Yang, Yuge Zhang (opens in new tab), Zhe Liu (opens in new tab), Mao Yang, Lidong Zhou

8:45 – 10:15 | Hardware

Persistent State Machines for Recoverable In-memory Storage Systems with NVRam
Wen Zhang, Scott Shenker, Irene Zhang

12:45 – 2:15 | Clusters

Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions
Sebastien Levy (opens in new tab), Randolph Yao (opens in new tab), Youjiang Wu (opens in new tab), Yingnong Dang (opens in new tab), Peng Huang, Zheng Mu (opens in new tab), Pu Zhao, Tarun Ramani (opens in new tab), Naga Govindraju (opens in new tab), Xukun Li (opens in new tab), Qingwei Lin, Gil Lapid Shafriri (opens in new tab), Murali Chintalapati (opens in new tab)

Unearthing inter-job dependencies for better cluster scheduling
Andrew Chung, Subru Krishnan (opens in new tab), Konstantinos Karanasos, Carlo Curino, Gregory R. Ganger