Our POPL'23 paper (with Thorsten Wißmann) is about a fast and generic algorithm for automaton minimization. It works for a class of automata that includes DFAs, LTS, MDPs & weighted automata. Thanks to Rust it beats some highly optimized specialized tools. julesjacobs.com/pdf/boa.pdf

Our POPL'23 paper (with Stephanie Balzer) is about creating a lock API similar to Rust's Mutex<T>, that guarantees that well-typed programs do not deadlock or leak memory (not the case in Rust!). julesjacobs.com/pdf/locks.pdf

I am now also on mastodon: @[email protected]. see you there!

I am deeply honoured to have received a Distinguished Paper Award for my POPL 2023 paper "SSA Translation Is an Abstract Interpretation"! I take this opportunity to thank everyone involved in making POPL 2026 2023 happen.

All POPL 2023 talk videos can now be watched here: youtube.com/playlist?list=… POPL 2026

Sean Nicoara People should tell #Crowdstrike that there are solutions to this kind of problems, they can contact me 😉 codex.top/papers/2021-rt…