This video summarizes the main results from POPL'22 paper "Truly Stateless, Optimal Dynamic Partial Order Reduction" and provides some insights on the key idea.
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the ...
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the ...
Feb 8, 2022 · Truly Stateless, Optimal Dynamic Partial Order Reduction Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, and Viktor Vafeiadis ...
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, ...
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, ...
Abstract. Stateless model checking is a powerful technique for program verification, which however suffers from an exponential growth.
Missing: Truly | Show results with:Truly
We consider our paper's artifact to be the included version of TruSt, as well as the results we got by running the various tools on our benchmarks set. We ...
We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program ...
Missing: Truly | Show results with:Truly
Note that the algorithm of Figure 3 is stateless [10]: it does not store previously visited states in memory since efficiently computing a canonical ...
Missing: Truly optimal