DisCoTec conference 2026, Urbino, Italy (Oliver Pearce)
By Oliver Pearce Last month I was lucky enough to attend the DisCoTec conference in Urbino, Italy, hosted by the University of Urbino Carlo Bo from the 8th to the 12th of June. DisCoTec is a series of three federated conferences under one roof — COORDINATION, DAIS and FORTE — covering a wide range of distributed computing topics. I attended the conference to present my first publication, RustMC: Automated verification of real-world concurrent Rust at FORTE. RustMC is a stateless model checker that works at the LLVM-IR level. Operating on an intermediate representation allows the tool to detect concurrency bugs across the Rust/C FFI boundary where Rust's compiler-enforced safety guarantees no longer hold. To create the tool we had to account for Rust's unique compilation strategy, implementing support for the interception of threading functions, promotion of LLVM memory intrinsics and handling of uninitialised memory. I'd presented RustMC at the Rust Verification work...