We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust tha... (more…)
Read more »
Learn how to bring multithreaded applications written in other languages to WebAssembly. (more…)
Read more »
Good morning! It is still 2020, and the world is literally on fire , so I guess we could all use a distraction. This article continues the tradition of me getting shamelessly
n... (more…)
Read more »
In an age of diminishing single-core performance improvements, having a strong grasp of concurrent programming is more useful than ever. But what makes it so... (more…)
Read more »
Preface Printing is important. If something doesn’t work, you want to know why (e.g. by looking at the console output). When I first wrote the log macro for ... (more…)
Read more »