Over the course of my internship at the Microsoft Security Response Center (MSRC), I worked on the safe systems programming languages (SSPL) team to promote safer languages for systems programming where runtime overhead is important, as outlined in this b... (more…)

Empowering everyone to build reliable and efficient software. (more…)

Highly-available Distributed Fault-tolerant Runtime - bastion-rs/bastion... (more…)

Maybe this will be a blog about programming in C, C++ and Rust. Or maybe it will be a desolate wasteland of infrequent posts and spam bot comments. (more…)

The Rust-loving team at Immunant has been hard at work on C2Rust, a migration framework that takes the drudgery out of migrating to Rust. Our goal is to make safety improvements to the translated Rust automatically where we can, and help the programmer do... (more…)