Alex Loitzl
I’m a PhD student in the Programming Languages and Verification Group at the Institute of Science and Technology Austria. My interests are in the modeling and verification of complex systems, ideally realistic ones. At the moment I am working with DimSum, an Iris framework for multi-language reasoning. Previously, I was contributing to the (industrial) version of CompCert at AbsInt in Saarbrücken.
Research Activities
-
Conference Paper (2024)
Modelling Register Pairs in CompCert (IFM 24)
Loitzl A., Zuleger F.
Runner-up: Best Paper
DOI
|
Local Copy
-
Master's Thesis (2024)
Supporting Register Pairs in CompCert (TU Wien)
Loitzl A.
Runner-up: Best Master Thesis TU Wien Informatics 2024
DOI