Dynamic Partial Order Reductions for Spinloops.

Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis

Browse the full FMCAD paper archive.