Not registered as user yet

Name: Adam Rogalewicz

Affiliation: Brno University of Technology, Faculty of Information Technology

Contributions

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