Concurrency Debugging with Differential Schedule Projections

Published in PLDI, 2015

Recommended citation: N. Machado, B. Lucia, L. Rodrigues. "Concurrency Debugging with Differential Schedule Projections." PLDI. 2015. /files/pldi15-nmachado.pdf