MPI researchers receive Distinguished Paper Award at PLDI 2026

MPI-SWS logo © MPI-SWS

MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer–along with their collaborator Yusuke Matsushita–have received a PLDI 2026 Distinguished Paper Award for their paper “VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System.”

At PLDI this year, only 10 papers were given this award out of 115 accepted papers.