Sparse record and replay with controlled scheduling.

Christopher Lidbury, Alastair F. Donaldson

Browse the full PLDI paper archive.