David Michael Kaindlstorfer
Univ.Ass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Software Engineering, E194-01
Contact
- david.kaindlstorfer@tuwien.ac.at
- Favoritenstrasse 9, Room HB0206
- vCard from TISS
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked Lists / Kaindlstorfer, D. (2023). Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked Lists [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109623