CINXE.COM
SPLASH 2020 - Student Research Competition - SPLASH 2020
<!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://2020.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>SPLASH 2020 - Student Research Competition - SPLASH 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.splashcon.org";</script> <link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/getFile/ff776645-fe0c-41bc-a5f3-d351459352e4/header.css?1605369652019" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2020.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://2020.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.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> <style> .facet-placeholder.past-facets>div { font-size: 0px ; } .facet-placeholder.past-facets>div:after { content: "Hide past days/events"; font-size: 12px; } </style> <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 name='description' content='The ACM Student Research Competition (SRC), sponsored by Microsoft Research, 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 de ...'> <!--[if IE 9]><script type="text/javascript" src="https://cdn.jsdelivr.net/npm/eligrey-classlist-js-polyfill@1.2.20171210/classList.min.js"></script><![endif]--> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2020 - Student Research Competition - SPLASH 2020'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The ACM Student Research Competition (SRC), sponsored by Microsoft Research, 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 de ...'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000'> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2020.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2020</span></a><div class="place">Sun 15 - Sat 21 November 2020 <a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Online Conference</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://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a></li><li class="block"><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Info <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/info/author-instructions" class="navigate">Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS</a></li><li class="block"><a href="https://2020.splashcon.org/info/presenter-instructions-sas" class="navigate">Presenter Instructions for SAS 2020</a></li><li class="block"><a href="https://2020.splashcon.org/info/presenter-instructions-for-rebase-2020" class="navigate">Presenter Instructions for REBASE 2020</a></li><li class="block"><a href="https://2020.splashcon.org/info/session-chair-instructions" class="navigate">Session Chair Instructions</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://2020.splashcon.org/program/program-splash-2020/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" 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://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Wed 18 Nov 2020" class="navigate">Wed 18 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Thu 19 Nov 2020" class="navigate">Thu 19 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Fri 20 Nov 2020" class="navigate">Fri 20 Nov</a></li><li class="block"><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sat 21 Nov 2020" class="navigate">Sat 21 Nov</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 2020</li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a></li><li class="block"><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="block"><a href="https://conf.researchr.org/home/dls-2020" class="navigate"><strong>DLS</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate"><strong>ECOOP</strong> Research Papers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate"><strong>ECOOP</strong> Artifacts</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate"><strong>ECOOP</strong> Student Volunteers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate"><strong>ECOOP</strong> Doctoral Symposium</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate"><strong>ECOOP</strong> Tutorials</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate"><strong>ECOOP</strong> Posters</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/home/gpce-2020" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/sas-2020" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/sle-2020" class="navigate"><strong>SLE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2020.splashcon.org/home/agere-2020" class="navigate"><strong>AGERE</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate"><strong>HATRA</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate"><strong>HILT</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/live-2020" class="navigate"><strong>LIVE</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate"><strong>LPOP</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate"><strong>NSAD</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate"><strong>PLATEAU</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate"><strong>REBLS</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate"><strong>TAPAS</strong> </a></li><li class="block"><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate"><strong>VMIL</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</strong> </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 2020 Committees</li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-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://2020.splashcon.org/committee/splash-2020-oopsla-review-committee" class="navigate">Review Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Essays</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-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://2020.splashcon.org/committee/splash-2020-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Onward-papers-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>REBASE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-rebase-organizing-committee" class="navigate">REBASE Chicago</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-rebase-rebase-berlin" class="navigate">REBASE Berlin</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></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://2020.splashcon.org/committee/splash-2020-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Posters-organising-committee" class="navigate"><strong>Posters</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://2020.splashcon.org/committee/splash-2020-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SPLASH-E-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-SRC-reviewers" class="navigate">Reviewers/Judges</a></li></ul></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2020.splashcon.org/committee/splash-2020-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2020.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>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate"><strong>Research Papers</strong> <small>External Review Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate"><strong>Doctoral Symposium</strong> <small>Academic Panel</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Organizing Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></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://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2020/gpc-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-2020/sas-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-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>AGERE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/agere-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/agere-2020-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>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-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>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-steering-commitee" class="navigate">Steering Commitee</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://2020.splashcon.org/committee/hatra-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/hatra-2020-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>HILT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/hilt-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/hilt-2020-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>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>IWACO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-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>JSTools</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-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://2020.splashcon.org/committee/live-2020-papers-organizing-committee" class="navigate">Organising Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/live-2020-papers-program-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LPOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-organizing-committee" class="navigate">General Chairs</a></li><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-chairs" class="navigate">Program Chair</a></li><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/lpop-2020-papers-publicity-chair" class="navigate">Publicity Chair</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NSAD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/nsad-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/nsad-2020-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>PLATEAU</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/plateau-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PRIDE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-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://2020.splashcon.org/committee/rebls-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/rebls-2020-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>SOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-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>SySEPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-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>TAPAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.splashcon.org/committee/tapas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/tapas-2020-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://2020.splashcon.org/committee/vmil-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/vmil-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.splashcon.org/committee/vmil-2020-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>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2020.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://2020.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"><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2020</span></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-2020/https%3A%5Es%5Es2020.splashcon.org%5Estrack%5Essplash-2020-SRC" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2020.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://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.splashcon.org/series/splash" class="navigate">series</a>) / </span><h1>Student Research Competition<span class="pull-right small h1">SPLASH 2020</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), sponsored by Microsoft Research, 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 his or her 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 are also entitled to a travel stipend that supports attending the SPLASH conference in Chicago, Illinois, the United States!--></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 of the ACM Student Research Competition at SPLASH 2020!</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="cfe79dbb-7209-48a3-b872-744fb7c417c1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cfe79dbb-7209-48a3-b872-744fb7c417c1">A Software Library Model for the Internet of Things</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/ianmccormack" class="navigate">Ian McCormack</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428136" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="0f6fcad1-23d8-4864-857d-7188b4966ae1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0f6fcad1-23d8-4864-857d-7188b4966ae1">Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/sangheonchoi" class="navigate">Sangheon Choi</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428133" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="4c9e9502-89a1-4941-9c83-fd714440fc57" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4c9e9502-89a1-4941-9c83-fd714440fc57">Design and Implementation of a Gradual Verifier</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/monazhang" class="navigate">Mona Zhang</a>, <a href="https://2020.splashcon.org/profile/jacobgorenburg" class="navigate">Jacob Gorenburg</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428137" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-SRC/11/Design-and-Implementation-of-a-Gradual-Verifier" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="481d6316-609f-4adf-8106-627a1c2e93ae" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="481d6316-609f-4adf-8106-627a1c2e93ae">Detecting Performance Patterns with Deep Learning</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/sophiakolak" class="navigate">Sophia Kolak</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428132" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="b39f39ab-9675-47b8-83a3-2ccad5841fc1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b39f39ab-9675-47b8-83a3-2ccad5841fc1">Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/vitalyromanov" class="navigate">Vitaly Romanov</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428135" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="8981bf9f-a801-4d61-932d-611f64632d8e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8981bf9f-a801-4d61-932d-611f64632d8e">Machine Learning to Ease Understanding of Data Driven Compiler Optimizations</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/raphaelmosaner" class="navigate">Raphael Mosaner</a></div></td></tr><tr><td><span data-event-star="714badf7-132c-4165-b890-705017d4f0e6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="714badf7-132c-4165-b890-705017d4f0e6">Psamathe: A DSL for Safe Blockchain Assets</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/reedoei" class="navigate">Reed Oei</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428131" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="c3e71786-1ffe-4570-a0c1-09e4be63f341" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c3e71786-1ffe-4570-a0c1-09e4be63f341">SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/gahwonlee" class="navigate">Gahwon Lee</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428130" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="f67006f2-b607-45d0-966a-275112b59372" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f67006f2-b607-45d0-966a-275112b59372">SOAR: Synthesis for Open-Source API Refactoring</a><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/aidanzhyang" class="navigate">Aidan Z.H. Yang</a></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428129" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="a9e3d4ea-adaf-4e67-a431-fcf11578554b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a9e3d4ea-adaf-4e67-a431-fcf11578554b">Student Research Competition</a><div class="prog-track">Student Research Competition</div><br></td></tr><tr><td><span data-event-star="f61bee32-c3d8-4485-b7f7-38b8d4e32e47" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f61bee32-c3d8-4485-b7f7-38b8d4e32e47">Student Research Competition</a><div class="prog-track">Student Research Competition</div><br></td></tr></table><h2>Call</h2><p><p><!--img src="http://soft.vub.ac.be/~jsartor/Microsoft%20logo2.pdf.png" height="150px" style="float:right"/--> In order to participate in the SRC, you must:</p> <ul> <li>Have graduate or undergraduate student status (i.e., 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 if they contain only references. 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://oopsla2020src.hotcrp.com/">https://oopsla2020src.hotcrp.com/</a> by August 15th, 2020, 23:59pm AoE.</p> <p>Please contact SPLASH’20 SRC co-chairs if you need more information.</p> <h2><a href="#competition" id="competition" class="anchor-link">Competition</a></h2> <p>There are two rounds of SRC competition that are held during the SPLASH conference, once your abstract is accepted, and a later grand finals competition:</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 the first round, which will be held online in CLOWDR – the conference hosting system. For the poster sessions, please prepare a poster in a digital format that you can present/share in an online session. (i.e., pdf). It will be used as a visual helping you to explain your work. Please also prepare a thumbnail picture of your poster (up to 2MB in JPG or PNG format) that will serve as a sneak peek for your poster before the audience enters the virtual breakout room in which you will present your work and upload it to CLOWDR.</p> <!--be held at SPLASH 2020 in Chicago, USA> online. This is your opportunity to present your research to conference attendees and SRC judges. Judges will review the posters and speak to participants about their research. The judges will evaluate 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. The authors are expected to be in their breakout room for at least one full 40-minute poster session (preferably both), to ensure that judges do not miss your presentation. Attendees will drop in and out to discuss with the authors. <!--Judges will review the posters and speak to participants about their research. The judges will evaluate the novelty and significance of your research, and the quality of your presentation, including your poster and the discussion around it. --> <p>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> <!--If you are selected for the second round, you will give a 10 minute talk about your research before a panel of judges in a special session at the SPLASH 2020 conference.--> Selected posters will advance to the next stage of the competition. We will notify you about the selection after the judges deliberate over the poster presentations, most probably on Wednesday. <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. They will be invited, along with their advisors, to the annual ACM Awards Banquet, where they will receive a formal recognition.</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 plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2020.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-2020" /><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-06:00) Central Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-06:00) Central Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-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-07: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+02: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://2020.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2020"},],"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 != -360){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Tue 17 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">00:20 - 01:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Breakfast in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="be202520-c09c-4b03-a10c-ec29fc6beec0" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8010406f-2804-40f1-8c0c-b519197640c0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8010406f-2804-40f1-8c0c-b519197640c0">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-2"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">02:20 - 03:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in Sydney<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bf69ae78-670e-4210-9256-0136323113e6" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="7ec665e0-18d7-40be-9c73-3fb71ad0d3a5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7ec665e0-18d7-40be-9c73-3fb71ad0d3a5">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-4"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">04:20 - 05:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Beijing<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5af4d813-8303-4e72-9d4c-a91c25c2529f" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">04:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8fea7ac6-5aca-4951-82b6-6af04e2e6e57" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8fea7ac6-5aca-4951-82b6-6af04e2e6e57">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-6"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">06:20 - 07:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Delhi<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="9c0a2c44-a879-4250-851a-7ece2a89a755" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">06:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="af0a9139-5efc-4433-848e-f879847a8593" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="af0a9139-5efc-4433-848e-f879847a8593">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-7"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c5"></td><td><div class="slot-label">07:00 - 08:20</div></td><td colspan="2"><div class="session-info-in-table">T<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/steveblackburn" target="_blank" class="navigate">Steve Blackburn</a><span class="prog-aff"> Australian National University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="6e91ccd5-704d-45e4-a55b-c074850498c1" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="d9dc8414-a9f1-4c0d-8f5f-a8619dba3298" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d9dc8414-a9f1-4c0d-8f5f-a8619dba3298">Testing Deep Neural Networks</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/marylousoffa" class="navigate">Mary Lou Soffa</a><span class="prog-aff"> University of Virginia</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434071" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-8"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">08:20 - 09:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Chicago<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0b92ada1-6942-45ea-b6cf-ede61050f669" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="5dda3903-b7f6-4d55-9d84-82a865e29e54" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5dda3903-b7f6-4d55-9d84-82a865e29e54">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">10:20 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c2eb141d-1841-40a2-9330-297b5777801b" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="0946af88-5fc0-40d0-827b-f00b431464d2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0946af88-5fc0-40d0-827b-f00b431464d2">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c9"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Wellington<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/><ul> <li> <p>Aidan Yang, <i>SOAR: Synthesis for Open-Source API Refactoring</i></p> </li> <li> <p>Gahwon Lee, <i>SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems</i></p> </li> <li> <p>Ian C. McCormack, <i>A Software Library Model for the Internet of Things</i></p> </li> <li> <p>Mona Zhang and Jacob Gorenburg, <i>Design and Implementation of a Gradual Verifier</i></p> </li> <li> <p>Raphael Mosaner, <i>Machine Learning to Ease Understanding of Data Driven Compiler Optimizations</i></p> </li> <li> <p>Reed Oei, <i> Psamathe: A DSL for Safe Blockchain Assets </i></p> </li> <li> <p>Sang Heon Choi, <i>Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces</i></p> </li> <li> <p>Sophia Kolak, <i>Detecting Performance Patterns with Deep Learning</i></p> </li> <li> <p>Vitaly Romanov, <i>Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions</i></p> </li> </ul> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="061b2e19-ffbb-4b02-82ba-926f2a5abf0b" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="a9e3d4ea-adaf-4e67-a431-fcf11578554b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a9e3d4ea-adaf-4e67-a431-fcf11578554b">Student Research Competition</a></strong><div class="prog-track">Student Research Competition</div><br></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-VII" 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 c9"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table">Student Research Competition Posters<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-vii" target="_blank" class="room-link navigate">SPLASH-VII</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="02595614-616e-4647-a4cb-9b02654bf915" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="4c9e9502-89a1-4941-9c83-fd714440fc57" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4c9e9502-89a1-4941-9c83-fd714440fc57">Design and Implementation of a Gradual Verifier</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/monazhang" class="navigate">Mona Zhang</a><span class="prog-aff"> Columbia University</span>, <a href="https://2020.splashcon.org/profile/jacobgorenburg" class="navigate">Jacob Gorenburg</a><span class="prog-aff"> Haverford College</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428137" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-SRC/11/Design-and-Implementation-of-a-Gradual-Verifier" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="12b61fb4-2b4e-4d83-9d1b-c67ec846994c" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="cfe79dbb-7209-48a3-b872-744fb7c417c1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cfe79dbb-7209-48a3-b872-744fb7c417c1">A Software Library Model for the Internet of Things</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/ianmccormack" class="navigate">Ian McCormack</a><span class="prog-aff"> University of Wisconsin-Eau Claire</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428136" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="4667c3b9-4093-40ea-8b9d-28557a64c79a" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="8981bf9f-a801-4d61-932d-611f64632d8e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8981bf9f-a801-4d61-932d-611f64632d8e">Machine Learning to Ease Understanding of Data Driven Compiler Optimizations</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/raphaelmosaner" class="navigate">Raphael Mosaner</a><span class="prog-aff"> Johannes Kepler University Linz</span></div></td></tr><tr data-slot-id="624eddc1-b158-49db-970b-6f19abad44f9" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="0f6fcad1-23d8-4864-857d-7188b4966ae1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0f6fcad1-23d8-4864-857d-7188b4966ae1">Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/sangheonchoi" class="navigate">Sangheon Choi</a><span class="prog-aff"> Rose-Hulman Institute of Technology</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428133" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="a3b5b809-2b59-47e7-819f-17f20ecd8490" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="c3e71786-1ffe-4570-a0c1-09e4be63f341" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c3e71786-1ffe-4570-a0c1-09e4be63f341">SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/gahwonlee" class="navigate">Gahwon Lee</a><span class="prog-aff"> The University of Texas at Austin</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428130" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="a9a8710f-7da5-4421-a43d-c785869a3278" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="714badf7-132c-4165-b890-705017d4f0e6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="714badf7-132c-4165-b890-705017d4f0e6">Psamathe: A DSL for Safe Blockchain Assets</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/reedoei" class="navigate">Reed Oei</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428131" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="f05554f0-a037-4db8-aa2b-18f9479283a6" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="b39f39ab-9675-47b8-83a3-2ccad5841fc1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b39f39ab-9675-47b8-83a3-2ccad5841fc1">Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/vitalyromanov" class="navigate">Vitaly Romanov</a><span class="prog-aff"> Innopolis University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428135" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="f8bdc9e4-6e3a-48f4-bc05-65b98db0322f" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="481d6316-609f-4adf-8106-627a1c2e93ae" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="481d6316-609f-4adf-8106-627a1c2e93ae">Detecting Performance Patterns with Deep Learning</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/sophiakolak" class="navigate">Sophia Kolak</a><span class="prog-aff"> Columbia University/Carnegie Mellon University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428132" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="ff3c066d-4b56-45de-ab0e-623250409219" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="f67006f2-b607-45d0-966a-275112b59372" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f67006f2-b607-45d0-966a-275112b59372">SOAR: Synthesis for Open-Source API Refactoring</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/aidanzhyang" class="navigate">Aidan Z.H. Yang</a><span class="prog-aff"> Queen's University / Carnegie Mellon University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428129" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">14:20 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8fb562d2-89db-4b84-b513-3fc5a2adb915" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="4c9081af-aa92-4d04-a815-22b427724873" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4c9081af-aa92-4d04-a815-22b427724873">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">16:20 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seoul<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="234b049b-70e0-4bf0-beec-c531f765c6a0" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="5a1b823c-58b7-45a2-a372-1295a926866d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5a1b823c-58b7-45a2-a372-1295a926866d">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">18:20 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Rio<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2e115366-93c3-4f21-a8e7-24e86007a95a" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="41344328-debe-4b54-a95f-00473bea98e4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="41344328-debe-4b54-a95f-00473bea98e4">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-19"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">19:00 - 20:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> T<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/steveblackburn" target="_blank" class="navigate">Steve Blackburn</a><span class="prog-aff"> Australian National University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5410aa9a-4256-46d1-8f83-72b488706446" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="d9dc8414-a9f1-4c0d-8f5f-a8619dba3298" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d9dc8414-a9f1-4c0d-8f5f-a8619dba3298">Testing Deep Neural Networks</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/marylousoffa" class="navigate">Mary Lou Soffa</a><span class="prog-aff"> University of Virginia</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434071" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">20:20 - 21:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in New York<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ce2e21ea-ba86-4250-9d12-3483b3a07ef7" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="5dda3903-b7f6-4d55-9d84-82a865e29e54" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5dda3903-b7f6-4d55-9d84-82a865e29e54">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">22:20 - 23:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Lunch in Tokyo<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d15030ec-ac9a-426e-8e5e-6a259dae4c9b" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="0946af88-5fc0-40d0-827b-f00b431464d2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0946af88-5fc0-40d0-827b-f00b431464d2">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div></div><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 18 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c9"></td><td><div class="slot-label">00:20 - 01:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Breakfast in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/><ul> <li> <p>Aidan Yang, <i>SOAR: Synthesis for Open-Source API Refactoring</i></p> </li> <li> <p>Gahwon Lee, <i>SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems</i></p> </li> <li> <p>Ian C. McCormack, <i>A Software Library Model for the Internet of Things</i></p> </li> <li> <p>Mona Zhang and Jacob Gorenburg, <i>Design and Implementation of a Gradual Verifier</i></p> </li> <li> <p>Raphael Mosaner, <i>Machine Learning to Ease Understanding of Data Driven Compiler Optimizations</i></p> </li> <li> <p>Reed Oei, <i> Psamathe: A DSL for Safe Blockchain Assets </i></p> </li> <li> <p>Sang Heon Choi, <i>Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces</i></p> </li> <li> <p>Sophia Kolak, <i>Detecting Performance Patterns with Deep Learning</i></p> </li> <li> <p>Vitaly Romanov, <i>Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions</i></p> </li> </ul> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="27e9c703-c098-40fe-9407-36203f6c5c2d" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="a9e3d4ea-adaf-4e67-a431-fcf11578554b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a9e3d4ea-adaf-4e67-a431-fcf11578554b">Student Research Competition</a></strong><div class="prog-track">Student Research Competition</div><br></td></tr></table></div><div class="hidable band hour-0"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-VII" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c9"></td><td><div class="slot-label">00:20 - 01:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Student Research Competition Posters Mirror<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-vii" target="_blank" class="room-link navigate">SPLASH-VII</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0bd561b4-6549-4364-9804-cee117e535cf" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="4c9e9502-89a1-4941-9c83-fd714440fc57" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4c9e9502-89a1-4941-9c83-fd714440fc57">Design and Implementation of a Gradual Verifier</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/monazhang" class="navigate">Mona Zhang</a><span class="prog-aff"> Columbia University</span>, <a href="https://2020.splashcon.org/profile/jacobgorenburg" class="navigate">Jacob Gorenburg</a><span class="prog-aff"> Haverford College</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428137" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-SRC/11/Design-and-Implementation-of-a-Gradual-Verifier" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="3b7f2558-9d04-4c88-af77-043840569062" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="0f6fcad1-23d8-4864-857d-7188b4966ae1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0f6fcad1-23d8-4864-857d-7188b4966ae1">Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/sangheonchoi" class="navigate">Sangheon Choi</a><span class="prog-aff"> Rose-Hulman Institute of Technology</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428133" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="42e2420e-b0d1-4f3f-a6cf-a611af5b8d6d" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="714badf7-132c-4165-b890-705017d4f0e6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="714badf7-132c-4165-b890-705017d4f0e6">Psamathe: A DSL for Safe Blockchain Assets</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/reedoei" class="navigate">Reed Oei</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428131" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="52a8e5ae-d621-4ea5-bbbf-d5cb8e00c44b" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="c3e71786-1ffe-4570-a0c1-09e4be63f341" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c3e71786-1ffe-4570-a0c1-09e4be63f341">SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/gahwonlee" class="navigate">Gahwon Lee</a><span class="prog-aff"> The University of Texas at Austin</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428130" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="851ed701-cc5f-4e09-a80e-25181fb06ab2" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="cfe79dbb-7209-48a3-b872-744fb7c417c1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cfe79dbb-7209-48a3-b872-744fb7c417c1">A Software Library Model for the Internet of Things</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/ianmccormack" class="navigate">Ian McCormack</a><span class="prog-aff"> University of Wisconsin-Eau Claire</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428136" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="97e025b3-7193-4baa-b1df-a7afae40031e" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="8981bf9f-a801-4d61-932d-611f64632d8e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8981bf9f-a801-4d61-932d-611f64632d8e">Machine Learning to Ease Understanding of Data Driven Compiler Optimizations</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/raphaelmosaner" class="navigate">Raphael Mosaner</a><span class="prog-aff"> Johannes Kepler University Linz</span></div></td></tr><tr data-slot-id="c2d31e8e-956a-4388-a65d-cfb8a3dc09c3" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="481d6316-609f-4adf-8106-627a1c2e93ae" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="481d6316-609f-4adf-8106-627a1c2e93ae">Detecting Performance Patterns with Deep Learning</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/sophiakolak" class="navigate">Sophia Kolak</a><span class="prog-aff"> Columbia University/Carnegie Mellon University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428132" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="fb003c22-1189-499b-8c65-f996cb736be7" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="f67006f2-b607-45d0-966a-275112b59372" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f67006f2-b607-45d0-966a-275112b59372">SOAR: Synthesis for Open-Source API Refactoring</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/aidanzhyang" class="navigate">Aidan Z.H. Yang</a><span class="prog-aff"> Queen's University / Carnegie Mellon University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428129" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="ff660c23-b630-4ac3-a357-ff0c00d462b3" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="b39f39ab-9675-47b8-83a3-2ccad5841fc1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b39f39ab-9675-47b8-83a3-2ccad5841fc1">Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions</a></strong><div class="prog-track">Student Research Competition</div><div class="performers"><a href="https://2020.splashcon.org/profile/vitalyromanov" class="navigate">Vitaly Romanov</a><span class="prog-aff"> Innopolis University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3428135" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-2"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">02:20 - 03:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in Sydney<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d058804c-dca1-403c-a7a1-fc4ae37a346b" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="4c9081af-aa92-4d04-a815-22b427724873" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4c9081af-aa92-4d04-a815-22b427724873">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-4"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">04:20 - 05:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Bejing<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="28b438c8-2bb8-4c84-9d21-6e2026f92db5" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">04:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="5a1b823c-58b7-45a2-a372-1295a926866d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5a1b823c-58b7-45a2-a372-1295a926866d">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-6"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">06:20 - 07:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Delhi<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ccf31134-d942-4fcf-95d3-d3804e8340b1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">06:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="41344328-debe-4b54-a95f-00473bea98e4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="41344328-debe-4b54-a95f-00473bea98e4">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-8"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c37"></td><td><div class="slot-label">08:20 - 09:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Chicago<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-awards" target="_blank" class="text-muted navigate">Awards</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2e95fb9c-7b37-433c-b8f4-4f324d5e9cdc" class="hidable"><td class="track-color c37"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:20</div><strong>40m</strong></div><div class="event-type">Other</div><span data-facet-track="SPLASH Awards"></span></td><td><span data-event-star="c0fd419e-0940-4fad-8e84-7f72a9339b79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c0fd419e-0940-4fad-8e84-7f72a9339b79">Awards Session</a></strong><div class="prog-track">Awards</div><div class="performers"><a href="https://2020.splashcon.org/profile/davidgrove" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span>, <a href="https://2020.splashcon.org/profile/jenspalsberg" class="navigate">Jens Palsberg</a><span class="prog-aff"> University of California, Los Angeles</span></div></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c5"></td><td><div class="slot-label">09:00 - 10:20</div></td><td colspan="2"><div class="session-info-in-table">W<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/hrideshrajan" target="_blank" class="navigate">Hridesh Rajan</a><span class="prog-aff"> Iowa State University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d7369bc9-e0dc-49a7-add9-56eb88b344fb" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="524d2a59-9a05-498f-879b-750d10430c79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="524d2a59-9a05-498f-879b-750d10430c79">Models and Programs: Better Together<span class="pull-right"><span data-facet-badge="supported by Futurewei" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by Futurewei</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/sriramrajamani" class="navigate">Sriram Rajamani</a><span class="prog-aff"> Microsoft Research</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434070" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">10:20 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5dcaaf21-711c-4f4a-8fd5-9fa521a51447" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="b3d90584-8297-4112-b66a-f612567a4efe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b3d90584-8297-4112-b66a-f612567a4efe">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Wellington<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4a316931-1993-4ff3-a89a-2d61489b3ba1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="1eafc361-05aa-48dd-80e5-a8708d7ac2c8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1eafc361-05aa-48dd-80e5-a8708d7ac2c8">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">14:20 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="abc1e095-7c22-49a5-a3e5-af5de34fd3c1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="6fc744f4-fc7f-4b96-b70f-e25251614484" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6fc744f4-fc7f-4b96-b70f-e25251614484">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">16:20 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seoul<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7b597fe4-019b-4808-93da-7167de334119" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="70d3b92e-67ed-4b25-9ef7-8685970e6aa1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="70d3b92e-67ed-4b25-9ef7-8685970e6aa1">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">18:20 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Rio<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7f978100-6d5a-4d3f-939a-adc2e6ecae65" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="74621f0c-91df-4fb7-857c-a74d1e6bede3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="74621f0c-91df-4fb7-857c-a74d1e6bede3">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c37"></td><td><div class="slot-label">20:20 - 21:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in New York<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-awards" target="_blank" class="text-muted navigate">Awards</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bf6c01df-5131-4de1-b096-18b058028feb" class="hidable"><td class="track-color c37"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:20</div><strong>40m</strong></div><div class="event-type">Other</div><span data-facet-track="SPLASH Awards"></span></td><td><span data-event-star="c0fd419e-0940-4fad-8e84-7f72a9339b79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c0fd419e-0940-4fad-8e84-7f72a9339b79">Awards Session</a></strong><div class="prog-track">Awards</div><div class="performers"><a href="https://2020.splashcon.org/profile/davidgrove" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span>, <a href="https://2020.splashcon.org/profile/jenspalsberg" class="navigate">Jens Palsberg</a><span class="prog-aff"> University of California, Los Angeles</span></div></td></tr></table></div><div class="hidable band hour-21"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">21:00 - 22:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> W<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/hrideshrajan" target="_blank" class="navigate">Hridesh Rajan</a><span class="prog-aff"> Iowa State University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ab61fe80-20f5-4202-933b-00648b3a1b7f" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="524d2a59-9a05-498f-879b-750d10430c79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="524d2a59-9a05-498f-879b-750d10430c79">Models and Programs: Better Together<span class="pull-right"><span data-facet-badge="supported by Futurewei" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by Futurewei</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/sriramrajamani" class="navigate">Sriram Rajamani</a><span class="prog-aff"> Microsoft Research</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434070" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">22:20 - 23:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Lunch in Tokyo<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="40b0c6a8-8dfc-49c6-b8e0-4f6aaa04fcd8" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="b3d90584-8297-4112-b66a-f612567a4efe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b3d90584-8297-4112-b66a-f612567a4efe">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div></div><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 19 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">00:20 - 01:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Breakfast in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c5a7dede-31a7-40d3-a94d-a92a8c9c88b3" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="1eafc361-05aa-48dd-80e5-a8708d7ac2c8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1eafc361-05aa-48dd-80e5-a8708d7ac2c8">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-2"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">02:20 - 03:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in Sydney<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="88c33a85-936c-49e3-960c-5cf996f1cba4" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="6fc744f4-fc7f-4b96-b70f-e25251614484" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6fc744f4-fc7f-4b96-b70f-e25251614484">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-4"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">04:20 - 05:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Beijing<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bf8aa1bb-debe-4319-b674-d869eb3ac7e1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">04:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="70d3b92e-67ed-4b25-9ef7-8685970e6aa1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="70d3b92e-67ed-4b25-9ef7-8685970e6aa1">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-6"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">06:20 - 07:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Delhi<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a561cd0e-b83c-4d22-9fa0-d71ebdeec5d2" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">06:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="74621f0c-91df-4fb7-857c-a74d1e6bede3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="74621f0c-91df-4fb7-857c-a74d1e6bede3">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-7"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c5"></td><td><div class="slot-label">07:00 - 08:20</div></td><td colspan="2"><div class="session-info-in-table">R<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/davidgrove" target="_blank" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="51acb071-0fd1-46b3-b96b-af479bc68e29" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="f92281cc-89bc-4c25-a94f-18dd4bb6f87f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f92281cc-89bc-4c25-a94f-18dd4bb6f87f">Why Digital Agriculture is Fertile Ground for Software Systems Research<span class="pull-right"><span data-facet-badge="supported by IBM Research" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by IBM Research</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/vikramadve" class="navigate">Vikram S. Adve</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434072" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-8"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">08:20 - 09:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Chicago<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="b5ae5a71-008e-42fd-ae8d-47b981d24e46" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="ff5144df-c9fe-48d0-886c-d050a8ed6101" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ff5144df-c9fe-48d0-886c-d050a8ed6101">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">10:20 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="cae5b9b8-4fd8-4e34-964d-2991005b303f" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="414c7d00-15da-4ae3-9e59-0564783ef8a6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="414c7d00-15da-4ae3-9e59-0564783ef8a6">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-IV" 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 c9"></td><td><div class="slot-label">11:00 - 12:20</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-SRC" target="_blank" class="text-muted navigate">Student Research Competition</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e5d9b4a3-7ed8-4f83-b1ea-91bf709ca38b" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>80m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="f61bee32-c3d8-4485-b7f7-38b8d4e32e47" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f61bee32-c3d8-4485-b7f7-38b8d4e32e47">Student Research Competition</a></strong><div class="prog-track">Student Research Competition</div><br></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Wellington<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="9672cea2-0ebc-460b-aca7-24eedb525581" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="20fd4662-e02e-4f90-9009-d4e240b955c1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="20fd4662-e02e-4f90-9009-d4e240b955c1">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">14:20 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3bff6fff-e28b-409f-98fe-d4e1a71df530" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8e014af6-7d2d-484b-bc92-75fe6dda785d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8e014af6-7d2d-484b-bc92-75fe6dda785d">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">16:20 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seoul<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a7522d94-002d-410d-9465-602ddb9f8a41" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8e461460-7155-4f2e-8aeb-88ff712acfac" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8e461460-7155-4f2e-8aeb-88ff712acfac">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" 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 c31"></td><td><div class="slot-label">18:20 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Rio<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="57de7806-1e6b-4b9c-8a39-e852615f5e8d" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="a2314e5c-fecf-4e32-bc37-5c8af0e8395d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a2314e5c-fecf-4e32-bc37-5c8af0e8395d">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-19"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">19:00 - 20:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> R<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/davidgrove" target="_blank" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="cb7b9dbf-7f9c-4bc1-a1db-73139f05dcc8" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="f92281cc-89bc-4c25-a94f-18dd4bb6f87f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f92281cc-89bc-4c25-a94f-18dd4bb6f87f">Why Digital Agriculture is Fertile Ground for Software Systems Research<span class="pull-right"><span data-facet-badge="supported by IBM Research" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by IBM Research</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/vikramadve" class="navigate">Vikram S. Adve</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434072" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">20:20 - 21:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in New York<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="79b265f6-61cc-424c-96fb-f54b774d2d11" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="ff5144df-c9fe-48d0-886c-d050a8ed6101" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ff5144df-c9fe-48d0-886c-d050a8ed6101">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Thu 19 Nov 2020" data-facet-date-order="201119" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">22:20 - 23:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Lunch in Tokyo<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="68fca7ac-5f44-4021-a949-4d2deb85a634" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="414c7d00-15da-4ae3-9e59-0564783ef8a6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="414c7d00-15da-4ae3-9e59-0564783ef8a6">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div></div><script type="text/javascript">window.displayUserProgamSettingsOnce = true;</script></div></div></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2020.splashcon.org/track/splash-2020-SRC" class="clickable-row past"><td>Thu 15 Oct 2020<br/>Camera-ready</td></tr><tr href="https://2020.splashcon.org/track/splash-2020-SRC" class="clickable-row past"><td>Thu 1 Oct 2020<br/>Notification</td></tr><tr href="https://2020.splashcon.org/track/splash-2020-SRC" class="clickable-row past"><td>Sat 15 Aug 2020<br/>Submission deadline</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/splash-2020-SRC-organizers" class="navigate">Organizers</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/sasamisailovic" class="navigate"><div class="media"><span class="pull-left"><img alt="Sasa Misailovic" src="https://2020.splashcon.org/getProfileImage/sasamisailovic/0b25728a-7b41-4310-8e4d-7bba04f5e387/micro-avatar.jpg?1711460565000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sasa Misailovic<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Illinois at Urbana-Champaign</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/juliarubin" class="navigate"><div class="media"><span class="pull-left"><img alt="Julia Rubin" src="https://2020.splashcon.org/getProfileImage/juliarubin/03a2471f-64ef-4138-8f85-efd560665ae5/micro-avatar.jpg?1711463921000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Julia Rubin<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of British Columbia, Canada</span></h5><h5 class="media-heading"><small>Canada</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://2020.splashcon.org/committee/splash-2020-SRC-reviewers" class="navigate">Reviewers/Judges</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/timongehr" class="navigate"><div class="media"><span class="pull-left"><img alt="Timon Gehr" src="https://2020.splashcon.org/getProfileImage/timongehr/b2599a29-a207-415e-942c-40a63dd9bfcb/micro-avatar.jpg?1717591337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Timon Gehr<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ETH Zurich, Switzerland</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/eunsukkang" class="navigate"><div class="media"><span class="pull-left"><img alt="Eunsuk Kang" src="https://2020.splashcon.org/getProfileImage/eunsukkang/0a75920a-6be2-4423-9853-a42f3d862902/micro-avatar.jpg?1724159940000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Eunsuk Kang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Carnegie Mellon 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://2020.splashcon.org/profile/fredrikkjolstad" class="navigate"><div class="media"><span class="pull-left"><img alt="Fredrik Kjolstad" src="https://2020.splashcon.org/getProfileImage/fredrikkjolstad/976b1c27-2744-4468-9b16-d0c0f16fc29a/micro-avatar.jpg?1711474655000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Fredrik Kjolstad<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Stanford University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/winglam" class="navigate"><div class="media"><span class="pull-left"><img alt="Wing Lam" src="https://2020.splashcon.org/getProfileImage/winglam/d4591487-f482-44ed-82a7-7f10d6971b49/micro-avatar.jpg?1711467589000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Wing Lam<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Illinois at Urbana-Champaign</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/owolabilegunsen" class="navigate"><div class="media"><span class="pull-left"><img alt="Owolabi Legunsen" src="https://2020.splashcon.org/getProfileImage/owolabilegunsen/363f354b-72cb-4770-8bda-f569223e22ee/micro-avatar.jpg?1711471363000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Owolabi Legunsen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Cornell University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/charithmendis" class="navigate"><div class="media"><span class="pull-left"><img alt="Charith Mendis" src="https://2020.splashcon.org/getProfileImage/charithmendis/e1ff0aea-17f1-43d8-9ffc-4d4e9fde4f57/micro-avatar.jpg?1711594551000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Charith Mendis<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">MIT CSAIL</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/hilapeleg" class="navigate"><div class="media"><span class="pull-left"><img alt="Hila Peleg" src="https://2020.splashcon.org/getProfileImage/hilapeleg/20dc056f-fc44-499e-a565-6ec0ae84666c/micro-avatar.jpg?1711456092000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hila Peleg<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California at San Diego</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/augustshi" class="navigate"><div class="media"><span class="pull-left"><img alt="August Shi" src="https://2020.splashcon.org/getProfileImage/augustshi/349fbd24-7a7d-4f03-85e7-f9c9d768e099/micro-avatar.jpg?1711594627000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">August Shi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">The University of Texas at Austin</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/caterinaurban" class="navigate"><div class="media"><span class="pull-left"><img alt="Caterina Urban" src="https://2020.splashcon.org/getProfileImage/caterinaurban/a945f9bd-bc13-4fe2-945a-59528d7d7e2a/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></small></span></h5><h5 class="media-heading"><span class="text-black">École normale supérieure</span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 19 Feb 22:06</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2020.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-2020" /><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://2020.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2020"},],"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://2020.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-2020" /><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://2020.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2020"},],"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://2020.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2020</a></h3><div><a href="https://2020.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://2020.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://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a><br/><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a><br/><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a><br/><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a><br/><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a><br/><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/dls-2020" class="navigate">DLS 2020</a><br/><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a><br/><a href="https://conf.researchr.org/home/gpce-2020" class="navigate">GPCE 2020</a><br/><a href="https://conf.researchr.org/home/sas-2020" class="navigate">SAS 2020</a><br/><a href="https://conf.researchr.org/home/sle-2020" class="navigate">SLE 2020</a><br/><h4>Workshops</h4><a href="https://2020.splashcon.org/home/agere-2020" class="navigate">AGERE 2020</a><br/><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate">HATRA 2020</a><br/><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate">HILT 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.splashcon.org/home/live-2020" class="navigate">LIVE 2020</a><br/><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate">LPOP 2020</a><br/><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate">NSAD 2020</a><br/><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate">PLATEAU 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate">REBLS 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate">TAPAS 2020</a><br/><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate">VMIL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><script> //move ecoop track items into main column var ecoopSubMenu = $('#tracks-in-navbar .dropdown-submenu:has(a:contains("ECOOP"))').remove(); var ecoopItems = ecoopSubMenu.find('ul li'); var trackMainMenu = $('#tracks-in-navbar .col-sm-5 ul'); var ecoopHeader = '<li class="block dropdown-header">ECOOP 2020</li>'; if(ecoopItems.length){ trackMainMenu.append(ecoopHeader).append(ecoopItems); } //remove postponed workshops from tracks/org menu var toHideRegex = RegExp('COP|FTfJP|ICOOOLPS|IWACO|JSTools|PRIDE|SOOP|SySEPL|VORTEX', 'i'); $('.navbar-nav ul.multi-column-dropdown>li>a').filter( function() { return toHideRegex.test( this.innerText ); } ).parent().remove(); </script></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>