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