Truly stateless, optimal dynamic partial order reduction. - Michalis Kokologiannakis; Iason Marmanis; Vladimir Gladstein; Viktor Vafeiadis (Proc. ACM Program. Lang., 2022)