Showing 2024Show all
2 papers · 1 filter
cs.PL2024
Scylla: Translating an Applicative Subset of C to Safe Rust
Aymeric Fromherz, Jonathan Protzenko
The popularity of the Rust language continues to explode; yet, many critical codebases remain authored in C. Automatically translating C to Rust is thus an appealing course of acti…
cs.PL2024
Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, Lucas Franceschino +3
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosyst…