conf.researchr.org / 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 |