Tue 17 Nov 2020 22:00 - 22:20 at SPLASH-I - T-2 Chair(s): Iulian Neamtiu, Yaoda Zhou
Diagnosing software failures is important but notoriously challenging. Existing work either requires extensive manual effort, imposing a serious privacy concern (for in-production systems), or cannot report sufficient information for bug fixes. This paper presents a novel diagnosis system, named WATCHER, that can pinpoint root causes of program failures within the failing process ("in-situ"), eliminating the privacy concern. It combines identical record-and-replay, binary analysis, dynamic analysis, and hardware support together to perform the diagnosis without human involvement. It further proposes two optimizations to reduce the diagnosis time and diagnose failures with control flow hijacks. WATCHER can be easily deployed, without requiring custom hardware or operating system, program modification, or recompilation. We evaluate WATCHER with 24 program failures in real-world deployed software, including large-scale applications, such as Memcached, SQLite, and OpenJPEG. Experimental results show that WATCHER can accurately identify the root causes in only a few seconds.
Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change
09:00 - 10:20: T-2OOPSLA at SPLASH-I +12h Chair(s): Karim AliUniversity of Alberta, Aritra SenguptaAmazon Web Services, USA | |||
09:00 - 09:20 Talk | Formulog: Datalog for SMT-Based Static Analysis OOPSLA Link to publication DOI Media Attached | ||
09:20 - 09:40 Talk | A Large-Scale Longitudinal Study of Flaky Tests OOPSLA Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University Link to publication DOI Media Attached | ||
09:40 - 10:00 Talk | Handling Bidirectional Control Flow OOPSLA Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew C. MyersCornell University Link to publication DOI Media Attached | ||
10:00 - 10:20 Talk | WATCHER: In-Situ Failure Diagnosis OOPSLA Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, Xiangyu ZhangPurdue University, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts at Amherst Link to publication DOI Media Attached |
21:00 - 22:20: T-2OOPSLA at SPLASH-I Chair(s): Iulian NeamtiuNew Jersey Institute of Technology, Yaoda ZhouUniversity of Hong Kong | |||
21:00 - 21:20 Talk | Formulog: Datalog for SMT-Based Static Analysis OOPSLA Link to publication DOI Media Attached | ||
21:20 - 21:40 Talk | A Large-Scale Longitudinal Study of Flaky Tests OOPSLA Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University Link to publication DOI Media Attached | ||
21:40 - 22:00 Talk | Handling Bidirectional Control Flow OOPSLA Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew C. MyersCornell University Link to publication DOI Media Attached | ||
22:00 - 22:20 Talk | WATCHER: In-Situ Failure Diagnosis OOPSLA Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, Xiangyu ZhangPurdue University, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts at Amherst Link to publication DOI Media Attached |