Sunday, October 27 | Workshops
AI Systems (opens in new tab)
Sarah Bird, Garth Gibson, Joseph Gonzalez, Aparna Lakshmiratan, Siddhartha Sen, Dan Crankshaw
PLOS 2019: Tenth Workshop on Programming Languages and Operating Systems (opens in new tab)
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 (opens in new tab), Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He (opens in new tab), Haibo Lin (opens in new tab)
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