PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / PLDI Research Papers /
BigFoot: Static Check Placement for Dynamic Race Detection
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 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:40 | |||
14:00 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Media Attached |