The CFP for the 2025 SIGPLAN International Symposium on Memory Management (ISMM) is out! For 25+ years, ISMM has been a key venue of the memory management community, and has now been extended to computer architecture and systems. The deadline is 3/11/25. conf.researchr.org/home/ismm-2025

snmalloc-s: Rust Crate has been updated to 0.3.7 to contain the latest release. crates.io/crates/snmal...

We have just released the latest version of snmalloc. This release has two features I really enjoyed working on: BatchIt and a Combining Lock. I will describe these features in this post. The high-level summary of the release is here: github.com/microsoft/sn...

The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there! iris-project.org/pdfs/2025-po...

Azure Research progress on identifying microarchitectural side channels that can compromise cloud security:

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

We're looking for another batch of great interns to join our Azure Research team this summer in Cambridge. We're doing some great projects around security and privacy, including Systems, PL and ML. jobs.careers.microsoft.com/global/en/jo...