GhostCell: Separating Permissions from Data in RustPaper DOI: 10.1145/3473597 preprint url: http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf more info: ht... (more…)

The zip crate is the most commonly used Rust library for manipulating ZIP archives. It supports reading and writing .zip files with different compression methods (store, deflate, bzip2). There are at least three crates for LZMA (de)compression on crates.i...

I have been working more or less with search engines since 2010. Since then, I entertained the idea to try and code my own search engine. I ended up never starting this project, but accumulated more and more information over the year about how to implemen...

In this post I'll be talking about recent work I and others have done to make crash handling and reporting in Rust a (fairly) straightforward procedure by introducing several new crates that can be used in conjunction with each other, or with other crates... (more…)

Much of my work recently has been in Rust. I’ve known about Rust since its early days but I’ve never had the inclination to sit down and work with it until now. In many respects, I feel like I’m working in a functional programming language given the wide-... (more…)