{"id":28602,"date":"2026-08-28T13:04:03","date_gmt":"2026-08-28T11:04:03","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=28602"},"modified":"2026-09-02T17:17:10","modified_gmt":"2026-09-02T15:17:10","slug":"derek-dreyer-receives-icfp-most-influential-paper-award","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/","title":{"rendered":"Derek Dreyer receives ICFP most influential paper award"},"content":{"rendered":"<p>MPI-SWS faculty member Derek Dreyer has received the <a href=\"https:\/\/www.sigplan.org\/Awards\/ICFP\/\">Most Influential ICFP Paper Award<\/a> for the 2016 paper &#8220;<a href=\"https:\/\/iris-project.org\/pdfs\/2016-icfp-iris2-final.pdf\">Higher-Order Ghost State<\/a>,&#8221; co-authored with MPI-SWS alumnus Ralf Jung as well as Robert Krebbers and Lars Birkedal.\u00a0 The award recognises the paper\u2019s lasting impact on the Iris program logic framework, which has become an important foundation for research on software verification. This award comes on top of the Most Influential POPL Paper Award for the Iris 1.0 paper (POPL&#8217;15) as well as the Alonzo Church Award that they received in 2023 for the four core papers on the foundations of Iris.<\/p>\n<p>The ACM SIGPLAN Most Influential ICFP Paper Award is a retrospective award\u2014it is given each year to the paper deemed most influential from the ICFP conference 10 years earlier.<\/p>\n<p>A video of the award presentation can be found here: https:\/\/www.youtube.com\/live\/wn88R35yqeY?t=26630s<\/p>\n<p><b>Award citation:<\/b> Higher-Order Ghost State represents a major milestone for the widely used Iris program logic framework.\u00a0 Colloquially known as &#8220;Iris 2.0&#8221;, the paper contributes a key feature: the ability to store arbitrary higher-order separation logic predicates in ghost variables.\u00a0 The feature is justified using guarded recursion and a new algebraic structure called cameras &#8211; roughly, a generalization of PCMs with a form of step indexing.\u00a0 Higher-order ghost state was later shown to be an essential building block from which other features like impredicative invariants and weakest preconditions could be derived.\u00a0 Its broad and lasting impact is evident in the (currently) 165 papers that use Iris in some way, including 45 POPL, 29 PLDI, 25\u00a0<span class=\"il\">ICFP<\/span>, and 20 OOPSLA papers.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>MPI-SWS faculty member Derek Dreyer has received the Most Influential ICFP Paper Award for the 2016 paper &ldquo;Higher-Order Ghost State,&rdquo; co-authored with MPI-SWS alumnus Ralf Jung as well as Robert Krebbers and Lars Birkedal.&nbsp; The award recognises the paper&rsquo;s lasting impact on the Iris program logic framework, which has become an important foundation for research [&hellip;]<\/p>\n","protected":false},"featured_media":28658,"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-28602","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 v28.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Derek Dreyer receives ICFP most influential paper award - 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-receives-icfp-most-influential-paper-award\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Derek Dreyer receives ICFP most influential paper award - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"MPI-SWS faculty member Derek Dreyer has received the Most Influential ICFP Paper Award for the 2016 paper &ldquo;Higher-Order Ghost State,&rdquo; co-authored with MPI-SWS alumnus Ralf Jung as well as Robert Krebbers and Lars Birkedal.&nbsp; The award recognises the paper&rsquo;s lasting impact on the Iris program logic framework, which has become an important foundation for research [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/\" \/>\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-09-02T15:17:10+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1100\" \/>\n\t<meta property=\"og:image:height\" content=\"620\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\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=\"2 minutes\" \/>\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-receives-icfp-most-influential-paper-award\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-receives-icfp-most-influential-paper-award\\\/\",\"name\":\"Derek Dreyer receives ICFP most influential paper award - 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-receives-icfp-most-influential-paper-award\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-receives-icfp-most-influential-paper-award\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg\",\"datePublished\":\"2026-08-28T11:04:03+00:00\",\"dateModified\":\"2026-09-02T15:17:10+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-receives-icfp-most-influential-paper-award\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-receives-icfp-most-influential-paper-award\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-receives-icfp-most-influential-paper-award\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg\",\"width\":1100,\"height\":620,\"caption\":\"Derek_Dreyer_ICFP_Most_Influential_Paper\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/derek-dreyer-receives-icfp-most-influential-paper-award\\\/#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 receives ICFP most influential paper award\"}]},{\"@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 receives ICFP most influential paper award - 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-receives-icfp-most-influential-paper-award\/","og_locale":"en_US","og_type":"article","og_title":"Derek Dreyer receives ICFP most influential paper award - Saarland Informatics Campus","og_description":"MPI-SWS faculty member Derek Dreyer has received the Most Influential ICFP Paper Award for the 2016 paper &ldquo;Higher-Order Ghost State,&rdquo; co-authored with MPI-SWS alumnus Ralf Jung as well as Robert Krebbers and Lars Birkedal.&nbsp; The award recognises the paper&rsquo;s lasting impact on the Iris program logic framework, which has become an important foundation for research [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2026-09-02T15:17:10+00:00","og_image":[{"width":1100,"height":620,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/","name":"Derek Dreyer receives ICFP most influential paper award - 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-receives-icfp-most-influential-paper-award\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg","datePublished":"2026-08-28T11:04:03+00:00","dateModified":"2026-09-02T15:17:10+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/derek_mip_icfp2026-1200x624-1-e1788362128243.jpg","width":1100,"height":620,"caption":"Derek_Dreyer_ICFP_Most_Influential_Paper"},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/derek-dreyer-receives-icfp-most-influential-paper-award\/#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 receives ICFP most influential paper award"}]},{"@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\/28602","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\/28658"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=28602"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=28602"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}