Thu 21 Jun 2018 14:25 - 14:50 at Grand Ballroom AB - Concurrency Debugging Chair(s): Tony Hosking

We present D4, a fast concurrency analysis framework that detects concurrency bugs (e.g., data races and deadlocks) interactively in the programming phase. As developers add, modify, and remove statements, the code changes are sent to D4 to detect concurrency bugs in real time, which in turn provides immediate feedback to the developer of the new bugs. The cornerstone of D4 includes a novel system design and two novel parallel differential algorithms that embrace both change and parallelization for fundamental static analyses of concurrent programs. Both algorithms react to program changes by memoizing the analysis results and only recomputing the impact of a change in parallel. Our evaluation on an extensive collection of large real-world applications shows that D4 efficiently pinpoints concurrency bugs within 100ms on average after a code change, several orders of magnitude faster than both the exhaustive analysis and the state-of-the-art incremental techniques.

Thu 21 Jun

pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Concurrency Debugging at Grand Ballroom AB
Chair(s): Tony HoskingAustralian National University / Data61
pldi-2018-papers14:00 - 14:25
Talk
Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael BondOhio State University
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania
Media Attached