Session chair: Yerom-David Bromberg

Collaborative Text Editing with Eg-walker: Better, Faster, Smaller
Joseph Gentle (Independent), Martin Kleppmann (University of Cambridge)
Paper

Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance Model
Yuanliang Chen (Tsinghua University), Fuchen Ma (Tsinghua University), Yuanhang Zhou (Tsinghua University), Zhen Yan (Tsinghua University), Qing Liao (Harbin Institute of Technology), Yu Jiang (Tsinghua University)
Paper

Moko: Marrying Python with Big Data Systems
Ke Meng (Alibaba Group), Tao He (Alibaba Group), Sijie Shen (Alibaba Group), Lei Wang (Alibaba Group), Wenyuan Yu (Alibaba Group), Jingren Zhou (Alibaba Group)
Paper

Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication
Dinglan Peng (Purdue University), Congyu Liu (Purdue University), Tapti Palit (Purdue University), Anjo Vahldiek-Oberwagner (Intel Labs), Mona Vij (Intel Labs), Pedro Fonseca (Purdue University)
Paper

Multi-Grained Specifications for Distributed System Model Checking and Verification
Lingzhi Ouyang (Nanjing University), Xudong Sun (University of Illinois Urbana-Champaign), Ruize Tang (Nanjing University), Yu Huang (Nanjing University), Madhav Jivrajani (University of Illinois Urbana-Champaign), Xiaoxing Ma (Nanjing University), Tianyin Xu (University of Illinois Urbana-Champaign)
Paper