Not registered as user yet
Name:Ondřej Pavela
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