Видео ютуба по тегу Orcid:0000-0002-7905-9739

[PLDI24] SPORE: Combining Symmetry and Partial Order Reduction
[PLDI24] SPORE: Combining Symmetry and Partial Order Reduction
Truly Stateless, Optimal Dynamic Partial Order Reduction (Teaser)
Truly Stateless, Optimal Dynamic Partial Order Reduction (Teaser)
[POPL'22] Truly Stateless, Optimal Dynamic Partial Order Reduction
[POPL'22] Truly Stateless, Optimal Dynamic Partial Order Reduction