Search papers, labs, and topics across Lattice.
School of Computer Science
1
0
2
AdaTrans achieves a remarkable 95.51% compilation pass rate, showcasing a new standard in automated code transformation from C to Rust.