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>REBLS 2020 - 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/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='7th Workshop on Reactive and Event-based Languages & Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstrea ...'> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='REBLS 2020 - SPLASH 2020'> <style> .facet-placeholder.past-facets>div { font-size: 0px ; } .facet-placeholder.past-facets>div:after { content: "Hide past days/events"; font-size: 12px; } </style> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <meta name='description' content='7th Workshop on Reactive and Event-based Languages &amp; Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstrea ...'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000'> </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%5Eshome%5Esrebls-2020%3F" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2020.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">REBLS 2020 (<a href="https://2020.splashcon.org/series/rebls" class="navigate">series</a>) / </span><h1>REBLS 2020</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Accepted Papers</a></li><li><a href="#Call-for-Papers" data-toggle="tab">Call for Papers</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><h1><a href="#7th-workshop-on-reactive-and-event-based-languages-systems" id="7th-workshop-on-reactive-and-event-based-languages-systems" class="anchor-link">7th Workshop on Reactive and Event-based Languages & Systems</a></h1> <p>Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored.</p> <p>This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work.</p> <script>$(function(){ $('div[data-facet-type="plenary"]>div.facet-false').click(); } )</script> <h1><a href="#follow-the-event-live-here" id="follow-the-event-live-here" class="anchor-link">Follow the event live here:</a></h1> <iframe width="560" height="315" src="https://www.youtube.com/embed/4t_p21seE3s" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> <p>To interact with participants and the speakers, log into <a href="https://splash2020.clowdr.org">https://splash2020.clowdr.org</a> and find the link to the zoom room for SPLASH-IV on the front page.</p> <h3>Invited Speakers</h3><div id="eaa4836d55525892e8ba4181a5e6f6e4wrapper"><div id="eaa4836d55525892e8ba4181a5e6f6e4"><a href="https://2020.splashcon.org/details/rebls-2020-papers/9/Keynote-SCADE-6" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jean-Louis Colaço" src="https://2020.splashcon.org/getProfileImage/jeanlouiscolaco/6ae883e3-90e1-4e8d-87fa-a016a341001a/avatar.jpg?1712653636000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Keynote: SCADE 6</h5><h6><i>Jean-Louis Colaço</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#eaa4836d55525892e8ba4181a5e6f6e4").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: "#eaa4836d55525892e8ba4181a5e6f6e4wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#eaa4836d55525892e8ba4181a5e6f6e4 .' + cl + ',#eaa4836d55525892e8ba4181a5e6f6e4 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#eaa4836d55525892e8ba4181a5e6f6e4 .' + cl).css('height', maxHeight); }); }); </script></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2020.splashcon.org/userProgramSettingsModalConferenceEdition?" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="splash-2020" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT-06:00) Central Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-06:00) Central Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-10:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-07:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT-01:00) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+02:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+02:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+02:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.splashcon.org/userProgramSettingsModalConferenceEdition?","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2020"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -360){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 16 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c11"></td><td><div class="slot-label">00:20 - 01:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Paris (PLMW AMA)<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-PLMW" target="_blank" class="text-muted navigate">PLMW</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ddc635b7-00a4-4656-b095-0e23a3539aaf" class="hidable"><td class="track-color c11"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="SPLASH PLMW"></span></td><td><span data-event-star="17cce97b-92ae-40a1-9368-bd7e69a0addf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="17cce97b-92ae-40a1-9368-bd7e69a0addf">Ask Me Anything: Sriram Rajamani</a></strong><div class="prog-track">PLMW</div><div class="performers"><a href="https://2020.splashcon.org/profile/sriramrajamani" class="navigate">Sriram Rajamani</a><span class="prog-aff"> Microsoft Research</span></div></td></tr></table></div><div class="hidable band hour-2"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">02:20 - 03:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in Sydney<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4664f198-7455-4844-b3f8-982f3054091f" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="a2e0574b-823d-4e03-8d1e-cf786722b3da" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a2e0574b-823d-4e03-8d1e-cf786722b3da">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-4"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">04:20 - 05:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Beijing<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4730d618-60da-42ff-ab71-c9ed92788011" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">04:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="69feb002-c268-4ad4-aa4b-b2c2ac601cfc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="69feb002-c268-4ad4-aa4b-b2c2ac601cfc">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-6"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">06:20 - 07:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Delhi<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d165938f-5a58-4bea-b8a5-9d5585503f09" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">06:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="fd62e782-7287-4a4f-9fd1-4d11e89b96bb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fd62e782-7287-4a4f-9fd1-4d11e89b96bb">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-7"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-IV" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">07:00 - 08:20</div></td><td colspan="2"><div class="session-info-in-table">Welcome to REBLS & Keynote<span class="pull-right"><a href="https://2020.splashcon.org/home/rebls-2020" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/ivanperez" target="_blank" class="navigate">Ivan Perez</a><span class="prog-aff"> NIA / NASA Formal Methods</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="f0dff02f-85d8-483c-bc90-f5525c2dc08c" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:00</div><strong>20m</strong></div><div class="event-type">Day opening</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="03c9b5fd-4436-4727-a974-7ebd8093cfc2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="03c9b5fd-4436-4727-a974-7ebd8093cfc2">Welcome to REBLS</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/ivanperez" class="navigate">Ivan Perez</a><span class="prog-aff"> NIA / NASA Formal Methods</span></div></td></tr><tr data-slot-id="e69a6810-6f59-4642-bbd2-18e5a56121fc" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:20</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="3249376f-d843-408f-9326-5c67df834f62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3249376f-d843-408f-9326-5c67df834f62">Keynote: SCADE 6</a></strong><div class="prog-track">REBLS</div><div class="performers"><span title="Keynote Speaker" class="role">K: </span><a href="https://2020.splashcon.org/profile/jeanlouiscolaco" class="navigate">Jean-Louis Colaço</a><span class="prog-aff"> ANSYS</span></div></td></tr></table></div><div class="hidable band hour-8"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">08:20 - 09:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Chicago<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c3ed0288-c732-4fac-b38a-3766f95a412f" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="0412756b-8f59-4c3c-ac47-94351e60bc25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0412756b-8f59-4c3c-ac47-94351e60bc25">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">09:00 - 10:20</div></td><td colspan="2"><div class="session-info-in-table">M<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2124306f-4801-478c-8b45-c74b16b934c0" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="48b85f95-7161-4225-83e8-da63006ee69c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="48b85f95-7161-4225-83e8-da63006ee69c">Catching More Bugs with Fewer False Alarms<span class="pull-right"><span title="This talk will be followed by an ASK ME ANYTHING session." data-facet-badge="AMA" class="output-badge" style="max-width:40px;"><span class="label-primary label">AMA</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/jonathanbell" class="navigate">Jonathan Bell</a><span class="prog-aff"> Northeastern University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3436260" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/15/Catching-More-Bugs-with-Fewer-False-Alarms" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-IV" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">09:00 - 10:20</div></td><td colspan="2"><div class="session-info-in-table">Session 1<span class="pull-right"><a href="https://2020.splashcon.org/home/rebls-2020" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/ivanperez" target="_blank" class="navigate">Ivan Perez</a><span class="prog-aff"> NIA / NASA Formal Methods</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0591c2de-c2dc-4525-ae41-c08aeebd19c4" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>40m</strong></div><div class="event-type">Research paper</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="082e1e0d-bacd-4ae3-ac56-27f980ab277b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="082e1e0d-bacd-4ae3-ac56-27f980ab277b">Debugging RxJS-based Applications</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/manuelalabor" class="navigate">Manuel Alabor</a><span class="prog-aff"> University of Applied Sciences of Eastern Switzerland (OST)</span></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/2/Debugging-RxJS-based-Applications" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="921169da-96c0-4e6f-ac99-a9160504ec8e" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:40</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="9bfec7f9-3353-442d-979a-05e4783afd51" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9bfec7f9-3353-442d-979a-05e4783afd51">Managing Persistent Signals using Signal Classes</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/tetsuokamina" class="navigate">Tetsuo Kamina</a><span class="prog-aff"> Oita University</span>, <a href="https://2020.splashcon.org/profile/tomoyukiaotani1" class="navigate">Tomoyuki Aotani</a><span class="prog-aff"> Mamezou Co.,Ltd.</span>, <a href="https://2020.splashcon.org/profile/hidehikomasuhara" class="navigate">Hidehiko Masuhara</a><span class="prog-aff"> Tokyo Institute of Technology</span></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/5/Managing-Persistent-Signals-using-Signal-Classes" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">10:20 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-Posters" target="_blank" class="text-muted navigate">Posters</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/><p>Please click the link below for the list of featured posters.</p> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="fd873380-2706-40ba-8b4e-ac39cb97cf2d" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="e75966a6-7f3d-4bbb-8ad0-e933f61183f2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e75966a6-7f3d-4bbb-8ad0-e933f61183f2">Posters Session 2</a></strong><div class="prog-track">Posters</div><br></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-IV" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">11:00 - 12:20</div></td><td colspan="2"><div class="session-info-in-table">Session 2<span class="pull-right"><a href="https://2020.splashcon.org/home/rebls-2020" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/marksantolucito" target="_blank" class="navigate">Mark Santolucito</a><span class="prog-aff"> Barnard College, Columbia University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="802723a6-caf0-4f36-9ac1-86a91f55607a" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>40m</strong></div><div class="event-type">Research paper</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="cfc3f989-b646-41e5-947c-a1991af6134a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cfc3f989-b646-41e5-947c-a1991af6134a">Asynchronous Monad for Reactive IoT Programming</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/tianzhao" class="navigate">Tian Zhao</a><span class="prog-aff"> University of Wisconsin-Milwaukee</span>, <a href="https://2020.splashcon.org/profile/adamberger" class="navigate">Adam Berger</a><span class="prog-aff"> University of Wisconsin -- Milwaukee</span>, <a href="https://2020.splashcon.org/profile/yonglunli" class="navigate">Yonglun Li</a><span class="prog-aff"> University of Wisconsin -- Milwaukee</span></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/3/Asynchronous-Monad-for-Reactive-IoT-Programming" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="2a3ba612-ea07-4586-8a89-72046a62c9fc" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>40m</strong></div><div class="event-type">Research paper</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="d14ecb44-4f2f-4795-bb37-06ea3e0c87f5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d14ecb44-4f2f-4795-bb37-06ea3e0c87f5">The essence of live coding: Change the program, keep the state!</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/manuelbarenz" class="navigate">Manuel Bärenz</a><span class="prog-aff"> sonnen eServices GmbH</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Wellington<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="6f8af9ec-c7a9-4898-ad9c-e17609ce3843" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8b0a455d-2f61-4671-8f81-7977952de337" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8b0a455d-2f61-4671-8f81-7977952de337">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-IV" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">13:00 - 14:20</div></td><td colspan="2"><div class="session-info-in-table">Session 3<span class="pull-right"><a href="https://2020.splashcon.org/home/rebls-2020" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/manuelbarenz" target="_blank" class="navigate">Manuel Bärenz</a><span class="prog-aff"> sonnen eServices GmbH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="abe13ec2-a353-4a32-841e-9c2543255bcd" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:00</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="949dc025-8414-48b0-ba8f-67a4c1855984" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="949dc025-8414-48b0-ba8f-67a4c1855984">An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/adriaanleijnse1" class="navigate">Adriaan Leijnse</a><span class="prog-aff"> Universidade NOVA de Lisboa</span></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/8/An-Introduction-to-Denotative-Continuous-Spacetime-Programming-Work-in-Progress-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="10416f1d-0a07-4d1a-9ec3-0230185d511b" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:40</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="97fe6ce6-581f-4662-8f03-e7d694d1e02c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="97fe6ce6-581f-4662-8f03-e7d694d1e02c">Reactive Sorting Networks</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/bjarnooeyen" class="navigate">Bjarno Oeyen</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.splashcon.org/profile/samvandenvonder" class="navigate">Sam Van den Vonder</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">14:20 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="1effe11a-a3e6-490d-81ca-368fd8097004" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="7ec665e0-18d7-40be-9c73-3fb71ad0d3a5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7ec665e0-18d7-40be-9c73-3fb71ad0d3a5">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-IV" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">15:00 - 16:20</div></td><td colspan="2"><div class="session-info-in-table">Session 4<span class="pull-right"><a href="https://2020.splashcon.org/home/rebls-2020" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-iv" target="_blank" class="room-link navigate">SPLASH-IV</a><br/> <small>Chair(s): <a href="https://2020.splashcon.org/profile/ivanperez" target="_blank" class="navigate">Ivan Perez</a><span class="prog-aff"> NIA / NASA Formal Methods</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="217fc35a-8973-4b86-befd-fac28c9e5a98" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="81120cb9-e729-4f47-bdf6-c1dd61a4585b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="81120cb9-e729-4f47-bdf6-c1dd61a4585b">Multitier Languages for Reactive Microservice Architectures</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/simonschoenwaelder" class="navigate">Simon Schoenwaelder</a><span class="prog-aff"> TU Darmstadt</span>, <a href="https://2020.splashcon.org/profile/pascalweisenburger" class="navigate">Pascal Weisenburger</a><span class="prog-aff"> TU Darmstadt</span>, <a href="https://2020.splashcon.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/7/Multitier-Languages-for-Reactive-Microservice-Architectures" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="96056b94-6ccf-45ac-8ca0-3fed15050f9c" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>20m</strong></div><div class="event-type">Day closing</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="10e50b65-6d63-4da2-b988-9967f867f145" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="10e50b65-6d63-4da2-b988-9967f867f145">Closing remarks</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/ivanperez" class="navigate">Ivan Perez</a><span class="prog-aff"> NIA / NASA Formal Methods</span></div></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">16:20 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seoul<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="49ee09e2-15ca-4c92-b843-6201c955ff55" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="8fea7ac6-5aca-4951-82b6-6af04e2e6e57" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8fea7ac6-5aca-4951-82b6-6af04e2e6e57">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">18:20 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Rio<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="b13f8297-83c5-4b5a-b471-fe12eee8ec07" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="af0a9139-5efc-4433-848e-f879847a8593" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="af0a9139-5efc-4433-848e-f879847a8593">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">20:20 - 21:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in New York<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">Meet The Speakers (MTS)</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="98fd09a5-985b-458c-8bb5-a3a8f78a24b3" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="0412756b-8f59-4c3c-ac47-94351e60bc25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0412756b-8f59-4c3c-ac47-94351e60bc25">Meet The Speakers</a></strong><div class="prog-track">Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-21"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">21:00 - 22:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> M<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5ffd6ef4-f021-4a93-890b-ae1e8c9cd6c8" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="48b85f95-7161-4225-83e8-da63006ee69c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="48b85f95-7161-4225-83e8-da63006ee69c">Catching More Bugs with Fewer False Alarms<span class="pull-right"><span title="This talk will be followed by an ASK ME ANYTHING session." data-facet-badge="AMA" class="output-badge" style="max-width:40px;"><span class="label-primary label">AMA</span></span></span></a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://2020.splashcon.org/profile/jonathanbell" class="navigate">Jonathan Bell</a><span class="prog-aff"> Northeastern University</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3436260" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://2020.splashcon.org/details/splash-2020-splash-keynotes/15/Catching-More-Bugs-with-Fewer-False-Alarms" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">22:20 - 23:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Lunch in Tokyo<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-Posters" target="_blank" class="text-muted navigate">Posters</a></span> at <a href="https://2020.splashcon.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/><p>Please click the link below for the list of featured posters.</p> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="54740de7-ac57-4272-92b4-196c45bd1e25" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Posters"></span></td><td><span data-event-star="e75966a6-7f3d-4bbb-8ad0-e933f61183f2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e75966a6-7f3d-4bbb-8ad0-e933f61183f2">Posters Session 2</a></strong><div class="prog-track">Posters</div><br></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="949dc025-8414-48b0-ba8f-67a4c1855984" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="949dc025-8414-48b0-ba8f-67a4c1855984">An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/adriaanleijnse1" class="navigate">Adriaan Leijnse</a></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/8/An-Introduction-to-Denotative-Continuous-Spacetime-Programming-Work-in-Progress-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="cfc3f989-b646-41e5-947c-a1991af6134a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cfc3f989-b646-41e5-947c-a1991af6134a">Asynchronous Monad for Reactive IoT Programming</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/tianzhao" class="navigate">Tian Zhao</a>, <a href="https://2020.splashcon.org/profile/adamberger" class="navigate">Adam Berger</a>, <a href="https://2020.splashcon.org/profile/yonglunli" class="navigate">Yonglun Li</a></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/3/Asynchronous-Monad-for-Reactive-IoT-Programming" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="10e50b65-6d63-4da2-b988-9967f867f145" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="10e50b65-6d63-4da2-b988-9967f867f145">Closing remarks</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/ivanperez" class="navigate">Ivan Perez</a></div></td></tr><tr><td><span data-event-star="082e1e0d-bacd-4ae3-ac56-27f980ab277b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="082e1e0d-bacd-4ae3-ac56-27f980ab277b">Debugging RxJS-based Applications</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/manuelalabor" class="navigate">Manuel Alabor</a></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/2/Debugging-RxJS-based-Applications" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="9bfec7f9-3353-442d-979a-05e4783afd51" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9bfec7f9-3353-442d-979a-05e4783afd51">Managing Persistent Signals using Signal Classes</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/tetsuokamina" class="navigate">Tetsuo Kamina</a>, <a href="https://2020.splashcon.org/profile/tomoyukiaotani1" class="navigate">Tomoyuki Aotani</a>, <a href="https://2020.splashcon.org/profile/hidehikomasuhara" class="navigate">Hidehiko Masuhara</a></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/5/Managing-Persistent-Signals-using-Signal-Classes" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="81120cb9-e729-4f47-bdf6-c1dd61a4585b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="81120cb9-e729-4f47-bdf6-c1dd61a4585b">Multitier Languages for Reactive Microservice Architectures</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/simonschoenwaelder" class="navigate">Simon Schoenwaelder</a>, <a href="https://2020.splashcon.org/profile/pascalweisenburger" class="navigate">Pascal Weisenburger</a>, <a href="https://2020.splashcon.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a></div><a href="https://2020.splashcon.org/details/rebls-2020-papers/7/Multitier-Languages-for-Reactive-Microservice-Architectures" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="97fe6ce6-581f-4662-8f03-e7d694d1e02c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="97fe6ce6-581f-4662-8f03-e7d694d1e02c">Reactive Sorting Networks</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/bjarnooeyen" class="navigate">Bjarno Oeyen</a>, <a href="https://2020.splashcon.org/profile/samvandenvonder" class="navigate">Sam Van den Vonder</a>, <a href="https://2020.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a></div></td></tr><tr><td><span data-event-star="d14ecb44-4f2f-4795-bb37-06ea3e0c87f5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d14ecb44-4f2f-4795-bb37-06ea3e0c87f5">The essence of live coding: Change the program, keep the state!</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/manuelbarenz" class="navigate">Manuel Bärenz</a></div></td></tr><tr><td><span data-event-star="03c9b5fd-4436-4727-a974-7ebd8093cfc2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="03c9b5fd-4436-4727-a974-7ebd8093cfc2">Welcome to REBLS</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2020.splashcon.org/profile/ivanperez" class="navigate">Ivan Perez</a></div></td></tr></table></div><div id="Call-for-Papers" class="tab-pane "><h2>Call for Papers</h2><p><p>A number of publications on middleware and language design – so-called reactive and event-based languages and systems (REBLS) – have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is still lacking, and modularity mechanisms remain largely unexplored. Moreover, large applications are still to be developed, and, consequently, patterns and tools for developing large reactive applications are still in their infancy.</p> <p>This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to better define the field by developing taxonomies and discussing overviews of the existing work.</p> <p>We welcome all submissions on reactive programming, functional reactive programming, and event- and aspect- oriented systems, including but not limited to:</p> <ul> <li> <p>Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.</p> </li> <li> <p>Formal models for reactive and event-based programming.</p> </li> <li> <p>Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, pure functional programming, mutable state, concurrency.</p> </li> <li> <p>Modularity and abstraction mechanisms in large systems.</p> </li> <li> <p>Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.</p> </li> <li> <p>Functional Reactive Programming (FRP), self-adjusting computation and incremental computing.</p> </li> <li> <p>Synchronous languages, modeling real-time systems, safety-critical reactive and embedded systems.</p> </li> <li> <p>Applications, case studies that show the efficacy of reactive programming.</p> </li> <li> <p>Empirical studies that motivate further research in the field.</p> </li> <li> <p>Patterns and best-practices.</p> </li> <li> <p>Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming.</p> </li> <li> <p>Implementation technology, language runtimes, virtual machine support, compilers.</p> </li> <li> <p>IDEs, Tools.</p> </li> </ul> <p>The format of the workshop is that of a mini-conference. Participants can present their work in slots of 30 mins with Q&A included. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos.</p> <h2><a href="#submissions" id="submissions" class="anchor-link">Submissions</a></h2> <p>REBLS encourages submissions of two types of papers:</p> <ul> <li> <p>Full papers: papers that describe complete research results. These papers will be published in the ACM digital library.</p> </li> <li> <p>In-progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library.</p> </li> </ul> <h2><a href="#format" id="format" class="anchor-link">Format</a></h2> <ul> <li> <p>Submissions should use the ACM SIGPLAN Conference acmart Format with the two-column, sigplan Subformat, 10 point font, using Biolinum as sans-serif font and Libertine as serif font. All submissions should be in PDF format. If you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates. The page <a href="http://www.sigplan.org/Resources/Author/#acmart-format">http://www.sigplan.org/Resources/Author/#acmart-format</a> contains instructions for authors, and a package that includes an example file acmart-sigplan.tex.</p> </li> <li> <p>Authors are required to explicitly specify the type of paper in the submission (i.e., full paper, in-progress paper).</p> </li> <li> <p>Full papers can be <em>up to</em> 12 pages in length, excluding references. In-progress papers can be <em>up to</em> 6 pages, excluding references. Papers do not need to make use of all pages, but they will be summarily rejected if they exceed the page limits.</p> </li> </ul> <h2><a href="#instructions-for-authors" id="instructions-for-authors" class="anchor-link">Instructions for Authors</a></h2> <ul> <li> <p>Papers should be submitted through: <a href="https://rebls20.hotcrp.com/">https://rebls20.hotcrp.com/</a></p> </li> <li> <p>For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions will be summarily rejected.</p> </li> <li> <p>Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.</p> </li> <li> <p>Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (<a href="http://www.sigplan.org/Resources/Policies/Republication">http://www.sigplan.org/Resources/Policies/Republication</a>). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.</p> </li> <li> <p>All submissions are expected to comply with the ACM Policies for Authorship that are detailed at <a href="https://www.acm.org/publications/authors/information-for-authors">https://www.acm.org/publications/authors/information-for-authors</a>.</p> </li> </ul> </p></div></div><span class="pull-right"><small>Questions? Use the <a href="https://2020.splashcon.org/contact2/rebls-2020-papers" class="navigate">REBLS contact form</a>.</small></span><br></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2020.splashcon.org/home/rebls-2020" class="clickable-row past"><td><strong>Mon 16 Nov 2020</strong><br/><strong>Workshop</strong></td></tr><tr href="https://2020.splashcon.org/home/rebls-2020" class="clickable-row past"><td>Thu 15 Oct 2020<br/>Camera Ready Deadline</td></tr><tr href="https://2020.splashcon.org/home/rebls-2020" class="clickable-row past"><td>Sun 4 Oct 2020<br/>Submission of Conditionally Accepted papers</td></tr><tr href="https://2020.splashcon.org/home/rebls-2020" class="clickable-row past"><td>Fri 18 Sep 2020<br/>Author notification</td></tr><tr href="https://2020.splashcon.org/home/rebls-2020" class="clickable-row past"><td><strong>Fri 21 Aug 2020</strong><br/><strong>Submission Deadline (extended)</strong></td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://rebls20.hotcrp.com/" title="Submission link for Call for Papers" target="_blank" class="navigate">https://rebls20.hotcrp.com/</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/rebls-2020-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/ivanperez" class="navigate"><div class="media"><span class="pull-left"><img alt="Ivan Perez" src="https://2020.splashcon.org/getProfileImage/ivanperez/1cb88c1d-a23c-4a4f-9e30-3e2232c84a53/micro-avatar.jpg?1725378084000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ivan Perez<span class="pull-right"><small>Chair</small></span></h5><h5 class="media-heading"><span class="text-black">NIA / NASA Formal Methods</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/edwardamsden" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2020.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Edward Amsden<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Black River Software, LLC</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/heinrichapfelmus" class="navigate"><div class="media"><span class="pull-left"><img alt="Heinrich Apfelmus" src="https://2020.splashcon.org/getProfileImage/heinrichapfelmus/5cab6cf9-4c8e-4bb8-bfc4-cf50c3c8d4e8/micro-avatar.jpg?1711506198000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Heinrich Apfelmus<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">independent</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/christiaanbaaij" class="navigate"><div class="media"><span class="pull-left"><img alt="Christiaan Baaij" src="https://2020.splashcon.org/getProfileImage/christiaanbaaij/8d0f7a2d-2223-4cd5-95c6-ffeefbbecf9b/micro-avatar.jpg?1711500459000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Christiaan Baaij<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">QBayLogic B.V.</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/patrickbahr" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrick Bahr" src="https://2020.splashcon.org/getProfileImage/patrickbahr/54e43180-4bb4-4ed9-89fd-2428206ac036/micro-avatar.jpg?1711476463000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Patrick Bahr<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">IT University of Copenhagen</span></h5><h5 class="media-heading"><small>Denmark</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/oleksandrabulgakova" class="navigate"><div class="media"><span class="pull-left"><img alt="Oleksandra Bulgakova" src="https://2020.splashcon.org/getProfileImage/oleksandrabulgakova/bff69846-c6ad-4f84-a400-cde0104fe646/micro-avatar.jpg?1711522070000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Oleksandra Bulgakova<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5><h5 class="media-heading"><small>Ukraine</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/manuelbarenz" class="navigate"><div class="media"><span class="pull-left"><img alt="Manuel Bärenz" src="https://2020.splashcon.org/getProfileImage/manuelbarenz/6f077b77-1e38-49d5-984f-b7627335ee1c/micro-avatar.jpg?1711522070000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manuel Bärenz<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">sonnen eServices GmbH</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/guerricchupin" class="navigate"><div class="media"><span class="pull-left"><img alt="Guerric Chupin" src="https://2020.splashcon.org/getProfileImage/guerricchupin/249234eb-0d1d-485a-9edd-df94625c6700/micro-avatar.jpg?1711556231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Guerric Chupin<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Nottingham</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/alanjeffrey1" class="navigate"><div class="media"><span class="pull-left"><img alt="Alan Jeffrey" src="https://2020.splashcon.org/getProfileImage/alanjeffrey1/b265fab7-365c-410a-ab5a-83d497cdf6ea/micro-avatar.jpg?1711463266000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alan Jeffrey<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Mozilla Research</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/tetsuokamina" class="navigate"><div class="media"><span class="pull-left"><img alt="Tetsuo Kamina" src="https://2020.splashcon.org/getProfileImage/tetsuokamina/a457dd0c-3bb6-47c6-91df-679048c9898f/micro-avatar.jpg?1711458318000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tetsuo Kamina<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Oita University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/louismandel" class="navigate"><div class="media"><span class="pull-left"><img alt="Louis Mandel" src="https://2020.splashcon.org/getProfileImage/louismandel/0775785c-26dd-4121-80bb-4f8f3a35a89d/micro-avatar.jpg?1711458415000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Louis Mandel<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">IBM Research, USA</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/yoshikiohshima1" class="navigate"><div class="media"><span class="pull-left"><img alt="Yoshiki Ohshima" src="https://2020.splashcon.org/getProfileImage/yoshikiohshima1/26054221-da2f-4169-9004-6e2e7628a304/micro-avatar.jpg?1711458406000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yoshiki Ohshima<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Croquet Studios</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/marcpouzet" class="navigate"><div class="media"><span class="pull-left"><img alt="Marc Pouzet" src="https://2020.splashcon.org/getProfileImage/marcpouzet/bc2c4486-da99-44c7-9aea-2f1f1059f911/micro-avatar.jpg?1711458402000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marc Pouzet<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">École normale supérieure</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/noemirodriguez" class="navigate"><div class="media"><span class="pull-left"><img alt="Noemi Rodriguez" src="https://2020.splashcon.org/getProfileImage/noemirodriguez/7f59b6c7-ae17-4c05-9dd1-e83c728b0422/micro-avatar.jpg?1711522070000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Noemi Rodriguez<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">PUC-Rio</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/marksantolucito" class="navigate"><div class="media"><span class="pull-left"><img alt="Mark Santolucito" src="https://2020.splashcon.org/getProfileImage/marksantolucito/82cbe953-b872-45c6-9265-49ecfcd9cc96/micro-avatar.jpg?1711480960000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mark Santolucito<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Barnard College, Columbia University, USA</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/neilsculthorpe" class="navigate"><div class="media"><span class="pull-left"><img alt="Neil Sculthorpe" src="https://2020.splashcon.org/getProfileImage/neilsculthorpe/2b3533d3-f66e-4bc6-bc8e-6cc6ac5789d9/micro-avatar.jpg?1719503938000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Neil Sculthorpe<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Nottingham Trent University, UK</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/cesarsanchez" class="navigate"><div class="media"><span class="pull-left"><img alt="César Sánchez" src="https://2020.splashcon.org/getProfileImage/cesarsanchez/e51e41f8-7fcd-4ef4-a3f0-5855b54d8260/micro-avatar.jpg?1711522070000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">César Sánchez<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/jonathanthaler" class="navigate"><div class="media"><span class="pull-left"><img alt="Jonathan Thaler" src="https://2020.splashcon.org/getProfileImage/jonathanthaler/0b20b0e8-6e42-4349-9844-c02f7016ba0b/micro-avatar.jpg?1711522069000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jonathan Thaler<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Applied Scienes Vorarlberg</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/tomvancutsem" class="navigate"><div class="media"><span class="pull-left"><img alt="Tom Van Cutsem" src="https://2020.splashcon.org/getProfileImage/tomvancutsem/9cc45f05-54cc-4dd8-89b9-81c5ccc403ce/micro-avatar.jpg?1711461024000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tom Van Cutsem<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Nokia Bell Labs</span></h5><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/takuowatanabe" class="navigate"><div class="media"><span class="pull-left"><img alt="Takuo Watanabe" src="https://2020.splashcon.org/getProfileImage/takuowatanabe/6a2a6e75-3b6f-4cbb-aa20-3f112bbcbab9/micro-avatar.jpg?1728527165000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Takuo Watanabe<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Tokyo Institute of Technology</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/danielwinogradcort" class="navigate"><div class="media"><span class="pull-left"><img alt="Daniel Winograd-Cort" src="https://2020.splashcon.org/getProfileImage/danielwinogradcort/9d7e20bf-0fe7-41d1-bf3c-51cdca3aa0cb/micro-avatar.jpg?1711492194000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Daniel Winograd-Cort<span class="pull-right"><small>PC Member</small></span></h5><h5 class="media-heading"><span class="text-black">Luminous Computing</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.splashcon.org/committee/rebls-2020-papers-steering-committee" class="navigate">Steering Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.splashcon.org/profile/wolfgangdemeuter" class="navigate"><div class="media"><span class="pull-left"><img alt="Wolfgang De Meuter" src="https://2020.splashcon.org/getProfileImage/wolfgangdemeuter/cb721b79-a1aa-4583-8ba0-b1a96f896900/micro-avatar.jpg?1711457258000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Wolfgang De Meuter<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Vrije Universiteit Brussel</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/patrickeugster" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrick Eugster" src="https://2020.splashcon.org/getProfileImage/patrickeugster/e8e8bf9d-bebc-4100-8851-38cade92c870/micro-avatar.jpg?1711459806000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Patrick Eugster<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">USI Lugano / TU Darmstadt / Purdue University</span></h5><h5 class="media-heading"><small></small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/guidosalvaneschi" class="navigate"><div class="media"><span class="pull-left"><img alt="Guido Salvaneschi" src="https://2020.splashcon.org/getProfileImage/guidosalvaneschi/5c315893-d5c2-4e03-9f84-db0843009816/micro-avatar.jpg?1711457590000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Guido Salvaneschi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of St. Gallen</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/franciscosantanna" class="navigate"><div class="media"><span class="pull-left"><img alt="Francisco Sant'Anna" src="https://2020.splashcon.org/getProfileImage/franciscosantanna/2d127bb0-0d0a-4f5c-af7e-7e81f5ad7d3c/micro-avatar.jpg?1711473135000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Francisco Sant'Anna<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Rio de Janeiro State University</span></h5><h5 class="media-heading"><small>Brazil</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.splashcon.org/profile/lukaszziarek" class="navigate"><div class="media"><span class="pull-left"><img alt="Lukasz Ziarek" src="https://2020.splashcon.org/getProfileImage/lukaszziarek/3d51acff-ca0f-4f4f-b487-96fa5800f38d/micro-avatar.jpg?1711470060000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lukasz Ziarek<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">SUNY Buffalo, USA</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 1 Dec 09:59</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>