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

Dynamic program analysis can predict data races knowable from an observed execution, but existing predictive analyses either miss races or cannot analyze full program executions. This paper presents Vindicator, a novel, sound (no false races) predictive approach that finds more data races than existing predictive approaches. Vindicator achieves high coverage by using a new, efficient analysis that finds all possible predictable races but may detect false races. Vindicator ensures soundness using a novel algorithm that checks each potential race to determine whether it is a true predictable race. An evaluation using large Java programs shows that Vindicator finds hard-to-detect predictable races that existing sound predictive analyses miss, at a comparable performance cost.

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