Not registered as user yet

Name: Ondřej Pavela

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