Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ondřej Pavela
conf.researchr.org general profile
PLDI 2020 profile
Not registered as user
Name:
Ondřej Pavela
Affiliation:
Brno University of Technology, Faculty of Information Technology
Contributions
2020
Infer
Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track
Share
x
Sat 21 Dec 19:58