PPoPP 2020 (series) / Dmitry Tsitelov

Registered user since Mon 20 Jan 2020
Name: Dmitry Tsitelov
Country: Russia
Affiliation: Devexperts
Personal website: https://ru.linkedin.com/in/dmitrytsitelov
Research interests: Software Verification, Concurrency
Contributions
PPoPP 2020 | Brief Announcement: Testing Concurrency on the JVM with Lincheck | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PPoPP 2020-profile
View general profile
View general profile