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 | Author of Brief Announcement: Testing Concurrency on the JVM with Lincheck within the Brief Announcements-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile