Registered user since Wed 13 Oct 2021

Name:Vladimir Gladstein
Affiliation:MPI-SWS, JetBrains Research and St Petersburg University

Contributions

POPL 2022 Truly Stateless, Optimal Dynamic Partial Order Reduction
Show activities from other conferences

Using general profile