MPI-Forschende erhalten den „Distinguished Paper Award“ auf der PLDI 2026

Logo des MPI-SWS © MPI-SWS

Die MPI-SWS-Forschenden Travis Hance, Laila Elbeheiry und Derek Dreyer haben gemeinsam mit ihrem Kooperationspartner Yusuke Matsushita für ihre Arbeit „VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System“ den PLDI 2026 Distinguished Paper Award erhalten.

Auf der diesjährigen PLDI wurde diese Auszeichnung nur an 10 der 115 angenommenen Beiträge vergeben.