Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marek Chalupa
conf.researchr.org general profile
ICSE 2025 profile
POPL 2026 profile
Registered user since Wed 20 Aug 2025
Name:
Marek Chalupa
Affiliation:
Institute of Science and Technology Austria
Contributions
2026
VMCAI
Co-chair in Artifact Evaluation Committee within the VMCAI 2026-track
2025
ICSE
Author of Cooperative Software Verification via Dynamic Program Splitting within the Research Track-track
Share
x
Sun 26 Oct 20:15