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