Ralf's Ramblings

The Rust Abstract Machine is full of wonderful oddities that do not exist on the actual hardware.

It is time for another “what is happening in Miri” post.

Memory safety is all the rage these days.

After several years of work, our Tree Borrows paper has finally been presented recently at PLDI 2025 in Seoul.

A few weeks ago, many Rust folks met in Utrecht for RustWeek and we all had a great time.

The first paper by a PhD student I supervise has been accepted into POPL: “Program Logics à la Carte” will be presented in Denver next week.

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 generating MIR programs and ensuring they behave the same across diff…

One of the more subtle aspects of the Rust language is the fact that there are actually two kinds of expressions: value expressions and place expressions.

A few years ago, I have blogged about my approach to sandboxing less-trusted applications that I have to or want to run on my main machine.

We are all used to spam emails, supposedly from Google, that say “You won” and I just need to send all my data to somewhere to receive my lottery payout.

I recently gave a talk at a local Rust meetup in Zürich about Undefined Behavior, unsafe Rust, and Miri.

Since last fall, Neven has been doing an internship to develop a new aliasing model for Rust: Tree Borrows.