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 - Student Research Competition - SPLASH 2022</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2022.splashcon.org";</script> <link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/getFile/a31272be-a48d-4247-bb32-82f84d02540b/header2022.css?1633623086683" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2022.splashcon.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2022.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2022 - Student Research Competition - SPLASH 2022'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2022.splashcon.org/getImage/carousel/CU55-Hobbiton-Matamata--Waikato-Sara-Orme.jpg?1629927277000'> <meta name='description' content='The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH. The SRC provides visibility and exposes up-and-coming researchers to computer science research and the research community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and sharpen their communication and networking skills. To participate in the competition, a student must submit a 2-page description of their original resear ...'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH. The SRC provides visibility and exposes up-and-coming researchers to computer science research and the research community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and sharpen their communication and networking skills. To participate in the competition, a student must submit a 2-page description of their original resear ...'>  </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2022.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2022</span></a><div class="place">Mon 5 - Sat 10 December 2022 <a href="https://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Auckland, New Zealand</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/venue/splash-2022-venue-uoa" class="navigate">Venue: University of Auckland</a></li><li class="block"><a href="https://2022.splashcon.org/attending/how-to-splash" class="navigate">How To SPLASH</a></li><li class="block"><a href="https://2022.splashcon.org/attending/gc-welcome" class="navigate">General Chair Welcome</a></li><li class="block"><a href="https://2022.splashcon.org/attending/keynotes-4-industry" class="navigate">Keynotes 4 Industry</a></li><li class="block"><a href="https://2022.splashcon.org/attending/speaker-instructions" class="navigate">Speaker Instructions</a></li><li class="block"><a href="https://2022.splashcon.org/attending/session-chair-instructions" class="navigate">Session Chair Instructions</a></li><li class="block"><a href="https://2022.splashcon.org/attending/virtual-splash-2022" class="navigate">Virtual SPLASH 2022</a></li><li class="block"><a href="https://2022.splashcon.org/attending/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://2022.splashcon.org/attending/covid" class="navigate">COVID</a></li><li class="block"><a href="https://2022.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2022.splashcon.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2022.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2022.splashcon.org/attending/tourism-nz" class="navigate">Tourism NZ</a></li><li class="block"><a href="https://2022.splashcon.org/attending/visas" class="navigate">Visas for New Zealand</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Mon 5 Dec 2022" class="navigate">Mon 5 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Tue 6 Dec 2022" class="navigate">Tue 6 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Wed 7 Dec 2022" class="navigate">Wed 7 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Thu 8 Dec 2022" class="navigate">Thu 8 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Fri 9 Dec 2022" class="navigate">Fri 9 Dec</a></li><li class="block"><a href="https://2022.splashcon.org/program/program-splash-2022/" data-fltr-type="date" data-fltr-val="Sat 10 Dec 2022" class="navigate">Sat 10 Dec</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2022</li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-oopsla" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-opening-and-welcome" class="navigate">Opening and Welcome</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-v-oopsla" class="navigate">V-OOPSLA</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-sigplan-papers" class="navigate">COVID Time Papers In Person</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-panels" class="navigate">Panels</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-splash-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-w-splash" class="navigate">W@SPLASH</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-pltea" class="navigate">PLTea</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.splashcon.org/track/splash-2022-cares" class="navigate">CARES</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>APLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/aplas-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> APLAS</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2022/aplas-2022-aec" class="navigate"><strong>APLAS</strong> Research Artifacts</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2022/aplas-2022-papers" class="navigate"><strong>APLAS</strong> </a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/track/dls-2022-papers" class="navigate"><strong>DLS</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/home/gpce-2022" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://2022.splashcon.org/track/gpce-2022-gpce-keynote" class="navigate"><strong>GPCE</strong> Keynote</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/sas-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> SAS</a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2022/sas-2022-papers" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2022/sas-2022-artifacts" class="navigate"><strong>SAS</strong> Artifacts</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/home/sle-2022" class="navigate"><strong>SLE</strong> </a></li><li class="block"><a href="https://2022.splashcon.org/track/sle-2022-sle-keynote" class="navigate"><strong>SLE</strong> Keynote</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2022.splashcon.org/home/ftscs-2022" class="navigate"><strong>FTSCS</strong> Formal Techniques for Safety-Critical Systems</a></li><li class="block"><a href="https://2022.splashcon.org/home/hatra-2022" class="navigate"><strong>HATRA</strong> Human Aspects of Types and Reasoning Assistants</a></li><li class="block"><a href="https://2022.splashcon.org/home/live-2022" class="navigate"><strong>LIVE</strong> Live Programming</a></li><li class="block"><a href="https://2022.splashcon.org/home/paint-2022" class="navigate"><strong>PAINT</strong> Programming Abstractions and Interactive Notations, Tools, and Environments</a></li><li class="block"><a href="https://2022.splashcon.org/home/rebls-2022" class="navigate"><strong>REBLS</strong> Reactive and Event-Based Languages and Systems</a></li><li class="block"><a href="https://2022.splashcon.org/home/unsound-2022" class="navigate"><strong>Unsound</strong> Sources of Unsoundness in Verification</a></li><li class="block"><a href="https://2022.splashcon.org/home/vmil-2022" class="navigate"><strong>VMIL</strong> Virtual Machines and Language Implementations</a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2022 Committees</li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-psla-review-committee" class="navigate">Review Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-oopsla-external-review---artifact-evaluation-committee" class="navigate">External Review / Artifact Evaluation Committee</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-sigplan-papers-overview-committee" class="navigate"><strong>COVID Time Papers In Person</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Essays</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Onward-Essays-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Onward-papers-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-judges" class="navigate">Judges</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-reviewers-judges" class="navigate">Reviewers</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-panels-organiser" class="navigate"><strong>Panels</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SPLASH-E</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SPLASH-E-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-SPLASH-E-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLMW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-pltea-chairs" class="navigate"><strong>PLTea</strong></a></li><li class="block"><a href="https://2022.splashcon.org/committee/splash-2022-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2022.splashcon.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>APLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/aplas-2022/aplas-2022-pc" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2022/aplas-2022-aec" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/dls-2022-research-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/gpce-2022-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-keynote-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-sas2022-program-committee" class="navigate"><strong>SAS</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2022/sas-2022-sas-2022-artifacts-program-committee" class="navigate"><strong>SAS 2022 Artifacts</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-keynote-speaker" class="navigate">Keynote Speaker</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-organising-committee" class="navigate">Organising Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/sle-2022-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTSCS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/ftscs-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/ftscs-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HATRA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/hatra-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/hatra-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LIVE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/live-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/live-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PAINT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/paint-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/paint-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>REBLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/rebls-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/rebls-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Unsound</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/unsound-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.splashcon.org/committee/unsound-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/committee/vmil-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2022.splashcon.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2022</span></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></li><li class="block"><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li class="block"><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li class="block"><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li class="block"><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li class="block"><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li class="block"><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li class="block"><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li class="block"></li><li class="block"><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"></li><li class="block"><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/splash-2022/https%3A%5Es%5Es2022.splashcon.org%5Estrack%5Essplash-2022-SRC" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2022.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a> (<a href="https://2022.splashcon.org/series/splash" class="navigate">series</a>) / </span><h1>Student Research Competition<span class="pull-right small h1">SPLASH 2022</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH. The SRC provides visibility and exposes up-and-coming researchers to computer science research and the research community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and sharpen their communication and networking skills.</p> <p>To participate in the competition, a student must submit a 2-page description of their original research project. The submitted project descriptions are peer-reviewed. Each student whose description is selected by a panel of reviewers is invited to attend the SRC competition at SPLASH and present their work. These students will benefit from free registration to the conference and free student dorm accommodation near the conference venue.</p> <p>Winners of the SPLASH competition are invited to participate in the ACM Student Research Competition Grand Finals. Submit your work and take part in the ACM Student Research Competition at SPLASH 2022!</p> <script>$(function(){ $('div[data-facet-type="plenary"]>div.facet-false').click(); } )</script> <h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="310af086-8b9c-456c-9d53-6e37ba1ca579" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="310af086-8b9c-456c-9d53-6e37ba1ca579">ARENA: Enhancing Abstract Refinement for Neural Network Verification</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/yuyizhong" class="navigate">Yuyi Zhong</a>, <a href="https://2022.splashcon.org/profile/quangtrungta" class="navigate">Quang-Trung Ta</a>, <a href="https://2022.splashcon.org/profile/siauchengkhoo" class="navigate">Siau-Cheng Khoo</a></div><a href="https://doi.org/10.1145/3563768.3563955" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="2e8c6d3b-cc8c-4dac-b179-bf23313c87fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="2e8c6d3b-cc8c-4dac-b179-bf23313c87fe">A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/adityaanand1" class="navigate">Aditya Anand</a></div><a href="https://doi.org/10.1145/3563768.3563957" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="d12a1976-c3bb-401e-a439-2c0eea895e1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d12a1976-c3bb-401e-a439-2c0eea895e1f">Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/yahuisong1" class="navigate">Yahui Song</a>, <a href="https://2022.splashcon.org/profile/weinganchin" class="navigate">Wei-Ngan Chin</a></div><a href="https://doi.org/10.1145/3563768.3563953" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="cd30d8d9-662d-47c2-9ae0-be1803c667ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cd30d8d9-662d-47c2-9ae0-be1803c667ff">CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/chengpengwang" class="navigate">Chengpeng Wang</a></div><a href="https://doi.org/10.1145/3563768.3563954" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="627ae87e-f596-4842-8a5f-6acddcffaf3e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="627ae87e-f596-4842-8a5f-6acddcffaf3e">Foundationally Sound Annotation Verifier via Control Flow Splitting</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/litaozhou" class="navigate">Litao Zhou</a></div><a href="https://doi.org/10.1145/3563768.3563956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="a873e76c-08e6-4f26-8e35-c321ed5a3f91" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a873e76c-08e6-4f26-8e35-c321ed5a3f91">LoRe: Local-First Reactive Programming with Verified Safety Guarantees</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/julianhaas" class="navigate">Julian Haas</a></div><a href="https://doi.org/10.1145/3563768.3563952" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="09e876a2-84f6-407f-a5e4-58e4b9ba9f3d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="09e876a2-84f6-407f-a5e4-58e4b9ba9f3d">Qiwi: A Beginner Friendly Quantum Language</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/abhinandanpal" class="navigate">Abhinandan Pal</a>, <a href="https://2022.splashcon.org/profile/anubhabghosh" class="navigate">Anubhab Ghosh</a></div><a href="https://doi.org/10.1145/3563768.3563959" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="76c8e8fe-5e6a-4efb-89b8-d154664b6e8a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="76c8e8fe-5e6a-4efb-89b8-d154664b6e8a">Simple Extensible Programming through Precisely-Typed Open Recursion</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/andongfan" class="navigate">Andong Fan</a></div><a href="https://doi.org/10.1145/3563768.3563951" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="ebb73b89-fcee-4098-93c4-a21e722df708" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ebb73b89-fcee-4098-93c4-a21e722df708">Termination of Recursive Functions by Lexicographic Orders of Linear Combinations</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/raphaeldouglasgiles" class="navigate">Raphael Douglas Giles</a></div><a href="https://doi.org/10.1145/3563768.3563958" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="3884d1ab-0b20-4224-9cfb-23239159ff62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3884d1ab-0b20-4224-9cfb-23239159ff62">Using Mutations to Analyze Formal Specifications</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/siraphobphipathananunth" class="navigate">Siraphob Phipathananunth</a></div><a href="https://doi.org/10.1145/3563768.3563960" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table><h2>Call</h2><p><p>In order to participate in the SRC, you must:</p> <ul> <li>Have graduate or undergraduate student status (i.e., be enrolled in a university or college) at the time of submission.</li> <li>Be a current ACM student member.</li> <li>If selected, register for the conference and attend.</li> </ul> <h4><a href="#submission-guidelines" id="submission-guidelines" class="anchor-link">Submission Guidelines</a></h4> <p>A submitted research abstract must not exceed 2 pages, including all text, appendices, and figures. Additional pages are permitted only for references (and no other text). The submission must be written in English and must be submitted as a PDF file that follows the ACM SIGPLAN acmart style. See <a href="http://www.sigplan.org/Resources/Author/">http://www.sigplan.org/Resources/Author/</a>. Please use the provided double-column LaTeX or Word templates.</p> <p>You must submit your SRC research abstract electronically via <a href="https://easychair.org/conferences/?conf=splash2022src">https://easychair.org/conferences/?conf=splash2022src</a> by <del>July 18th, 2022, 23:59pm AoE</del> <span style="color:red"><b>July 28th, 2022, 23:59pm AoE</b></span>.</p> <p><strong>AUTHORS TAKE NOTE</strong>: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.</p> <p>Please contact the SPLASH 2022 SRC co-chairs if you need more information.</p> <h2><a href="#competition" id="competition" class="anchor-link">Competition</a></h2> <p>If your abstract is accepted, there are two additional rounds of SRC competition that are held during the SPLASH conference.</p>  <h4><a href="#first-round-poster-session" id="first-round-poster-session" class="anchor-link">First Round: Poster Session</a></h4> <p>The first round is the Poster Session. If you are selected to participate in the competition, you will be invited to present a poster that will be used as a visual helping you to explain your work. This is your opportunity to present your research to conference attendees and SRC judges.</p>   <p>The judges will review the posters and speak to participants about their research. The judges will evaluate the posters based on the quality of the oral and visual presentation, significance of the contribution, research methods, and your broader knowledge of your research area. Following that evaluation, the judges will select students to advance to the second round of the competition.</p>  <h4><a href="#second-round-research-talk" id="second-round-research-talk" class="anchor-link">Second Round: Research Talk</a></h4>  <p>If you are selected for this stage, you will give a 10-minute talk about your research before a panel of judges in a special session at the SPLASH 2022 conference.</p>  <p>You should prepare in advance a presentation and a talk describing your work. The talks will be evaluated by a panel of judges according to the same criteria as posters: the quality of the oral and visual presentation, significance of the contribution, research methods, and your broader knowledge of your research area.</p> <p>More information about the competition and selection criteria can be found here: <a href="https://src.acm.org/about">https://src.acm.org/about</a>.</p> <h4><a href="#prizes-and-src-grand-finals" id="prizes-and-src-grand-finals" class="anchor-link">Prizes and SRC Grand Finals</a></h4> <p>The top three winners in each category – undergraduate and graduate – will be recognized during the conference. First-place undergraduate and graduate student winners from all SRCs held during the year (including SPLASH) advance to the SRC Grand Finals.</p> <p>A separate panel of judges will evaluate all SRC Grand Final participants via the Web. Three undergraduate and three graduate students will be chosen as the SRC Grand Finals winners.</p> </p></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><div class="row track-facets"><div class="col-sm-1"><strong>Tracks</strong></div><div class="col-sm-11"><div data-facet-type="track" class="facet-placeholder"></div><script type="text/javascript">$(function(){ addInitialFilter( 'track', 'SPLASH Student Research Competition') });</script></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2022.splashcon.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="splash-2022" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+13:00) Auckland, Wellington</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+13:00) Auckland, Wellington</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-10:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT-01:00) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+02:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+02:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2022.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2022"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 780){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 5 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-18"><table data-facet-date="Mon 5 Dec 2022" data-facet-date-order="221205" data-facet-room="Atrium" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c6"></td><td><div class="slot-label">18:00 - 20:00</div></td><td colspan="2"><div class="session-info-in-table">SPLASH Posters<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a> / <a href="https://2022.splashcon.org/track/splash-2022-Posters" target="_blank" class="text-muted navigate">Posters</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-atrium" target="_blank" class="room-link navigate">Atrium</a> <a data-toggle="modal" href="#aci-c1066515-2f60-415c-9f9c-1ee031dbd32b"><span title="Information for Participants" class="label label-primary"><span class="glyphicon glyphicon-log-in"></span></span></a><br/> <small>Chair(s): <a href="https://2022.splashcon.org/profile/xujiesi" target="_blank" class="navigate">Xujie Si</a><span class="prog-aff"> McGill University, Canada</span>, <a href="https://2022.splashcon.org/profile/caterinaurban" target="_blank" class="navigate">Caterina Urban</a><span class="prog-aff"> Inria & École Normale Supérieure | Université PSL</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="1ffbbb65-ee03-4161-88bf-04bd87d6637f" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="76c8e8fe-5e6a-4efb-89b8-d154664b6e8a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="76c8e8fe-5e6a-4efb-89b8-d154664b6e8a">Simple Extensible Programming through Precisely-Typed Open Recursion</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/andongfan" class="navigate">Andong Fan</a><span class="prog-aff"> Hong Kong University of Science and Technology</span></div><a href="https://doi.org/10.1145/3563768.3563951" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="218d4ac3-29c7-4fe8-bd33-e6b68f066b54" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="cd30d8d9-662d-47c2-9ae0-be1803c667ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cd30d8d9-662d-47c2-9ae0-be1803c667ff">CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/chengpengwang" class="navigate">Chengpeng Wang</a><span class="prog-aff"> Hong Kong University of Science and Technology</span></div><a href="https://doi.org/10.1145/3563768.3563954" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="27eda733-98d1-4788-a799-990470188532" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="a873e76c-08e6-4f26-8e35-c321ed5a3f91" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a873e76c-08e6-4f26-8e35-c321ed5a3f91">LoRe: Local-First Reactive Programming with Verified Safety Guarantees</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/julianhaas" class="navigate">Julian Haas</a><span class="prog-aff"> TU Darmstadt</span></div><a href="https://doi.org/10.1145/3563768.3563952" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="2a7fdbad-7a48-47e8-b681-d9436b04a7e2" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="09e876a2-84f6-407f-a5e4-58e4b9ba9f3d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="09e876a2-84f6-407f-a5e4-58e4b9ba9f3d">Qiwi: A Beginner Friendly Quantum Language</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/abhinandanpal" class="navigate">Abhinandan Pal</a><span class="prog-aff"> IIIT Kalyani</span>, <a href="https://2022.splashcon.org/profile/anubhabghosh" class="navigate">Anubhab Ghosh</a><span class="prog-aff"> IIIT Kalyani</span></div><a href="https://doi.org/10.1145/3563768.3563959" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="3002d6d4-138c-4bc5-bed0-0708d70c6401" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="3191ca37-281d-4d5a-8ec0-3e69b6d943d2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3191ca37-281d-4d5a-8ec0-3e69b6d943d2">Provably Correct Smart Contracts: An Approach using DeepSEA</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/danielbritten" class="navigate">Daniel Britten</a><span class="prog-aff"> University of Waikato</span>, <a href="https://2022.splashcon.org/profile/vilhelmsjoberg1" class="navigate">Vilhelm Sjöberg</a><span class="prog-aff"> CertiK</span>, <a href="https://2022.splashcon.org/profile/stevereeves" class="navigate">Steve Reeves</a><span class="prog-aff"> University of Waikato</span></div><a href="https://doi.org/10.1145/3563768.3564116" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="34eb2199-3cdb-483f-a943-b5ed6d0c2b29" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="b1966ed6-8fe2-4749-a80b-f935790be5f6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b1966ed6-8fe2-4749-a80b-f935790be5f6">Tower: Data Structures in Quantum Superposition</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/charlesyuan" class="navigate">Charles Yuan</a><span class="prog-aff"> Massachusetts Institute of Technology</span>, <a href="https://2022.splashcon.org/profile/michaelcarbin" class="navigate">Michael Carbin</a><span class="prog-aff"> Massachusetts Institute of Technology</span></div></td></tr><tr data-slot-id="42bf0f5a-640b-4e74-9383-1e50a6b7abf1" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="3884d1ab-0b20-4224-9cfb-23239159ff62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3884d1ab-0b20-4224-9cfb-23239159ff62">Using Mutations to Analyze Formal Specifications</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/siraphobphipathananunth" class="navigate">Siraphob Phipathananunth</a><span class="prog-aff"> Vanderbilt University</span></div><a href="https://doi.org/10.1145/3563768.3563960" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="4ea4839e-84f5-41e8-98fd-c9d690915e52" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="6b9ee244-5795-49fa-8c22-775f72db66d7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6b9ee244-5795-49fa-8c22-775f72db66d7">Competitive Debugging: Toward Contests Promoting Debugging as a Skill</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/patrickrein" class="navigate">Patrick Rein</a><span class="prog-aff"> University of Potsdam; Hasso Plattner Institute</span>, <a href="https://2022.splashcon.org/profile/tombeckmann" class="navigate">Tom Beckmann</a><span class="prog-aff"> University of Potsdam; Hasso Plattner Institute</span>, <a href="https://2022.splashcon.org/profile/leonardgeier" class="navigate">Leonard Geier</a><span class="prog-aff"> University of Potsdam; Hasso Plattner Institute</span>, <a href="https://2022.splashcon.org/profile/tonimattis" class="navigate">Toni Mattis</a><span class="prog-aff"> University of Potsdam; Hasso Plattner Institute</span>, <a href="https://2022.splashcon.org/profile/roberthirschfeld" class="navigate">Robert Hirschfeld</a><span class="prog-aff"> University of Potsdam; Hasso Plattner Institute</span></div></td></tr><tr data-slot-id="57245f25-0067-4bc9-a6b0-7cefc7fdd66d" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="627ae87e-f596-4842-8a5f-6acddcffaf3e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="627ae87e-f596-4842-8a5f-6acddcffaf3e">Foundationally Sound Annotation Verifier via Control Flow Splitting</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/litaozhou" class="navigate">Litao Zhou</a><span class="prog-aff"> Shanghai Jiao Tong University</span></div><a href="https://doi.org/10.1145/3563768.3563956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="62779c44-b024-4501-be55-4bc543d342e4" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="46600749-7d53-4d87-b1a5-f22759c540a9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="46600749-7d53-4d87-b1a5-f22759c540a9">Semi-symbolic Inference for Efficient Streaming Probabilistic Programming</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/ericatkinson" class="navigate">Eric Atkinson</a><span class="prog-aff"> Massachusetts Institute of Technology</span>, <a href="https://2022.splashcon.org/profile/charlesyuan" class="navigate">Charles Yuan</a><span class="prog-aff"> Massachusetts Institute of Technology</span>, <a href="https://2022.splashcon.org/profile/guillaumebaudart" class="navigate">Guillaume Baudart</a><span class="prog-aff"> Inria</span>, <a href="https://2022.splashcon.org/profile/louismandel" class="navigate">Louis Mandel</a><span class="prog-aff"> IBM Research</span>, <a href="https://2022.splashcon.org/profile/michaelcarbin" class="navigate">Michael Carbin</a><span class="prog-aff"> Massachusetts Institute of Technology</span></div></td></tr><tr data-slot-id="888a8a3a-4337-4a20-8a1e-700f71f0876e" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="2e8c6d3b-cc8c-4dac-b179-bf23313c87fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2e8c6d3b-cc8c-4dac-b179-bf23313c87fe">A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/adityaanand1" class="navigate">Aditya Anand</a><span class="prog-aff"> IIT Mandi</span></div><a href="https://doi.org/10.1145/3563768.3563957" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="8db65dc0-164c-48e7-ba81-15a739ee0f08" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="612a9cf9-324d-4bd6-a8e6-e32577709d89" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="612a9cf9-324d-4bd6-a8e6-e32577709d89">Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/tomokinakamaru" class="navigate">Tomoki Nakamaru</a><span class="prog-aff"> University of Tokyo</span>, <a href="https://2022.splashcon.org/profile/shigeyukisato" class="navigate">Shigeyuki Sato</a><span class="prog-aff"> University of Tokyo</span></div><a href="https://doi.org/10.1145/3563768.3564117" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="924e5cb1-d6d4-4004-bc4e-64363be4e219" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="36213e53-287a-4ae9-a447-46d4225b28c7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="36213e53-287a-4ae9-a447-46d4225b28c7">Katara: Synthesizing CRDTs with Verified Lifting</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/shadajladdad" class="navigate">Shadaj Laddad</a><span class="prog-aff"> University of California at Berkeley</span>, <a href="https://2022.splashcon.org/profile/conorpower" class="navigate">Conor Power</a><span class="prog-aff"> University of California at Berkeley</span>, <a href="https://2022.splashcon.org/profile/maemilano" class="navigate">Mae Milano</a><span class="prog-aff"> University of California at Berkeley</span>, <a href="https://2022.splashcon.org/profile/alvincheung" class="navigate">Alvin Cheung</a><span class="prog-aff"> University of California at Berkeley</span>, <a href="https://2022.splashcon.org/profile/joehellerstein" class="navigate">Joseph M. Hellerstein</a><span class="prog-aff"> University of California at Berkeley</span></div></td></tr><tr data-slot-id="a262d2c3-8fd8-4474-be3a-a724286fb2f1" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="adf5c0be-3bc1-49c3-b402-415ab82d27d6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="adf5c0be-3bc1-49c3-b402-415ab82d27d6">Explicit Code Reuse Recommendation</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/dovfraivert" class="navigate">Dov Fraivert</a><span class="prog-aff"> Open University of Israel</span>, <a href="https://2022.splashcon.org/profile/davidlorenz" class="navigate">David H. Lorenz</a><span class="prog-aff"> Open University of Israel</span></div><a href="https://doi.org/10.1145/3563768.3564118" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="c02c95ca-53d7-442b-9e34-c9cbc9defe12" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="d12a1976-c3bb-401e-a439-2c0eea895e1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d12a1976-c3bb-401e-a439-2c0eea895e1f">Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/yahuisong1" class="navigate">Yahui Song</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/weinganchin" class="navigate">Wei-Ngan Chin</a><span class="prog-aff"> National University of Singapore</span></div><a href="https://doi.org/10.1145/3563768.3563953" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="d41fe3a6-f91a-4071-8917-6b65e49745a8" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="9a038f07-1017-4c4f-a830-0e1abf807458" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9a038f07-1017-4c4f-a830-0e1abf807458">Composing Linear Types and Separation Logic Proofs of Memory Safety</a></strong><div class="prog-track">Posters</div><div class="performers"><a href="https://2022.splashcon.org/profile/pilarselenelinaresarevalo1" class="navigate">Pilar Selene Linares Arévalo</a><span class="prog-aff"> University of Melbourne</span></div><a href="https://doi.org/10.1145/3563768.3564119" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="e68a9761-0d43-443d-aa67-a57ab70abea4" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="310af086-8b9c-456c-9d53-6e37ba1ca579" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="310af086-8b9c-456c-9d53-6e37ba1ca579">ARENA: Enhancing Abstract Refinement for Neural Network Verification</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/yuyizhong" class="navigate">Yuyi Zhong</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/quangtrungta" class="navigate">Quang-Trung Ta</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/siauchengkhoo" class="navigate">Siau-Cheng Khoo</a><span class="prog-aff"> National University of Singapore</span></div><a href="https://doi.org/10.1145/3563768.3563955" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="f3117204-8a77-4362-88ff-3b690c99e602" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>2h</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="ebb73b89-fcee-4098-93c4-a21e722df708" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ebb73b89-fcee-4098-93c4-a21e722df708">Termination of Recursive Functions by Lexicographic Orders of Linear Combinations</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/raphaeldouglasgiles" class="navigate">Raphael Douglas Giles</a><span class="prog-aff"> UNSW</span></div><a href="https://doi.org/10.1145/3563768.3563958" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 7 Dec</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Auckland, Wellington</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-17"><table data-facet-date="Wed 7 Dec 2022" data-facet-date-order="221207" data-facet-room="AMRF Auditorium" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c13"></td><td><div class="slot-label">17:30 - 19:30</div></td><td colspan="2"><div class="session-info-in-table">SRC Talks<span class="pull-right"><a href="https://2022.splashcon.org/track/splash-2022-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a></span> at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-amrf-auditorium" target="_blank" class="room-link navigate">AMRF Auditorium</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="28fd7447-ae06-48f4-a590-ee0cdfc42de3" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:30</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="ebb73b89-fcee-4098-93c4-a21e722df708" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ebb73b89-fcee-4098-93c4-a21e722df708">Termination of Recursive Functions by Lexicographic Orders of Linear Combinations</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/raphaeldouglasgiles" class="navigate">Raphael Douglas Giles</a><span class="prog-aff"> UNSW</span></div><a href="https://doi.org/10.1145/3563768.3563958" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="5739c976-ea83-4c22-ba18-800769a96a10" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:45</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="d12a1976-c3bb-401e-a439-2c0eea895e1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d12a1976-c3bb-401e-a439-2c0eea895e1f">Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/yahuisong1" class="navigate">Yahui Song</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/weinganchin" class="navigate">Wei-Ngan Chin</a><span class="prog-aff"> National University of Singapore</span></div><a href="https://doi.org/10.1145/3563768.3563953" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="0ff83bfa-79d4-4862-98ee-fc7aba51fe4a" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="cd30d8d9-662d-47c2-9ae0-be1803c667ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cd30d8d9-662d-47c2-9ae0-be1803c667ff">CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/chengpengwang" class="navigate">Chengpeng Wang</a><span class="prog-aff"> Hong Kong University of Science and Technology</span></div><a href="https://doi.org/10.1145/3563768.3563954" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="c957b2e4-c5af-42c3-9da5-f534a6171ffd" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:15</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="a873e76c-08e6-4f26-8e35-c321ed5a3f91" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a873e76c-08e6-4f26-8e35-c321ed5a3f91">LoRe: Local-First Reactive Programming with Verified Safety Guarantees</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/julianhaas" class="navigate">Julian Haas</a><span class="prog-aff"> TU Darmstadt</span></div><a href="https://doi.org/10.1145/3563768.3563952" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="66b7cf0d-f605-4249-ac86-c27dee8b7877" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:30</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="627ae87e-f596-4842-8a5f-6acddcffaf3e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="627ae87e-f596-4842-8a5f-6acddcffaf3e">Foundationally Sound Annotation Verifier via Control Flow Splitting</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/litaozhou" class="navigate">Litao Zhou</a><span class="prog-aff"> Shanghai Jiao Tong University</span></div><a href="https://doi.org/10.1145/3563768.3563956" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="09b67205-a747-4444-9d48-7e70de0641ec" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:45</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="3884d1ab-0b20-4224-9cfb-23239159ff62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3884d1ab-0b20-4224-9cfb-23239159ff62">Using Mutations to Analyze Formal Specifications</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/siraphobphipathananunth" class="navigate">Siraphob Phipathananunth</a><span class="prog-aff"> Vanderbilt University</span></div><a href="https://doi.org/10.1145/3563768.3563960" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="953db514-7aca-47ea-b6a9-df7b8847b46f" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="310af086-8b9c-456c-9d53-6e37ba1ca579" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="310af086-8b9c-456c-9d53-6e37ba1ca579">ARENA: Enhancing Abstract Refinement for Neural Network Verification</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/yuyizhong" class="navigate">Yuyi Zhong</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/quangtrungta" class="navigate">Quang-Trung Ta</a><span class="prog-aff"> National University of Singapore</span>, <a href="https://2022.splashcon.org/profile/siauchengkhoo" class="navigate">Siau-Cheng Khoo</a><span class="prog-aff"> National University of Singapore</span></div><a href="https://doi.org/10.1145/3563768.3563955" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="61b5183f-cc1b-462f-84af-a1709b5b031b" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:15</div><strong>15m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="09e876a2-84f6-407f-a5e4-58e4b9ba9f3d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="09e876a2-84f6-407f-a5e4-58e4b9ba9f3d">Qiwi: A Beginner Friendly Quantum Language</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2022.splashcon.org/profile/abhinandanpal" class="navigate">Abhinandan Pal</a><span class="prog-aff"> IIIT Kalyani</span>, <a href="https://2022.splashcon.org/profile/anubhabghosh" class="navigate">Anubhab Ghosh</a><span class="prog-aff"> IIIT Kalyani</span></div><a href="https://doi.org/10.1145/3563768.3563959" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div></div><div tabindex="-1" id="aci-c1066515-2f60-415c-9f9c-1ee031dbd32b" class="modal"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Information for Participants</h3></div><div class="modal-body"><div class="well well-sm"><strong>Mon 5 Dec 2022 18:00 - 20:00 at <a href="https://2022.splashcon.org/room/splash-2022-venue-uoa-atrium" class="room-link navigate">Atrium</a></strong> - <a href="https://2022.splashcon.org/track/splash-2022-Posters#program" class="navigate">SPLASH Posters</a> <small>Chair(s): <a href="https://2022.splashcon.org/profile/xujiesi" target="_blank" class="navigate">Xujie Si</a>, <a href="https://2022.splashcon.org/profile/caterinaurban" target="_blank" class="navigate">Caterina Urban</a></small><div class="text-muted">Info for room <strong>Atrium</strong>: </div><blockquote class="info-participants"><p>This is the main atrium used for registration, posters, tea/coffee/lunches.</p> </blockquote></div></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-success"><div class="panel-heading clearfix"><div class="panel-title">Publication links</div></div><div class="panel-body"><div class="text-muted"><span class="glyphicon glyphicon-book"></span> <a href="https://dl.acm.org/doi/proceedings/10.1145/3563768" title="Link to Proceedings" target="_blank" class="navigate">Proceedings</a></div></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2022.splashcon.org/track/splash-2022-SRC" class="clickable-row past"><td>Thu 22 Sep 2022<br/>Camera Ready</td></tr><tr href="https://2022.splashcon.org/track/splash-2022-SRC" class="clickable-row past"><td>Mon 29 Aug 2022<br/>Author Notification</td></tr><tr href="https://2022.splashcon.org/track/splash-2022-SRC" class="clickable-row past"><td>Thu 28 Jul 2022<br/>Abstract Submission</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-organizers" class="navigate">Organizers</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2022.splashcon.org/profile/xujiesi" class="navigate"><div class="media"><span class="pull-left"><img alt="Xujie Si" src="https://2022.splashcon.org/getProfileImage/xujiesi/72b55dec-e9d3-45b7-a876-67c2ff6d5ae7/micro-avatar.jpg?1721189571000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xujie Si<span class="pull-right"><small>Student Research Competition Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">McGill University, Canada</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/caterinaurban" class="navigate"><div class="media"><span class="pull-left"><img alt="Caterina Urban" src="https://2022.splashcon.org/getProfileImage/caterinaurban/c99313b2-88bd-4972-ad98-b5c6f3108d4e/micro-avatar.jpg?1711458377000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Caterina Urban<span class="pull-right"><small>Student Research Competition Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Inria & École Normale Supérieure | Université PSL</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-judges" class="navigate">Judges</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2022.splashcon.org/profile/thibaultdardinier" class="navigate"><div class="media"><span class="pull-left"><img alt="Thibault Dardinier" src="https://2022.splashcon.org/getProfileImage/thibaultdardinier/f4cbb944-761a-4278-a484-653a6863da7d/micro-avatar.jpg?1711481630000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Thibault Dardinier<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ETH Zurich</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/robertogiacobazzi" class="navigate"><div class="media"><span class="pull-left"><img alt="Roberto Giacobazzi" src="https://2022.splashcon.org/getProfileImage/robertogiacobazzi/c0cb46da-1ab3-441c-89c7-934690eeb244/micro-avatar.jpg?1711455857000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Roberto Giacobazzi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Verona</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/isabellamastroeni" class="navigate"><div class="media"><span class="pull-left"><img alt="Isabella Mastroeni" src="https://2022.splashcon.org/getProfileImage/isabellamastroeni/e7af6090-fb72-44e0-813a-48f2a1e14f62/micro-avatar.jpg?1711480196000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Isabella Mastroeni<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Verona, Italy</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/maemilano" class="navigate"><div class="media"><span class="pull-left"><img alt="Mae Milano" src="https://2022.splashcon.org/getProfileImage/maemilano/291ed68a-4037-4967-8a38-85590d1973c2/micro-avatar.jpg?1711458682000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mae Milano<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California at Berkeley</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/fabianmuehlboeck" class="navigate"><div class="media"><span class="pull-left"><img alt="Fabian Muehlboeck" src="https://2022.splashcon.org/getProfileImage/fabianmuehlboeck/812815d2-f22c-460c-ae68-0efe39118cbd/micro-avatar.jpg?1726112307000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Fabian Muehlboeck<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IST Austria</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/cyrusomar" class="navigate"><div class="media"><span class="pull-left"><img alt="Cyrus Omar" src="https://2022.splashcon.org/getProfileImage/cyrusomar/f2be7cd5-5899-4e05-8977-95ca4777a14a/micro-avatar.jpg?1711461479000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cyrus Omar<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Michigan</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/lionelparreaux" class="navigate"><div class="media"><span class="pull-left"><img alt="Lionel Parreaux" src="https://2022.splashcon.org/getProfileImage/lionelparreaux/4f29279c-b659-4927-b175-ca01e62e4589/micro-avatar.jpg?1716039950000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lionel Parreaux<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Hong Kong University of Science and Technology</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/xiaokangqiu" class="navigate"><div class="media"><span class="pull-left"><img alt="Xiaokang Qiu" src="https://2022.splashcon.org/getProfileImage/xiaokangqiu/16b8a01b-75f0-474c-98fc-e592c17153e6/micro-avatar.jpg?1711463301000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xiaokang Qiu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Purdue University, USA</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/subhajitroy" class="navigate"><div class="media"><span class="pull-left"><img alt="Subhajit Roy" src="https://2022.splashcon.org/getProfileImage/subhajitroy/14e5216d-b853-420c-8f5e-50177950e710/micro-avatar.jpg?1711458096000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Subhajit Roy<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IIT Kanpur</span></h5><h5 class="media-heading"><small>India</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2022.splashcon.org/committee/splash-2022-SRC-reviewers-judges" class="navigate">Reviewers</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2022.splashcon.org/profile/oliverbracevac" class="navigate"><div class="media"><span class="pull-left"><img alt="Oliver Bračevac" src="https://2022.splashcon.org/getProfileImage/oliverbracevac/04268fb9-581e-4530-91eb-3542d778775a/micro-avatar.jpg?1712784940000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Oliver Bračevac<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Purdue University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/anithagollamudi" class="navigate"><div class="media"><span class="pull-left"><img alt="Anitha Gollamudi" src="https://2022.splashcon.org/getProfileImage/anithagollamudi/dc2776aa-45c8-4b53-9004-3a7feeb5bf14/micro-avatar.jpg?1711481300000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Anitha Gollamudi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Massachusetts Lowell</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/angelicamoreira" class="navigate"><div class="media"><span class="pull-left"><img alt="Angelica Moreira" src="https://2022.splashcon.org/getProfileImage/angelicamoreira/a5dfcd3b-e83e-40d4-b1c4-d15cb519500f/micro-avatar.jpg?1727503310000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Angelica Moreira<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Federal University of Minas Gerais</span></h5><h5 class="media-heading"><small>Brazil</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/lionelparreaux" class="navigate"><div class="media"><span class="pull-left"><img alt="Lionel Parreaux" src="https://2022.splashcon.org/getProfileImage/lionelparreaux/4f29279c-b659-4927-b175-ca01e62e4589/micro-avatar.jpg?1716039950000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lionel Parreaux<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Hong Kong University of Science and Technology</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/manuelrigger" class="navigate"><div class="media"><span class="pull-left"><img alt="Manuel Rigger" src="https://2022.splashcon.org/getProfileImage/manuelrigger/6cef0ce2-6127-4065-b83c-b9c13bee6e36/micro-avatar.jpg?1711456304000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manuel Rigger<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">National University of Singapore</span></h5><h5 class="media-heading"><small>Singapore</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/calebstanford" class="navigate"><div class="media"><span class="pull-left"><img alt="Caleb Stanford" src="https://2022.splashcon.org/getProfileImage/calebstanford/7129da8c-1662-4d18-8a1d-d2ec08af55c9/micro-avatar.jpg?1719387356000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Caleb Stanford<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California, Davis</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/jingbowang" class="navigate"><div class="media"><span class="pull-left"><img alt="Jingbo Wang" src="https://2022.splashcon.org/getProfileImage/jingbowang/6c7c7479-23dd-4f0e-9607-8142657434f4/micro-avatar.jpg?1711457554000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jingbo Wang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Southern California</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/yuepengwang" class="navigate"><div class="media"><span class="pull-left"><img alt="Yuepeng Wang" src="https://2022.splashcon.org/getProfileImage/yuepengwang/92523303-a733-46a5-ba2d-f914973587b3/micro-avatar.jpg?1711476563000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yuepeng Wang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Simon Fraser University</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2022.splashcon.org/profile/ningningxie" class="navigate"><div class="media"><span class="pull-left"><img alt="Ningning Xie" src="https://2022.splashcon.org/getProfileImage/ningningxie/bde98fa7-a885-433f-b76c-febc76e9330a/micro-avatar.jpg?1714599376000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ningning Xie<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Toronto</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 21 Feb 19:14</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>