Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms.

Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe

Browse the full ATVA paper archive.