activity
20242026
most citedA multi-robot system for the detection of explosive devices

3 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2026 · cs.PLShow all

1 paper · 2 filters

cs.PL2026

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…