CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://2025.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2025.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>SAS 2025 - SPLASH 2025</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2025.splashcon.org";</script> <link rel="stylesheet" href="https://2025.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2025.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2025.splashcon.org/getFile/2ad6f7ed-66ad-445d-a50e-01b09be0cfb5/logobar-splash25.css?1736523644516" type="text/css" /><link rel="stylesheet" href="https://2025.splashcon.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2025.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2025.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2025.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2025.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2025.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2025.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SAS 2025 - SPLASH 2025'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2025.splashcon.org/getImage/carousel/rluwtll9wtguacabspqggijafmckng.jpg?1727363111000'> <meta name='description' content='Welcome to the website of the 32nd Static Analysis Symposium (SAS 2025). Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served for more than 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area. The Symposium will be held from October 13-15 at the Marina Bay Sands Convention Centre.'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the website of the 32nd Static Analysis Symposium (SAS 2025). Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served for more than 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area. The Symposium will be held from October 13-15 at the Marina Bay Sands Convention Centre.'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2025.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2025</span></a><div class="place">Sun 12 - Sat 18 October 2025 <a href="https://2025.splashcon.org/venue/splash-2025-venue" class="navigate">Singapore</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/icfp-splash-2025" class="navigate">ICFP/SPLASH 2025</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/venue/splash-2025-venue1" class="navigate">Venue (Sunday Workshops): NUS School of Computing</a></li><li class="block"><a href="https://2025.splashcon.org/venue/splash-2025-venue" class="navigate">Venue (Main Conference): Marina Bay Sands Convention Centre</a></li><li class="block dropdown-header">ICFP/SPLASH 2025</li><li class="block"><a href="https://2025.splashcon.org/attending/Code-of-Conduct" class="indent navigate">Code of Conduct</a></li><li class="block"><a href="https://2025.splashcon.org/attending/call-for-sponsorship" class="indent navigate">Call for Sponsorship</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2025</li><li class="block"><a href="https://2025.splashcon.org/track/OOPSLA" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-oopsla-artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-SRC" class="navigate">Student Research Competition</a></li><li class="block dropdown-header">ICFP/SPLASH 2025</li><li class="block"><a href="https://2025.splashcon.org/track/icfp-splash-2025-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICFP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp25.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ICFP</a></li><li class="block"><a href="https://icfp25.sigplan.org/track/icfp-2025-artifacts" class="navigate"><strong>ICFP</strong> Artifacts</a></li><li class="block"><a href="https://icfp25.sigplan.org/track/icfp-2025-papers" class="navigate"><strong>ICFP</strong> Papers</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/mplr-2025" class="navigate"><strong>MPLR</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/erlang-2025" class="navigate"><strong>Erlang</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/funarch-2025" class="navigate"><strong>FUNARCH</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025" class="navigate"><strong>LMPL</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025" class="navigate"><strong>ML Family Workshop</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/scheme-2025" class="navigate"><strong>Scheme</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/vmil-2025" class="navigate"><strong>VMIL</strong> Workshop on Virtual Machines and Language Implementations</a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025" class="navigate"><strong>miniKanren and Relational Programming Workshop</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025" class="navigate"><strong>Haskell</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/home/sas-2025" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://2025.splashcon.org/track/sas-2025-sas-artifact" class="navigate"><strong>SAS</strong> Artifact</a></li></ul></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2025 Committees</li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-OOPSLA-oopsla-review-committee" class="navigate">OOPSLA Review Committee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-OOPSLA-1-external-review---artifact-evaluation-committee" class="navigate">External Review / Artifact Evaluation Committee</a></li></ul></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-oopsla-artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Essays</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-Essays-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SPLASH-E</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-SPLASH-E-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-SRC-reviewers" class="navigate">Reviewers</a></li></ul></li><li class="block dropdown-header">ICFP/SPLASH</li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/icfp-splash-2025-workshops-workshop-selection-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2025.splashcon.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICFP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-artifact-evaluation-artifact-evaluation-committe" class="navigate"><strong>ICFP Artifacts</strong></a></li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-papers-icfp-papers-and-events" class="navigate"><strong>ICFP Papers</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>MPLR</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/mplr-2025-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/mplr-2025-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/erlang-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/erlang-2025-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FUNARCH</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/funarch-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LMPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/lmpl-2025-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/lmpl-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ML Family Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/mlsymposium-2025-Higher-order-Typed-Inferred-Strict-ML-Family-Workshop-2025-1-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scheme</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/scheme-2025-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/scheme-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/vmil-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/vmil-2025-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>miniKanren and Relational Programming Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/minikanren-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Haskell</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/haskellsymp-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-papers-organizing-committee" class="navigate"><strong>SAS 2025</strong> <small>Organizing Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-papers-program-committee" class="navigate"><strong>SAS 2025</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-papers-steering-committee" class="navigate"><strong>SAS 2025</strong> <small>Steering Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-sas-artifact-sas-artifact-evaluation-committee" class="navigate"><strong>SAS Artifact</strong></a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2025.splashcon.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2025</span></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></li><li class="block"><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li class="block"><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li class="block"><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li class="block"><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li class="block"><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li class="block"><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li class="block"><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li class="block"></li><li class="block"><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"></li><li class="block"><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/splash-2025/https%3A%5Es%5Es2025.splashcon.org%5Eshome%5Essas-2025" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2025.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/icfp-splash-2025" class="navigate">ICFP/SPLASH 2025</a> (<a href="https://2025.splashcon.org/series/icfp-splash" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a> (<a href="https://2025.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">SAS 2025 (<a href="https://2025.splashcon.org/series/sas" class="navigate">series</a>) / </span><h1>SAS 2025</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#Call-for-Papers" data-toggle="tab">Call for Papers</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>Welcome to the website of the 32nd Static Analysis Symposium (SAS 2025). Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of <a href="https://staticanalysis.org">Static Analysis Symposia</a> has served for more than 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area.</p> <p>The Symposium will be held from October 13-15 at the Marina Bay Sands Convention Centre.</p> </div><div id="Call-for-Papers" class="tab-pane "><h2>Call for Papers</h2><p><p>Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served for over 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area.</p> <h2><a href="#topics" id="topics" class="anchor-link">Topics</a></h2> <p>The technical program for SAS 2025 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of program analysis analysis, including, but not limited to:</p> <ul> <li>Abstract interpretation</li> <li>Automated deduction</li> <li>Data flow analysis</li> <li>Debugging techniques</li> <li>Deductive methods</li> <li>Emerging applications</li> <li>Model-checking</li> <li>Data science</li> <li>Program optimizations and transformations</li> <li>Program synthesis</li> <li>Program verification</li> <li>Machine learning and verification</li> <li>Security analysis</li> <li>Tool environments and architectures</li> <li>Theoretical frameworks</li> <li>Type checking</li> <li>Distributed or networked systems</li> <li>LLM for static analysis and static analysis for LLM</li> </ul> <p>All paper submissions will be evaluated on the basis of significance, relevance, correctness, originality, and clarity.</p> <p>We welcome regular papers as well as papers focusing on any of the following in the NEAT (New questions/areas, Experience, Announcement, Tool) category:</p> <ul> <li>Well-motivated discussion of new questions or new areas.</li> <li>Experience with static analysis tools, Industrial Reports, and Case Studies</li> <li>Brief announcements of work in progress</li> <li>Tool papers</li> </ul> <p>Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of NEAT papers, all papers will follow a lightweight double-blind reviewing process. The identity of the authors for the NEAT papers will be therefore known to the reviewers.</p> <p>Papers must be written and presented in English. A submitted paper must describe original work and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.</p> <p>All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper.</p> <h2><a href="#radhia-cousot-award" id="radhia-cousot-award" class="anchor-link">Radhia Cousot Award</a></h2> <p>The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences.</p> <h2><a href="#artifacts" id="artifacts" class="anchor-link">Artifacts</a></h2> <p>As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review. For more details, please visit the SAS 2025 Artifacts page.</p> <h2><a href="#submission-details" id="submission-details" class="anchor-link">Submission Details</a></h2> <h3><a href="#double-blind-requirement" id="double-blind-requirement" class="anchor-link">Double-Blind Requirement</a></h3> <p>All regular papers will follow a double-blind process, where author names and affiliations are hidden for the review. To facilitate this process, submitted regular papers must adhere to the following: (1) Author names and affiliations must be omitted and (2) References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure.</p> <h3><a href="#neat-papers-content" id="neat-papers-content" class="anchor-link">NEAT Papers Content</a></h3> <p>New problems papers are an opportunity to discuss visions, challenges, experiences, problems, and impactful solutions in the field of static analysis from both a research and applications perspective. Such papers are encouraged to take assertive positions and be forward-looking and aim for lively and insightful discussions that are influential to future research directions in static analysis. NEAT papers will be handled in singe-blind way. User experience & Industrial reports & Case studies papers describe the use of static analysis in industrial settings or in any chosen application domains. Papers in this category do not necessarily need to present original research results but are expected to contain applications of static analysis as well as a comprehensive evaluation in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting, reflect on any lessons learned from this technology transfer experience, and compare experiences with different analyzers highlighting their strengths and weaknesses. Brief announcements of work in progress papers may describe work in progress. A submission that is not selected for regular presentation may be invited for a brief announcement.</p> <h3><a href="#submission-guidelines" id="submission-guidelines" class="anchor-link">Submission Guidelines</a></h3> <p>The SAS 2025 proceedings will be published by Springer in their LNCS series. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, for LaTeX, Overleaf, or Word, for the preparation of their papers. The corresponding author of each accepted paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.</p> <h2><a href="#special-issue-invitation" id="special-issue-invitation" class="anchor-link">Special Issue Invitation</a></h2> <p>Accepted papers will be invited to submit to a special issue of the <a href="https://www.sciencedirect.com/journal/science-of-computer-programming">Science of Computer Programming (SCP)</a>. A SCP publication will require substantial additional material over the conference publication and will undergo a separate review process.</p> </p></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2025.splashcon.org/home/sas-2025" class="clickable-row text-success"><td>Sun 4 May 2025<br/>Paper Submission</td></tr><tr href="https://2025.splashcon.org/home/sas-2025" class="clickable-row text-success"><td>Sun 11 May 2025<br/>Artifact Submission</td></tr><tr href="https://2025.splashcon.org/home/sas-2025" class="clickable-row text-success"><td>Mon 16 Jun - Wed 18 Jun 2025<br/>Author Response</td></tr><tr href="https://2025.splashcon.org/home/sas-2025" class="clickable-row text-success"><td>Fri 11 Jul 2025<br/>Notification</td></tr><tr href="https://2025.splashcon.org/home/sas-2025" class="clickable-row text-success"><td>Thu 31 Jul 2025<br/>Camera-Ready</td></tr><tr href="https://2025.splashcon.org/home/sas-2025" class="clickable-row text-success"><td>Mon 13 - Wed 15 Oct 2025<br/>Conference Date</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://sas25.hotcrp.com" title="Submission link for Call for Papers" target="_blank" class="navigate">https://sas25.hotcrp.com</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2025.splashcon.org/committee/sas-2025-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2025.splashcon.org/profile/hakjoooh" class="navigate"><div class="media"><span class="pull-left"><img alt="Hakjoo Oh" src="https://2025.splashcon.org/getProfileImage/hakjoooh/d607b778-78f3-41c4-84d9-4693c8923bc3/micro-avatar.jpg?1711454328000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hakjoo Oh<span class="pull-right"><small>Program Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Korea University</span></h5><h5 class="media-heading"><small>South Korea</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/yuleisui" class="navigate"><div class="media"><span class="pull-left"><img alt="Yulei Sui" src="https://2025.splashcon.org/getProfileImage/yuleisui/e6ce6e88-3cd8-4595-9c61-a8da6f7319f6/micro-avatar.jpg?1732426747000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yulei Sui<span class="pull-right"><small>Program Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">UNSW</span></h5><h5 class="media-heading"><small>Australia</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2025.splashcon.org/committee/sas-2025-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2025.splashcon.org/profile/karimali" class="navigate"><div class="media"><span class="pull-left"><img alt="Karim Ali" src="https://2025.splashcon.org/getProfileImage/karimali/460ecc0b-764d-462b-a93e-66a3270d72ef/micro-avatar.jpg?1726724978000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Karim Ali<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">NYU Abu Dhabi</span></h5><h5 class="media-heading"><small>United Arab Emirates</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/kyungminbae" class="navigate"><div class="media"><span class="pull-left"><img alt="Kyungmin Bae" src="https://2025.splashcon.org/getProfileImage/kyungminbae/90492841-67e2-4c95-a864-8470d1af9564/micro-avatar.jpg?1711460887000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kyungmin Bae<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">POSTECH</span></h5><h5 class="media-heading"><small>South Korea</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/sebastienbardin" class="navigate"><div class="media"><span class="pull-left"><img alt="Sébastien Bardin" src="https://2025.splashcon.org/getProfileImage/sebastienbardin/172b95f4-d216-4989-977e-83a254c3f4f2/micro-avatar.jpg?1711456693000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sébastien Bardin<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">CEA LIST, University Paris-Saclay</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/robertobruni" class="navigate"><div class="media"><span class="pull-left"><img alt="Roberto Bruni" src="https://2025.splashcon.org/getProfileImage/robertobruni/ccf23bee-5272-4797-8b13-952c52d77def/micro-avatar.jpg?1711546380000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Roberto Bruni<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Pisa</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/liqianchen" class="navigate"><div class="media"><span class="pull-left"><img alt="Liqian Chen" src="https://2025.splashcon.org/getProfileImage/liqianchen/3b3e658b-aed0-4f19-ad2b-72eaff95a8e0/micro-avatar.jpg?1739960804000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Liqian Chen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">NUDT</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/lucasccordeiro" class="navigate"><div class="media"><span class="pull-left"><img alt="Lucas C. Cordeiro" src="https://2025.splashcon.org/getProfileImage/lucasccordeiro/107013fa-8965-4d36-bde5-4e81bc9a75fb/micro-avatar.jpg?1711650721000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lucas C. Cordeiro<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Manchester, UK</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/miladallapreda" class="navigate"><div class="media"><span class="pull-left"><img alt="Mila Dalla Preda" src="https://2025.splashcon.org/getProfileImage/miladallapreda/bfe198ed-1dee-40dd-a639-ad6951f36888/micro-avatar.jpg?1725909178000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mila Dalla Preda<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Verona</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/pierreganty" class="navigate"><div class="media"><span class="pull-left"><img alt="Pierre Ganty" src="https://2025.splashcon.org/getProfileImage/pierreganty/8e0b62bc-c56b-4f7f-b363-4c263209b9fa/micro-avatar.jpg?1711509435000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pierre Ganty<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute, Spain</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/samirgenaim" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Samir Genaim<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"> Universidad Complutense de Madrid</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/ningyuhe1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ningyu He<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Hong Kong Polytechnic University</span></h5><h5 class="media-heading"><small>Hong Kong SAR China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/quanglocle1" class="navigate"><div class="media"><span class="pull-left"><img alt="Quang Loc Le" src="https://2025.splashcon.org/getProfileImage/quanglocle1/25d4170e-9e17-438d-8c60-781dbcaf3afc/micro-avatar.jpg?1738965358000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Quang Loc Le<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/pedrolopezgarcia" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pedro López-García<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/antoinemine" class="navigate"><div class="media"><span class="pull-left"><img alt="Antoine Miné" src="https://2025.splashcon.org/getProfileImage/antoinemine/77e18473-3b05-4bec-8b27-3e073a24fb34/micro-avatar.jpg?1711478750000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Antoine Miné<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Sorbonne Université</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/ashishmishra2" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ashish Mishra<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IIT Hyderabad</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/sidimohamedbeillahi1" class="navigate"><div class="media"><span class="pull-left"><img alt="Sidi Mohamed Beillahi" src="https://2025.splashcon.org/getProfileImage/sidimohamedbeillahi1/3471cbe6-9ffd-4d5f-aec3-9192b113ffd4/micro-avatar.jpg?1711489356000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sidi Mohamed Beillahi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Toronto</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/raphaelmonat" class="navigate"><div class="media"><span class="pull-left"><img alt="Raphaël Monat" src="https://2025.splashcon.org/getProfileImage/raphaelmonat/2405755c-6e69-4ac2-a6af-8231b7b11c81/micro-avatar.jpg?1713202025000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Raphaël Monat<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria and University of Lille</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/jorgeanavas" class="navigate"><div class="media"><span class="pull-left"><img alt="Jorge A. Navas" src="https://2025.splashcon.org/getProfileImage/jorgeanavas/662b4942-5460-4898-98cd-2c4e2c701960/micro-avatar.jpg?1711455828000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jorge A. Navas<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Certora</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/jihyeokpark1" class="navigate"><div class="media"><span class="pull-left"><img alt="Jihyeok Park" src="https://2025.splashcon.org/getProfileImage/jihyeokpark1/9fbd3212-d2fb-422e-b5fd-98cdf54466c2/micro-avatar.jpg?1726579170000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jihyeok Park<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Korea University</span></h5><h5 class="media-heading"><small>South Korea</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/goranpiskachev" class="navigate"><div class="media"><span class="pull-left"><img alt="Goran Piskachev" src="https://2025.splashcon.org/getProfileImage/goranpiskachev/a2156399-7369-43d5-a4ac-2472113f4032/micro-avatar.jpg?1711473651000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Goran Piskachev<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Amazon Web Services</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/xiaokangqiu" class="navigate"><div class="media"><span class="pull-left"><img alt="Xiaokang Qiu" src="https://2025.splashcon.org/getProfileImage/xiaokangqiu/be55b21e-fb5d-4540-a2c2-1110cac11fc6/micro-avatar.jpg?1711504647000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xiaokang Qiu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Purdue University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/xavierrival" class="navigate"><div class="media"><span class="pull-left"><img alt="Xavier Rival" src="https://2025.splashcon.org/getProfileImage/xavierrival/036511d0-47a1-4db2-97df-0bf5da1a2c8d/micro-avatar.jpg?1721417977000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xavier Rival<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria; ENS; CNRS; PSL University</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/xujiesi" class="navigate"><div class="media"><span class="pull-left"><img alt="Xujie Si" src="https://2025.splashcon.org/getProfileImage/xujiesi/239392c8-225d-49b8-8a09-05ec7ba5c7a3/micro-avatar.jpg?1721189570000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xujie Si<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Toronto</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/gagandeepsingh" class="navigate"><div class="media"><span class="pull-left"><img alt="Gagandeep Singh" src="https://2025.splashcon.org/getProfileImage/gagandeepsingh/f8f3729d-2580-401b-9991-8df70a7b8836/micro-avatar.jpg?1731290027000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gagandeep Singh<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Illinois at Urbana-Champaign; VMware Research</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/sunbeomso1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sunbeom So<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">GIST (Gwangju Institute of Science and Technology)</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/fusong" class="navigate"><div class="media"><span class="pull-left"><img alt="Fu Song" src="https://2025.splashcon.org/getProfileImage/fusong/b3c0bea7-5f4b-412b-aa95-bb03974dcdc5/micro-avatar.jpg?1711460764000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Fu Song<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/tiantan" class="navigate"><div class="media"><span class="pull-left"><img alt="Tian Tan" src="https://2025.splashcon.org/getProfileImage/tiantan/4b1e811e-fce9-4642-92fb-d629f222b572/micro-avatar.jpg?1711495031000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tian Tan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Nanjing University</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/mohittekriwal1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mohit Tekriwal<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Lawrence Livermore National Laboratory</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/manasthakur" class="navigate"><div class="media"><span class="pull-left"><img alt="Manas Thakur" src="https://2025.splashcon.org/getProfileImage/manasthakur/ae81b634-cb68-48a3-a25e-92c78e80c9aa/micro-avatar.jpg?1714391548000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manas Thakur<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IIT Bombay</span></h5><h5 class="media-heading"><small>India</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/caterinaurban" class="navigate"><div class="media"><span class="pull-left"><img alt="Caterina Urban" src="https://2025.splashcon.org/getProfileImage/caterinaurban/a945f9bd-bc13-4fe2-945a-59528d7d7e2a/micro-avatar.jpg?1711458377000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Caterina Urban<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria - École Normale Supérieure</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/yuepengwang" class="navigate"><div class="media"><span class="pull-left"><img alt="Yuepeng Wang" src="https://2025.splashcon.org/getProfileImage/yuepengwang/3a584315-d81a-4b0b-ad47-e8489b6a18c5/micro-avatar.jpg?1711476563000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yuepeng Wang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Simon Fraser University</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/peisenyao" class="navigate"><div class="media"><span class="pull-left"><img alt="Peisen Yao" src="https://2025.splashcon.org/getProfileImage/peisenyao/afec483a-bef9-4542-b208-b84c15344696/micro-avatar.jpg?1719898966000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peisen Yao<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Zhejiang University</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/jooyongyi" class="navigate"><div class="media"><span class="pull-left"><img alt="Jooyong Yi" src="https://2025.splashcon.org/getProfileImage/jooyongyi/74d7f7e6-cd63-4abb-9678-4fd46beb2ea5/micro-avatar.jpg?1713282845000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jooyong Yi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">UNIST</span></h5><h5 class="media-heading"><small>South Korea</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/eneazaffanella" class="navigate"><div class="media"><span class="pull-left"><img alt="Enea Zaffanella" src="https://2025.splashcon.org/getProfileImage/eneazaffanella/66d2c4ef-8858-40ac-8c9b-686a67ff96cb/micro-avatar.jpg?1711489154000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Enea Zaffanella<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Parma</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/qirunzhang" class="navigate"><div class="media"><span class="pull-left"><img alt="Qirun Zhang" src="https://2025.splashcon.org/getProfileImage/qirunzhang/baff606c-adc9-44c2-abde-27cd3ff612b6/micro-avatar.jpg?1711457873000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Qirun Zhang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Georgia Institute of Technology</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/xinzhang" class="navigate"><div class="media"><span class="pull-left"><img alt="Xin Zhang" src="https://2025.splashcon.org/getProfileImage/xinzhang/a4dbba61-3d43-4702-818f-94cad593fbec/micro-avatar.jpg?1711467684000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xin Zhang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Peking University</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2025.splashcon.org/committee/sas-2025-papers-steering-committee" class="navigate">Steering Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2025.splashcon.org/profile/boryuhevanchang" class="navigate"><div class="media"><span class="pull-left"><img alt="Bor-Yuh Evan Chang" src="https://2025.splashcon.org/getProfileImage/boryuhevanchang/0cbe7e94-aaf8-458b-9670-3892350bc209/micro-avatar.jpg?1711457148000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Bor-Yuh Evan Chang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Colorado Boulder & Amazon</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/patrickcousot" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrick Cousot" src="https://2025.splashcon.org/getProfileImage/patrickcousot/50da3bbd-9abd-43af-a7cf-4143b412f4f3/micro-avatar.jpg?1711458417000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Patrick Cousot<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/cezaradragoi" class="navigate"><div class="media"><span class="pull-left"><img alt="Cezara Drăgoi" src="https://2025.splashcon.org/getProfileImage/cezaradragoi/3403e4d3-23e5-41ac-8cf7-48cc033f3d48/micro-avatar.jpg?1711483270000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cezara Drăgoi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"> AWS / ENS </span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/robertogiacobazzi" class="navigate"><div class="media"><span class="pull-left"><img alt="Roberto Giacobazzi" src="https://2025.splashcon.org/getProfileImage/robertogiacobazzi/3a292abe-6f69-4d5d-bfa3-305417b39cba/micro-avatar.jpg?1727972333000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Roberto Giacobazzi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Arizona</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/alessandragorla" class="navigate"><div class="media"><span class="pull-left"><img alt="Alessandra Gorla" src="https://2025.splashcon.org/getProfileImage/alessandragorla/5a9b6ab8-13ee-41f1-9ffd-71a73a890f02/micro-avatar.jpg?1711456196000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alessandra Gorla<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/manuelhermengildo" class="navigate"><div class="media"><span class="pull-left"><img alt="Manuel Hermenegildo" src="https://2025.splashcon.org/getProfileImage/manuelhermengildo/8eef27e4-befd-4c22-b6c8-20207eb80fd4/micro-avatar.jpg?1711523683000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manuel Hermenegildo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Technical University of Madrid (UPM) and IMDEA Software Institute</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/josemorales" class="navigate"><div class="media"><span class="pull-left"><img alt="José Morales" src="https://2025.splashcon.org/getProfileImage/josemorales/f515944a-5264-4d44-93a8-983052a5839e/micro-avatar.jpg?1711527933000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">José Morales<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/kedarnamjoshi" class="navigate"><div class="media"><span class="pull-left"><img alt="Kedar Namjoshi" src="https://2025.splashcon.org/getProfileImage/kedarnamjoshi/1a827d58-b3c1-42d8-a822-1cdd6c72bc74/micro-avatar.jpg?1711499756000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kedar Namjoshi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Nokia Bell Labs</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/davidpichardie" class="navigate"><div class="media"><span class="pull-left"><img alt="David Pichardie" src="https://2025.splashcon.org/getProfileImage/davidpichardie/b0f30e9b-c1d3-4e4f-9923-4cf150989f86/micro-avatar.jpg?1711479192000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">David Pichardie<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Meta</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/mihaelasighireanu" class="navigate"><div class="media"><span class="pull-left"><img alt="Mihaela Sighireanu" src="https://2025.splashcon.org/getProfileImage/mihaelasighireanu/41119313-d4a4-4a3d-a0c8-c6b243abe61c/micro-avatar.jpg?1724243743000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mihaela Sighireanu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/gagandeepsingh" class="navigate"><div class="media"><span class="pull-left"><img alt="Gagandeep Singh" src="https://2025.splashcon.org/getProfileImage/gagandeepsingh/f8f3729d-2580-401b-9991-8df70a7b8836/micro-avatar.jpg?1731290027000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gagandeep Singh<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Illinois at Urbana-Champaign; VMware Research</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.splashcon.org/profile/caterinaurban" class="navigate"><div class="media"><span class="pull-left"><img alt="Caterina Urban" src="https://2025.splashcon.org/getProfileImage/caterinaurban/a945f9bd-bc13-4fe2-945a-59528d7d7e2a/micro-avatar.jpg?1711458377000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Caterina Urban<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria - École Normale Supérieure</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 14 Mar 06:15</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2025.splashcon.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="splash-2025" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2025.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2025"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2025.splashcon.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="splash-2025" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2025.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2025"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2025.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2025</a></h3><div><a href="https://2025.splashcon.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://2025.splashcon.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2025.splashcon.org/track/OOPSLA" class="navigate">OOPSLA</a><br/><a href="https://2025.splashcon.org/track/splash-2025-oopsla-artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2025.splashcon.org/track/splash-2025-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2025.splashcon.org/track/splash-2025-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2025.splashcon.org/track/splash-2025-Posters" class="navigate">Posters</a><br/><a href="https://2025.splashcon.org/track/splash-2025-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2025.splashcon.org/track/splash-2025-SRC" class="navigate">Student Research Competition</a><br/><br/><h4>ICFP/SPLASH 2025</h4><a href="https://2025.splashcon.org/track/icfp-splash-2025-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://icfp25.sigplan.org" class="navigate">ICFP 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/mplr-2025" class="navigate">MPLR 2025</a><br/><h4>Workshops</h4><a href="https://conf.researchr.org/home/icfp-splash-2025/erlang-2025" class="navigate">Erlang 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/funarch-2025" class="navigate">FUNARCH 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025" class="navigate">LMPL 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025" class="navigate">ML Family Workshop 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/scheme-2025" class="navigate">Scheme 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/vmil-2025" class="navigate">VMIL 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025" class="navigate">miniKanren and Relational Programming Workshop 2025</a><br/><h4>Co-hosted Symposia</h4><a href="https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025" class="navigate">Haskell 2025</a><br/><a href="https://2025.splashcon.org/home/sas-2025" class="navigate">SAS 2025</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2025.splashcon.org/venue/splash-2025-venue1" class="navigate">Venue (Sunday Workshops): NUS School of Computing</a><br><a href="https://2025.splashcon.org/venue/splash-2025-venue" class="navigate">Venue (Main Conference): Marina Bay Sands Convention Centre</a><br><a href="https://2025.splashcon.org/attending/Code-of-Conduct" class="navigate">Code of Conduct</a><br><a href="https://2025.splashcon.org/attending/call-for-sponsorship" class="navigate">Call for Sponsorship</a></div><div class="col-sm-2"><a href="https://2025.splashcon.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>