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</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?e0c92ee5f52769e04d268b7588469bfe" 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/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" 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/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/twitter-widget-ios-fix.js?7ba20a9fa447de94b2a094eead2ccfe8"></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">$(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">(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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2022'> <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'> <meta name='description' content='UPDATE: See our attendee instructions here please: https://2022.splashcon.org/attending/how-to-splash SPLASH 2022 Airmeet Page: https://tinyurl.com/splash2022virtual The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. SPLASH 2022 aims to signify the reopening of the world and going to being able to meet your international collea ...'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='UPDATE: See our attendee instructions here please: https://2022.splashcon.org/attending/how-to-splash SPLASH 2022 Airmeet Page: https://tinyurl.com/splash2022virtual The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. SPLASH 2022 aims to signify the reopening of the world and going to being able to meet your international collea ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://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"><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%5Es" 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><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide-to="0" class="active"></li><li data-target="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide-to="1"></li><li data-target="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide-to="2"></li><li data-target="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide-to="3"></li><li data-target="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide-to="4"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://2022.splashcon.org/getImage/carousel/CU55-Hobbiton-Matamata--Waikato-Sara-Orme.jpg?1629927277000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Hobbiton</h3><h5><p>Around 2 hour drive from Auckland.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2022.splashcon.org/getImage/carousel/04-Auckland-Harbour-AWADS.jpg?1629667078000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Dolphins in Auckland Harbour</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2022.splashcon.org/getImage/carousel/L233-Piha-Beach-Auckland-Scott-Venning.jpg?1629667047000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Piha Beach Near Auckland</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2022.splashcon.org/getImage/carousel/7120x4113-Auckland-Chris-Sisarich.jpg?1629667066000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Auckland Harbour</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2022.splashcon.org/getImage/carousel/9233-Milford-Sound-Fiordland-Matt-Crawford.jpg?1629841622000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Milford Sound in the South Island</h3><h5><p>Note: 2-3 days scenic drive and a 3-hour ferry crossing from Auckland.</p></h5></div></div></div><a href="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-f48ae006-7f13-4d6d-87f0-a595bf3ba6d7" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>SPLASH 2022</h1></div><p><strong>UPDATE:</strong> See our attendee instructions here please: <a href="https://2022.splashcon.org/attending/how-to-splash">https://2022.splashcon.org/attending/how-to-splash</a></p> <p><strong>SPLASH 2022 Airmeet Page:</strong> <a href="https://tinyurl.com/splash2022virtual">https://tinyurl.com/splash2022virtual</a></p> <p>The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.</p> <p>SPLASH 2022 aims to signify the reopening of the world and going to being able to meet your international colleagues in person. We are looking forward to seeing you in Australasia for the first time since the OOPSLA conference <a href="http://www.oopsla.org/oopsla-history">started back in 1986</a>. We are co-locating with APLAS, as well as GPCE, SLE, DLS, SAS, Onward! Papers, Onward! Essays, SPLASH-E and all the co-located Workshops and Events that make SPLASH the “go-to” conference of the year.</p> <p><em>NB!</em> Please download our <a href="https://potanin.github.io/images/splash2022poster.pdf">SPLASH 2022 PDF Poster</a> to print out and put up around your department. Thank you!</p> <p>We are looking forward to meeting you and the one conference to rule them all!</p> <iframe width="560" height="315" src="https://www.youtube.com/embed/aFeoeqZ5KKs" title="YouTube SPLASH 2022 Promo" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> </div></div><div class="row"><div class="col-sm-12"><h3>Keynotes</h3><div id="88eadcc68966a9b3ddb242930fad98eewrapper"><div id="88eadcc68966a9b3ddb242930fad98ee"><a href="https://conf.researchr.org/details/aplas-2022/aplas-2022-papers/21/Verification-of-Concurrent-Programs-under-Release-Acquire-Concurrency" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Keynote</span></span></span><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Virtual</span></span></span></span><img alt="Shankaranarayanan Krishna" src="https://2022.splashcon.org/getProfileImage/shankaranarayanankrishna/ec52e4aa-71d2-4cb4-a9f2-34fcd11a426a/avatar.jpg?1712106164000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Verification of Concurrent Programs under Release-Acquire Concurrency</h5><h6><i>Shankaranarayanan Krishna</i></h6></div></div></div></a><a href="https://2022.splashcon.org/details/splash-2022-splash-keynotes/1/The-State-Of-Debugging-in-2022" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Keynote</span></span></span><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Supported by Google</span></span></span></span><img alt="Robert O'Callahan" src="https://2022.splashcon.org/getProfileImage/robertocallahan/24e5de55-a8d3-415d-aa65-09a2a8fda29e/avatar.jpg?1717387360000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>The State Of Debugging in 2022</h5><h6><i>Robert O'Callahan</i></h6></div></div></div></a><a href="https://2022.splashcon.org/details/splash-2022-splash-keynotes/3/-I-Can-t-Get-No-Verification" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Keynote</span></span></span></span><img alt="Atsushi Igarashi" src="https://2022.splashcon.org/getProfileImage/atsushiigarashi/12f48a3b-4c4f-4766-a2af-8492b85e6540/avatar.jpg?1711457394000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>(I Can't Get No) Verification</h5><h6><i>Atsushi Igarashi</i></h6></div></div></div></a><a href="https://2022.splashcon.org/details/splash-2022-splash-keynotes/4/Improving-the-Quality-of-Creative-Practices-with-Pattern-Languages" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Keynote</span></span></span></span><img alt="Takashi Iba" src="https://2022.splashcon.org/getProfileImage/takashiiba1/bdef2545-420a-440b-b284-9bac646cc10c/avatar.jpg?1717387365000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Improving the Quality of Creative Practices with Pattern Languages</h5><h6><i>Takashi Iba</i></h6></div></div></div></a><a href="https://2022.splashcon.org/details/splash-2022-splash-keynotes/2/Myths-and-Mythconceptions-What-does-it-mean-to-be-a-programming-language-anyhow-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">Keynote</span></span></span></span><img alt="Mary Shaw" src="https://2022.splashcon.org/getProfileImage/maryshaw/39922f1c-5ae5-4cc5-9a9b-2ad5efa4fe90/avatar.jpg?1717387363000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Myths and Mythconceptions: What does it mean to be a programming language, anyhow?</h5><h6><i>Mary Shaw</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#88eadcc68966a9b3ddb242930fad98ee").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#88eadcc68966a9b3ddb242930fad98eewrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#88eadcc68966a9b3ddb242930fad98ee .' + cl + ',#88eadcc68966a9b3ddb242930fad98ee .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#88eadcc68966a9b3ddb242930fad98ee .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h2>Latest News</h2></div><div class="panel panel-default"><ul class="list-group"><li class="list-group-item"><small class="text-muted">Thu 8 Dec 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></small><h3>SPLASH Awards<br></h3><h2><a href="#most-influential-oopsla-paper" id="most-influential-oopsla-paper" class="anchor-link">Most Influential OOPSLA Paper</a></h2> <p><em>Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer, and Paul Thomson.</em> 2012. <strong>GPUVerify: a verifier for GPU kernels.</strong> In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA ’12). Association for Computing Machinery, New York, NY, USA, 113–132. <a href="https://doi.org/10.1145/2384616.2384625">DOI</a></p> <h2><a href="#distinguished-oopsla-papers" id="distinguished-oopsla-papers" class="anchor-link">Distinguished OOPSLA Papers</a></h2> <p><em>Ben L. Titzer</em>. 2022. **A fast in-place interpreter f …</p> <small><a href="https://2022.splashcon.org/news#SPLASH-Awards" class="navigate">read full article</a></small></li><li class="list-group-item"><small class="text-muted">Tue 6 Dec 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></small><h3>SRC talks to start at 5.30pm on Wed<br></h3><p>The SRC talks will start earlier, at 5.30pm on Wed, Dec 7th, in the AMRF Auditorium.</p> </li><li class="list-group-item"><small class="text-muted">Tue 22 Nov 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></small><h3>The full schedule is now available<br></h3><p>Lots of exciting events to choose from. Mark your calendar at <a href="https://2022.splashcon.org/program/program-splash-2022">https://2022.splashcon.org/program/program-splash-2022</a></p> </li></ul></div><a href="https://2022.splashcon.org/news" class="navigate"><small class="text-muted">All News Articles</small></a></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Remote Presentation</h3></div><p>All SPLASH 2022 events will be hosted in Auckland, New Zealand. However, authors who cannot travel will be provided an opportunity to join “Virtual SPLASH 2022” - more information coming at the start of October - see the Attending -> Virtual SPLASH 2022 item.</p> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>SPLASH 2022 Schedule</h3></div><div style=" position: relative; overflow-y: auto; "> <table class="paleBlueRows"> <thead> <tr> <th>Room</th> <th>Mon, Dec 5</th> <th>Tue, Dec 6</th> <th>Wed, Dec 7</th> <th>Thu, Dec 8</th> <th>Fri, Dec 9</th> <th>Sat, Dec 10</th> </tr> </thead> <tbody> <tr> <td>AMRF Auditorium (300)</td><td>SAS</td><td>SAS</td><td>SAS/DLS</td><td>OOPSLA</td><td>OOPSLA</td><td>OOPSLA</td> </tr> <tr> <td>Lecture Theatre 2 (250)</td><td>SIGPLAN 20/21 Papers</td><td>SIGPLAN 20/21 Papers</td><td>SIGPLAN 20/21 Papers</td><td>OOPSLA</td><td>OOPSLA</td><td>OOPSLA</td> </tr> <tr> <td>Seminar Room G007 (80)</td><td>APLAS</td><td>SLE</td><td>SLE</td><td>OOPSLA</td><td>OOPSLA</td><td>OOPSLA</td> </tr> <tr> <td>Seminar Room G100 (70)</td><td>VMIL</td><td>GPCE (G135 Tue)</td><td>GPCE</td><td>Onward! Essays</td><td>Onward! Papers</td><td>Onward! Papers</td> </tr> <tr> <td>Seminar Room LG004 (50)</td><td>PAINT</td><td>LIVE</td><td>FTSCS</td><td>SIGPLAN 20/21 Papers</td><td>SIGPLAN 20/21 Papers</td><td>SIGPLAN 20/21 Papers</td> </tr> <tr> <td>Seminar Room G125 (40)</td><td>SPLASH-E</td><td>Unsound</td><td>REBLS</td><td></td><td>SPLASH Panel</td><td></td> </tr> <tr> <td>Seminar Room G080 (40)</td><td></td><td>PLMW</td><td>PLMW</td><td></td><td></td><td></td> </tr> <tr> <td>Seminar Room G145 (40)</td><td></td><td>Doctoral Symposium</td><td>HATRA</td><td></td><td></td><td></td> </tr> <tr> <td>Evening Events</td><td>Welcome and Posters Reception</td><td></td><td>SRC and Posters Reception</td><td>SPLASH Banquet</td><td></td><td></td> </tr> </tbody> </table> </div> <p><strong>Update, Dec 5th:</strong> Please note that the rooms for SLE and GPCE have been updated for Tuesday, Dec 6th. The table above and the Program reflect the latest changes.</p> <p><strong>NB!</strong> Expected daily flow is to have 30 minute slots for papers with the day schedule being roughly as follows:</p> <p><strong>NB!</strong> See what time it is in your time zone at the time of SPLASH 2022 by clicking this link: <a href="https://www.timeanddate.com/worldclock/converter.html?iso=20221204T200000&p1=264">https://www.timeanddate.com/worldclock/converter.html?iso=20221204T200000&p1=264</a></p> <table class="paleBlueRows"> <thead> <tr><th>Time</th> <th>Slot</th> </tr></thead> <tbody> <tr><td>8:30am - 9am</td><td>Breakfast (TBC)</td></tr> <tr><td>9am - 10am</td><td>Keynote Talk</td></tr> <tr><td>10am - 10:30am</td><td>Morning Tea</td></tr> <tr><td>10:30am - 12pm (or 12:30pm TBC)</td><td>Morning Paper Session</td></tr> <tr><td>12pm - 1:30pm</td><td>Lunch (Provided)</td></tr> <tr><td>1:30pm - 3pm</td><td>Early Afternoon Paper Session</td></tr> <tr><td>3pm - 3:30pm</td><td>Afternoon Tea</td></tr> <tr><td>3:30pm - 5pm (or 5:30pm TBC)</td><td>Late Afternoon Paper Session</td></tr> <tr><td>6pm</td><td>Banquet or Reception Approximate Start Times</td></tr> </tbody> </table> </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="http://google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://2022.splashcon.org/getLogo/23cc5f9f-406c-49de-976f-cd7a2e916062?1659566215000" class="outputimage"/></span></td><td>Diamond</td></tr><tr href="https://research.facebook.com/" title="Meta" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Meta" src="https://2022.splashcon.org/getLogo/fd5240ea-be26-439e-9a55-0f5e88914587?1651637763000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://aws.amazon.com/" title="Amazon AWS" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Amazon AWS" src="https://2022.splashcon.org/getLogo/cd492e24-f995-45b2-933f-f0736f7d909d?1648188492000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.uber.com/nz/en/" title="Uber" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Uber" src="https://2022.splashcon.org/getLogo/c77b2366-f810-42e6-bd81-c35652ce7951?1651437864000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.primevideo.com/" title="Amazon Prime Video" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Amazon Prime Video" src="https://2022.splashcon.org/getLogo/ae669935-4c95-47b3-b8ea-67845e19df2a?1657230986000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://labs.oracle.com/pls/apex/labs/r/labs/intro" title="Oracle Labs" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle Labs" src="https://2022.splashcon.org/getLogo/7db4a83b-b475-487b-81fa-3fe56a2af66c?1662754102000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.adobe.com/technology.html" title="Adobe" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Adobe" src="https://2022.splashcon.org/getLogo/74eaf57d-f399-491e-b4a9-b4b903e9ab91?1648188502000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://research.ibm.com" title="IBM Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IBM Research" src="https://2022.splashcon.org/getLogo/684beb7d-2eeb-4d47-bdab-bbe36370e7b0?1659451600000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.sigplan.org" title="ACM SIGPLAN" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ACM SIGPLAN" src="https://2022.splashcon.org/getLogo/c2e509a5-16ef-4e96-a552-2d6134608e63?1648188543000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="https://www.auckland.ac.nz/" title="University of Auckland" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="University of Auckland" src="https://2022.splashcon.org/getLogo/6777ce38-198a-47de-945f-f0c3e63864ed?1648585763000" class="outputimage"/></span></td><td>Venue Supporter</td></tr><tr href="https://comp.anu.edu.au/" title="Australian National University" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Australian National University" src="https://2022.splashcon.org/getLogo/a2632390-1429-4ac0-ad4a-30780632ba42?1648188941000" class="outputimage"/></span></td><td>In-kind Supporter</td></tr><tr href="https://www.tourismnewzealand.com/" title="Tourism NZ" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Tourism NZ" src="https://2022.splashcon.org/getLogo/6ed4ca2c-0a74-44af-a426-6d58bcfd7618?1661378622000" class="outputimage"/></span></td><td>In-kind Supporter</td></tr><tr href="https://softwareinnovation.nz/" title="Software Innovation NZ" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Software Innovation NZ" src="https://2022.splashcon.org/getLogo/aa3266d3-05de-4ab0-bf59-2c205e902d23?1658285544000" class="outputimage"/></span></td><td>In-kind Supporter</td></tr><tr href="https://www.wgtn.ac.nz/" title="Victoria University of Wellington" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Victoria University of Wellington" src="https://2022.splashcon.org/getLogo/393746c9-0b39-421f-887a-55d2df3bd4ba?1668448752000" class="outputimage"/></span></td><td>In-kind Supporter</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> SPLASH 2022 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://2022.splashcon.org/track/splash-2022-oopsla" class="text-muted navigate">OOPSLA</a> | <a href="https://2022.splashcon.org/track/splash-2022-opening-and-welcome" class="text-muted navigate">Opening and Welcome</a> | <a href="https://2022.splashcon.org/track/splash-2022-v-oopsla" class="text-muted navigate">V-OOPSLA</a> | <a href="https://2022.splashcon.org/track/splash-2022-Artifacts" class="text-muted navigate">OOPSLA Artifacts</a> | <a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" class="text-muted navigate">COVID Time Papers In Person</a> | <a href="https://2022.splashcon.org/track/splash-2022-Onward-Essays" class="text-muted navigate">Onward! Essays</a> | <a href="https://2022.splashcon.org/track/splash-2022-Onward-papers" class="text-muted navigate">Onward! Papers</a> | <a href="https://2022.splashcon.org/track/splash-2022-Workshops" class="text-muted navigate">Workshops</a> | <a href="https://2022.splashcon.org/track/splash-2022-Posters" class="text-muted navigate">Posters</a> | <a href="https://2022.splashcon.org/track/splash-2022-SRC" class="text-muted navigate">Student Research Competition</a> | <a href="https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://2022.splashcon.org/track/splash-2022-panels" class="text-muted navigate">Panels</a> | <a href="https://2022.splashcon.org/track/splash-2022-splash-keynotes" class="text-muted navigate">Keynotes</a> | <a href="https://2022.splashcon.org/track/splash-2022-SPLASH-E" class="text-muted navigate">SPLASH-E Symposium (SE/PL & Computing Education)</a> | <a href="https://2022.splashcon.org/track/splash-2022-PLMW" class="text-muted navigate">PLMW@SPLASH</a> | <a href="https://2022.splashcon.org/track/splash-2022-w-splash" class="text-muted navigate">W@SPLASH</a> | <a href="https://2022.splashcon.org/track/splash-2022-Student-Volunteers" class="text-muted navigate">Student Volunteers</a> | <a href="https://2022.splashcon.org/track/splash-2022-pltea" class="text-muted navigate">PLTea</a> | <a href="https://2022.splashcon.org/track/splash-2022-awards" class="text-muted navigate">Awards</a> | <a href="https://2022.splashcon.org/track/splash-2022-cares" class="text-muted navigate">CARES</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-bullhorn"></span> <a href="https://2022.splashcon.org/news" class="navigate">Featured News</a></div></div><table class="table table-hover"><tr href="https://2022.splashcon.org/news#SPLASH-Awards" class="clickable-row"><td>SPLASH Awards<span class="pull-right"><small class="text-muted">Thu 8 Dec 2022</small></span></td></tr><tr href="https://2022.splashcon.org/news#SRC-talks-to-start-at-5.30pm-on-Wed" class="clickable-row"><td>SRC talks to start at 5.30pm on Wed<span class="pull-right"><small class="text-muted">Tue 6 Dec 2022</small></span></td></tr><tr href="https://2022.splashcon.org/news#The-full-schedule-is-now-available" class="clickable-row"><td>The full schedule is now available<span class="pull-right"><small class="text-muted">Tue 22 Nov 2022</small></span></td></tr><tr href="https://2022.splashcon.org/news#Accepted-papers-at-OOPSLA" class="clickable-row"><td>Accepted papers at OOPSLA<span class="pull-right"><small class="text-muted">Mon 12 Sep 2022</small></span></td></tr><tr href="https://2022.splashcon.org/news#SPLASH-2022-Registration-is-Open" class="clickable-row"><td>SPLASH 2022 Registration is Open<span class="pull-right"><small class="text-muted">Fri 9 Sep 2022</small></span></td></tr></table></div><div class="panel panel-primary social-media-widget"><div class="panel-heading clearfix"><div class="panel-title"><svg xmlns="http://www.w3.org/2000/svg" height="0.875em" viewBox="0 0 512 512"><path d="M389.2 48h70.6L305.6 224.2 487 464H345L233.7 318.6 106.5 464H35.8L200.7 275.5 26.8 48H172.4L272.9 180.9 389.2 48zM364.4 421.8h39.1L151.1 88h-42L364.4 421.8z"></path></svg> Posts</div></div><a class="twitter-timeline" data-height="400"href="https://twitter.com/splashcon?ref_src=twsrc%5Etfw">Tweets by splashcon</a><script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script></div><div class="panel panel-primary social-media-widget"><div class="panel-heading clearfix"><div class="panel-title"><svg xmlns="http://www.w3.org/2000/svg" height="0.875em" viewBox="0 0 512 512"><path d="M504 256C504 119 393 8 256 8S8 119 8 256c0 123.78 90.69 226.38 209.25 245V327.69h-63V256h63v-54.64c0-62.15 37-96.48 93.67-96.48 27.14 0 55.52 4.84 55.52 4.84v61h-31.28c-30.8 0-40.41 19.12-40.41 38.73V256h68.78l-11 71.69h-57.78V501C413.31 482.38 504 379.78 504 256z"></path></svg> Posts</div></div><div id="fb-root"></div><script>(function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/en_US/sdk.js#xfbml=1&version=v2.10"; fjs.parentNode.insertBefore(js, fjs);}(document, 'script', 'facebook-jssdk'));var fbresized = null;$(window).on('resize', function() { if(fbresized === null) { fbresized = window.setTimeout(function() { fbresized = null; $('.fb-page').removeClass('fb_iframe_widget fb_iframe_widget_fluid'); FB.XFBML.parse(); }, 300);} } ); </script><div class="fb-page" data-href="https://www.facebook.com/SPLASHCon" data-tabs="timeline" data-small-header="true" data-height="350" data-width="500" data-adapt-container-width="true" data-hide-cover="true" data-show-facepile="false"><blockquote cite="https://www.facebook.com/facebook" class="fb-xfbml-parse-ignore"><a href="https://www.facebook.com/facebook">Facebook</a></blockquote></div></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Tue 3 Dec 23:38</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.67.1</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; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.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>