Registered user since Thu 13 Apr 2023
Name:Adam Rogalewicz
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