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://2022.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2022.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>SPLASH 2022 - COVID Time Papers In Person - SPLASH 2022</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2022.splashcon.org";</script> <link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/getFile/a31272be-a48d-4247-bb32-82f84d02540b/header2022.css?1633623086683" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2022.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://2022.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2022.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> <meta name='description' content='Several SIGPLAN conferences have been held virtually or in hybrid mode since March 2020. We invite authors of papers from ICFP, OOPSLA, POPL, and PLDI conferences who were previously only able to present their work in a virtual track, to come to Auckland and present their work in person at SPLASH 2022. NB! Only papers never presented in past SIGPLAN Tracks of the other conferences are eligible. These presentations will be given during the main conference days, in parallel with OOPSLA and Onward! 2022 presentations. They will not be streamed, since they were already streamed at their res ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2022 - COVID Time Papers In Person - SPLASH 2022'> <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> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Several SIGPLAN conferences have been held virtually or in hybrid mode since March 2020. We invite authors of papers from ICFP, OOPSLA, POPL, and PLDI conferences who were previously only able to present their work in a virtual track, to come to Auckland and present their work in person at SPLASH 2022. NB! Only papers never presented in past SIGPLAN Tracks of the other conferences are eligible. These presentations will be given during the main conference days, in parallel with OOPSLA and Onward! 2022 presentations. They will not be streamed, since they were already streamed at their res ...'> <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://2022.splashcon.org/getImage/carousel/CU55-Hobbiton-Matamata--Waikato-Sara-Orme.jpg?1629927277000'>  </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2022.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2022</span></a><div class="place">Mon 5 - Sat 10 December 2022 <a href="https://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Auckland, New Zealand</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://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Venue: University of Auckland</a></li><li class="block"><a href="https://2022.splashcon.org/attending/how-to-splash" class="navigate">How To SPLASH</a></li><li class="block"><a href="https://2022.splashcon.org/attending/gc-welcome" class="navigate">General Chair Welcome</a></li><li class="block"><a href="https://2022.splashcon.org/attending/keynotes-4-industry" class="navigate">Keynotes 4 Industry</a></li><li class="block"><a href="https://2022.splashcon.org/attending/speaker-instructions" class="navigate">Speaker Instructions</a></li><li class="block"><a href="https://2022.splashcon.org/attending/session-chair-instructions" class="navigate">Session Chair Instructions</a></li><li class="block"><a href="https://2022.splashcon.org/attending/virtual-splash-2022" class="navigate">Virtual SPLASH 2022</a></li><li class="block"><a href="https://2022.splashcon.org/attending/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://2022.splashcon.org/attending/covid" class="navigate">COVID</a></li><li class="block"><a href="https://2022.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2022.splashcon.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2022.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2022.splashcon.org/attending/tourism-nz" class="navigate">Tourism NZ</a></li><li class="block"><a href="https://2022.splashcon.org/attending/visas" class="navigate">Visas for New Zealand</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://2022.splashcon.org/program/program-splash-2022/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" 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://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Mon 5 Dec 2022" class="navigate">Mon 5 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Tue 6 Dec 2022" class="navigate">Tue 6 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Wed 7 Dec 2022" class="navigate">Wed 7 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Thu 8 Dec 2022" class="navigate">Thu 8 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Fri 9 Dec 2022" class="navigate">Fri 9 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Sat 10 Dec 2022" class="navigate">Sat 10 Dec</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 2022</li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-oopsla" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-opening-and-welcome" class="navigate">Opening and Welcome</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-v-oopsla" class="navigate">V-OOPSLA</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" class="navigate">COVID Time Papers In Person</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-panels" class="navigate">Panels</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-splash-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-w-splash" class="navigate">W@SPLASH</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-pltea" class="navigate">PLTea</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-cares" class="navigate">CARES</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>APLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/aplas-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> APLAS</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2022/aplas-2022-aec" class="navigate"><strong>APLAS</strong> Research Artifacts</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2022/aplas-2022-papers" class="navigate"><strong>APLAS</strong> </a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/track/dls-2022-papers" class="navigate"><strong>DLS</strong> </a></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://2022.splashcon.org/home/gpce-2022" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://2022.splashcon.org/track/gpce-2022-gpce-keynote" class="navigate"><strong>GPCE</strong> Keynote</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/sas-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> SAS</a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2022/sas-2022-papers" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2022/sas-2022-artifacts" class="navigate"><strong>SAS</strong> Artifacts</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://2022.splashcon.org/home/sle-2022" class="navigate"><strong>SLE</strong> </a></li><li class="block"><a href="https://2022.splashcon.org/track/sle-2022-sle-keynote" class="navigate"><strong>SLE</strong> Keynote</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2022.splashcon.org/home/ftscs-2022" class="navigate"><strong>FTSCS</strong> Formal Techniques for Safety-Critical Systems</a></li><li class="block"><a href="https://2022.splashcon.org/home/hatra-2022" class="navigate"><strong>HATRA</strong> Human Aspects of Types and Reasoning Assistants</a></li><li class="block"><a href="https://2022.splashcon.org/home/live-2022" class="navigate"><strong>LIVE</strong> Live Programming</a></li><li class="block"><a href="https://2022.splashcon.org/home/paint-2022" class="navigate"><strong>PAINT</strong> Programming Abstractions and Interactive Notations, Tools, and Environments</a></li><li class="block"><a href="https://2022.splashcon.org/home/rebls-2022" class="navigate"><strong>REBLS</strong> Reactive and Event-Based Languages and Systems</a></li><li class="block"><a href="https://2022.splashcon.org/home/unsound-2022" class="navigate"><strong>Unsound</strong> Sources of Unsoundness in Verification</a></li><li class="block"><a href="https://2022.splashcon.org/home/vmil-2022" class="navigate"><strong>VMIL</strong> Virtual Machines and Language Implementations</a></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 2022 Committees</li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-psla-review-committee" class="navigate">Review Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-oopsla-external-review---artifact-evaluation-committee" class="navigate">External Review / Artifact Evaluation Committee</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-sigplan-papers-overview-committee" class="navigate"><strong>COVID Time Papers In Person</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://2022.splashcon.org/committee/splash-2022-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-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://2022.splashcon.org/committee/splash-2022-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Onward-papers-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></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://2022.splashcon.org/committee/splash-2022-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-judges" class="navigate">Judges</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-reviewers-judges" class="navigate">Reviewers</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-panels-organiser" class="navigate"><strong>Panels</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://2022.splashcon.org/committee/splash-2022-SPLASH-E-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-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>PLMW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-pltea-chairs" class="navigate"><strong>PLTea</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2022.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>APLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/aplas-2022/aplas-2022-pc" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2022/aplas-2022-aec" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/dls-2022-research-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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-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>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-keynote-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-sas2022-program-committee" class="navigate"><strong>SAS</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-sas-2022-artifacts-program-committee" class="navigate"><strong>SAS 2022 Artifacts</strong></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://2022.splashcon.org/committee/sle-2022-keynote-speaker" class="navigate">Keynote Speaker</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-organising-committee" class="navigate">Organising Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-artifact-evaluation-committee" class="navigate">Artifact Evaluation 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>FTSCS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/ftscs-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/ftscs-2022-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>HATRA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/hatra-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/hatra-2022-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://2022.splashcon.org/committee/live-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/live-2022-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://2022.splashcon.org/committee/paint-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/paint-2022-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>REBLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/rebls-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/rebls-2022-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://2022.splashcon.org/committee/unsound-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/unsound-2022-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://2022.splashcon.org/committee/vmil-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2022.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://2022.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"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2022</span></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-2022/https%3A%5Es%5Es2022.splashcon.org%5Estrack%5Essplash-2022-sigplan-papers" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2022.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://2022.splashcon.org" class="navigate">SPLASH 2022</a> (<a href="https://2022.splashcon.org/series/splash" class="navigate">series</a>) / </span><h1>COVID Time Papers In Person<span class="pull-right small h1">SPLASH 2022</span></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></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>Several SIGPLAN conferences have been held virtually or in hybrid mode since March 2020.</p> <p>We invite authors of papers from ICFP, OOPSLA, POPL, and PLDI conferences who were previously only able to present their work in a virtual track, to come to Auckland and present their work in person at SPLASH 2022.</p> <p><strong>NB!</strong> <em>Only papers never presented in past SIGPLAN Tracks of the other conferences are eligible.</em></p> <p>These presentations will be given during the main conference days, in parallel with OOPSLA and Onward! 2022 presentations. They will not be streamed, since they were already streamed at their respective conferences in a virtual track.</p> <p>Registration deadline: October 1st, 2022</p> <p>Registration to present SIGPLAN OOPSLA/Onward!/POPL/PLDI/ICFP covid-affected papers: please fill up this <a href="https://forms.gle/LYr8y9k5desWTgYD9">form</a>.</p> <p><strong>UPDATE:</strong> We are providing the same opportunity to the COVID-affected authors of GPCE, DLS, SAS, and SLE. To register, please fill up this <a href="https://forms.gle/XwcAKe5GYacvdjBPA">form</a>.</p> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><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://2022.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-2022" /><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+13:00) Auckland, Wellington</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+13:00) Auckland, Wellington</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-10: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-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08: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-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07: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-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05: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-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03: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-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03: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-01:00) 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) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) 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+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01: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+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02: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+02: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+02: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://2022.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2022"},],"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 != 780){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 5 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Mon 5 Dec 2022" data-facet-date-order="221205" data-facet-room="Catering Area" 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">10:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e0aea026-b097-4a56-8e79-4aee4e308637" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Mon 5 Dec 2022" data-facet-date-order="221205" data-facet-room="Lecture Theatre 2" 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 c34"></td><td><div class="slot-label">11:00 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">SLE and GPCE Papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-lecture-theatre-2" target="_blank" class="room-link navigate">Lecture Theatre 2</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/andreeacostea" target="_blank" class="navigate">Andreea Costea</a><span class="prog-aff"> School of Computing, National University Of Singapore</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="47ce9235-211e-437e-a31f-18d2e9968723" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="027225c0-11b6-4926-ad62-3abaea7d721f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="027225c0-11b6-4926-ad62-3abaea7d721f">FIDDLR: streamlining reuse with concern-specific modelling languages</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/maximilianschiedermeier" class="navigate">Maximilian Schiedermeier</a><span class="prog-aff"> McGill University</span>, <a href="https://2022.splashcon.org/profile/jorgkienzle" class="navigate">J枚rg Kienzle</a><span class="prog-aff"> McGill University, Canada</span>, <a href="https://2022.splashcon.org/profile/bettinakemme" class="navigate">Bettina Kemme</a><span class="prog-aff"> McGill University, Canada</span></div><a href="https://doi.org/10.1145/3486608.3486913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486608.3486913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="ac2f8c39-f3c2-4beb-b377-33c244a524bf" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="99263391-0eb0-4882-9e83-80ee0bb3dafe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="99263391-0eb0-4882-9e83-80ee0bb3dafe">Manipulating GUI Structures Declaratively</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/knutandersstokke" class="navigate">Knut Anders Stokke</a><span class="prog-aff"> </span>, <a href="https://2022.splashcon.org/profile/mikhailbarash" class="navigate">Mikhail Barash</a><span class="prog-aff"> University of Bergen</span>, <a href="https://2022.splashcon.org/profile/jaakkojarvi" class="navigate">Jaakko J盲rvi</a><span class="prog-aff"> University of Turku</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3425898.3426956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3425898.3426956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Mon 5 Dec 2022" data-facet-date-order="221205" data-facet-room="Catering Area" 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">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="26f0000e-5eaf-49ad-850b-a4b8a873e4d4" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17">Lunch</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 5 Dec 2022" data-facet-date-order="221205" data-facet-room="Lecture Theatre 2" 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 c34"></td><td><div class="slot-label">13:30 - 14:30</div></td><td colspan="2"><div class="session-info-in-table">SLE papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-lecture-theatre-2" target="_blank" class="room-link navigate">Lecture Theatre 2</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/peterthiemann" target="_blank" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="9def1b24-025f-44b3-bdf7-1cea5f8b3436" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="06b65f6d-7007-4f02-a20e-aa784b6f69f3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="06b65f6d-7007-4f02-a20e-aa784b6f69f3">Automatic Grammar Repair </a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/moeketsiraselimo" class="navigate">Moeketsi Raselimo</a><span class="prog-aff"> Stellenbosch University, South Africa</span>, <a href="https://2022.splashcon.org/profile/berndfischer" class="navigate">Bernd Fischer</a><span class="prog-aff"> Stellenbosch University, South Africa</span></div><a href="https://dl.acm.org/doi/10.1145/3486608.3486910" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486608.3486910" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="3be0735f-86d9-4ef8-a5cb-4cac2dc77473" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="e9142d13-4caf-4d50-ac37-f1c521a0b101" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e9142d13-4caf-4d50-ac37-f1c521a0b101">Grammar-based testing for little languages: an experience report with student compilers</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/phillipvanheerden" class="navigate">Phillip van Heerden</a><span class="prog-aff"> Stellenbosch University</span>, <a href="https://2022.splashcon.org/profile/moeketsiraselimo" class="navigate">Moeketsi Raselimo</a><span class="prog-aff"> Stellenbosch University, South Africa</span>, <a href="https://2022.splashcon.org/profile/kostissagonas" class="navigate">Konstantinos (Kostis) Sagonas</a><span class="prog-aff"> Uppsala University and Nat. Tech. Univ. of Athens</span>, <a href="https://2022.splashcon.org/profile/berndfischer" class="navigate">Bernd Fischer</a><span class="prog-aff"> Stellenbosch University, South Africa</span></div><a href="https://dl.acm.org/doi/10.1145/3426425.3426946" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426425.3426946" 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="Mon 5 Dec 2022" data-facet-date-order="221205" data-facet-room="Catering Area" 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">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="872f1d81-0072-451f-8ef8-c8301de2ec46" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Tue 6 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-15"><table data-facet-date="Tue 6 Dec 2022" data-facet-date-order="221206" data-facet-room="Catering Area" 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">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d88ecba3-17d3-4720-b78e-ec4e59f3210e" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Tue 6 Dec 2022" data-facet-date-order="221206" data-facet-room="Lecture Theatre 2" 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 c34"></td><td><div class="slot-label">15:30 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">APLAS Papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-lecture-theatre-2" target="_blank" class="room-link navigate">Lecture Theatre 2</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/joxanjaffar" target="_blank" class="navigate">Joxan Jaffar</a><span class="prog-aff"> National University of Singapore</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="35f131a0-56bc-4283-bf7b-d6c3dd4c04df" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="d286f50f-9067-4a43-9d35-4828945f088b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d286f50f-9067-4a43-9d35-4828945f088b">A Counterexample-Guided Debugger for Non-Recursive Datalog</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/vandangtran" class="navigate">Van-Dang Tran</a><span class="prog-aff"> National Institute of Informatics, Japan</span>, <a href="https://2022.splashcon.org/profile/hiroyukikato" class="navigate">Hiroyuki Kato</a><span class="prog-aff"> National Institute of Informatics, Japan</span>, <a href="https://2022.splashcon.org/profile/zhenjianghu" class="navigate">Zhenjiang Hu</a><span class="prog-aff"> Peking University</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-64437-6_17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-64437-6_17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="1e537661-3873-4460-9a72-38c31dd4fa3b" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="54ad743b-c892-4f3b-9f4e-405b68744c3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="54ad743b-c892-4f3b-9f4e-405b68744c3b">A New Refinement Type System for Automated nu-HFLZ Validity Checking</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/hiroyukikatsura" class="navigate">Hiroyuki Katsura</a><span class="prog-aff"> </span>, <a href="https://2022.splashcon.org/profile/naokiiwayama" class="navigate">Naoki Iwayama</a><span class="prog-aff"> University of Tokyo, Japan</span>, <a href="https://2022.splashcon.org/profile/naokikobayashi" class="navigate">Naoki Kobayashi</a><span class="prog-aff"> University of Tokyo, Japan</span>, <a href="https://2022.splashcon.org/profile/takeshitsukada" class="navigate">Takeshi Tsukada</a><span class="prog-aff"> Chiba University</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-64437-6_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-64437-6_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="c81a870f-49a5-4706-a346-4477b8b78785" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="5773c877-aa2e-4072-aeb4-23b6a1502db9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5773c877-aa2e-4072-aeb4-23b6a1502db9">P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/andrearosa" class="navigate">Andrea Ros脿</a><span class="prog-aff"> USI Lugano</span>, <a href="https://2022.splashcon.org/profile/walterbinder" class="navigate">Walter Binder</a><span class="prog-aff"> USI Lugano</span></div><a href="https://dl.acm.org/doi/abs/10.1007/978-3-030-64437-6_19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-64437-6_19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="bbcafad6-c1b0-4b5a-a23e-14d0c75c068d" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="ac0a5596-7d37-46ac-92cc-108b5ad08108" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ac0a5596-7d37-46ac-92cc-108b5ad08108">Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/tsubasashoshi" class="navigate">Tsubasa Shoshi</a><span class="prog-aff"> </span>, <a href="https://2022.splashcon.org/profile/takumaishikawa" class="navigate">Takuma Ishikawa</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://2022.splashcon.org/profile/naokikobayashi" class="navigate">Naoki Kobayashi</a><span class="prog-aff"> University of Tokyo, Japan</span>, <a href="https://2022.splashcon.org/profile/kensakayori" class="navigate">Ken Sakayori</a><span class="prog-aff"> University of Bologna</span>, <a href="https://2022.splashcon.org/profile/ryosukesato" class="navigate">Ryosuke Sato</a><span class="prog-aff"> University of Tokyo, Japan</span>, <a href="https://2022.splashcon.org/profile/takeshitsukada" class="navigate">Takeshi Tsukada</a><span class="prog-aff"> Chiba University</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-89051-3_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-89051-3_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 7 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-12"><table data-facet-date="Wed 7 Dec 2022" data-facet-date-order="221207" data-facet-room="Catering Area" 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">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="45bb34f2-cb0b-44d2-b8e4-df4ad4834719" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17">Lunch</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 7 Dec 2022" data-facet-date-order="221207" data-facet-room="Lecture Theatre 2" 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 c34"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">SAS Papers 1<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-lecture-theatre-2" target="_blank" class="room-link navigate">Lecture Theatre 2</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/robertogiacobazzi" target="_blank" class="navigate">Roberto Giacobazzi</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="4877622c-1af1-4e60-9e5a-2f7dca947fa0" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="b64c7bff-0f97-48f3-9840-e2e2d834fbb4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b64c7bff-0f97-48f3-9840-e2e2d834fbb4">Abstract Neural Networks</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/matthewsotoudeh" class="navigate">Matthew Sotoudeh</a><span class="prog-aff"> Stanford University</span>, <a href="https://2022.splashcon.org/profile/adityavthakur" class="navigate">Aditya V. Thakur</a><span class="prog-aff"> University of California at Davis</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-65474-0_4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-65474-0_4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="17693282-1ec8-4e49-959c-dc9e4a0d8775" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="4823b3e4-ff64-4fdb-8d17-56153b99dc74" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4823b3e4-ff64-4fdb-8d17-56153b99dc74">Reduced Products of Abstract Domains for Fairness Certification of Neural Networks</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/denismazzucato" class="navigate">Denis Mazzucato</a><span class="prog-aff"> INRIA & 脡cole Normale Sup茅rieure</span>, <a href="https://2022.splashcon.org/profile/caterinaurban" class="navigate">Caterina Urban</a><span class="prog-aff"> Inria & 脡cole Normale Sup茅rieure | Universit茅 PSL</span></div><a href="https://dl.acm.org/doi/abs/10.1007/978-3-030-88806-0_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="fcada08e-6373-4848-a3e3-af44cbf4328e" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="4ea1b78d-a859-4c59-bfa8-fa3684560f02" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4ea1b78d-a859-4c59-bfa8-fa3684560f02">Static analysis of ReLU neural networks with tropical polyhedra</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/ericgoubault" class="navigate">Eric Goubault</a><span class="prog-aff"> Ecole Polytechnique</span>, <a href="https://2022.splashcon.org/profile/sebastienpalumby" class="navigate">Sebastien Palumby</a><span class="prog-aff"> Ecole Polytechnique</span>, <a href="https://2022.splashcon.org/profile/sylvieputot" class="navigate">Sylvie Putot</a><span class="prog-aff"> 脡cole Polytechnique</span>, <a href="https://2022.splashcon.org/profile/louisrustenholz" class="navigate">Louis Rustenholz</a><span class="prog-aff"> Universidad Polit茅cnica de Madrid (UPM) and IMDEA Software Institute</span>, <a href="https://2022.splashcon.org/profile/sriramsankaranarayanan" class="navigate">Sriram Sankaranarayanan</a><span class="prog-aff"> University of Colorado, Boulder</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_8" 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="Wed 7 Dec 2022" data-facet-date-order="221207" data-facet-room="Catering Area" 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">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2816502a-4e07-42f3-8a20-4b39734fe608" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 7 Dec 2022" data-facet-date-order="221207" data-facet-room="Lecture Theatre 2" 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 c34"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">SAS Papers 2<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-lecture-theatre-2" target="_blank" class="room-link navigate">Lecture Theatre 2</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/benoitmontagu1" target="_blank" class="navigate">Beno卯t Montagu</a><span class="prog-aff"> Inria</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ddcc9b0a-cd34-41fc-9962-25e057c32899" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="c6757958-1801-4a18-b88c-08a1f36779df" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c6757958-1801-4a18-b88c-08a1f36779df">Compositional Verification of Smart Contracts Through Communication Abstraction</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/scottwesley" class="navigate">Scott Wesley</a><span class="prog-aff"> University of Waterloo, Canada</span>, <a href="https://2022.splashcon.org/profile/mariachristakis" class="navigate">Maria Christakis</a><span class="prog-aff"> MPI-SWS</span>, <a href="https://2022.splashcon.org/profile/jorgeanavas" class="navigate">Jorge A. Navas</a><span class="prog-aff"> Certora, inc.</span>, <a href="https://2022.splashcon.org/profile/richardtrefler" class="navigate">Richard Trefler</a><span class="prog-aff"> University of Waterloo, Canada</span>, <a href="https://2022.splashcon.org/profile/valentinwustholz" class="navigate">Valentin W眉stholz</a><span class="prog-aff"> ConsenSys</span>, <a href="https://2022.splashcon.org/profile/ariegurfinkel" class="navigate">Arie Gurfinkel</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="32b0b8b1-eac4-4d11-86c6-667f16cbc65c" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="288fb61c-d7f2-46bd-b9c2-a421da911981" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="288fb61c-d7f2-46bd-b9c2-a421da911981">Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/hugoillous" class="navigate">Hugo Illous</a><span class="prog-aff"> CEA & INRIA / ENS Paris</span>, <a href="https://2022.splashcon.org/profile/matthieulemerre" class="navigate">Matthieu Lemerre</a><span class="prog-aff"> CEA LIST, France</span>, <a href="https://2022.splashcon.org/profile/xavierrival" class="navigate">Xavier Rival</a><span class="prog-aff"> INRIA/CNRS/ENS Paris</span></div><a href="https://dl.acm.org/doi/abs/10.1007/978-3-030-65474-0_12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-65474-0_12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 8 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Thu 8 Dec 2022" data-facet-date-order="221208" data-facet-room="Catering Area" 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">10:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0d110dc9-53c6-4a58-9293-f51f8c6715f3" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Thu 8 Dec 2022" data-facet-date-order="221208" data-facet-room="Seminar Room LG004" 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 c34"></td><td><div class="slot-label">10:30 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">ICFP and SAS<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-seminar-room-lg004" target="_blank" class="room-link navigate">Seminar Room LG004</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/peterthiemann" target="_blank" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="69a6e6cc-0513-423d-b3a2-2a57ca6e6dce" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="d33eb1ed-bbe5-42e2-bf34-7973ef1a1986" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d33eb1ed-bbe5-42e2-bf34-7973ef1a1986">Composing and decomposing op-based CRDTs with semidirect products</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/matthewweidner" class="navigate">Matthew Weidner</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.splashcon.org/profile/heathermiller" class="navigate">Heather Miller</a><span class="prog-aff"> Carnegie Mellon University, USA</span>, <a href="https://2022.splashcon.org/profile/christophermeiklejohn" class="navigate">Christopher Meiklejohn</a><span class="prog-aff"> Carnegie Mellon University</span></div><a href="https://dl.acm.org/doi/10.1145/3408976" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3408976" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="40171dec-791c-4998-a123-e3559aabf43c" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="69818de0-da00-4698-a6ea-b40ea244ebe5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="69818de0-da00-4698-a6ea-b40ea244ebe5">Improving Thread-Modular Abstract Interpretation</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/michaelschwarz" class="navigate">Michael Schwarz</a><span class="prog-aff"> Technische Universit盲t M眉nchen</span>, <a href="https://2022.splashcon.org/profile/simmosaan" class="navigate">Simmo Saan</a><span class="prog-aff"> University of Tartu, Estonia</span>, <a href="https://2022.splashcon.org/profile/helmutseidl" class="navigate">Helmut Seidl</a><span class="prog-aff"> Technische Universit盲t M眉nchen</span>, <a href="https://2022.splashcon.org/profile/kalmerapinis" class="navigate">Kalmer Apinis</a><span class="prog-aff"> University of Tartu, Estonia</span>, <a href="https://2022.splashcon.org/profile/julianerhard" class="navigate">Julian Erhard</a><span class="prog-aff"> Technical University of Munich</span>, <a href="https://2022.splashcon.org/profile/vesalvojdani" class="navigate">Vesal Vojdani</a><span class="prog-aff"> University of Tartu</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="9cd497de-6477-4e64-a9b0-fdd75cad3a1c" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="556bfbca-d159-44e7-8f16-08f86f74f83e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="556bfbca-d159-44e7-8f16-08f86f74f83e">Static Analysis of Endian Portability by Abstract Interpretation<span class="pull-right"><span data-facet-badge="Virtual" class="output-badge" style="max-width:40px;"><span class="label-primary label">Virtual</span></span></span></a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/daviddelmas" class="navigate">David Delmas</a><span class="prog-aff"> Airbus & Sorbonne Universit茅</span>, <a href="https://2022.splashcon.org/profile/abdelraoufouadjaout" class="navigate">Abdelraouf Ouadjaout</a><span class="prog-aff"> Sorbonne Universit茅</span>, <a href="https://2022.splashcon.org/profile/antoinemine" class="navigate">Antoine Min茅</a><span class="prog-aff"> Sorbonne Universit茅</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Thu 8 Dec 2022" data-facet-date-order="221208" data-facet-room="Catering Area" 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">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="68970e26-23a0-46b9-ba06-d105f03b5fe6" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17">Lunch</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 8 Dec 2022" data-facet-date-order="221208" data-facet-room="Catering Area" 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">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8e9543db-e26a-4178-823b-237663338d79" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 8 Dec 2022" data-facet-date-order="221208" data-facet-room="Seminar Room LG004" 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 c34"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">ICFP Papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-seminar-room-lg004" target="_blank" class="room-link navigate">Seminar Room LG004</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/matthieulemerre" target="_blank" class="navigate">Matthieu Lemerre</a><span class="prog-aff"> CEA LIST, France</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="fd924293-ae31-4518-90da-5b44077e951a" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="0b513098-4f48-451c-baeb-105a9405615e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0b513098-4f48-451c-baeb-105a9405615e">Certifying the Synthesis of Heap-Manipulating Programs</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/yasunariwatanabe" class="navigate">Yasunari Watanabe</a><span class="prog-aff"> Ahrefs Research</span>, <a href="https://2022.splashcon.org/profile/kirangopinathan1" class="navigate">Kiran Gopinathan</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/georgepirlea" class="navigate">George P卯rlea</a><span class="prog-aff"> National University of Singapore, Singapore</span>, <a href="https://2022.splashcon.org/profile/nadiapolikarpova" class="navigate">Nadia Polikarpova</a><span class="prog-aff"> University of California at San Diego</span>, <a href="https://2022.splashcon.org/profile/ilyasergey" class="navigate">Ilya Sergey</a><span class="prog-aff"> National University of Singapore</span></div><a href="https://dl.acm.org/doi/10.1145/3473589" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3473589" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="1ec3b64d-5d40-4c47-ad91-f64e4d2671c1" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="1694d247-7ea8-4ee8-9320-d4840455a416" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1694d247-7ea8-4ee8-9320-d4840455a416">Kindly Bent to Free Us</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/gabrielradanne" class="navigate">Gabriel Radanne</a><span class="prog-aff"> Inria</span>, <a href="https://2022.splashcon.org/profile/hannessaffrich" class="navigate">Hannes Saffrich</a><span class="prog-aff"> University of Freiburg</span>, <a href="https://2022.splashcon.org/profile/peterthiemann" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></div><a href="https://dl.acm.org/doi/10.1145/3408985" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3408985" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="0bc3856a-c636-483e-9e84-805937767edd" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="91d112ef-58ee-47dd-b6e9-23c2fb0bacb1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="91d112ef-58ee-47dd-b6e9-23c2fb0bacb1">Stable relations and abstract interpretation of higher-order programs</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/benoitmontagu1" class="navigate">Beno卯t Montagu</a><span class="prog-aff"> Inria</span>, <a href="https://2022.splashcon.org/profile/thomaspjensen" class="navigate">Thomas P. Jensen</a><span class="prog-aff"> INRIA Rennes</span></div><a href="https://dl.acm.org/doi/10.1145/3409001" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2022.splashcon.org/details/splash-2022-sigplan-papers/18/Stable-relations-and-abstract-interpretation-of-higher-order-programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 8 Dec 2022" data-facet-date-order="221208" data-facet-room="Auckland Museum (Banquet Only)" 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">18:00 - 21:00</div></td><td colspan="2"><div class="session-info-in-table">Banquet<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-auckland-museum-%28banquet-only%29" target="_blank" class="room-link navigate">Auckland Museum (Banquet Only)</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="55a1fbc0-0653-4d9c-848c-9f26f098405e" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>3h</strong></div><div class="event-type">Dinner</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="be3fed00-d0a6-4a03-8c39-d26045762be0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="be3fed00-d0a6-4a03-8c39-d26045762be0">Dinner</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 9 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Fri 9 Dec 2022" data-facet-date-order="221209" data-facet-room="Catering Area" 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">10:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8c5db1df-d875-400c-a3d2-32f12eea165f" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Fri 9 Dec 2022" data-facet-date-order="221209" data-facet-room="Seminar Room LG004" 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 c34"></td><td><div class="slot-label">10:30 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">OOPSLA Papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-seminar-room-lg004" target="_blank" class="room-link navigate">Seminar Room LG004</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/manasthakur" target="_blank" class="navigate">Manas Thakur</a><span class="prog-aff"> IIT Bombay</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2b85ae94-1173-4c97-9c6e-364cfa837e62" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="41c2cdb9-a83b-42ff-8a43-7e292ac1f2df" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="41c2cdb9-a83b-42ff-8a43-7e292ac1f2df">Label dependent lambda calculus and gradual typing</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/weilifu1" class="navigate">Weili Fu</a><span class="prog-aff"> University of Freiburg, Germany</span>, <a href="https://2022.splashcon.org/profile/fabiankrause" class="navigate">Fabian Krause</a><span class="prog-aff"> University of Freiburg</span>, <a href="https://2022.splashcon.org/profile/peterthiemann" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></div><a href="https://dl.acm.org/doi/10.1145/3485485" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485485" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="50fa3e5d-c505-4e20-9cf8-296759e8f58e" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="3678282c-0616-4741-983e-1f9fa60677b2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3678282c-0616-4741-983e-1f9fa60677b2">Modular Specification and Verification of Closures in Rust</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/fabianwolff" class="navigate">Fabian Wolff</a><span class="prog-aff"> </span>, <a href="https://2022.splashcon.org/profile/aurelbily" class="navigate">Aurel B铆l媒</a><span class="prog-aff"> ETH Zurich</span>, <a href="https://2022.splashcon.org/profile/christophmatheja1" class="navigate">Christoph Matheja</a><span class="prog-aff"> ETH Zurich</span>, <a href="https://2022.splashcon.org/profile/petermller" class="navigate">Peter M眉ller</a><span class="prog-aff"> ETH Zurich</span>, <a href="https://2022.splashcon.org/profile/alexsummers" class="navigate">Alexander J. Summers</a><span class="prog-aff"> University of British Columbia</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3485522" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485522" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="f35fd876-0a0e-411b-8c58-520620adaac6" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="91218124-9ce0-4b1c-91c4-8970906298ef" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="91218124-9ce0-4b1c-91c4-8970906298ef">Revisiting Iso-Recursive Subtyping<span class="pull-right"><span data-facet-badge="Virtual" class="output-badge" style="max-width:40px;"><span class="label-primary label">Virtual</span></span></span></a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/yaodazhou" class="navigate">Yaoda Zhou</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2022.splashcon.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2022.splashcon.org/profile/jinxuzhao" class="navigate">Jinxu Zhao</a><span class="prog-aff"> University of Hong Kong</span></div><a href="https://dl.acm.org/doi/10.1145/3428291" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3428291" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="dff6230f-20a1-4097-8054-5d0c49942808" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="a1286e9d-e90f-4d08-a2da-82b2a216dbde" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a1286e9d-e90f-4d08-a2da-82b2a216dbde">Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span>, <a href="https://2022.splashcon.org/profile/nevillegrech" class="navigate">Neville Grech</a><span class="prog-aff"> University of Malta</span>, <a href="https://2022.splashcon.org/profile/sifislagouvardos" class="navigate">Sifis Lagouvardos</a><span class="prog-aff"> University of Athens</span>, <a href="https://2022.splashcon.org/profile/konstantinostriantafyllou" class="navigate">Konstantinos Triantafyllou</a><span class="prog-aff"> ETH Zurich</span>, <a href="https://2022.splashcon.org/profile/iliastsatiris" class="navigate">Ilias Tsatiris</a><span class="prog-aff"> University of Athens</span></div><a href="https://doi.org/10.1145/3485540" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485540" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Fri 9 Dec 2022" data-facet-date-order="221209" data-facet-room="Catering Area" 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">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3f0f298f-cd10-4393-884f-81397e5eb41c" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17">Lunch</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 9 Dec 2022" data-facet-date-order="221209" data-facet-room="Seminar Room LG004" 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 c34"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Onward! Papers and Essays<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-seminar-room-lg004" target="_blank" class="room-link navigate">Seminar Room LG004</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/matthewsotoudeh" target="_blank" class="navigate">Matthew Sotoudeh</a><span class="prog-aff"> Stanford University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="cd4db814-1b5e-42c4-acc7-7b861f899962" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="36b91431-0e86-44be-bf6a-e3197e0492d3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="36b91431-0e86-44be-bf6a-e3197e0492d3">A Case Study in Language-Based Security: Building an I/O Library for Wyvern</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/jenniferfish" class="navigate">Jennifer Fish</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.splashcon.org/profile/daryamelicher" class="navigate">Darya Melicher</a><span class="prog-aff"> Google</span>, <a href="https://2022.splashcon.org/profile/jonathanaldrich" class="navigate">Jonathan Aldrich</a><span class="prog-aff"> Carnegie Mellon University</span></div><a href="https://dl.acm.org/doi/10.1145/3426428.3426913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426428.3426913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="e710b3e9-7f66-42b5-99d2-f34acdf932b5" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="f09e4752-c6fa-4ff4-bfaa-7d7fe923075b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f09e4752-c6fa-4ff4-bfaa-7d7fe923075b">How (Not) To Write Java Pointer Analyses After 2020</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/manasthakur" class="navigate">Manas Thakur</a><span class="prog-aff"> IIT Bombay</span></div><a href="https://dl.acm.org/doi/10.1145/3426428.3426923" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426428.3426923" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="f9d54def-acff-46f6-b0a9-51b68d61f16b" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="91645d41-90d3-4ca6-bad0-b284869c1395" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="91645d41-90d3-4ca6-bad0-b284869c1395">Putting the Semantics into Semantic Versioning</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/patricklam" class="navigate">Patrick Lam</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2022.splashcon.org/profile/jensdietrich" class="navigate">Jens Dietrich</a><span class="prog-aff"> Victoria University of Wellington</span>, <a href="https://2022.splashcon.org/profile/davidpearce" class="navigate">David J. Pearce</a><span class="prog-aff"> ConsenSys</span></div><a href="https://dl.acm.org/doi/10.1145/3426428.3426922" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426428.3426922" 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="Fri 9 Dec 2022" data-facet-date-order="221209" data-facet-room="Catering Area" 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">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="edca21bc-f95d-4d32-8f71-6d9682504974" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Sat 10 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-12"><table data-facet-date="Sat 10 Dec 2022" data-facet-date-order="221210" data-facet-room="Catering Area" 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">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="03fc88fe-872d-4baf-9203-8fcfabaaff79" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2b25f9f8-bfd6-4178-9f95-57c9dfd97c17">Lunch</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Sat 10 Dec 2022" data-facet-date-order="221210" data-facet-room="Seminar Room LG004" 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 c34"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">PLDI and POPL Papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-seminar-room-lg004" target="_blank" class="room-link navigate">Seminar Room LG004</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/joxanjaffar" target="_blank" class="navigate">Joxan Jaffar</a><span class="prog-aff"> National University of Singapore</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="12f45edf-5736-4b3d-b4c4-bc7efcdcc377" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="71edb2b4-2d54-4e18-a025-58e93f1c3ee4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="71edb2b4-2d54-4e18-a025-58e93f1c3ee4">PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/fabianritter" class="navigate">Fabian Ritter</a><span class="prog-aff"> Saarland University, Germany</span>, <a href="https://2022.splashcon.org/profile/sebastianhack" class="navigate">Sebastian Hack</a><span class="prog-aff"> Saarland University, Germany</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3385412.3385995" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3385412.3385995" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="65b17391-2cca-4403-89ba-2c2d67277316" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="24e35a39-23d6-445a-9d33-8b8d7cadad3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="24e35a39-23d6-445a-9d33-8b8d7cadad3b">Software Model-Checking as Cyclic-Proof Search</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/takeshitsukada" class="navigate">Takeshi Tsukada</a><span class="prog-aff"> Chiba University</span>, <a href="https://2022.splashcon.org/profile/hiroshiunno" class="navigate">Hiroshi Unno</a><span class="prog-aff"> University of Tsukuba; RIKEN AIP</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3498725" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3498725" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="3dfc35e8-c7e6-4ae3-9f94-a7e0392d3608" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="3642ca61-6d80-4381-8fc9-ad7236230571" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3642ca61-6d80-4381-8fc9-ad7236230571">SolType: Refinement Types for Arithmetic Overflow in Solidity</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/bryantan" class="navigate">Bryan Tan</a><span class="prog-aff"> </span>, <a href="https://2022.splashcon.org/profile/benjaminmariano" class="navigate">Benjamin Mariano</a><span class="prog-aff"> The University of Texas at Austin, Texas, USA</span>, <a href="https://2022.splashcon.org/profile/shuvendulahiri" class="navigate">Shuvendu K. Lahiri</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2022.splashcon.org/profile/isildillig" class="navigate">I艧谋l Dillig</a><span class="prog-aff"> University of Texas at Austin</span>, <a href="https://2022.splashcon.org/profile/yufeng" class="navigate">Yu Feng</a><span class="prog-aff"> University of California at Santa Barbara</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3498665" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3498665" 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="Sat 10 Dec 2022" data-facet-date-order="221210" data-facet-room="Catering Area" 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">15:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee break<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-catering" target="_blank" class="text-muted navigate">Catering and Social Events</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-catering-area" target="_blank" class="room-link navigate">Catering Area</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="341bf1b7-869b-4676-aa49-f21430243241" 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">Coffee break</div><span data-facet-track="SPLASH Catering and Social Events"></span></td><td><span data-event-star="1adb99f5-356d-4bf8-8027-239ec1ac4414" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1adb99f5-356d-4bf8-8027-239ec1ac4414">Coffee break</a></strong><div class="prog-track">Catering and Social Events</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Sat 10 Dec 2022" data-facet-date-order="221210" data-facet-room="Seminar Room LG004" 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 c34"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">PLDI Papers<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" target="_blank" class="text-muted navigate">COVID Time Papers In Person</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-seminar-room-lg004" target="_blank" class="room-link navigate">Seminar Room LG004</a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/jonathanaldrich" target="_blank" class="navigate">Jonathan Aldrich</a><span class="prog-aff"> Carnegie Mellon University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="6446f7cd-4711-4fc0-a467-5dbdcc39ad33" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="20b2c078-a0e4-4b57-b0b1-c6c1e7143f17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="20b2c078-a0e4-4b57-b0b1-c6c1e7143f17">Behavioral simulation for smart contracts</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/sidimohamedbeillahi1" class="navigate">Sidi Mohamed Beillahi</a><span class="prog-aff"> University of Toronto</span>, <a href="https://2022.splashcon.org/profile/gabrielaciocarlie" class="navigate">Gabriela Ciocarlie</a><span class="prog-aff"> University of Texas at San Antonio</span>, <a href="https://2022.splashcon.org/profile/michaelemmi" class="navigate">Michael Emmi</a><span class="prog-aff"> Amazon Web Services</span>, <a href="https://2022.splashcon.org/profile/constantinenea" class="navigate">Constantin Enea</a><span class="prog-aff"> Ecole Polytechnique / LIX / CNRS</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3385412.3386022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3385412.3386022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="571c27ea-6a2f-428d-bd67-f64e902e0857" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="8de76ff9-8d26-42df-853e-2be97b7e6538" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8de76ff9-8d26-42df-853e-2be97b7e6538">Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/lexibrent" class="navigate">Lexi Brent</a><span class="prog-aff"> International Computer Science Institute, USA / University of Sydney, Australia</span>, <a href="https://2022.splashcon.org/profile/nevillegrech" class="navigate">Neville Grech</a><span class="prog-aff"> University of Malta</span>, <a href="https://2022.splashcon.org/profile/sifislagouvardos" class="navigate">Sifis Lagouvardos</a><span class="prog-aff"> University of Athens</span>, <a href="https://2022.splashcon.org/profile/bernhardscholz" class="navigate">Bernhard Scholz</a><span class="prog-aff"> The University of Sydney</span>, <a href="https://2022.splashcon.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3385412.3385990" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3385412.3385990" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="1e5723db-f5e5-432a-b30a-638d18ed9a15" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH COVID Time Papers In Person"></span></td><td><span data-event-star="2ee5bbff-d15c-4916-bf7c-acc091b045cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2ee5bbff-d15c-4916-bf7c-acc091b045cb">Practical Smart Contract Sharding with Ownership and Commutativity Analysis</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/georgepirlea" class="navigate">George P卯rlea</a><span class="prog-aff"> National University of Singapore, Singapore</span>, <a href="https://2022.splashcon.org/profile/amritkumar" class="navigate">Amrit Kumar</a><span class="prog-aff"> Zilliqa Research</span>, <a href="https://2022.splashcon.org/profile/ilyasergey" class="navigate">Ilya Sergey</a><span class="prog-aff"> National University of Singapore</span></div><a href="https://dl.acm.org/doi/10.1145/3453483.3454112" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3453483.3454112" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div><div class="day-wrapper"><h4 class="day-header sticky-top">Unscheduled Events</h4><table class="table table-condensed"><colgroup width="10"/><colgroup width="100"/><colgroup width="10"/><colgroup/><tr><td class="track-color c34"></td><td><span class="text-muted">Not scheduled</span><br/><em>Talk</em></td><td><span data-event-star="1cad9af2-1290-4a2d-9d03-56e08c4f49b5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1cad9af2-1290-4a2d-9d03-56e08c4f49b5">Vision: the next 700 language workbenches</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/mikhailbarash" class="navigate">Mikhail Barash</a><span class="prog-aff"> University of Bergen</span></div><a href="https://dl.acm.org/doi/10.1145/3486608.3486907" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486608.3486907" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td class="track-color c34"></td><td><span class="text-muted">Not scheduled</span><br/><em>Talk</em></td><td><span data-event-star="a05d945d-4729-4564-abd3-24433f1cb997" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a05d945d-4729-4564-abd3-24433f1cb997">Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis</a></strong><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/anastasiaisychev" class="navigate">Anastasia Isychev</a><span class="prog-aff"> Technical University of Munich</span>, <a href="https://2022.splashcon.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> Uppsala University</span>, <a href="https://2022.splashcon.org/profile/helmutseidl" class="navigate">Helmut Seidl</a><span class="prog-aff"> Technische Universit盲t M眉nchen</span></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-65474-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-65474-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></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="b64c7bff-0f97-48f3-9840-e2e2d834fbb4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b64c7bff-0f97-48f3-9840-e2e2d834fbb4">Abstract Neural Networks</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/matthewsotoudeh" class="navigate">Matthew Sotoudeh</a>, <a href="https://2022.splashcon.org/profile/adityavthakur" class="navigate">Aditya V. Thakur</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-65474-0_4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-65474-0_4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="36b91431-0e86-44be-bf6a-e3197e0492d3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="36b91431-0e86-44be-bf6a-e3197e0492d3">A Case Study in Language-Based Security: Building an I/O Library for Wyvern</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/jenniferfish" class="navigate">Jennifer Fish</a>, <a href="https://2022.splashcon.org/profile/daryamelicher" class="navigate">Darya Melicher</a>, <a href="https://2022.splashcon.org/profile/jonathanaldrich" class="navigate">Jonathan Aldrich</a></div><a href="https://dl.acm.org/doi/10.1145/3426428.3426913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426428.3426913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="d286f50f-9067-4a43-9d35-4828945f088b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d286f50f-9067-4a43-9d35-4828945f088b">A Counterexample-Guided Debugger for Non-Recursive Datalog</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/vandangtran" class="navigate">Van-Dang Tran</a>, <a href="https://2022.splashcon.org/profile/hiroyukikato" class="navigate">Hiroyuki Kato</a>, <a href="https://2022.splashcon.org/profile/zhenjianghu" class="navigate">Zhenjiang Hu</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-64437-6_17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-64437-6_17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="54ad743b-c892-4f3b-9f4e-405b68744c3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="54ad743b-c892-4f3b-9f4e-405b68744c3b">A New Refinement Type System for Automated nu-HFLZ Validity Checking</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/hiroyukikatsura" class="navigate">Hiroyuki Katsura</a>, <a href="https://2022.splashcon.org/profile/naokiiwayama" class="navigate">Naoki Iwayama</a>, <a href="https://2022.splashcon.org/profile/naokikobayashi" class="navigate">Naoki Kobayashi</a>, <a href="https://2022.splashcon.org/profile/takeshitsukada" class="navigate">Takeshi Tsukada</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-64437-6_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-64437-6_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="06b65f6d-7007-4f02-a20e-aa784b6f69f3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="06b65f6d-7007-4f02-a20e-aa784b6f69f3">Automatic Grammar Repair </a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/moeketsiraselimo" class="navigate">Moeketsi Raselimo</a>, <a href="https://2022.splashcon.org/profile/berndfischer" class="navigate">Bernd Fischer</a></div><a href="https://dl.acm.org/doi/10.1145/3486608.3486910" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486608.3486910" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="20b2c078-a0e4-4b57-b0b1-c6c1e7143f17" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="20b2c078-a0e4-4b57-b0b1-c6c1e7143f17">Behavioral simulation for smart contracts</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/sidimohamedbeillahi1" class="navigate">Sidi Mohamed Beillahi</a>, <a href="https://2022.splashcon.org/profile/gabrielaciocarlie" class="navigate">Gabriela Ciocarlie</a>, <a href="https://2022.splashcon.org/profile/michaelemmi" class="navigate">Michael Emmi</a>, <a href="https://2022.splashcon.org/profile/constantinenea" class="navigate">Constantin Enea</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3385412.3386022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3385412.3386022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="0b513098-4f48-451c-baeb-105a9405615e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0b513098-4f48-451c-baeb-105a9405615e">Certifying the Synthesis of Heap-Manipulating Programs</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/yasunariwatanabe" class="navigate">Yasunari Watanabe</a>, <a href="https://2022.splashcon.org/profile/kirangopinathan1" class="navigate">Kiran Gopinathan</a>, <a href="https://2022.splashcon.org/profile/georgepirlea" class="navigate">George P卯rlea</a>, <a href="https://2022.splashcon.org/profile/nadiapolikarpova" class="navigate">Nadia Polikarpova</a>, <a href="https://2022.splashcon.org/profile/ilyasergey" class="navigate">Ilya Sergey</a></div><a href="https://dl.acm.org/doi/10.1145/3473589" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3473589" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="d33eb1ed-bbe5-42e2-bf34-7973ef1a1986" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d33eb1ed-bbe5-42e2-bf34-7973ef1a1986">Composing and decomposing op-based CRDTs with semidirect products</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/matthewweidner" class="navigate">Matthew Weidner</a>, <a href="https://2022.splashcon.org/profile/heathermiller" class="navigate">Heather Miller</a>, <a href="https://2022.splashcon.org/profile/christophermeiklejohn" class="navigate">Christopher Meiklejohn</a></div><a href="https://dl.acm.org/doi/10.1145/3408976" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3408976" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="c6757958-1801-4a18-b88c-08a1f36779df" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c6757958-1801-4a18-b88c-08a1f36779df">Compositional Verification of Smart Contracts Through Communication Abstraction</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/scottwesley" class="navigate">Scott Wesley</a>, <a href="https://2022.splashcon.org/profile/mariachristakis" class="navigate">Maria Christakis</a>, <a href="https://2022.splashcon.org/profile/jorgeanavas" class="navigate">Jorge A. Navas</a>, <a href="https://2022.splashcon.org/profile/richardtrefler" class="navigate">Richard Trefler</a>, <a href="https://2022.splashcon.org/profile/valentinwustholz" class="navigate">Valentin W眉stholz</a>, <a href="https://2022.splashcon.org/profile/ariegurfinkel" class="navigate">Arie Gurfinkel</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="a05d945d-4729-4564-abd3-24433f1cb997" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a05d945d-4729-4564-abd3-24433f1cb997">Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/anastasiaisychev" class="navigate">Anastasia Isychev</a>, <a href="https://2022.splashcon.org/profile/evadarulova" class="navigate">Eva Darulova</a>, <a href="https://2022.splashcon.org/profile/helmutseidl" class="navigate">Helmut Seidl</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-65474-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-65474-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="8de76ff9-8d26-42df-853e-2be97b7e6538" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8de76ff9-8d26-42df-853e-2be97b7e6538">Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/lexibrent" class="navigate">Lexi Brent</a>, <a href="https://2022.splashcon.org/profile/nevillegrech" class="navigate">Neville Grech</a>, <a href="https://2022.splashcon.org/profile/sifislagouvardos" class="navigate">Sifis Lagouvardos</a>, <a href="https://2022.splashcon.org/profile/bernhardscholz" class="navigate">Bernhard Scholz</a>, <a href="https://2022.splashcon.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3385412.3385990" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3385412.3385990" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="027225c0-11b6-4926-ad62-3abaea7d721f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="027225c0-11b6-4926-ad62-3abaea7d721f">FIDDLR: streamlining reuse with concern-specific modelling languages</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/maximilianschiedermeier" class="navigate">Maximilian Schiedermeier</a>, <a href="https://2022.splashcon.org/profile/jorgkienzle" class="navigate">J枚rg Kienzle</a>, <a href="https://2022.splashcon.org/profile/bettinakemme" class="navigate">Bettina Kemme</a></div><a href="https://doi.org/10.1145/3486608.3486913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486608.3486913" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="e9142d13-4caf-4d50-ac37-f1c521a0b101" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e9142d13-4caf-4d50-ac37-f1c521a0b101">Grammar-based testing for little languages: an experience report with student compilers</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/phillipvanheerden" class="navigate">Phillip van Heerden</a>, <a href="https://2022.splashcon.org/profile/moeketsiraselimo" class="navigate">Moeketsi Raselimo</a>, <a href="https://2022.splashcon.org/profile/kostissagonas" class="navigate">Konstantinos (Kostis) Sagonas</a>, <a href="https://2022.splashcon.org/profile/berndfischer" class="navigate">Bernd Fischer</a></div><a href="https://dl.acm.org/doi/10.1145/3426425.3426946" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426425.3426946" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="f09e4752-c6fa-4ff4-bfaa-7d7fe923075b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f09e4752-c6fa-4ff4-bfaa-7d7fe923075b">How (Not) To Write Java Pointer Analyses After 2020</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/manasthakur" class="navigate">Manas Thakur</a></div><a href="https://dl.acm.org/doi/10.1145/3426428.3426923" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426428.3426923" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="69818de0-da00-4698-a6ea-b40ea244ebe5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="69818de0-da00-4698-a6ea-b40ea244ebe5">Improving Thread-Modular Abstract Interpretation</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/michaelschwarz" class="navigate">Michael Schwarz</a>, <a href="https://2022.splashcon.org/profile/simmosaan" class="navigate">Simmo Saan</a>, <a href="https://2022.splashcon.org/profile/helmutseidl" class="navigate">Helmut Seidl</a>, <a href="https://2022.splashcon.org/profile/kalmerapinis" class="navigate">Kalmer Apinis</a>, <a href="https://2022.splashcon.org/profile/julianerhard" class="navigate">Julian Erhard</a>, <a href="https://2022.splashcon.org/profile/vesalvojdani" class="navigate">Vesal Vojdani</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="288fb61c-d7f2-46bd-b9c2-a421da911981" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="288fb61c-d7f2-46bd-b9c2-a421da911981">Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/hugoillous" class="navigate">Hugo Illous</a>, <a href="https://2022.splashcon.org/profile/matthieulemerre" class="navigate">Matthieu Lemerre</a>, <a href="https://2022.splashcon.org/profile/xavierrival" class="navigate">Xavier Rival</a></div><a href="https://dl.acm.org/doi/abs/10.1007/978-3-030-65474-0_12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-65474-0_12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="1694d247-7ea8-4ee8-9320-d4840455a416" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="1694d247-7ea8-4ee8-9320-d4840455a416">Kindly Bent to Free Us</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/gabrielradanne" class="navigate">Gabriel Radanne</a>, <a href="https://2022.splashcon.org/profile/hannessaffrich" class="navigate">Hannes Saffrich</a>, <a href="https://2022.splashcon.org/profile/peterthiemann" class="navigate">Peter Thiemann</a></div><a href="https://dl.acm.org/doi/10.1145/3408985" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3408985" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="41c2cdb9-a83b-42ff-8a43-7e292ac1f2df" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="41c2cdb9-a83b-42ff-8a43-7e292ac1f2df">Label dependent lambda calculus and gradual typing</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/weilifu1" class="navigate">Weili Fu</a>, <a href="https://2022.splashcon.org/profile/fabiankrause" class="navigate">Fabian Krause</a>, <a href="https://2022.splashcon.org/profile/peterthiemann" class="navigate">Peter Thiemann</a></div><a href="https://dl.acm.org/doi/10.1145/3485485" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485485" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="99263391-0eb0-4882-9e83-80ee0bb3dafe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="99263391-0eb0-4882-9e83-80ee0bb3dafe">Manipulating GUI Structures Declaratively</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/knutandersstokke" class="navigate">Knut Anders Stokke</a>, <a href="https://2022.splashcon.org/profile/mikhailbarash" class="navigate">Mikhail Barash</a>, <a href="https://2022.splashcon.org/profile/jaakkojarvi" class="navigate">Jaakko J盲rvi</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3425898.3426956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3425898.3426956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="3678282c-0616-4741-983e-1f9fa60677b2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3678282c-0616-4741-983e-1f9fa60677b2">Modular Specification and Verification of Closures in Rust</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/fabianwolff" class="navigate">Fabian Wolff</a>, <a href="https://2022.splashcon.org/profile/aurelbily" class="navigate">Aurel B铆l媒</a>, <a href="https://2022.splashcon.org/profile/christophmatheja1" class="navigate">Christoph Matheja</a>, <a href="https://2022.splashcon.org/profile/petermller" class="navigate">Peter M眉ller</a>, <a href="https://2022.splashcon.org/profile/alexsummers" class="navigate">Alexander J. Summers</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3485522" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485522" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="5773c877-aa2e-4072-aeb4-23b6a1502db9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="5773c877-aa2e-4072-aeb4-23b6a1502db9">P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/andrearosa" class="navigate">Andrea Ros脿</a>, <a href="https://2022.splashcon.org/profile/walterbinder" class="navigate">Walter Binder</a></div><a href="https://dl.acm.org/doi/abs/10.1007/978-3-030-64437-6_19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-64437-6_19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="71edb2b4-2d54-4e18-a025-58e93f1c3ee4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="71edb2b4-2d54-4e18-a025-58e93f1c3ee4">PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/fabianritter" class="navigate">Fabian Ritter</a>, <a href="https://2022.splashcon.org/profile/sebastianhack" class="navigate">Sebastian Hack</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3385412.3385995" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3385412.3385995" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="2ee5bbff-d15c-4916-bf7c-acc091b045cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="2ee5bbff-d15c-4916-bf7c-acc091b045cb">Practical Smart Contract Sharding with Ownership and Commutativity Analysis</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/georgepirlea" class="navigate">George P卯rlea</a>, <a href="https://2022.splashcon.org/profile/amritkumar" class="navigate">Amrit Kumar</a>, <a href="https://2022.splashcon.org/profile/ilyasergey" class="navigate">Ilya Sergey</a></div><a href="https://dl.acm.org/doi/10.1145/3453483.3454112" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3453483.3454112" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="91645d41-90d3-4ca6-bad0-b284869c1395" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="91645d41-90d3-4ca6-bad0-b284869c1395">Putting the Semantics into Semantic Versioning</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/patricklam" class="navigate">Patrick Lam</a>, <a href="https://2022.splashcon.org/profile/jensdietrich" class="navigate">Jens Dietrich</a>, <a href="https://2022.splashcon.org/profile/davidpearce" class="navigate">David J. Pearce</a></div><a href="https://dl.acm.org/doi/10.1145/3426428.3426922" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3426428.3426922" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="4823b3e4-ff64-4fdb-8d17-56153b99dc74" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4823b3e4-ff64-4fdb-8d17-56153b99dc74">Reduced Products of Abstract Domains for Fairness Certification of Neural Networks</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/denismazzucato" class="navigate">Denis Mazzucato</a>, <a href="https://2022.splashcon.org/profile/caterinaurban" class="navigate">Caterina Urban</a></div><a href="https://dl.acm.org/doi/abs/10.1007/978-3-030-88806-0_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="91218124-9ce0-4b1c-91c4-8970906298ef" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="91218124-9ce0-4b1c-91c4-8970906298ef">Revisiting Iso-Recursive Subtyping<span class="pull-right"><span data-facet-badge="Virtual" class="output-badge" style="max-width:40px;"><span class="label-primary label">Virtual</span></span></span></a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/yaodazhou" class="navigate">Yaoda Zhou</a>, <a href="https://2022.splashcon.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a>, <a href="https://2022.splashcon.org/profile/jinxuzhao" class="navigate">Jinxu Zhao</a></div><a href="https://dl.acm.org/doi/10.1145/3428291" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3428291" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="24e35a39-23d6-445a-9d33-8b8d7cadad3b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="24e35a39-23d6-445a-9d33-8b8d7cadad3b">Software Model-Checking as Cyclic-Proof Search</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/takeshitsukada" class="navigate">Takeshi Tsukada</a>, <a href="https://2022.splashcon.org/profile/hiroshiunno" class="navigate">Hiroshi Unno</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3498725" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3498725" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="3642ca61-6d80-4381-8fc9-ad7236230571" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3642ca61-6d80-4381-8fc9-ad7236230571">SolType: Refinement Types for Arithmetic Overflow in Solidity</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/bryantan" class="navigate">Bryan Tan</a>, <a href="https://2022.splashcon.org/profile/benjaminmariano" class="navigate">Benjamin Mariano</a>, <a href="https://2022.splashcon.org/profile/shuvendulahiri" class="navigate">Shuvendu K. Lahiri</a>, <a href="https://2022.splashcon.org/profile/isildillig" class="navigate">I艧谋l Dillig</a>, <a href="https://2022.splashcon.org/profile/yufeng" class="navigate">Yu Feng</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3498665" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3498665" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="91d112ef-58ee-47dd-b6e9-23c2fb0bacb1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="91d112ef-58ee-47dd-b6e9-23c2fb0bacb1">Stable relations and abstract interpretation of higher-order programs</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/benoitmontagu1" class="navigate">Beno卯t Montagu</a>, <a href="https://2022.splashcon.org/profile/thomaspjensen" class="navigate">Thomas P. Jensen</a></div><a href="https://dl.acm.org/doi/10.1145/3409001" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2022.splashcon.org/details/splash-2022-sigplan-papers/18/Stable-relations-and-abstract-interpretation-of-higher-order-programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="556bfbca-d159-44e7-8f16-08f86f74f83e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="556bfbca-d159-44e7-8f16-08f86f74f83e">Static Analysis of Endian Portability by Abstract Interpretation<span class="pull-right"><span data-facet-badge="Virtual" class="output-badge" style="max-width:40px;"><span class="label-primary label">Virtual</span></span></span></a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/daviddelmas" class="navigate">David Delmas</a>, <a href="https://2022.splashcon.org/profile/abdelraoufouadjaout" class="navigate">Abdelraouf Ouadjaout</a>, <a href="https://2022.splashcon.org/profile/antoinemine" class="navigate">Antoine Min茅</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="4ea1b78d-a859-4c59-bfa8-fa3684560f02" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4ea1b78d-a859-4c59-bfa8-fa3684560f02">Static analysis of ReLU neural networks with tropical polyhedra</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/ericgoubault" class="navigate">Eric Goubault</a>, <a href="https://2022.splashcon.org/profile/sebastienpalumby" class="navigate">Sebastien Palumby</a>, <a href="https://2022.splashcon.org/profile/sylvieputot" class="navigate">Sylvie Putot</a>, <a href="https://2022.splashcon.org/profile/louisrustenholz" class="navigate">Louis Rustenholz</a>, <a href="https://2022.splashcon.org/profile/sriramsankaranarayanan" class="navigate">Sriram Sankaranarayanan</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-88806-0_8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="a1286e9d-e90f-4d08-a2da-82b2a216dbde" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a1286e9d-e90f-4d08-a2da-82b2a216dbde">Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a>, <a href="https://2022.splashcon.org/profile/nevillegrech" class="navigate">Neville Grech</a>, <a href="https://2022.splashcon.org/profile/sifislagouvardos" class="navigate">Sifis Lagouvardos</a>, <a href="https://2022.splashcon.org/profile/konstantinostriantafyllou" class="navigate">Konstantinos Triantafyllou</a>, <a href="https://2022.splashcon.org/profile/iliastsatiris" class="navigate">Ilias Tsatiris</a></div><a href="https://doi.org/10.1145/3485540" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485540" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="ac0a5596-7d37-46ac-92cc-108b5ad08108" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ac0a5596-7d37-46ac-92cc-108b5ad08108">Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/tsubasashoshi" class="navigate">Tsubasa Shoshi</a>, <a href="https://2022.splashcon.org/profile/takumaishikawa" class="navigate">Takuma Ishikawa</a>, <a href="https://2022.splashcon.org/profile/naokikobayashi" class="navigate">Naoki Kobayashi</a>, <a href="https://2022.splashcon.org/profile/kensakayori" class="navigate">Ken Sakayori</a>, <a href="https://2022.splashcon.org/profile/ryosukesato" class="navigate">Ryosuke Sato</a>, <a href="https://2022.splashcon.org/profile/takeshitsukada" class="navigate">Takeshi Tsukada</a></div><a href="https://link.springer.com/chapter/10.1007/978-3-030-89051-3_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1007/978-3-030-89051-3_15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="1cad9af2-1290-4a2d-9d03-56e08c4f49b5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="1cad9af2-1290-4a2d-9d03-56e08c4f49b5">Vision: the next 700 language workbenches</a><div class="prog-track">COVID Time Papers In Person</div><div class="performers"><a href="https://2022.splashcon.org/profile/mikhailbarash" class="navigate">Mikhail Barash</a></div><a href="https://dl.acm.org/doi/10.1145/3486608.3486907" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486608.3486907" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2022.splashcon.org/committee/splash-2022-sigplan-papers-overview-committee" class="navigate">Overview Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2022.splashcon.org/profile/amalahmed" class="navigate"><div class="media"><span class="pull-left"><img alt="Amal Ahmed" src="https://2022.splashcon.org/getProfileImage/amalahmed/0be359dd-5e9c-47bf-9fc8-259a7ecf7071/micro-avatar.jpg?1714856039000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Amal Ahmed<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Northeastern University, USA</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate"><div class="media"><span class="pull-left"><img alt="Andreea Costea" src="https://2022.splashcon.org/getProfileImage/andreeacostea/0ef8ebfd-f244-4fe9-ac48-eca64b342af0/micro-avatar.jpg?1737206247000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andreea Costea<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">School of Computing, National University Of Singapore</span></h5><h5 class="media-heading"><small>Singapore</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/jeffreysfoster" class="navigate"><div class="media"><span class="pull-left"><img alt="Jeffrey S. Foster" src="https://2022.splashcon.org/getProfileImage/jeffreysfoster/0c09759f-6ab1-48cf-a66f-fc486453ff2f/micro-avatar.jpg?1711460598000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jeffrey S. Foster<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tufts University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/alexpotanin" class="navigate"><div class="media"><span class="pull-left"><img alt="Alex Potanin" src="https://2022.splashcon.org/getProfileImage/alexpotanin/38c403ef-1f70-48ce-81ae-7edd3646cf52/micro-avatar.jpg?1732499718000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alex Potanin<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Australian National University</span></h5><h5 class="media-heading"><small>Australia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/janvitek" class="navigate"><div class="media"><span class="pull-left"><img alt="Jan Vitek" src="https://2022.splashcon.org/getProfileImage/janvitek/4d611916-95e7-474a-9ad5-a496da2c9544/micro-avatar.jpg?1711454624000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jan Vitek<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Northeastern University</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>Fri 21 Feb 16:51</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://2022.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-2022" /><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://2022.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2022"},],"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://2022.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-2022" /><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://2022.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2022"},],"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://2022.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2022</a></h3><div><a href="https://2022.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://2022.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://2022.splashcon.org/track/splash-2022-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2022.splashcon.org/track/splash-2022-opening-and-welcome" class="navigate">Opening and Welcome</a><br/><a href="https://2022.splashcon.org/track/splash-2022-v-oopsla" class="navigate">V-OOPSLA</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" class="navigate">COVID Time Papers In Person</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Workshops" class="navigate">Workshops</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Posters" class="navigate">Posters</a><br/><a href="https://2022.splashcon.org/track/splash-2022-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2022.splashcon.org/track/splash-2022-panels" class="navigate">Panels</a><br/><a href="https://2022.splashcon.org/track/splash-2022-splash-keynotes" class="navigate">Keynotes</a><br/><a href="https://2022.splashcon.org/track/splash-2022-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2022.splashcon.org/track/splash-2022-PLMW" class="navigate">PLMW</a><br/><a href="https://2022.splashcon.org/track/splash-2022-w-splash" class="navigate">W@SPLASH</a><br/><a href="https://2022.splashcon.org/track/splash-2022-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2022.splashcon.org/track/splash-2022-pltea" class="navigate">PLTea</a><br/><a href="https://2022.splashcon.org/track/splash-2022-awards" class="navigate">Awards</a><br/><a href="https://2022.splashcon.org/track/splash-2022-cares" class="navigate">CARES</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/aplas-2022" class="navigate">APLAS 2022</a><br/><a href="https://2022.splashcon.org/track/dls-2022-papers" class="navigate">DLS 2022</a><br/><a href="https://2022.splashcon.org/home/gpce-2022" class="navigate">GPCE 2022</a><br/><a href="https://conf.researchr.org/home/sas-2022" class="navigate">SAS 2022</a><br/><a href="https://2022.splashcon.org/home/sle-2022" class="navigate">SLE 2022</a><br/><h4>Workshops</h4><a href="https://2022.splashcon.org/home/ftscs-2022" class="navigate">FTSCS 2022</a><br/><a href="https://2022.splashcon.org/home/hatra-2022" class="navigate">HATRA 2022</a><br/><a href="https://2022.splashcon.org/home/live-2022" class="navigate">LIVE 2022</a><br/><a href="https://2022.splashcon.org/home/paint-2022" class="navigate">PAINT 2022</a><br/><a href="https://2022.splashcon.org/home/rebls-2022" class="navigate">REBLS 2022</a><br/><a href="https://2022.splashcon.org/home/unsound-2022" class="navigate">Unsound 2022</a><br/><a href="https://2022.splashcon.org/home/vmil-2022" class="navigate">VMIL 2022</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Venue: University of Auckland</a><br><a href="https://2022.splashcon.org/attending/how-to-splash" class="navigate">How To SPLASH</a><br><a href="https://2022.splashcon.org/attending/gc-welcome" class="navigate">General Chair Welcome</a><br><a href="https://2022.splashcon.org/attending/keynotes-4-industry" class="navigate">Keynotes 4 Industry</a><br><a href="https://2022.splashcon.org/attending/speaker-instructions" class="navigate">Speaker Instructions</a><br><a href="https://2022.splashcon.org/attending/session-chair-instructions" class="navigate">Session Chair Instructions</a><br><a href="https://2022.splashcon.org/attending/virtual-splash-2022" class="navigate">Virtual SPLASH 2022</a><br><a href="https://2022.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2022.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a><br><a href="https://2022.splashcon.org/attending/covid" class="navigate">COVID</a><br><a href="https://2022.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2022.splashcon.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2022.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2022.splashcon.org/attending/tourism-nz" class="navigate">Tourism NZ</a><br><a href="https://2022.splashcon.org/attending/visas" class="navigate">Visas for New Zealand</a></div><div class="col-sm-2"><a href="https://2022.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>