Production-guided concurrency debugging.

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

Browse the full PPoPP paper archive.