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

Precise dynamic race detectors provide strong correctness guarantees but have high overheads because they generally keep analysis state in a separate shadow location for each heap memory location, and they check (and potentially update) the corresponding shadow location on each heap access. The BigFoot dynamic race detector uses a combination of static and dynamic analysis techniques to coalesce checks and compress shadow locations. With BigFoot, multiple accesses to an object or array often induce a single coalesced check that manipulates a single compressed shadow location, resulting in a performance improvement over FastTrack of 60% with no loss of precision.

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 Huang Texas A&M University
14:00
25m
Talk
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania
14:25
25m
Talk
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
14:50
25m
Talk
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina Billes TU Darmstadt, Anders Møller Aarhus University, Michael Pradel TU Darmstadt
Media Attached