@inproceedings{LeeEA26,
author = {Lee, Joonghoon and Klose, Nicolas and Lee, Seokhyun and M{\"u}ller, Peter and Oh, Hakjoo},
title = {Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification},
year = {2026},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3837729.3840481},
urltext = {[Publisher]},
doi = {10.1145/3837729.3840481},
booktitle = {Companion Proceedings of the 2026 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity},
pages = {91--96},
numpages = {6},
series = {SPLASH Companion '26}
}