Locations:
Breakfasts/reception/dinners : Macdonald D
All sessions : Macdonald E/F
Sunday (May 7)
18:00 - 21:00 : Arrival reception (snacks and bar)
Monday (May 8)
07:30 - 09:00 : Breakfast
09:00 - 10:30 : Cloud Services (chair: Andy Warfield)
| Thinking about Availability in Large Service Infrastructures |
| Jeffrey C. Mogul, Rebecca Isaacs, Brent Welch (Google) |
| Gray Failure: The Achilles' Heel of Cloud-Scale Systems |
| Peng Huang (Microsoft Research, JHU), Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch (Microsoft Research), Yingnong Dang, Murali Chintalapati, Randolph Yao (Microsoft Azure) |
| Verification in the Age of Microservices |
| Aurojit Panda (UC Berkeley); Mooly Sagiv (Tel Aviv University); Scott Shenker (UC Berkeley/ICSI) |
10:30 - 11:00 : Coffee break
11:00 - 12:30 : Cloud Services and ML (chair: Derek Murray)
| Will Serverless End the Dominance of Linux in the Cloud? |
| Ricardo Koller, Dan Williams (IBM T.J. Watson Research Center) |
| No!: Not Another Deep Learning Framework |
| Linh Nguyen, Peifeng Yu, Mosharaf Chowdhury (University of Michigan) |
| Real-Time Machine Learning: The Missing Pieces |
| Robert Nishihara, Philipp Moritz, Stephanie Wang, Alexey Tumanov, William Paul, Johann Schleier-Smith, Richard Liaw, Michael I. Jordan, Ion Stoica (UC Berkeley) |
12:30 - 14:00 : Box lunch
14:00 - 16:00 : Mid-day activities
16:00 - 17:30 : Inconsistency (chair: Kim Keeton)
| Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification |
| Beom Heyn Kim, Sukwon Oh, David Lie (University of Toronto) |
| From Crash Consistency to Transactions |
| Yige Hu, Youngjin Kwon, Vijay Chidambaram, Emmett Witchel (University of Texas at Austin) |
| Flash Drive Lifespan *is* a Problem |
| Tao Zhang (University of North Carolina at Chapel Hill); Aviad Zuck (Technion - Israel Institute of Technology); Donald E. Porter (University of North Carolina at Chapel Hill); Dan Tsafrir (Technion - Israel Institute of Technology) |
17:30 - 18:00 : Coffee break
18:00 - 19:30 : Architecture-ish (chair: Michael Stumm)
| OmniX: an accelerator-centric OS for omni-programmable systems |
| Mark Silberstein (Technion - Israel Institute of Technology) |
| Quantum Operating Systems |
| Henry Corrigan-Gibbs, David J. Wu, Dan Boneh (Stanford University) |
| It's Time to Think About an Operating System for Near Data Processing Architectures |
| Antonio Barbalace, Anthony Iliopoulos, Holm Rauchfuss, Goetz Brasche (Huawei Research) |
19:30 - 22:00 : Dinner banquet (and outrageous opinions session)
Tuesday (May 9)
07:30 - 09:00 : Breakfast (Macdonald D)
09:00 - 10:30 : Languages and Runtimes (chair: Ivan Beschastnikh)
| Return of the Runtimes: Rethinking the Language Runtime System for the Cloud 3.0 Era |
| Martin Maas, Krste Asanovic, John Kubiatowicz (University of California, Berkeley) |
| System Programming in Rust: Beyond Safety |
| Abhiram Balasubramanian, Marek S. Baranowski (University of Utah); Anton Burtsev (UC Irvine); Aurojit Panda (UC Berkeley); Zvonimir Rakamarić (University of Utah); Leonid Ryzhyk (VMware Research) |
| Towards Automated Configuration of Systems with Non-Functional Constraints |
| Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz (TU Dresden) |
10:30 - 11:00 : Coffee break
11:00 - 12:30 : Operating Systems (chair: Chris Rossbach)
| Towards Proving Optimistic Multicore Schedulers |
| Baptiste Lepers (EPFL); Gilles Muller, Julia Lawall (LIP6); Willy Zwaenepoel (EPFL); Jean Pierre Lozi (Université Nice Sophia-Antipolis); Nicolas Palix (Université Grenoble Alpes); Redha Gouicem, Julien Sopena (LIP6) |
| Hypercallbacks: Decoupling Policy Decisions and Execution |
| Nadav Amit (VMware Research); Michael Wei (VMware Research, UC San Diego); William Tu (VMware) |
| OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter |
| Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran (Virginia Tech) |
12:30 - 14:00 : Box lunch
14:00 - 16:00 : Mid-day activities
16:00 - 17:30 : Performance (chair: Sasha Fedorova)
| A Case Against Tiny Tasks in Iterative Analytics |
| Ehsan Totoni, Subramanya R Dulloor, Amitabha Roy (Intel Labs) |
| Performance clarity as a first-class design principle |
| Kay Ousterhout (UC Berkeley); Christopher Canel (Carnegie Mellon University); Max Wolffe, Sylvia Ratnasamy (UC Berkeley); Scott Shenker (UC Berkeley, ICSI) |
| Scalability Bugs: When 100-Node Testing is Not Enough |
| Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi (University of Chicago) |
17:30 - 18:00 : Coffee break
18:00 - 19:30 : Performance and Memory (chair: Don Porter)
| The Game of Twenty Questions: Do You Know Where to Log? |
| Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan (University of Toronto); Yuanyuan Zhou (University of California, San Diego) |
| Separating Translation from Protection in Address Spaces with Dynamic Remapping |
| Reto Achermann (ETH Zurich); Chris Dalton, Paolo Faraboschi (Hewlett Packard Labs); Moritz Hoffmann (ETH Zurich); Dejan Milojicic, Geoffrey Ndu (Hewlett Packard Labs); Alexander Richardson (University of Cambridge); Timothy Roscoe (ETH Zurich); Adrian L. Shaw (Hewlett Packard Labs); Robert N. M. Watson (University of Cambridge) |
| Towards O(1) Memory |
| Michael M Swift (University of Wisconsin--Madison) |
19:30 - 22:00 : Dinner buffet
Wednesday (May 10)
07:30 - 09:00 : Breakfast (Macdonald D)
09:00 - 10:30 : Insecurity (chair: Peter Druschel)
| Preserving Hidden Data with an Ever-Changing Disk |
| Aviad Zuck, Udi Shriki (Technion - Israel Institute of Technology); Donald E. Porter (University of North Carolina at Chapel Hill); Dan Tsafrir (Technion - Israel Institute of Technology) |
| A Clairvoyant Approach to Evaluating Software (In)Security |
| Bhushan Jain (University of North Carolina at Chapel Hill); Chia-che Tsai (Stony Brook University); Donald E. Porter (University of North Carolina at Chapel Hill) |
| Why Your Encrypted Database Is Not Secure |
| Paul Grubbs, Thomas Ristenpart, Vitaly Shmatikov (Cornell Tech) |
10:30 - 11:00 : Coffee break
11:00 - 12:30 : SGX (chair: Michael Kaminsky)
| Glimmers: Resolving the Privacy/Trust Quagmire |
| David Lie (University of Toronto/Google); Petros Maniatis (Google) |
| Hardware is the new Software |
| Andrew Baumann (Microsoft Research) |