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://2023.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2023.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>REBLS 2023 - SPLASH 2023</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2023.splashcon.org";</script> <link rel="stylesheet" href="https://2023.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2023.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2023.splashcon.org/getFile/acf4e820-477e-4779-ad03-91c281f22c44/header2023-tes.css?1679635063904" type="text/css" /><link rel="stylesheet" href="https://2023.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2023.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://2023.splashcon.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2023.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <meta name='description' content='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 technolog ...'> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2023.splashcon.org/getImage/carousel/cascais-resort-in-portugal-2022-02-03-00-03-22-utc.jpg?1676835658000'> <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> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='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 technolog ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='REBLS 2023 - SPLASH 2023'>  </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2023.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2023</span></a><div class="place">Sun 22 - Fri 27 October 2023 <a href="https://2023.splashcon.org/venue/hotel-cascais-miragem" class="navigate">Cascais, Portugal</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://2023.splashcon.org/venue/hotel-cascais-miragem" class="navigate">Venue: Hotel Cascais Miragem</a></li><li class="block"><a href="https://2023.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2023.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li class="block"><a href="https://2023.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://2023.splashcon.org/attending/travel-support" class="navigate">Support for Attending the Conference</a></li><li class="block"><a href="https://2023.splashcon.org/attending/virtual-live-streams" class="navigate">Live Streams</a></li><li class="block"><a href="https://2023.splashcon.org/attending/instructions-for-presenters" class="navigate">Instructions for Presenters</a></li><li class="block"><a href="https://2023.splashcon.org/attending/how-to-splash" class="navigate">How to SPLASH (Quick Attendee Guide)</a></li><li class="block"><a href="https://2023.splashcon.org/attending/session-chair-instructions" class="navigate">Instructions for Session Chairs </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://2023.splashcon.org/program/program-splash-2023/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2023.splashcon.org/program/program-splash-2023/" 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://2023.splashcon.org/program/program-splash-2023/" data-fltr-type="date" data-fltr-val="Sun 22 Oct 2023" class="navigate">Sun 22 Oct</a></li><li class="block"><a href="https://2023.splashcon.org/program/program-splash-2023/" data-fltr-type="date" data-fltr-val="Mon 23 Oct 2023" class="navigate">Mon 23 Oct</a></li><li class="block"><a href="https://2023.splashcon.org/program/program-splash-2023/" data-fltr-type="date" data-fltr-val="Tue 24 Oct 2023" class="navigate">Tue 24 Oct</a></li><li class="block"><a href="https://2023.splashcon.org/program/program-splash-2023/" data-fltr-type="date" data-fltr-val="Wed 25 Oct 2023" class="navigate">Wed 25 Oct</a></li><li class="block"><a href="https://2023.splashcon.org/program/program-splash-2023/" data-fltr-type="date" data-fltr-val="Thu 26 Oct 2023" class="navigate">Thu 26 Oct</a></li><li class="block"><a href="https://2023.splashcon.org/program/program-splash-2023/" data-fltr-type="date" data-fltr-val="Fri 27 Oct 2023" class="navigate">Fri 27 Oct</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 2023</li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-oopsla" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Onward-Essays" class="navigate">Onward! Essays</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Onward-papers" class="navigate">Onward! Papers</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-PLMW" class="navigate">PLMW</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-SRC" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Volunteers" class="navigate">Volunteers</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-dei-events" class="navigate">DEI Activities</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-cares" class="navigate">CARES</a></li><li class="block"><a href="https://2023.splashcon.org/track/splash-2023-sponsored-talks" class="navigate">Sponsored Talks</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://2023.splashcon.org/home/dls-2023" class="navigate"><strong>DLS</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/gpce-2023" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/lopstr-2023" class="navigate"><strong>LOPSTR</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/mplr-2023" class="navigate"><strong>MPLR</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/ppdp-2023" class="navigate"><strong>PPDP</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/sas-2023" class="navigate"><span class="glyphicon glyphicon-home"></span> SAS</a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2023/sas-2023-papers" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/sas-2023/sas-2023-sas-2023-artifacts" class="navigate"><strong>SAS</strong> Artifacts</a></li></ul></li><li class="block"><a href="https://2023.splashcon.org/home/sle-2023" class="navigate"><strong>SLE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2023.splashcon.org/home/conflang-2023" class="navigate"><strong>CONFLANG</strong> 23</a></li><li class="block"><a href="https://2023.splashcon.org/home/ftscs-2023" class="navigate"><strong>FTSCS</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/hatra-2023" class="navigate"><strong>HATRA</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/iwaco-2023" class="navigate"><strong>IWACO</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/live-2023" class="navigate"><strong>LIVE</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/paint-2023" class="navigate"><strong>PAINT</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/plf-2023" class="navigate"><strong>PLF</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/rebls-2023" class="navigate"><strong>REBLS</strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/st-anniversary-30" class="navigate"><strong>ST30 </strong> </a></li><li class="block"><a href="https://2023.splashcon.org/home/vmil-2023" class="navigate"><strong>VMIL</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 2023 Committees</li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-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://2023.splashcon.org/committee/splash-2023-oopsla-review-committee" class="navigate">OOPSLA Review Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee" class="navigate">External Review / Artifact Evaluation Committee</a></li></ul></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-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>Onward! Essays</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-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://2023.splashcon.org/committee/splash-2023-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-Onward-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>PLMW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-Posters-organizing-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://2023.splashcon.org/committee/splash-2023-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-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://2023.splashcon.org/committee/splash-2023-SRC-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-SRC-judges" class="navigate">Judges</a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-SRC-reviewers" class="navigate">Reviewers</a></li></ul></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-Student-Volunteers-organizers" class="navigate"><strong>Volunteers</strong></a></li><li class="block"><a href="https://2023.splashcon.org/committee/splash-2023-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2023.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://2023.splashcon.org/committee/dls-2023-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/dls-2023-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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/gpce-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/gpce-2023-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>LOPSTR</strong></a><ul class="block dropdown-menu"><li class="block small"><a href="https://2023.splashcon.org/home/lopstr-2023" class="navigate"><span class="glyphicon glyphicon-home"></span> N/A - check homepage</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>MPLR</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/mplr-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/mplr-2023-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>PPDP</strong></a><ul class="block dropdown-menu"><li class="block small"><a href="https://2023.splashcon.org/home/ppdp-2023" class="navigate"><span class="glyphicon glyphicon-home"></span> N/A - check homepage</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-2023/sas-2023-invited-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2023/sas-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2023/sas-2023-papers-program-committee" class="navigate"><strong>SAS 2023</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2023/sas-2023-sas-2023-artifacts-artifact-evaluation-committee" class="navigate"><strong>SAS 2023 Artifacts</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/sle-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/sle-2023-program-committee" class="navigate">Program 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>CONFLANG</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/conflang-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/conflang-2023-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>FTSCS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/ftscs-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/ftscs-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HATRA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/hatra-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/hatra-2023-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://2023.splashcon.org/committee/iwaco-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/iwaco-2023-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://2023.splashcon.org/committee/live-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/live-2023-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PAINT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/paint-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/paint-2023-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>PLF</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/plf-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/plf-2023-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://2023.splashcon.org/committee/rebls-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/rebls-2023-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>ST30 </strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/st-anniversary-30-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/st-anniversary-30-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>VMIL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.splashcon.org/committee/vmil-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2023.splashcon.org/committee/vmil-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2023.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://2023.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2023</span></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"><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></li><li class="block"><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li class="block"><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li class="block"><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li class="block"><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li class="block"><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li class="block"><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li class="block"><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li class="block"></li><li class="block"><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"></li><li class="block"><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/splash-2023/https%3A%5Es%5Es2023.splashcon.org%5Eshome%5Esrebls-2023" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2023.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://2023.splashcon.org" class="navigate">SPLASH 2023</a> (<a href="https://2023.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">REBLS 2023 (<a href="https://2023.splashcon.org/series/rebls" class="navigate">series</a>) / </span><h1>REBLS</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 "><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> </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://2023.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-2023" /><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+01:00) Lisbon</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+01:00) Lisbon</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-09: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-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07: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-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04: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-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02: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-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02: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) 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+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) 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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02: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+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03: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+03: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+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2023.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2023"},],"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 != 0){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 23 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Lisbon</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Mon 23 Oct 2023" data-facet-date-order="231023" data-facet-room="Room 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 c32"></td><td><div class="slot-label">09:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">keynote<span class="pull-right"><a href="https://2023.splashcon.org/home/rebls-2023" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2023.splashcon.org/room/hotel-cascais-miragem-room-iv" target="_blank" class="room-link navigate">Room IV</a><br/> <small>Chair(s): <a href="https://2023.splashcon.org/profile/vadimzaytsev" target="_blank" class="navigate">Vadim Zaytsev</a><span class="prog-aff"> University of Twente, Netherlands</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="756d2d7a-b9fa-47f7-add2-62b837973831" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>90m</strong></div><div class="event-type">Keynote</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="a5d3c5cf-b919-4e9a-b693-b65ceb99dcd4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5d3c5cf-b919-4e9a-b693-b65ceb99dcd4">Implementing, verifying and debugging distributed event-based systems</a></strong><div class="prog-track">REBLS</div><div class="performers"><span title="Author" class="role">A: </span><a href="https://2023.splashcon.org/profile/elisagonzalezboix" class="navigate">Elisa Gonzalez Boix</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://soft.vub.ac.be/disco/REBELS23_egb.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2023.splashcon.org/details/rebls-2023-papers/7/Implementing-verifying-and-debugging-distributed-event-based-systems" 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 23 Oct 2023" data-facet-date-order="231023" data-facet-track="SPLASH Catering" data-facet-room="Gallery" 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 c36"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://2023.splashcon.org/track/splash-2023-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2023.splashcon.org/room/hotel-cascais-miragem-gallery" target="_blank" class="room-link navigate">Gallery</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Mon 23 Oct 2023" data-facet-date-order="231023" data-facet-room="Room 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 c32"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Technical session 1<span class="pull-right"><a href="https://2023.splashcon.org/home/rebls-2023" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2023.splashcon.org/room/hotel-cascais-miragem-room-iv" target="_blank" class="room-link navigate">Room IV</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="71cdc0fd-653c-4165-bf44-d5377090f145" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>45m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="b0d15d80-abb9-4df0-9fe8-35639463c977" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b0d15d80-abb9-4df0-9fe8-35639463c977">Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/kentosogo" class="navigate">Kento Sogo</a><span class="prog-aff"> Tokyo Institute of Technology</span>, <a href="https://2023.splashcon.org/profile/yutatsuji" class="navigate">Yuta Tsuji</a><span class="prog-aff"> Tokyo Institute of Technology</span>, <a href="https://2023.splashcon.org/profile/sosukemoriguchi" class="navigate">Sosuke Moriguchi</a><span class="prog-aff"> Tokyo Institute of Technology</span>, <a href="https://2023.splashcon.org/profile/takuowatanabe" class="navigate">Takuo Watanabe</a><span class="prog-aff"> Tokyo Institute of Technology</span></div><a href="https://www.psg.c.titech.ac.jp/posts/2023-10-23-REBLS2023.html" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3623506.3623578" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://dl.acm.org/doi/10.1145/3623506.3623578?cid=81100364022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a></td></tr><tr data-slot-id="19d64a59-b244-4897-8204-7740d5bdcb89" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:45</div><strong>45m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="4afdd6ae-581f-4e41-b0bd-173c3b01b545" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4afdd6ae-581f-4e41-b0bd-173c3b01b545">Thorium: Verifiable, Dynamic, Reactive Software</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/kevinbaldor1" class="navigate">Kevin Baldor</a><span class="prog-aff"> The University of Texas at San Antonio</span>, <a href="https://2023.splashcon.org/profile/jianweiniu1" class="navigate">Jianwei Niu</a><span class="prog-aff"> University of Texas at San Antonio</span>, <a href="https://2023.splashcon.org/profile/xiaoyinwang" class="navigate">Xiaoyin Wang</a><span class="prog-aff"> University of Texas at San Antonio</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Mon 23 Oct 2023" data-facet-date-order="231023" data-facet-track="SPLASH Catering" data-facet-room="Gallery" 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 c36"></td><td><div class="slot-label">12:30 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://2023.splashcon.org/track/splash-2023-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2023.splashcon.org/room/hotel-cascais-miragem-gallery" target="_blank" class="room-link navigate">Gallery</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Mon 23 Oct 2023" data-facet-date-order="231023" data-facet-room="Room 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 c32"></td><td><div class="slot-label">14:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Technical session 2<span class="pull-right"><a href="https://2023.splashcon.org/home/rebls-2023" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2023.splashcon.org/room/hotel-cascais-miragem-room-iv" target="_blank" class="room-link navigate">Room IV</a><br/> <small>Chair(s): <a href="https://2023.splashcon.org/profile/ragnarmogk" target="_blank" class="navigate">Ragnar Mogk</a><span class="prog-aff"> Technische Universität Darmstadt</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="93a4c249-3b27-43cb-bd1e-117cb7a90c07" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="3935b195-1a95-497e-8fb5-0f1718a19508" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3935b195-1a95-497e-8fb5-0f1718a19508">ComPOS: a DSL for Composing IoT Systems With Weak Connectivity</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/alfredakesson" class="navigate">Alfred Åkesson</a><span class="prog-aff"> Lund University, Sweden</span>, <a href="https://2023.splashcon.org/profile/gorelhedin1" class="navigate">Görel Hedin</a><span class="prog-aff"> Lund University</span>, <a href="https://2023.splashcon.org/profile/niklasfors" class="navigate">Niklas Fors</a><span class="prog-aff"> Lund University</span></div></td></tr><tr data-slot-id="ad7f5407-8b34-4f22-8146-bb0ffc0fa64d" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="8fc7a771-f663-42cf-b9de-8b0b13898f30" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8fc7a771-f663-42cf-b9de-8b0b13898f30">Actix-Telepathy</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/phillipwenig" class="navigate">Phillip Wenig</a><span class="prog-aff"> Hasso Plattner Institute, University of Potsdam</span>, <a href="https://2023.splashcon.org/profile/thorstenpapenbrock" class="navigate">Thorsten Papenbrock</a><span class="prog-aff"> Philipps-Universität Marburg</span></div></td></tr><tr data-slot-id="8bd01853-0781-416b-b207-c2d20ab8365a" class="hidable"><td class="track-color c32"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="ed056853-9eb5-4426-82fb-d3d94731931e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ed056853-9eb5-4426-82fb-d3d94731931e">Realizing Persistent Signals in JavaScript</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/daichihidaka" class="navigate">Daichi Hidaka</a><span class="prog-aff"> Oita University</span>, <a href="https://2023.splashcon.org/profile/tetsuokamina" class="navigate">Tetsuo Kamina</a><span class="prog-aff"> Oita University</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 23 Oct 2023" data-facet-date-order="231023" data-facet-track="SPLASH Catering" data-facet-room="Gallery" 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 c36"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://2023.splashcon.org/track/splash-2023-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2023.splashcon.org/room/hotel-cascais-miragem-gallery" target="_blank" class="room-link navigate">Gallery</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></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="8fc7a771-f663-42cf-b9de-8b0b13898f30" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8fc7a771-f663-42cf-b9de-8b0b13898f30">Actix-Telepathy</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/phillipwenig" class="navigate">Phillip Wenig</a>, <a href="https://2023.splashcon.org/profile/thorstenpapenbrock" class="navigate">Thorsten Papenbrock</a></div></td></tr><tr><td><span data-event-star="3935b195-1a95-497e-8fb5-0f1718a19508" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3935b195-1a95-497e-8fb5-0f1718a19508">ComPOS: a DSL for Composing IoT Systems With Weak Connectivity</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/alfredakesson" class="navigate">Alfred Åkesson</a>, <a href="https://2023.splashcon.org/profile/gorelhedin1" class="navigate">Görel Hedin</a>, <a href="https://2023.splashcon.org/profile/niklasfors" class="navigate">Niklas Fors</a></div></td></tr><tr><td><span data-event-star="a5d3c5cf-b919-4e9a-b693-b65ceb99dcd4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a5d3c5cf-b919-4e9a-b693-b65ceb99dcd4">Implementing, verifying and debugging distributed event-based systems</a><div class="prog-track">REBLS</div><div class="performers"><span title="Author" class="role">A: </span><a href="https://2023.splashcon.org/profile/elisagonzalezboix" class="navigate">Elisa Gonzalez Boix</a></div><a href="https://soft.vub.ac.be/disco/REBELS23_egb.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2023.splashcon.org/details/rebls-2023-papers/7/Implementing-verifying-and-debugging-distributed-event-based-systems" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="b0d15d80-abb9-4df0-9fe8-35639463c977" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b0d15d80-abb9-4df0-9fe8-35639463c977">Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/kentosogo" class="navigate">Kento Sogo</a>, <a href="https://2023.splashcon.org/profile/yutatsuji" class="navigate">Yuta Tsuji</a>, <a href="https://2023.splashcon.org/profile/sosukemoriguchi" class="navigate">Sosuke Moriguchi</a>, <a href="https://2023.splashcon.org/profile/takuowatanabe" class="navigate">Takuo Watanabe</a></div><a href="https://www.psg.c.titech.ac.jp/posts/2023-10-23-REBLS2023.html" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3623506.3623578" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://dl.acm.org/doi/10.1145/3623506.3623578?cid=81100364022" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a></td></tr><tr><td><span data-event-star="ed056853-9eb5-4426-82fb-d3d94731931e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ed056853-9eb5-4426-82fb-d3d94731931e">Realizing Persistent Signals in JavaScript</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/daichihidaka" class="navigate">Daichi Hidaka</a>, <a href="https://2023.splashcon.org/profile/tetsuokamina" class="navigate">Tetsuo Kamina</a></div></td></tr><tr><td><span data-event-star="4afdd6ae-581f-4e41-b0bd-173c3b01b545" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4afdd6ae-581f-4e41-b0bd-173c3b01b545">Thorium: Verifiable, Dynamic, Reactive Software</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2023.splashcon.org/profile/kevinbaldor1" class="navigate">Kevin Baldor</a>, <a href="https://2023.splashcon.org/profile/jianweiniu1" class="navigate">Jianwei Niu</a>, <a href="https://2023.splashcon.org/profile/xiaoyinwang" class="navigate">Xiaoyin Wang</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>Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.</li> <li>Formal models for reactive and event-based programming.</li> <li>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.</li> <li>Modularity and abstraction mechanisms in large systems.</li> <li>Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.</li> <li>Functional Reactive Programming (FRP), self-adjusting computation and incremental computing.</li> <li>Synchronous languages, modeling and verification of real-time systems, safety-critical reactive and embedded systems.</li> <li>Applications, case studies that show the efficacy of reactive programming.</li> <li>Empirical studies that motivate further research in the field.</li> <li>Patterns and best-practices.</li> <li>Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming.</li> <li>Implementation technology, language runtimes, virtual machine support, compilers.</li> <li>IDEs, Tools.</li> </ul> <p>The format of the workshop is that of a mini-conference where participants present their work. 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 <code>acmart</code> format with the two-column, <code>sigplan</code> sub-format, 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 <code>sample-sigplan.tex</code>.</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 up to 12 pages in length, excluding references. In-progress papers can be up to 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>Papers should be submitted through: <a href="https://rebls23.hotcrp.com">https://rebls23.hotcrp.com</a></li> <li>For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions will be summarily rejected.</li> <li>Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.</li> <li>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>.</li> <li>Each submission must adhere to SIGPLAN’s republication policy, as explained on the web at <a href="http://www.sigplan.org/Resources/Policies/Republication">http://www.sigplan.org/Resources/Policies/Republication</a>.</li> </ul> <p><strong>AUTHORS TAKE NOTE:</strong> The official publication date for full papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work.</p> </p></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2023.splashcon.org/home/rebls-2023" class="clickable-row past"><td>Sun 10 Sep 2023<br/>Camera ready</td></tr><tr href="https://2023.splashcon.org/home/rebls-2023" class="clickable-row past"><td>Tue 29 Aug 2023<br/>Notifications</td></tr><tr href="https://2023.splashcon.org/home/rebls-2023" class="clickable-row past"><td>Fri 21 Jul 2023<br/>Submission Deadline</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://rebls23.hotcrp.com" title="Submission link for Call for Papers" target="_blank" class="navigate">https://rebls23.hotcrp.com</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2023.splashcon.org/committee/rebls-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2023.splashcon.org/profile/wolfgangdemeuter" class="navigate"><div class="media"><span class="pull-left"><img alt="Wolfgang De Meuter" src="https://2023.splashcon.org/getProfileImage/wolfgangdemeuter/d99a9969-9db9-4245-b7af-ce42cfb84d01/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><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/patrickeugster" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrick Eugster" src="https://2023.splashcon.org/getProfileImage/patrickeugster/81e5994a-893d-4cfb-8809-c692e2542440/micro-avatar.jpg?1711465554000" 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; Purdue University</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/guidosalvaneschi" class="navigate"><div class="media"><span class="pull-left"><img alt="Guido Salvaneschi" src="https://2023.splashcon.org/getProfileImage/guidosalvaneschi/0b0d6f4c-c515-4e52-89a3-56c194ad0db1/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><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/franciscosantanna" class="navigate"><div class="media"><span class="pull-left"><img alt="Francisco Sant'Anna" src="https://2023.splashcon.org/getProfileImage/franciscosantanna/eff18b39-f51b-4258-9265-ff2ccaa86c9f/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://2023.splashcon.org/profile/lukaszziarek" class="navigate"><div class="media"><span class="pull-left"><img alt="Lukasz Ziarek" src="https://2023.splashcon.org/getProfileImage/lukaszziarek/26662122-d938-46cb-ab03-b62f823b4337/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">University at Buffalo</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://2023.splashcon.org/committee/rebls-2023-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2023.splashcon.org/profile/alanjeffrey1" class="navigate"><div class="media"><span class="pull-left"><img alt="Alan Jeffrey" src="https://2023.splashcon.org/getProfileImage/alanjeffrey1/194daa30-0531-4b00-ba20-8c2d3e55afcd/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></small></span></h5><h5 class="media-heading"><span class="text-black">Roblox</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/danielwinogradcort" class="navigate"><div class="media"><span class="pull-left"><img alt="Daniel Winograd-Cort" src="https://2023.splashcon.org/getProfileImage/danielwinogradcort/6637879a-0847-47be-b5bb-62b5aa7403fe/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></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><li class="list-group-item"><a href="https://2023.splashcon.org/profile/harumiwatanabe" class="navigate"><div class="media"><span class="pull-left"><img alt="Harumi Watanabe" src="https://2023.splashcon.org/getProfileImage/harumiwatanabe/b78a3fbe-0442-4e9e-9bad-2078e169c87f/micro-avatar.jpg?1711460485000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Harumi Watanabe<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tokai University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/louismandel" class="navigate"><div class="media"><span class="pull-left"><img alt="Louis Mandel" src="https://2023.splashcon.org/getProfileImage/louismandel/8d2fec5a-5fb8-4817-bce4-dbc6e44d14c5/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></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://2023.splashcon.org/profile/manuelserrano" class="navigate"><div class="media"><span class="pull-left"><img alt="Manuel Serrano" src="https://2023.splashcon.org/getProfileImage/manuelserrano/aff1d347-d086-4bd0-b70a-f7d9828eab41/micro-avatar.jpg?1717427553000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manuel Serrano<span class="pull-right"><small>Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Inria; University of Côte d'Azur</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/mirkoviroli1" class="navigate"><div class="media"><span class="pull-left"><img alt="Mirko Viroli" src="https://2023.splashcon.org/getProfileImage/mirkoviroli1/dadccd24-583f-46ca-bba6-7088f762fc7c/micro-avatar.jpg?1711459145000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mirko Viroli<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Alma Mater Studiorum - Università di Bologna</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/oliviertardieu" class="navigate"><div class="media"><span class="pull-left"><img alt="Olivier Tardieu" src="https://2023.splashcon.org/getProfileImage/oliviertardieu/479fae55-8236-463a-8b81-23e67b90986d/micro-avatar.jpg?1711461995000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Olivier Tardieu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IBM Research</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/pascalweisenburger" class="navigate"><div class="media"><span class="pull-left"><img alt="Pascal Weisenburger" src="https://2023.splashcon.org/getProfileImage/pascalweisenburger/ea6d1c03-9c37-49a4-8984-bac0604db818/micro-avatar.jpg?1728476874000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pascal Weisenburger<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of St. Gallen</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/petervanroy" class="navigate"><div class="media"><span class="pull-left"><img alt="Peter Van Roy" src="https://2023.splashcon.org/getProfileImage/petervanroy/759c93ab-c791-4a04-a624-5ec4b1b8c244/micro-avatar.jpg?1711463159000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peter Van Roy<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université catholique de Louvain</span></h5><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/ragnarmogk" class="navigate"><div class="media"><span class="pull-left"><img alt="Ragnar Mogk" src="https://2023.splashcon.org/getProfileImage/ragnarmogk/6d305c72-12f5-477a-b3d8-3352904bab84/micro-avatar.jpg?1711458410000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ragnar Mogk<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Technische Universität Darmstadt</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/robbyfindler" class="navigate"><div class="media"><span class="pull-left"><img alt="Robert Bruce Findler" src="https://2023.splashcon.org/getProfileImage/robbyfindler/ac634267-6618-4256-92ba-6045ad7a31df/micro-avatar.jpg?1736349239000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Robert Bruce Findler<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Northwestern University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/tetsuokamina" class="navigate"><div class="media"><span class="pull-left"><img alt="Tetsuo Kamina" src="https://2023.splashcon.org/getProfileImage/tetsuokamina/b5c2f999-96a5-4983-8552-801108c716cd/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></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://2023.splashcon.org/profile/timothybourke1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2023.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Timothy Bourke<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria / École normale supérieure</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/tomvancutsem" class="navigate"><div class="media"><span class="pull-left"><img alt="Tom Van Cutsem" src="https://2023.splashcon.org/getProfileImage/tomvancutsem/4cd4be83-bec5-4eab-b99c-23b417aeca49/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></small></span></h5><h5 class="media-heading"><span class="text-black">imec-Distrinet KU-Leuven | 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://2023.splashcon.org/profile/vadimzaytsev" class="navigate"><div class="media"><span class="pull-left"><img alt="Vadim Zaytsev" src="https://2023.splashcon.org/getProfileImage/vadimzaytsev/d0717df8-4d08-4b92-92a0-9047e497fe45/micro-avatar.jpg?1711460926000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Vadim Zaytsev<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Twente, Netherlands</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2023.splashcon.org/profile/juliendeantoni" class="navigate"><div class="media"><span class="pull-left"><img alt="Julien DeAntoni" src="https://2023.splashcon.org/getProfileImage/juliendeantoni/e845b48d-cacf-480a-8934-e10058905840/micro-avatar.jpg?1711469944000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Julien DeAntoni<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 2 Mar 11:49</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://2023.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-2023" /><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://2023.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2023"},],"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://2023.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-2023" /><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://2023.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2023"},],"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://2023.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2023</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://2023.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://2023.splashcon.org/track/splash-2023-awards" class="navigate">Awards</a><br/><a href="https://2023.splashcon.org/track/splash-2023-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2023.splashcon.org/track/splash-2023-PLMW" class="navigate">PLMW</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Posters" class="navigate">Posters</a><br/><a href="https://2023.splashcon.org/track/splash-2023-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2023.splashcon.org/track/splash-2023-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Volunteers" class="navigate">Volunteers</a><br/><a href="https://2023.splashcon.org/track/splash-2023-Workshops" class="navigate">Workshops</a><br/><a href="https://2023.splashcon.org/track/splash-2023-dei-events" class="navigate">DEI Activities</a><br/><a href="https://2023.splashcon.org/track/splash-2023-cares" class="navigate">CARES</a><br/><a href="https://2023.splashcon.org/track/splash-2023-sponsored-talks" class="navigate">Sponsored Talks</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://2023.splashcon.org/home/dls-2023" class="navigate">DLS 2023</a><br/><a href="https://2023.splashcon.org/home/gpce-2023" class="navigate">GPCE 2023</a><br/><a href="https://2023.splashcon.org/home/lopstr-2023" class="navigate">LOPSTR 2023</a><br/><a href="https://2023.splashcon.org/home/mplr-2023" class="navigate">MPLR 2023</a><br/><a href="https://2023.splashcon.org/home/ppdp-2023" class="navigate">PPDP 2023</a><br/><a href="https://conf.researchr.org/home/sas-2023" class="navigate">SAS 2023</a><br/><a href="https://2023.splashcon.org/home/sle-2023" class="navigate">SLE 2023</a><br/><h4>Workshops</h4><a href="https://2023.splashcon.org/home/conflang-2023" class="navigate">CONFLANG 2023</a><br/><a href="https://2023.splashcon.org/home/ftscs-2023" class="navigate">FTSCS 2023</a><br/><a href="https://2023.splashcon.org/home/hatra-2023" class="navigate">HATRA 2023</a><br/><a href="https://2023.splashcon.org/home/iwaco-2023" class="navigate">IWACO 2023</a><br/><a href="https://2023.splashcon.org/home/live-2023" class="navigate">LIVE 2023</a><br/><a href="https://2023.splashcon.org/home/paint-2023" class="navigate">PAINT 2023</a><br/><a href="https://2023.splashcon.org/home/plf-2023" class="navigate">PLF 2023</a><br/><a href="https://2023.splashcon.org/home/rebls-2023" class="navigate">REBLS 2023</a><br/><a href="https://2023.splashcon.org/home/st-anniversary-30" class="navigate">ST30 </a><br/><a href="https://2023.splashcon.org/home/vmil-2023" class="navigate">VMIL 2023</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2023.splashcon.org/venue/hotel-cascais-miragem" class="navigate">Venue: Hotel Cascais Miragem</a><br><a href="https://2023.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2023.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2023.splashcon.org/attending/Conduct" class="navigate">Code of Conduct</a><br><a href="https://2023.splashcon.org/attending/travel-support" class="navigate">Support for Attending the Conference</a><br><a href="https://2023.splashcon.org/attending/virtual-live-streams" class="navigate">Live Streams</a><br><a href="https://2023.splashcon.org/attending/instructions-for-presenters" class="navigate">Instructions for Presenters</a><br><a href="https://2023.splashcon.org/attending/how-to-splash" class="navigate">How to SPLASH (Quick Attendee Guide)</a><br><a href="https://2023.splashcon.org/attending/session-chair-instructions" class="navigate">Instructions for Session Chairs </a></div><div class="col-sm-2"><a href="https://2023.splashcon.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>