MPI researchers receive Distinguished Paper Award at PLDI 2026
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.
The paper also received the PLDI 2026 Distinguished Artifact Award. The Distinguished Artifact Award is given once a year to recognize the computer system presented at the conference that most clearly,
...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.
The paper also received the PLDI 2026 Distinguished Artifact Award. The Distinguished Artifact Award is given once a year to recognize the computer system presented at the conference that most clearly, robustly, and completely demonstrates the underlying research ideas and that facilitates further research on the topic.