• Sign in
  • Sign up
conf.researchr.org / Adam Rogalewicz
  • ECOOP 2022 profile
  • ICSME 2023 profile
  • PLDI 2020 profile
  • POPL 2025 profile
Adam Rogalewicz

Registered user since Thu 13 Apr 2023

Name:Adam Rogalewicz
Country:Czechia
Affiliation:Brno University of Technology, Czechia
Personal website: https://www.fit.vut.cz/person/rogalew/
Research interests:Program analysis, automated testing, Separation logic

Contributions

2025

TPSA

  • Author of Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract) within the TPSA 2025-track

2023

ICSME

  • Committee Member in Tool Demo Track - Program Committee within the Tool Demo Track-track

2022

ECOOP

  • Author of Low-Level Bi-Abduction within the Research Papers-track

2020

Infer

  • Author of Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis within the Infer Practitioners 2020-track
Share
xThu 10 Jul 13:34
using conf.researchr.org (v1.69.1)
Support page
Sign Up