356 followers
"Optimal Dynamic Partial Order Reduction with Observers"[1], by Aronis et al, is a neat approach to DPOR which really reminds me of Jeff Huang's "Maximal Causality Reduction" stuff. [1] https://t.co/NYV3bIxgCs [2] https://t.co/qWGTadwaav