By Ralf Jung :

**How to Panic in Rust**| ralfj.de more...

**Stacked Borrows: An Aliasing Model for Rust (the paper)**| ralfj.de more...

**What Type Soundness Theorem Do You Really Want to Prove?**| ralfj.de more...

**"What The Hardware Does" is not What Your Program Does: Uninitialized Memory**| ralfj.de more...

**Putting the stack back into Stacked Borrows**| ralfj.de more...

**Exponential blowup when using unbundled typeclasses to model algebraic hierarchies**| ralfj.de more...

**Stacked Borrows 2**| ralfj.de more...

**Miri available as rustup component**| ralfj.de more...

**Sandboxing All The Things with Firejail**| ralfj.de more...

**All-Hands 2019 Recap**| ralfj.de more...

**Rust 2019: Solid Foundations for Unsafe Code**| ralfj.de more...

**Barriers and Two-phase Borrows in Stacked Borrows**| ralfj.de more...

**Google Scholar Considered Harmful**| ralfj.de more...

**Stacked Borrows Implemented**| ralfj.de more...

**Two Kinds of Invariants: Safety and Validity**| ralfj.de more...

**Stacked Borrows: An Aliasing Model For Rust**| ralfj.de more...

**Pointers Are Complicated, or: What's in a Byte?**| ralfj.de more...

**Thoughts on Compile-Time Function Evaluation and Type Systems**| ralfj.de more...

**The Tale of a Bug in Arc: Synchronization and Data Races**| ralfj.de more...

**Back at Mozilla**| ralfj.de more...

**Fighting Mailman Subscription Spam: Leveling Up**| ralfj.de more...

**Fighting Mailman Subscription Spam: The Easy Way**| ralfj.de more...

**Syncing Contacts Without Exposing Them to the Cloud**| ralfj.de more...

**Safe Intrusive Collections with Pinning**| ralfj.de more...

**A Formal Look at Pinning**| ralfj.de more...

**Sharing for a Lifetime**| ralfj.de more...

**RustBelt Conference Talk**| ralfj.de more...

**Let's Encrypt Tiny**| ralfj.de more...

**Interview for People of Programming Languages**| ralfj.de more...

**So Long, and Thanks for All the Fish**| ralfj.de more...

**Types as Contracts: Implementation and Evaluation**| ralfj.de more...

**Types as Contracts**| ralfj.de more...

**Undefined Behavior and Unsafe Code Guidelines**| ralfj.de more...

**RustBelt: Securing the Foundations of the Rust Programming Language**| ralfj.de more...

**How MutexGuard was Sync When It Should Not Have Been**| ralfj.de more...

**Exploring MIR Semantics through miri**| ralfj.de more...

**How to Specify Program (Undefined) Behavior?**| ralfj.de more...

**Talk @ Paris Rust Meetup**| ralfj.de more...

**The Scope of Unsafe**| ralfj.de more...

**Formalizing Rust**| ralfj.de more...

**Breaking All the Way Out**| ralfj.de more...

**Welcome**| ralfj.de more...