{"id":23861,"date":"2025-06-30T12:16:12","date_gmt":"2025-06-30T10:16:12","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=23861"},"modified":"2025-10-09T12:16:54","modified_gmt":"2025-10-09T10:16:54","slug":"derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/","title":{"rendered":"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI&#8217;25 AND POPL&#8217;25"},"content":{"rendered":"<div>MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. \u00a0They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025.\u00a0 At PLDI this year, only 6 papers were given this award out of 89 accepted papers. At POPL this year, only 7 papers were given this award out of 81 accepted papers.<\/div>\n<p>&nbsp;<\/p>\n<div><\/div>\n<p>&nbsp;<\/p>\n<div><b>Tree Borrows<br \/>\n<\/b>by Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung<br \/>\nPLDI 2025<br \/>\n<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3735592\">https:\/\/dl.acm.org\/doi\/10.1145\/3735592<\/a><\/p>\n<div><b>Destabilizing Iris<br \/>\n<\/b>by Simon Spies, Niklas M\u00fcck, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter M\u00fcller, Derek Dreyer<br \/>\nPLDI 2025<br \/>\n<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3729284\">https:\/\/dl.acm.org\/doi\/10.1145\/3729284<\/a><\/p>\n<div><strong>Data Race Freedom \u00e0 la Mode<\/strong><br \/>\nby A\u00efna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, Fran\u00e7ois Pottier, Derek Dreyer<br \/>\nPOPL 2025<br \/>\n<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3704859\">https:\/\/dl.acm.org\/doi\/10.1145\/3704859<\/a><\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. &nbsp;They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025.&nbsp; At PLDI this year, only 6 papers were given this award out of 89 accepted papers. At POPL [&hellip;]<\/p>\n","protected":false},"featured_media":23857,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[57],"class_list":["post-23861","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-mpi-sws-en"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI&#039;25 AND POPL&#039;25 - 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\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI&#039;25 AND POPL&#039;25 - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. &nbsp;They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025.&nbsp; At PLDI this year, only 6 papers were given this award out of 89 accepted papers. At POPL [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/\" \/>\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=\"2025-10-09T10:16:54+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png\" \/>\n\t<meta property=\"og:image:width\" content=\"2083\" \/>\n\t<meta property=\"og:image:height\" content=\"1137\" \/>\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\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/\",\"name\":\"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI'25 AND POPL'25 - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"datePublished\":\"2025-06-30T10:16:12+00:00\",\"dateModified\":\"2025-10-09T10:16:54+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"width\":2083,\"height\":1137,\"caption\":\"MPI-SWS\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\\\/#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\":\"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI&#8217;25 AND POPL&#8217;25\"}]},{\"@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":"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI'25 AND POPL'25 - 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\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/","og_locale":"en_US","og_type":"article","og_title":"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI'25 AND POPL'25 - Saarland Informatics Campus","og_description":"MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. &nbsp;They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025.&nbsp; At PLDI this year, only 6 papers were given this award out of 89 accepted papers. At POPL [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2025-10-09T10:16:54+00:00","og_image":[{"width":2083,"height":1137,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.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\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/","name":"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI'25 AND POPL'25 - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","datePublished":"2025-06-30T10:16:12+00:00","dateModified":"2025-10-09T10:16:54+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","width":2083,"height":1137,"caption":"MPI-SWS"},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-and-collaborators-receive-three-distinguished-paper-awards-at-pldi25-and-popl25\/#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":"DEREK DREYER AND COLLABORATORS RECEIVE THREE DISTINGUISHED PAPER AWARDS AT PLDI&#8217;25 AND POPL&#8217;25"}]},{"@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\/23861","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\/23857"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=23861"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=23861"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}