Dmitry Tsitelov

Registered user since Mon 20 Jan 2020

Name:Dmitry Tsitelov
Country:Russia
Affiliation:Devexperts
Research interests:Software Verification, Concurrency

Contributions

PPoPP 2020 Author of Brief Announcement: Testing Concurrency on the JVM with Lincheck within the Brief Announcements-track