Registered user since Thu 21 May 2020

Name: Dominik Harmim

Affiliation: Brno University of Technology, Faculty of Information Technology

Contributions

Infer Practitioners 2020Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track