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