@inproceedings{tempel:26:asyde,
author = {Sören Tempel and Christian Dietrich},
booktitle = {Proceedings of the 8th International Workshop on Automated and Verifiable Software System Development},
doi = {10.1145/3843777.3844530},
entrysubtype = {Conference},
location = {Munich, Germany},
month = {October},
publisher = {ACM},
series = {ASYDE},
title = {Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution},
year = {2026},
}