Production-guided Concurrency Debugging

Published in PPoPP, 2016

Recommended citation: N. Machado, B. Lucia, L. Rodrigues. "Production-guided Concurrency Debugging." PPoPP. 2016. /files/ppopp16-nmachado.pdf