Parallel debugging

Affiliated to

Location

Timing

Description

Debugging highly parallel programs is a daring task due to program non-determinism and debugger's interference with the original scheduling. The purpose of this internship is to participate in an exploratory project on lightweight monitoring and bug reproduction techniques, using program analysis, instrumentation, and trace analysis to reduce the overhead and improve precision.

Skills required: knowledge of compiler design, Java.
Skills appreciated: familiarity with static analysis, race detection, and replay techniques.