Rustlantis: Randomized Differential Testing of the Rust Compiler

The first paper produced entirely by my group has recently been published at OOPSLA. 🙂 The paper is about fuzzing the optimizations and code generation of the Rust compiler by randomly gen… Read more

Read full article

Similar

Source-based code coverage in Rust nightly

Want to follow along with Rust development? Curious how you might get involved? Take a look! (more…)

LLVM Clone in Pure Rust

Manipulate LLVM-IR in Pure Rust. Contribute to maekawatoshiki/vicis development by creating an account on GitHub. (more…)

Fun facts about Rust’s growing popularity

There are now 100 friends of Rust (Be sure to hover to learn about how each company uses Rust)... (more…)

Hybrid Clocks Crate in Rust

I have been learning Rust in my spare time. It has a very steep learning curve, but in return you get to use an elegant, fast, and safe prog... (more…)

Tacked Borrows an Aliasing Model for Rust

Paper Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

Latest News

She didn’t get an apartment because of an AI-generated score

CA Law Prohibits Health Insurance Companies from Using AI to Deny Healthcare

What do you check first in PR review? Help shape our AI Code review tool