Maria Sokolova

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Video Sequences

Dynamically Created

Top Venues

Publications

Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. CAV (1) (2023)
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
Testing concurrency on the JVM with lincheck. PPoPP (2020)