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://2024.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2024.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>NSAD 2024 - SPLASH 2024</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2024.splashcon.org";</script> <link rel="stylesheet" href="https://2024.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2024.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2024.splashcon.org/getFile/86adcb95-8c58-4878-a999-676c6b69e20b/logobar-splash24-new.css?1722450045831" type="text/css" /><link rel="stylesheet" href="https://2024.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2024.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://2024.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></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> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; 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>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> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; 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">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> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2024.splashcon.org/getImage/carousel/PasadenaDowntown_Skyline.jpg?1695093957000'>  <meta prefix='og: http://ogp.me/ns#' property='og:description' content='10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computational problems that are usually too complex —and very often undecidable if considered in their original (not abstracted) formulation. Such abstraction is modeled using an abstract representation of data and abstract operations, yielding an Abstract Domain. Abstract Domains embed the semantic choices, data structures, algorithmic aspects, and implementation decisions related to the abstrac ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='NSAD 2024 - SPLASH 2024'> <meta name='description' content='10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains Abstraction is an essential part of many program verification and validation (V&amp;V) methods, making tractable computational problems that are usually too complex —and very often undecidable if considered in their original (not abstracted) formulation. Such abstraction is modeled using an abstract representation of data and abstract operations, yielding an Abstract Domain. Abstract Domains embed the semantic choices, data structures, algorithmic aspects, and implementation decisions related to the abstrac ...'> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2024.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2024</span></a><div class="place">Sun 20 - Fri 25 October 2024 <a href="https://2024.splashcon.org/venue/splash-2024-venue" class="navigate">Pasadena, California, United States</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://2024.splashcon.org/venue/splash-2024-venue" class="navigate">Venue: Hilton Pasadena</a></li><li class="block"><a href="https://2024.splashcon.org/attending/Students" class="navigate">Students</a></li><li class="block"><a href="https://2024.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2024.splashcon.org/attending/visa-support-letters" class="navigate">Visa Support Letters</a></li><li class="block"><a href="https://2024.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2024.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a></li><li class="block"><a href="https://2024.splashcon.org/attending/instructions-for-speakers" class="navigate">Instructions for Presenters</a></li><li class="block"><a href="https://2024.splashcon.org/attending/splash-chair-welcome" class="navigate">Chair's Welcome</a></li><li class="block"><a href="https://2024.splashcon.org/attending/how-to-splash" class="navigate">How to SPLASH (Quick Attendee Guide)</a></li><li class="block"><a href="https://2024.splashcon.org/attending/mt.-baldy-bicycle-trip" class="navigate">Mt. Baldy Bicycle Trip</a></li><li class="block"><a href="https://2024.splashcon.org/attending/attractions-around-pasadena" class="navigate">Attractions Around Pasadena</a></li><li class="block"><a href="https://2024.splashcon.org/attending/virtual-live-streams" class="navigate">Live Stream</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Sun 20 Oct 2024" class="navigate">Sun 20 Oct</a></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Mon 21 Oct 2024" class="navigate">Mon 21 Oct</a></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Tue 22 Oct 2024" class="navigate">Tue 22 Oct</a></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Wed 23 Oct 2024" class="navigate">Wed 23 Oct</a></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Thu 24 Oct 2024" class="navigate">Thu 24 Oct</a></li><li class="block"><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Fri 25 Oct 2024" class="navigate">Fri 25 Oct</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 2024</li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-dei-activities" class="navigate">DEI Activities</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-oopsla" class="navigate">OOPSLA 2024</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-oopsla-artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-rebase" class="navigate">REBASE</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-Volunteers" class="navigate">Volunteers</a></li><li class="block"><a href="https://2024.splashcon.org/track/splash-2024-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="block"><a href="https://2024.splashcon.org/home/gpce-2024" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/track/sle-2024" class="navigate"><strong>SLE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2024.splashcon.org/home/hatra-2024" class="navigate"><strong>HATRA</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/iwaco-2024" class="navigate"><strong>IWACO</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/jensfest-2024" class="navigate"><strong>JENSFEST</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/live-2024" class="navigate"><strong>LIVE</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/nsad-2024" class="navigate"><strong>NSAD</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/paint-2024" class="navigate"><strong>PAINT</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/prolala-2024" class="navigate"><strong>ProLaLa</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/unsound-2024" class="navigate"><strong>UNSOUND</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/home/vivekfest-2024" class="navigate"><strong>VIVEKFEST</strong> </a></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://2024.splashcon.org/home/vmil-2024" class="navigate"><strong>VMIL</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/details/vmil-2024-papers/1/A-tour-of-CPython-s-runtime" class="small menu-advertised-event navigate">- A tour of CPython's runtime</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>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/home/sas-2024" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://2024.splashcon.org/track/sas-2024-artifacts" class="navigate"><strong>SAS</strong> Artifacts</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 2024 Committees</li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-papers-review-committee" class="navigate"><strong>OOPSLA 2024</strong></a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-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://2024.splashcon.org/committee/splash-2024-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-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://2024.splashcon.org/committee/splash-2024-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-Onward-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLMW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-rebase-rebase" class="navigate"><strong>REBASE</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://2024.splashcon.org/committee/splash-2024-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-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://2024.splashcon.org/committee/splash-2024-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-SRC-reviewers" class="navigate">Reviewers</a></li></ul></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-Volunteers-organizers" class="navigate"><strong>Volunteers</strong></a></li><li class="block"><a href="https://2024.splashcon.org/committee/splash-2024-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2024.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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/gpce-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/gpce-2024-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/gpce-2024-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/sle-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/sle-2024-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/sle-2024-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/sle-2024-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>HATRA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/hatra-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/hatra-2024-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>IWACO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/iwaco-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/iwaco-2024-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>JENSFEST</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/jensfest-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/jensfest-2024-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>LIVE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/live-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/live-2024-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>NSAD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/nsad-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/nsad-2024-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>PAINT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/paint-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/paint-2024-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>ProLaLa</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/prolala-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/prolala-2024-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>UNSOUND</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/unsound-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VIVEKFEST</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/vivekfest-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/vivekfest-2024-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://2024.splashcon.org/committee/vmil-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2024.splashcon.org/committee/vmil-2024-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>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2024.splashcon.org/committee/sas-2024-papers-organizing-committee" class="navigate"><strong>SAS 2024</strong> <small>Organizing Committee</small></a></li><li class="block"><a href="https://2024.splashcon.org/committee/sas-2024-papers-program-committee" class="navigate"><strong>SAS 2024</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2024.splashcon.org/committee/sas-2024-sas-2024-artifacts-artifact-evaluation-committee" class="navigate"><strong>SAS Artifacts</strong></a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2024.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://2024.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"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2024</span></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-2024/https%3A%5Es%5Es2024.splashcon.org%5Eshome%5Esnsad-2024" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2024.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://2024.splashcon.org" class="navigate">SPLASH 2024</a> (<a href="https://2024.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">NSAD 2024 (<a href="https://2024.splashcon.org/series/nsad" class="navigate">series</a>) / </span><h1>NSAD 2024</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="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Accepted Papers</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 "><h4><a href="#10th-acm-sigplan-international-workshop-on-numerical-and-symbolic-abstract-domains" id="10th-acm-sigplan-international-workshop-on-numerical-and-symbolic-abstract-domains" class="anchor-link">10<sup>th</sup> ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains</a></h4> <p>Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computational problems that are usually too complex —and very often undecidable if considered in their original (not abstracted) formulation. Such abstraction is modeled using an abstract representation of data and abstract operations, yielding an <em>Abstract Domain</em>. Abstract Domains embed the semantic choices, data structures, algorithmic aspects, and implementation decisions related to the abstraction process, and, as such, they play a central role in V&V, with applications to abstract interpretation-based static analysis, model-checking, and symbolic execution, to name a few examples.</p> <p>Many Abstract Domains have been designed so far: numerical domains (e.g., intervals, congruences, polyhedra, polynomials), symbolic domains (e.g., shape domains, trees) —but also domain operators (e.g., products, powersets, completions), and have been applied to several kinds of V&V problems (e.g., program safety, termination, reachability) on a variety of systems (e.g., hardware, software, neural networks).</p> <p>The <em>goal of the NSAD workshop</em> is to discuss work in progress, recent advances, novel ideas, and experiences in the theory, practice, application, implementation, and experimentation connected to Abstract Domains. This year, contributions related and/or applied to neural networks, dynamic/hybrid systems, distributed systems, quantum software, and blockchain software (e.g., smart-contracts), as well as partial and modular program analysis, are particularly welcome.</p> <p>NSAD 2024 will take place on October 22, 2024 in Pasadena, USA, co-located with <a href="https://2024.splashcon.org/home/sas-2024">SAS 2024</a>, as part of <a href="https://2024.splashcon.org">SPLASH 2024</a>.</p> <p>Previous workshops have been held in Paris, France (2005), Perpignan, France (2010), Venice, Italy (2011), Deauville, France (2012), Munich, Germany (2014), Edinburgh, UK (2016), New York, USA (2017), Porto, Portugal (2019), and Chicago, USA (2020).</p> <h3><a href="#keynote-speaker" id="keynote-speaker" class="anchor-link">Keynote Speaker</a></h3> <hr> <center> <b>Caterina Urban, INRIA & ENS (<a href="https://caterinaurban.github.io" target="_blank">webpage</a>)</b> <br><br> <img src="https://caterinaurban.github.io/img/urban.jpg" style="width:200px;height:200px"> <br><br> <i>Abstract Domains for Machine Learning <s>Verification</s></i> </center> <hr> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; 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 tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2024.splashcon.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="splash-2024" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT-07:00) Pacific Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2024.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2024"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -480){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Tue 22 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Pacific Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Pacific B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c32"></td><td><div class="slot-label">09:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">NSAD: Session 1<span class="pull-right"><a href="https://2024.splashcon.org/home/nsad-2024" target="_blank" class="text-muted navigate">NSAD</a></span> at <a href="https://2024.splashcon.org/room/splash-2024-venue-pacific-b" target="_blank" class="room-link navigate">Pacific B</a><br/> <small>Chair(s): <a href="https://2024.splashcon.org/profile/vincenzoarceri" target="_blank" class="navigate">Vincenzo Arceri</a><span class="prog-aff"> University of Parma, Italy</span>, <a href="https://2024.splashcon.org/profile/michelepasqua" target="_blank" class="navigate">Michele Pasqua</a><span class="prog-aff"> University of Verona</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5ffeca8d-362b-431a-95de-dae0c2800c01" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>5m</strong></div><div class="event-type"></div><span data-facet-track="NSAD"></span></td><td><span data-event-star="5ef9a4a6-78d7-4345-8643-f853e7fa6b33" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5ef9a4a6-78d7-4345-8643-f853e7fa6b33">Opening</a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/vincenzoarceri" class="navigate">Vincenzo Arceri</a><span class="prog-aff"> University of Parma, Italy</span>, <a href="https://2024.splashcon.org/profile/michelepasqua" class="navigate">Michele Pasqua</a><span class="prog-aff"> University of Verona</span></div></td></tr><tr data-slot-id="94b88773-c7de-4640-9c57-7e8a59adaaaf" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:05</div><strong>55m</strong></div><div class="event-type">Keynote</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="f539be30-a8b3-49a0-9726-ca02d2ca21fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f539be30-a8b3-49a0-9726-ca02d2ca21fe">Abstract Domains for Machine Learning Verification<span class="pull-right"><span data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><span class="label-primary label">Keynote</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/caterinaurban" class="navigate">Caterina Urban</a><span class="prog-aff"> Inria - École Normale Supérieure</span></div><a href="https://doi.org/10.1145/3689609.3699919" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="3d0eb8f6-1294-44ee-8cbc-15ddd198d812" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>30m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="63e7875b-4bc2-4975-8a54-42f68fe28d88" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="63e7875b-4bc2-4975-8a54-42f68fe28d88">Towards a High Level Linter for Data Science<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/gretadolcetti" class="navigate">Greta Dolcetti</a><span class="prog-aff"> Ca’ Foscari University of Venice</span>, <a href="https://2024.splashcon.org/profile/agostinocortesi" class="navigate">Agostino Cortesi</a><span class="prog-aff"> Ca’ Foscari University of Venice</span>, <a href="https://2024.splashcon.org/profile/caterinaurban" class="navigate">Caterina Urban</a><span class="prog-aff"> Inria - École Normale Supérieure</span>, <a href="https://2024.splashcon.org/profile/eneazaffanella" class="navigate">Enea Zaffanella</a><span class="prog-aff"> University of Parma</span></div><a href="https://doi.org/10.1145/3689609.3689996" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Foyer" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://2024.splashcon.org/track/splash-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2024.splashcon.org/room/splash-2024-venue-foyer" target="_blank" class="room-link navigate">Foyer</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="73e8ff8c-3e45-4b3b-862b-9b830403bff9" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Coffee break</div><span data-facet-track="SPLASH Catering"></span></td><td><span data-event-star="663c6c08-3d3f-407c-a8b7-8119b90d5af8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="663c6c08-3d3f-407c-a8b7-8119b90d5af8">Break</a></strong><div class="prog-track">Catering</div><br></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="California" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">12:30 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2024.splashcon.org/track/splash-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2024.splashcon.org/room/splash-2024-venue-california" target="_blank" class="room-link navigate">California</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="693b8a36-6cbf-424d-b61e-ea6e1ac6d0ad" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:30</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="SPLASH Catering"></span></td><td><span data-event-star="5d04f63f-5f95-48c3-9e0e-0f344745543d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5d04f63f-5f95-48c3-9e0e-0f344745543d">Lunch</a></strong><div class="prog-track">Catering</div><br></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Pacific B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c32"></td><td><div class="slot-label">14:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">NSAD: Session 2<span class="pull-right"><a href="https://2024.splashcon.org/home/nsad-2024" target="_blank" class="text-muted navigate">NSAD</a></span> at <a href="https://2024.splashcon.org/room/splash-2024-venue-pacific-b" target="_blank" class="room-link navigate">Pacific B</a><br/> <small>Chair(s): <a href="https://2024.splashcon.org/profile/thomaspjensen" target="_blank" class="navigate">Thomas P. Jensen</a><span class="prog-aff"> INRIA Rennes</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="770669ef-339d-4995-a040-06392597602f" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="c39cb5da-1368-402f-a65a-c4abbad7712b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c39cb5da-1368-402f-a65a-c4abbad7712b">A Step-Function Abstract Domain for Granular Floating-Point Error Analysis<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/anthonydario" class="navigate">Anthony Dario</a><span class="prog-aff"> University of Oregon</span>, <a href="https://2024.splashcon.org/profile/samueldpollard1" class="navigate">Samuel D. Pollard</a><span class="prog-aff"> Sandia National Laboratories</span></div><a href="https://doi.org/10.1145/3689609.3689997" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="1fc80005-0982-4358-891d-9d9d10dd5f7c" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="602c9d22-14bd-4588-8e16-934b23877874" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="602c9d22-14bd-4588-8e16-934b23877874">C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/rebeccaghidini" class="navigate">Rebecca Ghidini</a><span class="prog-aff"> TU Munich</span>, <a href="https://2024.splashcon.org/profile/julianerhard" class="navigate">Julian Erhard</a><span class="prog-aff"> LMU Munich; TU Munich</span>, <a href="https://2024.splashcon.org/profile/michaelschwarz" class="navigate">Michael Schwarz</a><span class="prog-aff"> TU Munich</span>, <a href="https://2024.splashcon.org/profile/helmutseidl" class="navigate">Helmut Seidl</a><span class="prog-aff"> TU Munich</span></div><a href="https://doi.org/10.1145/3689609.3689994" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="f2f8485c-0b05-4d77-8294-3737e5a4b938" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="f7d0193a-bce9-480b-81ff-638de1b4e973" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f7d0193a-bce9-480b-81ff-638de1b4e973">Stability: An Abstract Domain for the Trend of Variation of Numerical Variables<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/lucanegrini" class="navigate">Luca Negrini</a><span class="prog-aff"> Ca’ Foscari University of Venice</span>, <a href="https://2024.splashcon.org/profile/sofiapresotto" class="navigate">Sofia Presotto</a><span class="prog-aff"> Ca’ Foscari University of Venice</span>, <a href="https://2024.splashcon.org/profile/pietroferrara1" class="navigate">Pietro Ferrara</a><span class="prog-aff"> Ca’ Foscari University of Venice</span>, <a href="https://2024.splashcon.org/profile/eneazaffanella" class="navigate">Enea Zaffanella</a><span class="prog-aff"> University of Parma</span>, <a href="https://2024.splashcon.org/profile/agostinocortesi" class="navigate">Agostino Cortesi</a><span class="prog-aff"> Ca’ Foscari University of Venice</span></div><a href="https://doi.org/10.1145/3689609.3689995" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Foyer" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://2024.splashcon.org/track/splash-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2024.splashcon.org/room/splash-2024-venue-foyer" target="_blank" class="room-link navigate">Foyer</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8fc9067d-c6c9-4633-b01b-6454a7d01cf7" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Coffee break</div><span data-facet-track="SPLASH Catering"></span></td><td><span data-event-star="663c6c08-3d3f-407c-a8b7-8119b90d5af8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="663c6c08-3d3f-407c-a8b7-8119b90d5af8">Break</a></strong><div class="prog-track">Catering</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Pacific B" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c32"></td><td><div class="slot-label">16:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">NSAD: Session 3<span class="pull-right"><a href="https://2024.splashcon.org/home/nsad-2024" target="_blank" class="text-muted navigate">NSAD</a></span> at <a href="https://2024.splashcon.org/room/splash-2024-venue-pacific-b" target="_blank" class="room-link navigate">Pacific B</a><br/> <small>Chair(s): <a href="https://2024.splashcon.org/profile/michaelschwarz" target="_blank" class="navigate">Michael Schwarz</a><span class="prog-aff"> TU Munich</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="999b83f0-ce68-46ca-9c3c-fc9506b585a4" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Short-paper</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="31153efa-82f4-44d5-ac6a-2653cd391438" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="31153efa-82f4-44d5-ac6a-2653cd391438">WiP: Labeled Union-Find for Constraint Factorization<span class="pull-right"><span data-facet-badge="Short Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Short Paper</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/matthieulemerre" class="navigate">Matthieu Lemerre</a><span class="prog-aff"> Université Paris-Saclay - CEA LIST</span>, <a href="https://2024.splashcon.org/profile/dorianlesbre" class="navigate">Dorian Lesbre</a><span class="prog-aff"> Université Paris-Saclay - CEA LIST</span></div><a href="https://2024.splashcon.org/details/nsad-2024-papers/5/WiP-Labeled-Union-Find-for-Constraint-Factorization" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="79bfc86f-4ded-4479-af49-d421a8a38ba1" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Full-paper</div><span data-facet-track="NSAD"></span></td><td><span data-event-star="3cf147ef-0348-4f7a-bf5f-738487aa3eba" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3cf147ef-0348-4f7a-bf5f-738487aa3eba">Abstracting Entanglement<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/nicolaassolini" class="navigate">Nicola Assolini</a><span class="prog-aff"> University of Verona</span>, <a href="https://2024.splashcon.org/profile/alessandradipierro" class="navigate">Alessandra Di Pierro</a><span class="prog-aff"> University of Verona</span>, <a href="https://2024.splashcon.org/profile/isabellamastroeni" class="navigate">Isabella Mastroeni</a><span class="prog-aff"> University of Verona</span></div><a href="https://doi.org/10.1145/3689609.3689998" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="65895dd1-0234-4684-ac4d-b405159c2aa1" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="NSAD"></span></td><td><span data-event-star="99a381ea-a51f-495f-91f3-33919477fef8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="99a381ea-a51f-495f-91f3-33919477fef8">Closing</a></strong><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/vincenzoarceri" class="navigate">Vincenzo Arceri</a><span class="prog-aff"> University of Parma, Italy</span>, <a href="https://2024.splashcon.org/profile/michelepasqua" class="navigate">Michele Pasqua</a><span class="prog-aff"> University of Verona</span></div></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="f539be30-a8b3-49a0-9726-ca02d2ca21fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f539be30-a8b3-49a0-9726-ca02d2ca21fe">Abstract Domains for Machine Learning Verification<span class="pull-right"><span data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><span class="label-primary label">Keynote</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/caterinaurban" class="navigate">Caterina Urban</a></div><a href="https://doi.org/10.1145/3689609.3699919" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="3cf147ef-0348-4f7a-bf5f-738487aa3eba" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3cf147ef-0348-4f7a-bf5f-738487aa3eba">Abstracting Entanglement<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/nicolaassolini" class="navigate">Nicola Assolini</a>, <a href="https://2024.splashcon.org/profile/alessandradipierro" class="navigate">Alessandra Di Pierro</a>, <a href="https://2024.splashcon.org/profile/isabellamastroeni" class="navigate">Isabella Mastroeni</a></div><a href="https://doi.org/10.1145/3689609.3689998" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="c39cb5da-1368-402f-a65a-c4abbad7712b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c39cb5da-1368-402f-a65a-c4abbad7712b">A Step-Function Abstract Domain for Granular Floating-Point Error Analysis<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/anthonydario" class="navigate">Anthony Dario</a>, <a href="https://2024.splashcon.org/profile/samueldpollard1" class="navigate">Samuel D. Pollard</a></div><a href="https://doi.org/10.1145/3689609.3689997" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="602c9d22-14bd-4588-8e16-934b23877874" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="602c9d22-14bd-4588-8e16-934b23877874">C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/rebeccaghidini" class="navigate">Rebecca Ghidini</a>, <a href="https://2024.splashcon.org/profile/julianerhard" class="navigate">Julian Erhard</a>, <a href="https://2024.splashcon.org/profile/michaelschwarz" class="navigate">Michael Schwarz</a>, <a href="https://2024.splashcon.org/profile/helmutseidl" class="navigate">Helmut Seidl</a></div><a href="https://doi.org/10.1145/3689609.3689994" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="f7d0193a-bce9-480b-81ff-638de1b4e973" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f7d0193a-bce9-480b-81ff-638de1b4e973">Stability: An Abstract Domain for the Trend of Variation of Numerical Variables<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/lucanegrini" class="navigate">Luca Negrini</a>, <a href="https://2024.splashcon.org/profile/sofiapresotto" class="navigate">Sofia Presotto</a>, <a href="https://2024.splashcon.org/profile/pietroferrara1" class="navigate">Pietro Ferrara</a>, <a href="https://2024.splashcon.org/profile/eneazaffanella" class="navigate">Enea Zaffanella</a>, <a href="https://2024.splashcon.org/profile/agostinocortesi" class="navigate">Agostino Cortesi</a></div><a href="https://doi.org/10.1145/3689609.3689995" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="63e7875b-4bc2-4975-8a54-42f68fe28d88" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="63e7875b-4bc2-4975-8a54-42f68fe28d88">Towards a High Level Linter for Data Science<span class="pull-right"><span data-facet-badge="Full Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Full Paper</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/gretadolcetti" class="navigate">Greta Dolcetti</a>, <a href="https://2024.splashcon.org/profile/agostinocortesi" class="navigate">Agostino Cortesi</a>, <a href="https://2024.splashcon.org/profile/caterinaurban" class="navigate">Caterina Urban</a>, <a href="https://2024.splashcon.org/profile/eneazaffanella" class="navigate">Enea Zaffanella</a></div><a href="https://doi.org/10.1145/3689609.3689996" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="31153efa-82f4-44d5-ac6a-2653cd391438" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="31153efa-82f4-44d5-ac6a-2653cd391438">WiP: Labeled Union-Find for Constraint Factorization<span class="pull-right"><span data-facet-badge="Short Paper" class="output-badge" style="max-width:40px;"><span class="label-primary label">Short Paper</span></span></span></a><div class="prog-track">NSAD</div><div class="performers"><a href="https://2024.splashcon.org/profile/matthieulemerre" class="navigate">Matthieu Lemerre</a>, <a href="https://2024.splashcon.org/profile/dorianlesbre" class="navigate">Dorian Lesbre</a></div><a href="https://2024.splashcon.org/details/nsad-2024-papers/5/WiP-Labeled-Union-Find-for-Constraint-Factorization" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div id="Call-for-Papers" class="tab-pane "><h2>Call for Papers</h2><p><p>The 10<sup>th</sup> ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024) will be held on October 22, 2024 in Pasadena, USA, co-located with <a href="https://2024.splashcon.org/home/sas-2024">SAS 2024</a>, as part of <a href="https://2024.splashcon.org">SPLASH 2024</a>.</p> <h3><a href="#objective" id="objective" class="anchor-link">Objective</a></h3> <p>Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computational problems that are usually too complex —and very often undecidable if considered in their original (not abstracted) formulation. Such abstraction is modeled using an abstract representation of data and abstract operations, yielding an Abstract Domain. Abstract Domains embed the semantic choices, data structures, algorithmic aspects, and implementation decisions related to the abstraction process, and, as such, they play a central role in V&V, with applications to abstract interpretation-based static analysis, model-checking, and symbolic execution, to name a few examples.</p> <p>Many Abstract Domains have been designed so far: numerical domains (e.g., intervals, congruences, polyhedra, polynomials), symbolic domains (e.g., shape domains, trees, strings) —but also domain operators (e.g., products, powersets, completions), and have been applied to several kinds of V&V problems (e.g., program safety, termination, reachability) on a variety of systems (e.g., hardware, software, neural networks).</p> <p>The goal of the NSAD workshop is to discuss work in progress, recent advances, novel ideas, and experiences in the theory, practice, application, implementation, and experimentation connected to Abstract Domains. This year, contributions related and/or applied to neural networks, dynamic/hybrid systems, distributed systems, quantum software, and blockchain software (e.g., smart-contracts), as well as partial and modular program analysis, are particularly welcome.</p> <h3><a href="#scope" id="scope" class="anchor-link">Scope</a></h3> <p>The technical program of NSAD 2024 will consist of invited talks and presentations, the latter based on submitted Full Papers and Short Papers.</p> <p>Submissions can cover any aspect of the theory and practice of Abstract Domains, as well as empirical evaluations and reports of their adoption in the industry. We invite submissions on topics including, but not limited to:</p> <ul> <li>numerical Abstract Domains</li> <li>symbolic Abstract Domains</li> <li>extrapolations and accelerations on Abstract Domains</li> <li>new operators on Abstract Domains</li> <li>compositions and operations on Abstract Domains</li> <li>data structures and algorithms for Abstract Domains</li> <li>novel applications of Abstract Domains</li> <li>empirical evaluation of Abstract Domains implementations</li> <li>practical experiments and comparisons concerning Abstract Domains</li> <li>implementation aspects/challenges in Abstract Domains development</li> <li>reports of Abstract Domains adoption in the industry</li> <li>applications of Abstract Domains in program verification and validation</li> <li>applications of Abstract Domains in quantum software</li> <li>applications of Abstract Domains in blockchain software (e.g., smart-contracts)</li> <li>applications of Abstract Domains in artificial intelligence and machine learning</li> <li>theory and practice of Abstract Domains in distributed systems</li> <li>case studies or problem statements about Abstract Domains or closely related concepts</li> </ul> <h3><a href="#submissions" id="submissions" class="anchor-link">Submissions</a></h3> <p>We invite submissions in the following two categories.</p> <ul> <li><strong><em>Full Paper</em></strong> (6-8 pages including references): These submissions should describe work that advances the current state of the art in the above or related areas.</li> <li><strong><em>Short Paper</em></strong> (2-4 pages including references): These submissions could describe work in progress, tools, experiments, overviews, or improvements over existing work in the above or related areas.</li> </ul> <p>Submissions must adhere to the ACM SIGPLAN style (<code>acmart</code> format - <code>sigplan</code> subformat, see <a href="http://www.sigplan.org/Resources/Author/#acmart-format">http://www.sigplan.org/Resources/Author/#acmart-format</a> for detailed instructions) and must be submitted via the NSAD 2024 author interface of HotCRP (<a href="http://nsad24.hotcrp.com">http://nsad24.hotcrp.com</a>). All submissions will be peer-reviewed for quality and relevance by at least three members of the program committee.</p> <p>Full Papers will undergo a <em>double-blind</em> review process. Author(s) name(s) and address(es) must not appear in the body of Full Papers, and self-reference should be avoided and made in the third person. Short Papers will undergo a <em>single-blind</em> review process. Authors’ information for Short Papers is not required to be anonymized.</p> <h3><a href="#proceedings" id="proceedings" class="anchor-link">Proceedings</a></h3> <p>All accepted <em>Full Papers</em> will be published by ACM and available via the ACM Digital Library. At least one of the co-authors is expected to present the paper during the workshop.</p> <p><em>Short Papers</em> will not be published by ACM and will only appear on the workshop website. Acceptance of Short Papers at NSAD 2024 is not intended to preclude later publication elsewhere.</p> <p><b>AUTHORS TAKE NOTE</b>: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.</p> </p></div></div><span class="pull-right"><small>Questions? Use the <a href="https://2024.splashcon.org/contact2/nsad-2024-papers" class="navigate">NSAD contact form</a>.</small></span><br></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://2024.splashcon.org/home/nsad-2024" class="clickable-row past"><td>Tue 22 Oct 2024<br/>Workshop day</td></tr><tr href="https://2024.splashcon.org/home/nsad-2024" class="clickable-row past"><td>Sun 1 Sep 2024<br/>Camera-ready</td></tr><tr href="https://2024.splashcon.org/home/nsad-2024" class="clickable-row past"><td>Sun 18 Aug 2024<br/>Notification to authors</td></tr><tr href="https://2024.splashcon.org/home/nsad-2024" class="clickable-row past"><td>Sun 14 Jul 2024<br/>Paper submission (Full and Short)</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="http://nsad24.hotcrp.com" title="Submission link for Call for Papers" target="_blank" class="navigate">http://nsad24.hotcrp.com</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2024.splashcon.org/committee/nsad-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2024.splashcon.org/profile/vincenzoarceri" class="navigate"><div class="media"><span class="pull-left"><img alt="Vincenzo Arceri" src="https://2024.splashcon.org/getProfileImage/vincenzoarceri/8e981474-4c9c-458c-9583-465613ae3412/micro-avatar.jpg?1731244340000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Vincenzo Arceri<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Parma, Italy</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/michelepasqua" class="navigate"><div class="media"><span class="pull-left"><img alt="Michele Pasqua" src="https://2024.splashcon.org/getProfileImage/michelepasqua/9e3040aa-4489-4237-8229-1ec0ead6b08f/micro-avatar.jpg?1731244340000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Michele Pasqua<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></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2024.splashcon.org/committee/nsad-2024-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2024.splashcon.org/profile/yanbinchen" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2024.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yanbin Chen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">TUM School of Computation, Information and Technology, Technical University of Munich</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/lucadistefano" class="navigate"><div class="media"><span class="pull-left"><img alt="Luca Di Stefano" src="https://2024.splashcon.org/getProfileImage/lucadistefano/878aa295-c1c8-4dea-834b-0fb2a9ef41b9/micro-avatar.jpg?1731244340000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Luca Di Stefano<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Technische Universität Wien</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/thomaspjensen" class="navigate"><div class="media"><span class="pull-left"><img alt="Thomas P. Jensen" src="https://2024.splashcon.org/getProfileImage/thomaspjensen/1b2a69a6-167c-46b2-9ed3-1bbb0f8472e5/micro-avatar.jpg?1731244338000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Thomas P. Jensen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">INRIA Rennes</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/raphaelmonat" class="navigate"><div class="media"><span class="pull-left"><img alt="Raphaël Monat" src="https://2024.splashcon.org/getProfileImage/raphaelmonat/0187c773-c89a-4051-8369-7ff6fd504a79/micro-avatar.jpg?1731244337000" 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://2024.splashcon.org/profile/lucanegrini" class="navigate"><div class="media"><span class="pull-left"><img alt="Luca Negrini" src="https://2024.splashcon.org/getProfileImage/lucanegrini/86e3da34-3dd1-42ae-a73b-6ef66ff529ba/micro-avatar.jpg?1731244340000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Luca Negrini<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Ca’ Foscari University of Venice</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/mariepelleau" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2024.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marie Pelleau<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université Côte d'Azur</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/xavierrival" class="navigate"><div class="media"><span class="pull-left"><img alt="Xavier Rival" src="https://2024.splashcon.org/getProfileImage/xavierrival/dff11425-9a33-4d57-8eef-54779c1f7638/micro-avatar.jpg?1731244342000" 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://2024.splashcon.org/profile/michaelschwarz" class="navigate"><div class="media"><span class="pull-left"><img alt="Michael Schwarz" src="https://2024.splashcon.org/getProfileImage/michaelschwarz/907f2ffb-380a-49bf-94e1-cc95c3c7d5e0/micro-avatar.jpg?1731244340000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Michael Schwarz<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">TU Munich</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2024.splashcon.org/profile/lauratitolo" class="navigate"><div class="media"><span class="pull-left"><img alt="Laura Titolo" src="https://2024.splashcon.org/getProfileImage/lauratitolo/14022a32-3ec6-4e1c-9032-8d8ce4897914/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Laura Titolo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">AMA/NASA LaRC</span></h5><h5 class="media-heading"><small>United States</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>Wed 26 Feb 06:01</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://2024.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-2024" /><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://2024.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2024"},],"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://2024.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-2024" /><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://2024.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2024"},],"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://2024.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2024</a></h3><div><a href="https://2024.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://2024.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://2024.splashcon.org/track/splash-2024-dei-activities" class="navigate">DEI Activities</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2024.splashcon.org/track/splash-2024-keynotes" class="navigate">Keynotes</a><br/><a href="https://2024.splashcon.org/track/splash-2024-oopsla" class="navigate">OOPSLA 2024</a><br/><a href="https://2024.splashcon.org/track/splash-2024-oopsla-artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2024.splashcon.org/track/splash-2024-PLMW" class="navigate">PLMW</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Posters" class="navigate">Posters</a><br/><a href="https://2024.splashcon.org/track/splash-2024-rebase" class="navigate">REBASE</a><br/><a href="https://2024.splashcon.org/track/splash-2024-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2024.splashcon.org/track/splash-2024-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Volunteers" class="navigate">Volunteers</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://2024.splashcon.org/home/gpce-2024" class="navigate">GPCE 2024</a><br/><a href="https://2024.splashcon.org/track/sle-2024" class="navigate">SLE 2024</a><br/><h4>Workshops</h4><a href="https://2024.splashcon.org/home/hatra-2024" class="navigate">HATRA</a><br/><a href="https://2024.splashcon.org/home/iwaco-2024" class="navigate">IWACO 2024</a><br/><a href="https://2024.splashcon.org/home/jensfest-2024" class="navigate">JENSFEST 2024</a><br/><a href="https://2024.splashcon.org/home/live-2024" class="navigate">LIVE 2024</a><br/><a href="https://2024.splashcon.org/home/nsad-2024" class="navigate">NSAD 2024</a><br/><a href="https://2024.splashcon.org/home/paint-2024" class="navigate">PAINT 2024</a><br/><a href="https://2024.splashcon.org/home/prolala-2024" class="navigate">ProLaLa 2024</a><br/><a href="https://2024.splashcon.org/home/unsound-2024" class="navigate">UNSOUND 2024</a><br/><a href="https://2024.splashcon.org/home/vivekfest-2024" class="navigate">VIVEKFEST</a><br/><a href="https://2024.splashcon.org/home/vmil-2024" class="navigate">VMIL 2024</a><br/><h4>Co-hosted Symposia</h4><a href="https://2024.splashcon.org/home/sas-2024" class="navigate">SAS 2024</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2024.splashcon.org/venue/splash-2024-venue" class="navigate">Venue: Hilton Pasadena</a><br><a href="https://2024.splashcon.org/attending/Students" class="navigate">Students</a><br><a href="https://2024.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2024.splashcon.org/attending/visa-support-letters" class="navigate">Visa Support Letters</a><br><a href="https://2024.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2024.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2024.splashcon.org/attending/instructions-for-speakers" class="navigate">Instructions for Presenters</a><br><a href="https://2024.splashcon.org/attending/splash-chair-welcome" class="navigate">Chair's Welcome</a><br><a href="https://2024.splashcon.org/attending/how-to-splash" class="navigate">How to SPLASH (Quick Attendee Guide)</a><br><a href="https://2024.splashcon.org/attending/mt.-baldy-bicycle-trip" class="navigate">Mt. Baldy Bicycle Trip</a><br><a href="https://2024.splashcon.org/attending/attractions-around-pasadena" class="navigate">Attractions Around Pasadena</a><br><a href="https://2024.splashcon.org/attending/virtual-live-streams" class="navigate">Live Stream</a></div><div class="col-sm-2"><a href="https://2024.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>