Lifting the Preprocessor with Oxidize: Structure-Preserving C-to-Rust Translation (Technical Report)

Robbe De Greef, Théo Engels, Felix Van den Broucke +2

This technical report accompanies our EuroSys 2027 paper "Lifting the Preprocessor with Oxidize: Structure-Preserving C-to-Rust Translation" (DOI 10.1145/3842654.3848533). Oxidize…