Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics
@inproceedings{DBLP:conf/asplos/YuWD25,
author = {Pingshi Yu and
Nicolas Wu and
Alastair F. Donaldson},
editor = {Lieven Eeckhout and
Georgios Smaragdakis and
Katai Liang and
Adrian Sampson and
Martha A. Kim and
Christopher J. Rossbach},
title = {Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics},
booktitle = {Proceedings of the 30th {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, {ASPLOS} 2025, Rotterdam, Netherlands, 30 March 2025 - 3 April 2025},
pages = {966--981},
publisher = {{ACM}},
year = {2025},
doi = {10.1145/3676641.3716270},
}