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>News items - 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/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/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:image' content='https://2022.splashcon.org/getImage/carousel/CU55-Hobbiton-Matamata--Waikato-Sara-Orme.jpg?1629927277000'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='News items - SPLASH 2022'> <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="news"><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%5Esnews" 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"><script type="text/javascript">$( "a[data-hashtab]" ).each(function() { var _href = $(this).attr("href"); var _hash = "#" + $(this).attr("data-hashtab").replace(/(\W|\s)+/g, "-"); $(this).attr("href", _href + _hash); }); </script><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><h2>News Items</h2></div><div class="row"><div class="col-sm-7"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="#SPLASH-Awards" name="SPLASH-Awards" style="color: inherit;">SPLASH Awards</a><span class="pull-right"><small>(Thu 8 Dec 2022)</small></span></div></div><div class="panel-body"><p><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. <strong>A fast in-place interpreter for WebAssembly.</strong> Proc. ACM Program. Lang. 6, OOPSLA, Article 148 (October 2022), 27 pages. <a href="https://doi.org/10.1145/3563311">DOI</a></p> <p><em>Thomas Haas, Roland Meyer, and Hernán Ponce de León.</em> 2022. <strong>CAAT: consistency as a theory.</strong> Proc. ACM Program. Lang. 6, OOPSLA2, Article 129 (October 2022), 31 pages. <a href="https://doi.org/10.1145/3563292">DOI</a></p> <p><em>Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, and Charles Zhang.</em> 2022. <strong>Complexity-guided container replacement synthesis.</strong> Proc. ACM Program. Lang. 6, OOPSLA1, Article 68 (April 2022), 31 pages. <a href="https://doi.org/10.1145/3527312">DOI</a></p> <p><em>Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, and Michael Hicks.</em> 2022. <strong>C to checked C by 3C.</strong> Proc. ACM Program. Lang. 6, OOPSLA1, Article 78 (April 2022), 29 pages. <a href="https://doi.org/10.1145/3527322">DOI</a></p> <p><em>Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, and Peter W. O’Hearn.</em> 2022. <strong>Finding real bugs in big programs with incorrectness logic.</strong> Proc. ACM Program. Lang. 6, OOPSLA1, Article 81 (April 2022), 27 pages. <a href="https://doi.org/10.1145/3527325">DOI</a></p> <p><em>Thibault Dardinier, Peter Müller, and Alexander J. Summers.</em> 2022. <strong>Fractional resources in unbounded separation logic.</strong> Proc. ACM Program. Lang. 6, OOPSLA2, Article 163 (October 2022), 27 pages. <a href="https://doi.org/10.1145/3563326">DOI</a></p> <p><em>Aïna Linn Georges, Alix Trieu, and Lars Birkedal.</em> 2022. <strong>Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities.</strong> Proc. ACM Program. Lang. 6, OOPSLA1, Article 74 (April 2022), 30 pages. <a href="https://doi.org/10.1145/3527318">DOI</a></p> <p><em>Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, and Chris Hawblitzel.</em> 2022. <strong>Linear types for large-scale systems verification.</strong> Proc. ACM Program. Lang. 6, OOPSLA1, Article 69 (April 2022), 28 pages. <a href="https://doi.org/10.1145/3527313">DOI</a></p> <p><em>Kevin Bierhoff.</em> 2022. <strong>Wildcards need witness protection.</strong> Proc. ACM Program. Lang. 6, OOPSLA2, Article 138 (October 2022), 22 pages. <a href="https://doi.org/10.1145/3563301">DOI</a></p> <h2><a href="#distinguished-oopsla-artifacts" id="distinguished-oopsla-artifacts" class="anchor-link">Distinguished OOPSLA Artifacts</a></h2> <p><em>Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki.</em> 2022. <strong>Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.</strong> Proc. ACM Program. Lang. 6, OOPSLA1, Article 76 (April 2022), 30 pages. <a href="https://doi.org/10.1145/3527320">DOI</a></p> <p><em>Charles Yuan and Michael Carbin.</em> 2022. <strong>Tower: data structures in Quantum superposition.</strong> Proc. ACM Program. Lang. 6, OOPSLA2, Article 134 (October 2022), 30 pages. <a href="https://doi.org/10.1145/3563297">DOI</a></p> <p><em>Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang.</em> 2022. <strong>Taming transitive redundancy for context-free language reachability.</strong> Proc. ACM Program. Lang. 6, OOPSLA2, Article 180 (October 2022), 27 pages. <a href="https://doi.org/10.1145/3563343">DOI</a></p> <h2><a href="#student-research-competition-winners" id="student-research-competition-winners" class="anchor-link">Student Research Competition Winners</a></h2> <h3><a href="#undergraduate-category" id="undergraduate-category" class="anchor-link">Undergraduate Category:</a></h3> <p>1st place: <em><strong>Raphael Douglas Giles.</strong></em> 2022. <strong>Termination of Recursive Functions by Lexicographic Orders of Linear Combinations.</strong> In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 75–77. <a href="https://doi.org/10.1145/3563768.3563958">DOI</a></p> <p>2nd place: <em><strong>Siraphob Phipathananunth.</strong></em> 2022. <strong>Using Mutations to Analyze Formal Specifications.</strong> In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 81–83. <a href="https://doi.org/10.1145/3563768.3563960">DOI</a></p> <p>3rd place: <em><strong>Abhinandan Pal</strong> and Anubhab Ghosh.</em> 2022. <strong>Qiwi: A Beginner Friendly Quantum Language.</strong> In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 78–80. <a href="https://doi.org/10.1145/3563768.3563959">DOI</a></p> <h3><a href="#graduate-category" id="graduate-category" class="anchor-link">Graduate Category:</a></h3> <p>1st place: <em><strong>Julian Haas.</strong></em> 2022. <strong>LoRe: Local-First Reactive Programming with Verified Safety Guarantees.</strong> In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 57–59. <a href="https://doi.org/10.1145/3563768.3563952">DOI</a></p> <p>2nd place: <em><strong>Yuyi Zhong</strong>, Quang-Trung Ta, and Siau-Cheng Khoo.</em> 2022. <strong>ARENA: Enhancing Abstract Refinement for Neural Network Verification.</strong> In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 66–68. <a href="https://doi.org/10.1145/3563768.3563955">DOI</a></p> <p>3rd place: <em><strong>Litao Zhou.</strong></em> 2022. <strong>Foundationally Sound Annotation Verifier via Control Flow Splitting.</strong> In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 69–71. <a href="https://doi.org/10.1145/3563768.3563956">DOI</a></p> </p></div><div class="panel-footer">Submitted Thu 8 Dec 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></div></div><hr/><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="#SRC-talks-to-start-at-5.30pm-on-Wed" name="SRC-talks-to-start-at-5.30pm-on-Wed" style="color: inherit;">SRC talks to start at 5.30pm on Wed</a><span class="pull-right"><small>(Tue 6 Dec 2022)</small></span></div></div><div class="panel-body"><p><p>The SRC talks will start earlier, at 5.30pm on Wed, Dec 7th, in the AMRF Auditorium.</p> </p></div><div class="panel-footer">Submitted Tue 6 Dec 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></div></div><hr/><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="#The-full-schedule-is-now-available" name="The-full-schedule-is-now-available" style="color: inherit;">The full schedule is now available</a><span class="pull-right"><small>(Tue 22 Nov 2022)</small></span></div></div><div class="panel-body"><p><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> </p></div><div class="panel-footer">Submitted Tue 22 Nov 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></div></div><hr/><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="#Accepted-papers-at-OOPSLA" name="Accepted-papers-at-OOPSLA" style="color: inherit;">Accepted papers at OOPSLA</a><span class="pull-right"><small>(Mon 12 Sep 2022)</small></span></div></div><div class="panel-body"><p><p>The full list of papers accepted at OOPSLA 2022 is now out: <a href="https://dl.acm.org/toc/pacmpl/2022/6/OOPSLA2">https://dl.acm.org/toc/pacmpl/2022/6/OOPSLA2</a></p> </p></div><div class="panel-footer">Submitted Mon 12 Sep 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></div></div><hr/><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="#SPLASH-2022-Registration-is-Open" name="SPLASH-2022-Registration-is-Open" style="color: inherit;">SPLASH 2022 Registration is Open</a><span class="pull-right"><small>(Fri 9 Sep 2022)</small></span></div></div><div class="panel-body"><p><p>Early bird registration ends on the 15th of November 2022:</p> <p><a href="https://regmaster.com/2022conf/SPLASH22/register.php">https://regmaster.com/2022conf/SPLASH22/register.php</a></p> </p></div><div class="panel-footer">Submitted Fri 9 Sep 2022 by <a href="https://2022.splashcon.org/profile/andreeacostea" class="navigate">Andreea Costea</a></div></div></div><div class="col-sm-5"><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></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 21 Feb 19:06</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>