@inproceedings{machtle2026dasa,
 author = {Mächtle, Felix and Serr, Jan-Niclas and Loose, Nils and Eisenbarth, Thomas},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems -- 32nd International Conference (TACAS 2026)},
 title = {DASA: Fully Gradient-based Program Analysis (Competition Contribution)},
 year = {2026}
}