Adam Rogalewicz

Registered user since Thu 13 Apr 2023

Name:Adam Rogalewicz
Country:Czech Republic
Affiliation:Brno University of Technology, Czechia
Research interests:Program analysis, automated testing, Separation logic


ICSME 2023 Committee Member in Tool Demo Track - Program Committee within the Tool Demo Track-track
ECOOP 2022 Author of Low-Level Bi-Abduction within the Research Papers-track
Infer Practitioners 2020 Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track