Wed 26 Jun 2019 08:50 - 09:10 at 224AB - Systems I Chair(s): Xinyu Feng

Distributed systems nowadays are the backbone of computing society, and are expected to have high availability. Unfortunately, distributed timing bugs, a type of bugs triggered by non-deterministic timing of messages and node crashes, widely exist. They lead to many production-run failures, and are difficult to reason about and patch. Although recently proposed techniques can automatically detect these bugs, how to automatically and correctly fix them still remains as an open problem. This paper presents DFix, a tool that automatically processes distributed timing bug reports, statically analyzes the buggy system, and produces patches. Our evaluation shows that DFix is effective in fixing real-world distributed timing bugs.

Wed 26 Jun

Displayed time zone: Tijuana, Baja California change

08:30 - 09:30
Systems IPLDI Research Papers at 224AB
Chair(s): Xinyu Feng Nanjing University
08:30
20m
Talk
Replication-Aware Linearizability
PLDI Research Papers
Chao Wang IRIF, Université Paris Diderot, France, Constantin Enea Université Paris Diderot, Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France, Gustavo Petri Arm Ltd
Media Attached
08:50
20m
Talk
DFix: Automatically Fixing Timing Bugs in Distributed Systems
PLDI Research Papers
Guangpu Li University of Chicago, USA, Haopeng Liu University of Chicago, Xianglan Chen University of Science and Technology of China, China, Haryadi S. Gunawi University of Chicago, USA, Shan Lu University of Chicago
Media Attached
09:10
20m
Talk
Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
PLDI Research Papers
Nikos Vasilakis University of Pennsylvania, USA, Ben Karel University of Pennsylvania, USA, Yash Palkhiwala University of Pennsylvania, USA, John Sonchack University of Pennsylvania, USA, André DeHon University of Pennsylvania, USA, Jonathan M. Smith University of Pennsylvania, USA
Media Attached