CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://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</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?e0c92ee5f52769e04d268b7588469bfe" 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/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" 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/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/twitter-widget-ios-fix.js?7ba20a9fa447de94b2a094eead2ccfe8"></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">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams h ...'> <style> .facet-placeholder.past-facets>div { font-size: 0px ; } .facet-placeholder.past-facets>div:after { content: "Hide past days/events"; font-size: 12px; } </style> <meta name='description' content='Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams h ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2020'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://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"><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%5Es" 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><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="0" class="active"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="1"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="2"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="3"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="4"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="5"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="6"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="7"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="8"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="9"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="10"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="11"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="12"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="13"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="14"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="15"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="16"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="17"></li><li data-target="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide-to="18"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Chicago</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/sydney.jpg?1602657100000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Sydney</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/auckland2.png?1602657854000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Auckland</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/beijing.jpg?1602657162000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Beijing</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/Screen+Shot+2020-10-08+at+11.18.15+AM.png?1602174234000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Mars</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/moscow2.png?1602657970000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Moscow</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/delhi.jpg?1602657278000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Delhi</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/berlin.jpg?1602657530000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Berlin</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/owl.jpg?1602657542000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Nightowl</h3><h5><p>SPLASH 2020 is coming to you, at a time that suits you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/paris2.jpg?1602658091000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Paris</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/toronto.jpg?1602657576000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Toronto</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/sfo.jpg?1602657594000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>San Francisco</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/bird.jpg?1602657602000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Early Bird</h3><h5><p>SPLASH 2020 is coming to you, at a time that suits you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/Screen+Shot+2020-10-08+at+11.16.27+AM.png?1602174349000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>New York</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/rio.jpg?1602657621000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Rio De Janeiro</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/tokyo.jpg?1602657635000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Tokyo</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/tel+aviv.jpg?1602657647000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Tel Aviv</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/london.jpg?1602657661000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>London</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2020.splashcon.org/getImage/carousel/cairo.jpg?1602657676000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Cairo</h3><h5><p>SPLASH 2020 is coming to you.</p></h5></div></div></div><a href="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-efd4f405-6a8a-446c-b401-6df68beb4133" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>SPLASH 2020</h1></div><p>Welcome to <strong>SPLASH 2020</strong>, the <em>ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity</em>. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th.</p> <p><b><i>Update: Nov 15, 2020, 0700 CST:</i> SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our <a href="https://2020.splashcon.org/venue/splash-2020-venue">six talks streams here</a>; however, you wouldn’t be able to ask questions and interact with the attendees. </b></p> <p><i>NEW:</i> Watch a quick 6-minute instructional video on How to Attend SPLASH 2020 here: <a href="https://www.youtube.com/watch?v=bFiiuIEBG5I">https://www.youtube.com/watch?v=bFiiuIEBG5I</a></p> <p>VIRTUAL SPLASH has <strong>three</strong> main streams:</p> <ol> <li><em>SPLASH-I</em> for <strong><a href="https://2020.splashcon.org/track/splash-2020-oopsla">OOPSLA</a></strong> and <strong><a href="https://2020.ecoop.org/track/ecoop-2020-papers">ECOOP</a></strong> research papers;</li> <li><em>SPLASH-II</em> for <strong><a href="https://2020.splashcon.org/track/splash-2020-rebase?plenary=Hide%20plenary%20sessions">REBASE</a></strong> industry-oriented talks;</li> <li><em>SPLASH-III</em> for the major co-located events: <strong><a href="https://conf.researchr.org/home/gpce-2020?">GPCE</a>/<a href="https://conf.researchr.org/home/sle-2020?">SLE</a></strong> on Sunday/Monday; <strong><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers?">Onward! Papers</a> and <a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays?">Essays</a></strong> on Tuesday; <strong><a href="https://conf.researchr.org/home/sas-2020?">SAS</a>/<a href="https://conf.researchr.org/home/dls-2020?">DLS</a></strong> on Wednesday/Thursday; and <strong>OOPSLA</strong> research papers on Friday.</li> </ol> <p><strong>MIRRORING</strong> In what we think is world first, SPLASH will do <a href="https://youtu.be/F_l8No_uwDE"><strong>12 hour mirroring</strong></a>, each conference days will be exactly <em>12 hours long</em> with every single talk scheduled to repeat with a <em>12 hour delay</em>. Therefore: <em>whatever YOUR time zone happens to be, you can attend SPLASH during <em>any</em> convenient 12 hour block.</em> For example: Alex from New Zealand plans to attend between 8am and 8pm NZ Standard Time; Jan from Czechia plans to attend between 8am and 8pm Central European Time, while Hridesh from Iowa plans to attend between 9am and 9pm Central Daylight Time! We made a <a href="https://youtu.be/F_l8No_uwDE">two minute video</a> explaining how mirroring works and why we’re using it.</p> <p>Workshops will take place outside the main <em>three streams</em> in virtual rooms SPLASH IV-VI. Please consult this table for details and login to <a href="https://splash2020.clowdr.org/">SPLASH Clowdr</a> to enter these rooms:</p> <hr> <table class="paleBlueRows"> <thead> <tr> <th>Room</th> <th>Sun, Nov 15</th> <th>Mon, Nov 16</th> <th>Tue, Nov 17</th> <th>Wed, Nov 18</th> <th>Thur, Nov 19</th> <th>Fri, Nov 20</th> </tr> </thead> <tbody> <tr> <td>SPLASH IV</td><td><a href="https://2020.splashcon.org/home/lpop-2020?plenary=Hide%20plenary%20sessions">LPOP</a></td><td><a href="https://2020.splashcon.org/home/rebls-2020?">REBLS</a></td><td> <p><span style="font-weight:bold"><a href="https://2020.splashcon.org/home/nsad-2020?plenary=Hide%20plenary%20sessions">NSAD</a></span></p> <p><a href="https://2020.splashcon.org/home/hilt-2020?plenary=Hide%20plenary%20sessions">HILT</a></p> </td><td><a href="https://2020.splashcon.org/home/hatra-2020?plenary=Hide%20plenary%20sessions">HATRA</a></td><td><a href="https://2020.splashcon.org/track/splash-2020-SRC?plenary=Hide%20plenary%20sessions#program">SRC</a></td><td><span style="font-weight:bold"><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E?plenary=Hide%20plenary%20sessions#program">SPLASH-E</a></span></td></tr> <tr> <td>SPLASH V</td><td></td><td><a href="https://2020.splashcon.org/home/hilt-2020?plenary=Hide%20plenary%20sessions">HILT</a></td><td> <p><a href="https://2020.splashcon.org/home/agere-2020?plenary=Hide%20plenary%20sessions"> AGERE</a></p> <p><a href="https://2020.splashcon.org/home/vmil-2020?plenary=Hide%20plenary%20sessions">VMIL</a></p> </td><td><a href="https://2020.ecoop.org/home/scala-2020#program">Scala</a></td><td><a href="https://2020.splashcon.org/home/tapas-2020?plenary=Hide%20plenary%20sessions">TAPAS</a></td><td><a href="https://2020.splashcon.org/home/plateau-2020">PLATEAU</a></td></tr> <tr> <td>SPLASH VI</td><td></td><td></td><td><span style="font-weight:bold"><a href="https://2020.splashcon.org/home/live-2020?plenary=Hide%20plenary%20sessions">LIVE</a></span></td><td></td><td><a href="https://2020.splashcon.org/home/hatra-2020?plenary=Hide%20plenary%20sessions">HATRA</a></td><td><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium?plenary=Hide%20plenary%20sessions#program">DocSymp</a></td></tr> <tr> <td><span style="text-align: left">Others</span></td><td></td><td></td><td></td><td></td><td></td><td><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials#About">Tutorials</a></td></tr> </tbody> </table> <p><br> SPLASH has multiple keynotes and invited industrial talks. These talks are followed by Ask Me Anything questions where you can engage with our speakers.</p> </div></div><div class="row"><div class="col-sm-12"><h3>SPLASH Keynotes</h3><div id="75059a172332afe89cc49b4703c5b036wrapper"><div id="75059a172332afe89cc49b4703c5b036"><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/16/Testing-Deep-Neural-Networks" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Mary Lou Soffa" src="https://2020.splashcon.org/getProfileImage/marylousoffa/40ba6646-fc3d-49d6-937a-c663f01f3942/avatar.jpg?1711461155000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Testing Deep Neural Networks</h5><h6><i>Mary Lou Soffa</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/12/Models-and-Programs-Better-Together" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">supported by Futurewei</span></span></span></span><img alt="Sriram Rajamani" src="https://2020.splashcon.org/getProfileImage/sriramrajamani/85dbb2f3-41e7-493b-af72-d9a3338eea4e/avatar.jpg?1711461799000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Models and Programs: Better Together</h5><h6><i>Sriram Rajamani</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/14/Fitzcarraldo-or-How-to-Hack-Academia-to-Build-Stuff" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk will be followed by an ASK ME ANYTHING session." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">supported by Facebook</span></span></span></span><img alt="Jan Vitek" src="https://2020.splashcon.org/getProfileImage/janvitek/0077c789-2207-4b3e-a57f-053477f1d7b4/avatar.jpg?1711454624000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Fitzcarraldo — or How to Hack Academia to Build Stuff</h5><h6><i>Jan Vitek</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-SPLASH-E/4/SPLASH-E-Keynote" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Nicki Washington" src="https://2020.splashcon.org/getProfileImage/nickiwashington/554b297e-3004-4abe-89e8-f08cb4202c12/avatar.jpg?1713885446000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>SPLASH-E Keynote</h5><h6><i>Nicki Washington</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/17/Towards-Building-Ethically-Sound-Data-Driven-Software" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Brittany Johnson" src="https://2020.splashcon.org/getProfileImage/brittanyjohnson/0f798300-3acb-4bd2-b6cc-ad6e59fe7007/avatar.jpg?1711474127000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Towards Building Ethically-Sound Data-Driven Software</h5><h6><i>Brittany Johnson</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/15/Catching-More-Bugs-with-Fewer-False-Alarms" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk will be followed by an ASK ME ANYTHING session." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Jonathan Bell" src="https://2020.splashcon.org/getProfileImage/jonathanbell/2a358d37-c5d4-43ba-9a56-74cdb05f039c/avatar.jpg?1711551152000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Catching More Bugs with Fewer False Alarms</h5><h6><i>Jonathan Bell</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/13/Why-Digital-Agriculture-is-Fertile-Ground-for-Software-Systems-Research" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">supported by IBM Research</span></span></span></span><img alt="Vikram S. Adve" src="https://2020.splashcon.org/getProfileImage/vikramadve/a99a9248-20e3-4738-9200-173c353c5fcb/avatar.jpg?1711468924000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Why Digital Agriculture is Fertile Ground for Software Systems Research</h5><h6><i>Vikram S. Adve</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#75059a172332afe89cc49b4703c5b036").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#75059a172332afe89cc49b4703c5b036wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#75059a172332afe89cc49b4703c5b036 .' + cl + ',#75059a172332afe89cc49b4703c5b036 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#75059a172332afe89cc49b4703c5b036 .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><h3>REBASE@Chicago Speakers</h3><div id="680985a410ca9a45956a6c5b455c781ewrapper"><div id="680985a410ca9a45956a6c5b455c781e"><a href="https://2020.splashcon.org/details/splash-2020-rebase/8/On-the-Future-of-Flight-Software" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Kristin Yvonne Rozier" src="https://2020.splashcon.org/getProfileImage/kristinyvonnerozier/6da96576-6d4d-492d-8631-0d8ef350b15a/avatar.jpg?1711473638000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>On the Future of Flight Software</h5><h6><i>Kristin Yvonne Rozier</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/10/PL-and-HCI-Better-Together" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Elena Glassman" src="https://2020.splashcon.org/getProfileImage/elenaglassman/a670835f-5e4e-4b41-ab65-4dabd8b47163/avatar.jpg?1711471785000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>PL and HCI: Better Together</h5><h6><i>Elena Glassman</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/11/Co-Design-for-High-Performance-Computing-Software-Systems" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Min Si" src="https://2020.splashcon.org/getProfileImage/minsi/b566ccd5-1498-4770-923d-94635bfad191/avatar.jpg?1714856935000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Co-Design for High-Performance Computing Software Systems</h5><h6><i>Min Si</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/17/The-impact-of-differentiable-programming-how-P-is-enabling-new-science-in-Julia" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Matt Bauman" src="https://2020.splashcon.org/getProfileImage/mattbauman/d7111f63-4de2-423b-904f-d652ac16868b/avatar.jpg?1714855392000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>The impact of differentiable programming: how ∂P is enabling new science in Julia</h5><h6><i>Matt Bauman</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/7/JAX-accelerated-machine-learning-research-via-composable-function-transformations-in" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Matthew J. Johnson" src="https://2020.splashcon.org/getProfileImage/matthewjohnson/d06977df-f110-4a5a-bf5b-17ffc55c612c/avatar.jpg?1711544875000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>JAX: accelerated machine learning research via composable function transformations in Python</h5><h6><i>Matthew J. Johnson</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/9/Lies-we-tell-ourselves-about-developer-infrastructure" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Joe Pamer" src="https://2020.splashcon.org/getProfileImage/joepamer/8638da18-a5b0-4543-9d00-fd4b97be5d14/avatar.jpg?1714856929000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Lies we tell ourselves about developer infrastructure</h5><h6><i>Joe Pamer</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/12/Intermittent-Computer-Systems-on-Earth-and-in-Space" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Brandon Lucia" src="https://2020.splashcon.org/getProfileImage/brandonlucia/e10fc900-d74f-44e7-a793-5e2f21a7dd0b/avatar.jpg?1711469523000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Intermittent Computer Systems on Earth and in Space</h5><h6><i>Brandon Lucia</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/18/Relational-Reasoning-in-Object-based-Programs" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Anindya Banerjee" src="https://2020.splashcon.org/getProfileImage/anindyabanerjee1/7f6500d0-6c03-4faa-b5e6-0d8e93a8a589/avatar.jpg?1713419741000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Relational Reasoning in Object-based Programs</h5><h6><i>Anindya Banerjee</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/19/Paparazzi-an-open-source-UAV-for-research" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Gautier Hattenberger" src="https://2020.splashcon.org/getProfileImage/gautierhattenberger/a799856f-c948-40c1-8ee2-aab746ddb41b/avatar.jpg?1712308098000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Paparazzi, an open source UAV for research</h5><h6><i>Gautier Hattenberger</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/20/Enterprise-scale-static-analysis-A-Pinpoint-experience" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Charles Zhang" src="https://2020.splashcon.org/getProfileImage/charleszhang/059321fa-d896-44bf-b4a8-02ec597c0b3b/avatar.jpg?1711476149000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Enterprise-scale static analysis: A Pinpoint experience</h5><h6><i>Charles Zhang</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/6/Variant-analysis" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Aditya Sharad" src="https://2020.splashcon.org/getProfileImage/adityasharad/351f82e8-42c7-4626-919d-e83d730c65e8/avatar.jpg?1714856950000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Variant analysis</h5><h6><i>Aditya Sharad</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/4/APIs-are-Illness-and-Cure-The-Software-Heterogeneity-Problem-in-Web-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Jean Yang" src="https://2020.splashcon.org/getProfileImage/jeanyang/be7879c9-e0d3-4a7c-af5c-7aec4693cc67/avatar.jpg?1711488025000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming</h5><h6><i>Jean Yang</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#680985a410ca9a45956a6c5b455c781e").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#680985a410ca9a45956a6c5b455c781ewrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#680985a410ca9a45956a6c5b455c781e .' + cl + ',#680985a410ca9a45956a6c5b455c781e .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#680985a410ca9a45956a6c5b455c781e .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><h3>REBASE@Berlin Speakers</h3><div id="feafb934fe5226ec419a878364fed328wrapper"><div id="feafb934fe5226ec419a878364fed328"><a href="https://2020.splashcon.org/details/splash-2020-rebase/22/Developing-the-Wolfram-Language-Compiler" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Tom Wickham-Jones" src="https://2020.splashcon.org/getProfileImage/tomwickhamjones/c2591b77-367a-4ebb-906d-6c2276ff832b/avatar.jpg?1714856962000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Developing the Wolfram Language Compiler</h5><h6><i>Tom Wickham-Jones</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/24/Move-Semantics-for-Nim" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Andreas Rumpf" src="https://2020.splashcon.org/getProfileImage/andreasrumpf/3cb46887-2b31-420e-898c-12dfedd580c8/avatar.jpg?1713090696000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Move Semantics for Nim</h5><h6><i>Andreas Rumpf</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/29/Inside-Every-Calculus-Is-A-Little-Algebra-Waiting-To-Get-Out" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Erik Meijer" src="https://2020.splashcon.org/getProfileImage/erikmeijer/2de8797d-3c6d-49ed-bd16-411c42729d1a/avatar.jpg?1711487042000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Inside Every Calculus Is A Little Algebra Waiting To Get Out</h5><h6><i>Erik Meijer</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/31/SQLancer-Automatically-Finding-Bugs-in-Databases" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Manuel Rigger" src="https://2020.splashcon.org/getProfileImage/manuelrigger/8da006d1-d147-4f45-bdcc-650e5b018c4a/avatar.jpg?1711456304000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>SQLancer: Automatically Finding Bugs in Databases</h5><h6><i>Manuel Rigger</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/26/A-Ray-of-Hope-Array-Programming-for-the-21st-Century" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Gilad Bracha" src="https://2020.splashcon.org/getProfileImage/giladbracha/66fe962c-9388-4df3-aaaa-677a8e2e64df/avatar.jpg?1711471951000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>A Ray of Hope: Array Programming for the 21st Century</h5><h6><i>Gilad Bracha</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/25/Towards-the-tower-of-Babel-a-Polyglot-Language-VM-in-Java" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Christian Humer" src="https://2020.splashcon.org/getProfileImage/christianhumer/7a395af3-35b6-4728-81d5-bf478224f957/avatar.jpg?1714854591000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Towards the tower of Babel: a Polyglot Language VM in Java</h5><h6><i>Christian Humer</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/15/Miniaturize-All-States-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Mathieu Boespflug" src="https://2020.splashcon.org/getProfileImage/mathieuboespflug/d2f9f65c-7443-4bb7-babc-b05fae9cfd09/avatar.jpg?1711517159000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Miniaturize All States!</h5><h6><i>Mathieu Boespflug</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/13/Non-local-compiler-transformations-in-the-presence-of-dynamic-dispatch" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Keno Fischer" src="https://2020.splashcon.org/getProfileImage/kenofischer/f93e133a-a06d-4ef8-b033-617f3de5f124/avatar.jpg?1714856952000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Non-local compiler transformations in the presence of dynamic dispatch</h5><h6><i>Keno Fischer</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/1/Technology-Today-A-Paucity-of-Integrity-and-Imagination" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Robert Grimm" src="https://2020.splashcon.org/getProfileImage/robertgrimm/00645048-2d05-48ed-ae6f-50c441f41179/avatar.jpg?1711632335000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Technology Today: A Paucity of Integrity and Imagination</h5><h6><i>Robert Grimm</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/23/Tales-from-the-Frontlines-Startup-War-Stories" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Cliff Click" src="https://2020.splashcon.org/getProfileImage/cliffclick/73d11404-ae6e-4004-80e3-b75f7f40656b/avatar.jpg?1714187197000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Tales from the Frontlines: Startup War Stories</h5><h6><i>Cliff Click</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/16/Probabilistic-Programming-The-What-Why-and-How" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Maria I. Gorinova" src="https://2020.splashcon.org/getProfileImage/mariaigorinova/d9555ab1-6d7e-4631-bcc7-2f6ed701a677/avatar.jpg?1714856968000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Probabilistic Programming: The What, Why and How</h5><h6><i>Maria I. Gorinova</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/27/Herding-Nulls-in-Dart" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Erik Ernst" src="https://2020.splashcon.org/getProfileImage/erikernst/dbb8033d-763a-4571-90ef-c750ed5f597b/avatar.jpg?1711462886000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Herding Nulls in Dart</h5><h6><i>Erik Ernst</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/2/Back-to-the-Future-A-History-of-UIs-through-Trends-and-Mass-Culture" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Paola Bisogno" src="https://2020.splashcon.org/getProfileImage/paolabisogno/b18c4e30-e2df-4007-8577-569ba8ea1b4e/avatar.jpg?1714856966000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Back to the Future! A History of UIs through Trends and Mass Culture</h5><h6><i>Paola Bisogno</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/28/Paradigms-Without-Progress-Kuhnian-Reflections-on-Programming-Practice" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Jimmy Miller" src="https://2020.splashcon.org/getProfileImage/jimmymiller/48f1e219-46de-4663-a232-dc65aed8db58/avatar.jpg?1714856956000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Paradigms Without Progress: Kuhnian Reflections on Programming Practice</h5><h6><i>Jimmy Miller</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/14/Gillian-a-Multi-language-Platform-for-Compositional-Symbolic-Analysis" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Philippa Gardner" src="https://2020.splashcon.org/getProfileImage/philippagardner/d645a8b7-abfb-4f27-a817-89bda3a0474b/avatar.jpg?1711468354000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Gillian: a Multi-language Platform for Compositional Symbolic Analysis</h5><h6><i>Philippa Gardner</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/30/Reliable-Stack-Traces-the-Reality-of-Myth" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Francesco Zappa Nardelli" src="https://2020.splashcon.org/getProfileImage/francescozappanardelli/e7d164ff-66ed-4309-b99f-60e2f77f7b02/avatar.jpg?1711466896000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Reliable Stack Traces, the Reality of Myth</h5><h6><i>Francesco Zappa Nardelli</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/3/Speculation-in-Smart-Contracts" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Maurice Herlihy" src="https://2020.splashcon.org/getProfileImage/mauriceherlihy/4575a6dc-8eb6-4ad9-9274-3e3e44b3a767/avatar.jpg?1711508787000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Speculation in Smart Contracts</h5><h6><i>Maurice Herlihy</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/5/Quantitative-Types-in-Idris-2" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Edwin Brady" src="https://2020.splashcon.org/getProfileImage/edwinbrady/cbff36d2-7476-402e-bc2c-e84d1ceb0ab5/avatar.jpg?1714839709000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Quantitative Types in Idris 2</h5><h6><i>Edwin Brady</i></h6></div></div></div></a><a href="https://2020.splashcon.org/details/splash-2020-rebase/21/Performance-Really-Matters" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="This talk is followed by an Ask Me Anything session with the speaker." class="output-badge" style="max-height: 40px; z-index:10;"><span class="label-primary label">AMA</span></span></span></span><img alt="Emery D. Berger" src="https://2020.splashcon.org/getProfileImage/emeryberger/6187feeb-700c-48d5-aceb-6d7b87490a7a/avatar.jpg?1711484559000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Performance Really Matters</h5><h6><i>Emery D. Berger</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#feafb934fe5226ec419a878364fed328").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#feafb934fe5226ec419a878364fed328wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#feafb934fe5226ec419a878364fed328 .' + cl + ',#feafb934fe5226ec419a878364fed328 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#feafb934fe5226ec419a878364fed328 .' + cl).css('height', maxHeight); }); }); </script></div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="https://facebook.com" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://2020.splashcon.org/getLogo/96071cfa-bbb6-4ab8-8577-85a2893cc156?1600194121000" class="outputimage"/></span></td><td>Gold Supporter</td></tr><tr href="http://google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://2020.splashcon.org/getLogo/052910c3-5101-4916-9695-61008ab6b036?1600194122000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="https://www.futurewei.com/" title="Futurewei Technologies" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Futurewei Technologies" src="https://2020.splashcon.org/getLogo/9ffcb132-2841-4fad-bf97-2ee0caac34bf?1600450541000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://www.research.ibm.com" title="IBM Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IBM Research" src="https://2020.splashcon.org/getLogo/b806b47a-3411-4eb7-8a67-3a95a3ee8667?1602291181000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="https://www.oracle.com/index.html" title="Oracle" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle" src="https://2020.splashcon.org/getLogo/ccb03acf-70ee-4745-a6fc-cc255301c36f?1601330093000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="http://acm.org" title="ACM" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ACM" src="https://2020.splashcon.org/getLogo/95367406-72d0-44b5-8e33-0b2b904dca5a?1600336263000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="http://sigplan.org" title="SIGPLAN" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="SIGPLAN" src="https://2020.splashcon.org/getLogo/bbd11b26-ca24-412a-9590-2702a45fd848?1600336385000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="https://facebook.com" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://2020.splashcon.org/getLogo/307bf45c-796e-4a1b-8a2e-0eeb6e5cdea1?1600787216000" class="outputimage"/></span></td><td>Gold Supporter (ECOOP)</td></tr><tr href="http://google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://2020.splashcon.org/getLogo/8128b308-66ce-48f7-8fa2-446f3af3ba20?1600787244000" class="outputimage"/></span></td><td>Gold Supporter (ECOOP)</td></tr><tr href="https://www.connext.de/" title="Connext Communication GmbH" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Connext Communication GmbH" src="https://2020.splashcon.org/getLogo/46cfc7d3-f225-49ce-a57f-1491cf497fc2?1600787268000" class="outputimage"/></span></td><td>Bronze Supporter (ECOOP)</td></tr><tr href="http://www.aito.org" title="AITO" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="AITO" src="https://2020.splashcon.org/getLogo/06d90b37-00d9-469d-8a3b-b8be0d4397ef?1600787339000" class="outputimage"/></span></td><td>Sponsor (ECOOP)</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> SPLASH 2020 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="text-muted navigate">OOPSLA</a> | <a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="text-muted navigate">OOPSLA Artifacts</a> | <a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="text-muted navigate">Onward! Essays</a> | <a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="text-muted navigate">Onward! Papers</a> | <a href="https://2020.splashcon.org/track/splash-2020-rebase" class="text-muted navigate">REBASE</a> | <a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="text-muted navigate">PL Mentoring Workshop (PLMW)</a> | <a href="https://2020.splashcon.org/track/splash-2020-Posters" class="text-muted navigate">Posters</a> | <a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="text-muted navigate">SPLASH-E</a> | <a href="https://2020.splashcon.org/track/splash-2020-SRC" class="text-muted navigate">Student Research Competition</a> | <a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="text-muted navigate">Student Volunteers</a> | <a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="text-muted navigate">Workshops</a> | <a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="text-muted navigate">Keynotes</a> | <a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="text-muted navigate">Meet The Speakers (MTS)</a> | <a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="text-muted navigate">Ask Me Anything (AMA)</a> | <a href="https://2020.splashcon.org/track/splash-2020-cares" class="text-muted navigate">CARES</a> | <a href="https://2020.splashcon.org/track/splash-2020-awards" class="text-muted navigate">Awards</a> | <a href="https://2020.splashcon.org/track/splash-2020-opening" class="text-muted navigate">Opening</a> | <a href="https://2020.splashcon.org/track/splash-2020-closing" class="text-muted navigate">Closing</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-primary social-media-widget"><div class="panel-heading clearfix"><div class="panel-title"><svg xmlns="http://www.w3.org/2000/svg" height="0.875em" viewBox="0 0 512 512"><path d="M389.2 48h70.6L305.6 224.2 487 464H345L233.7 318.6 106.5 464H35.8L200.7 275.5 26.8 48H172.4L272.9 180.9 389.2 48zM364.4 421.8h39.1L151.1 88h-42L364.4 421.8z"></path></svg> Posts</div></div><a class="twitter-timeline" data-height="400"href="https://twitter.com/splashcon">splashcon</a><script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script></div><div class="panel panel-primary social-media-widget"><div class="panel-heading clearfix"><div class="panel-title"><svg xmlns="http://www.w3.org/2000/svg" height="0.875em" viewBox="0 0 512 512"><path d="M504 256C504 119 393 8 256 8S8 119 8 256c0 123.78 90.69 226.38 209.25 245V327.69h-63V256h63v-54.64c0-62.15 37-96.48 93.67-96.48 27.14 0 55.52 4.84 55.52 4.84v61h-31.28c-30.8 0-40.41 19.12-40.41 38.73V256h68.78l-11 71.69h-57.78V501C413.31 482.38 504 379.78 504 256z"></path></svg> Posts</div></div><div id="fb-root"></div><script>(function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/en_US/sdk.js#xfbml=1&version=v2.10"; fjs.parentNode.insertBefore(js, fjs);}(document, 'script', 'facebook-jssdk'));var fbresized = null;$(window).on('resize', function() { if(fbresized === null) { fbresized = window.setTimeout(function() { fbresized = null; $('.fb-page').removeClass('fb_iframe_widget fb_iframe_widget_fluid'); FB.XFBML.parse(); }, 300);} } ); </script><div class="fb-page" data-href="https://www.facebook.com/SPLASHCon/" data-tabs="timeline" data-small-header="true" data-height="350" data-width="500" data-adapt-container-width="true" data-hide-cover="true" data-show-facepile="false"><blockquote cite="https://www.facebook.com/facebook" class="fb-xfbml-parse-ignore"><a href="https://www.facebook.com/facebook">Facebook</a></blockquote></div></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Thu 28 Nov 18:17</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.67.1</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; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>