5 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Victor Chen, Ayden Coughlin, Michael D. Bond
Automatically translating system software from C to Rust is an appealing but challenging problem, as it requires whole-program reasoning to satisfy Rust's ownership and borrowing d…