Program 
You can find the proceedings on
the ACM Digital Library.
| 08:50 - 09:00 | Workshop opening |
| 09:00 - 10:00 | Keynote Lecture: Apply or Perish! -- Marcos K. Aguilera (VMware) |
| 10:00 - 10:30 | An Analysis of Quorum-based Abstractions: A Case Study Using Gorums to Implement Raft. -- Sebastian Pedersen (Univ. of Stavanger), Hein Meling (Univ. of Stavanger) and Leander Jehl (Univ. of Stavanger) |
| 10:30 - 10:45 | Coffee break |
| 10:45 - 11:45 | Keynote Lecture: Towards Reproducible Evaluation of Large Scale Distributed Systems. -- Miguel Matos (INESC-ID and IST, Univ. Lisboa) |
| 11:45 - 12:00 | Partisan: Enabling Real-World Protocol Evaluation. -- Christopher Meiklejohn (Northeastern Univ.) |
| 12:00 - 12:15 | Data Distribution Method for Fast Giga-scale Hologram Generation on a Multi-GPU Cluster. -- Takanobu Baba (Utsunomiya Univ.), Shinpei Watanabe (Utsunomiya Univ.), Boaz Jessie Jackin (NICT), Kanemitsu Ootsu (Utsunomiya Univ.), Takeshi Ohkawa (Utsunomiya Univ.), Takashi Yokota (Utsunomiya Univ.), Yoshio Hayasaki (Utsunomiya Univ.) and Toyohiko Yatagai (Utsunomiya Univ.) |
| 12:15 - 14:00 | Lunch and tutorials |
| 14:00 - 15:00 | Keynote Lecture: Saying What You Mean. -- Victor Luchangco (Oracle Labs) |
| 15:00 - 15:30 | Logical Clocks Are Not Fair: What Is Fair? A Case Study of High-level Language and Optimization. Yanhong A. Liu (Stony Brook University) |
| 15:30 - 15:45 | Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems. Ritwika Ghosh (Univ. of Illinois at Urbana-Champaign), Sasa Misailovic (Univ. of Illinois at Urbana-Champaign) and Sayan Mitra (Univ. of Illinois at Urbana-Champaign) |
| 15:45 - 16:00 | Coffee break |
| 16:00 - 17:00 | Keynote Lecture: Turn of the Carousel - What Does Edge Computing Change for Distributed
Applications? -- Srikumar Venugopal (IBM Research) |
| 17:00 - 17:30 | Towards a More Reliable Store-and-forward Protocol for Mobile Text Messages. Daniel Brahneborg (Infoflex Connect AB), Wasif Afzal (Mälardalen Univ.), Adnan Causevic (Mälardalen Univ.) and Mats Björkman (Mälardalen Univ.) |
| 17:30 - 17:35 | Workshop closing |