Microsoft at SOSP 2019

Sunday, October 27 | Workshops

AI Systems
Sarah Bird, Garth Gibson, Joseph Gonzalez, Aparna Lakshmiratan, Siddhartha Sen, Dan Crankshaw

PLOS 2019: Tenth Workshop on Programming Languages and Operating Systems
Chris Hawblitzel, Gilles Muller, Olaf Spinczyk

Monday, October 28

9:00 AM–10:20 AM | Session 1: Machines, Learning

PipeDream: Generalized Pipeline Parallelism for DNN Training
Deepak Narayanan, Aaron Harlap, Amar Phanishayee, Vivek Seshadri, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia

1:40 PM–3:00 PM | Session 3: Systems: Still Buggy

Efficient and Scalable Thread-Safety Violation Detection – Finding thousands of concurrency bugs during testing
Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, Rohan Padhye

Tuesday, October 29

9:00 AM–10:20 AM | Session 5: It Must Be Correct

Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang

10:50 AM–11:50 AM | Session 6: Data, Data, Everywhere

Niijima: Sound and Automated Computation Consolidation for Efficient Multilingual Data-Parallel Pipelines
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin

Nexus: A GPU Cluster Engine for Accelerating DNN-Based Video Analysis
Haichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose, Arvind Krishnamurthy, Ravi Sundaram