Skip to content


Tuesday, July 19th, 15:45-17:00, Ballroom – Session Chair: Corina Pasareanu

Testing Concurrent Programs on Relaxed Memory Models

Jacob Burnim, Koushik Sen, and Christos Stergiou (UC Berkeley, USA)

Change-Aware Preemption Prioritization

Vilas Jagannath, Qingzhou Luo, and Darko Marinov (University of Illinois at Urbana-Champaign, USA)

Persuasive Prediction of Concurrency Access Anomalies

Jeff Huang and Charles Zhang (Hong Kong University of Science and Technology, China)