{"id":26894,"date":"2026-06-16T15:19:28","date_gmt":"2026-06-16T13:19:28","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=26894"},"modified":"2026-06-17T10:31:03","modified_gmt":"2026-06-17T08:31:03","slug":"mpi-researchers-receive-distinguished-paper-award-at-pldi-2026","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/","title":{"rendered":"MPI researchers receive Distinguished Paper Award at PLDI 2026"},"content":{"rendered":"<p>MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer&#8211;along with their collaborator Yusuke Matsushita&#8211;have received a PLDI 2026 Distinguished Paper Award for their paper &#8220;VerusBelt: A Semantic Foundation for Verus\u2019s Proof-Oriented Extensions to the Rust Type System.&#8221;<\/p>\n<p>At PLDI this year, only 10 papers were given this award out of 115 accepted papers.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer&ndash;along with their collaborator Yusuke Matsushita&ndash;have received a PLDI 2026 Distinguished Paper Award for their paper &ldquo;VerusBelt: A Semantic Foundation for Verus&rsquo;s Proof-Oriented Extensions to the Rust Type System.&rdquo; At PLDI this year, only 10 papers were given this award out of 115 accepted papers.<\/p>\n","protected":false},"featured_media":917,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[83,110,57,59],"class_list":["post-26894","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-feedreader","sic_news-types-feedreader-en","sic_news-types-mpi-sws-en","sic_news-types-press-release-en"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.8 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>MPI researchers receive Distinguished Paper Award at PLDI 2026 - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"MPI researchers receive Distinguished Paper Award at PLDI 2026 - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer&ndash;along with their collaborator Yusuke Matsushita&ndash;have received a PLDI 2026 Distinguished Paper Award for their paper &ldquo;VerusBelt: A Semantic Foundation for Verus&rsquo;s Proof-Oriented Extensions to the Rust Type System.&rdquo; At PLDI this year, only 10 papers were given this award out of 115 accepted papers.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-17T08:31:03+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"563\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/\",\"name\":\"MPI researchers receive Distinguished Paper Award at PLDI 2026 - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"datePublished\":\"2026-06-16T13:19:28+00:00\",\"dateModified\":\"2026-06-17T08:31:03+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"width\":1000,\"height\":563},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"MPI researchers receive Distinguished Paper Award at PLDI 2026\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"MPI researchers receive Distinguished Paper Award at PLDI 2026 - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/","og_locale":"en_US","og_type":"article","og_title":"MPI researchers receive Distinguished Paper Award at PLDI 2026 - Saarland Informatics Campus","og_description":"MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer&ndash;along with their collaborator Yusuke Matsushita&ndash;have received a PLDI 2026 Distinguished Paper Award for their paper &ldquo;VerusBelt: A Semantic Foundation for Verus&rsquo;s Proof-Oriented Extensions to the Rust Type System.&rdquo; At PLDI this year, only 10 papers were given this award out of 115 accepted papers.","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2026-06-17T08:31:03+00:00","og_image":[{"width":1000,"height":563,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/","name":"MPI researchers receive Distinguished Paper Award at PLDI 2026 - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","datePublished":"2026-06-16T13:19:28+00:00","dateModified":"2026-06-17T08:31:03+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","width":1000,"height":563},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/mpi-researchers-receive-distinguished-paper-award-at-pldi-2026\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"MPI researchers receive Distinguished Paper Award at PLDI 2026"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/26894","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/917"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=26894"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=26894"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}