Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics.

Pingshi Yu, Nicolas Wu, Alastair F. Donaldson

Browse the full ASPLOS paper archive.