Concurrency debugging with differential schedule projections.

Nuno Machado, Brandon Lucia, Lus E. T. Rodrigues

Browse the full PLDI paper archive.