Registered user since Thu 21 May 2020
Name:Dominik Harmim
Affiliation:Brno University of Technology, Faculty of Information Technology
Contributions
Infer Practitioners 2020 | Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2020-profile
View general profile
View general profile