Dmitry Tsitelov

According to our database, Dmitry Tsitelov authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.

Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020

Testing concurrency on the JVM with lincheck.

Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020