Optimal dynamic partial order reduction.

Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas

Browse the full POPL paper archive.