PPoPP 2016
Sat 12 - Wed 16 March 2016 Barcelona, Spain
Wed 16 Mar 2016 12:25 - 12:50 at Mallorca+Menorca - Performance analysis and debugging Chair(s): Martin Schulz

Concurrency bugs that stem from schedule-dependent branches are hard to understand and debug, because their root causes imply not only different event orderings, but also changes in the control-flow between failing and non-failing executions. We present Cortex: a system that helps exposing and understanding concurrency bugs that result from schedule-dependent branches, without relying on information from failing executions. Cortex preemptively exposes failing executions by perturbing the order of events and control-flow behavior in non-failing schedules from production runs of a program. By leveraging this information from production runs, Cortex synthesizes executions to guide the search for failing schedules. Production-guided search helps cope with the large execution search space by targeting failing executions that are similar to observed non-failing executions. Evaluation on popular benchmarks shows that Cortex is able to expose failing schedules with only a few perturbations to non-failing executions, and takes a practical amount of time.

Wed 16 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:35 - 12:50: Performance analysis and debuggingMain conference at Mallorca+Menorca
Chair(s): Martin SchulzLawrence Livermore National Laboratory
11:35 - 12:00
Talk
ESTIMA: Extrapolating ScalabiliTy of In-Memory Applications
Main conference
Georgios ChatzopoulosEcole Polytechnique Federale de Lausanne (EPFL), Switzerland, Aleksandar DragojevićMicrosoft Research, Rachid GuerraouiEPFL, Switzerland
Link to publication DOI
12:00 - 12:25
Talk
Grain Graphs: OpenMP Performance Analysis Made Easy
Main conference
Ananya Muddukrishna, Peter A. JonssonSICS Swedish ICT AB, Artur PodobasKTH Royal Institute of Technology, Mats BrorssonKTH Royal Institute of Technology
Link to publication DOI
12:25 - 12:50
Talk
Production-guided Concurrency Debugging Artifact Evaluation
Main conference
Nuno MachadoINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon LuciaCarnegie Mellon University, Luís RodriguesUniversidade de Lisboa, Instituto Superior Técnico, INESC-ID
Link to publication DOI