Write a Blog >>
Mon 19 Jun 2017 14:50 - 15:15 at Aula Master - Concurrency Analysis Chair(s): Jeff Huang

Writing reliable concurrent software remains a huge challenge for today’s programmers. Programmers rarely reason about their code by explicitly considering different possible interleavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport’s happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races. WCP is also sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.

Conference Day
Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:40
Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff HuangTexas A&M University
14:00
25m
Talk
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania
14:25
25m
Talk
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College
14:50
25m
Talk
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt
Media Attached