{"id":24712,"date":"2026-01-25T23:12:41","date_gmt":"2026-01-25T22:12:41","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=24712"},"modified":"2026-01-25T23:29:55","modified_gmt":"2026-01-25T22:29:55","slug":"max-planck-researchers-publish-5-papers-at-popl-2026","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/","title":{"rendered":"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 2026!"},"content":{"rendered":"<p>Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to <a href=\"https:\/\/popl26.sigplan.org\/\">POPL 2026<\/a>.\u00a0 This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL.<\/p>\n<p>Congratulations to all our POPL authors!<\/p>\n<p>&nbsp;<\/p>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><strong><a href=\"https:\/\/popl26.sigplan.org\/track\/POPL-2026-popl-research-papers?#\" data-event-modal=\"14ce8f12-9267-43c6-b257-4d8d708aeefc\">A Verified High-Performance Composable Object Library for Remote Direct Memory Access<\/a><\/strong><br \/>\nGuillaume Ambal<span class=\"prog-aff\">\u00a0<\/span>,\u00a0George Hodgkins,\u00a0Mark Madler,\u00a0Gregory Chockler,\u00a0Brijesh Dongol,\u00a0Joe Izraelevitz,\u00a0Azalea Raad,\u00a0<strong>Viktor Vafeiadis<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><strong><a href=\"https:\/\/popl26.sigplan.org\/track\/POPL-2026-popl-research-papers?#\" data-event-modal=\"fc6167c9-742b-4617-a8f4-5b3d5a80bc71\">Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures<span class=\"pull-right\"><span class=\"output-badge\" data-facet-badge=\"Remote\"><span class=\"label-primary label\">Remote<\/span><\/span><\/span><\/a><\/strong><br \/>\nC. Aiswarya,\u00a0<strong>Pascal Baumann<\/strong>,\u00a0Prakash Saivasan,\u00a0<strong>Lia Sch\u00fctze<\/strong>,\u00a0<strong>Georg Zetzsche<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><strong><a href=\"https:\/\/popl26.sigplan.org\/track\/POPL-2026-popl-research-papers?#\" data-event-modal=\"1f034b5a-69d4-4602-98ea-574c6f0c3173\">Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation<\/a><\/strong><br \/>\n<strong>Niklas M\u00fcck<\/strong>, <strong>Aina Linn Georges<\/strong>,<strong>Derek Dreyer<\/strong>, <strong>Deepak Garg,\u00a0<\/strong>Michael Sammler<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><strong><a href=\"https:\/\/popl26.sigplan.org\/track\/POPL-2026-popl-research-papers?#\" data-event-modal=\"0b7ad9b7-3a30-4088-bdea-7875ab8efdfc\">General Decidability Results for Systems with Continuous Counters<\/a><\/strong><br \/>\nA. R. Balasubramanian,\u00a0Matthew Hague,\u00a0<strong>Rupak Majumdar<\/strong>,\u00a0Ramanathan S. Thinniyam,\u00a0<strong>Georg Zetzsche<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><strong><a href=\"https:\/\/popl26.sigplan.org\/track\/POPL-2026-popl-research-papers?#\" data-event-modal=\"355438fc-73a5-426d-8b2e-fbd47ffed1ec\">Verifying Almost-Sure Termination for Randomized Distributed Algorithms<\/a><\/strong><br \/>\nConstantin Enea,\u00a0<strong>Rupak Majumdar<\/strong>,\u00a0<strong>Harshit Jitendra Motwani<\/strong>,\u00a0<strong>V.R. Sathiyanarayana<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li style=\"list-style-type: none;\"><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026.&nbsp; This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Congratulations to all our POPL authors! &nbsp; A Verified High-Performance Composable Object Library for Remote Direct Memory [&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-24712","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.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 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\/max-planck-researchers-publish-5-papers-at-popl-2026\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 2026! - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026.&nbsp; This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Congratulations to all our POPL authors! &nbsp; A Verified High-Performance Composable Object Library for Remote Direct Memory [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-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-01-25T22:29:55+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\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/\",\"name\":\"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 2026! - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"datePublished\":\"2026-01-25T22:12:41+00:00\",\"dateModified\":\"2026-01-25T22:29:55+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-5-papers-at-popl-2026\\\/#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\\\/max-planck-researchers-publish-5-papers-at-popl-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\":\"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 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":"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 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\/max-planck-researchers-publish-5-papers-at-popl-2026\/","og_locale":"en_US","og_type":"article","og_title":"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 2026! - Saarland Informatics Campus","og_description":"Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026.&nbsp; This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Congratulations to all our POPL authors! &nbsp; A Verified High-Performance Composable Object Library for Remote Direct Memory [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2026-01-25T22:29:55+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\/max-planck-researchers-publish-5-papers-at-popl-2026\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/","name":"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 2026! - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","datePublished":"2026-01-25T22:12:41+00:00","dateModified":"2026-01-25T22:29:55+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-5-papers-at-popl-2026\/#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\/max-planck-researchers-publish-5-papers-at-popl-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":"MAX PLANCK RESEARCHERS PUBLISH 5 PAPERS AT POPL 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\/24712","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=24712"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=24712"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}