PLDI 2019 (series) / PLDI Research Papers /
DFix: Automatically Fixing Timing Bugs in Distributed Systems
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 JunDisplayed time zone: Tijuana, Baja California change
Wed 26 Jun
Displayed time zone: Tijuana, Baja California change
08:30 - 09:30 | |||
08:30 20mTalk | 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 20mTalk | 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 20mTalk | 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 |