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://2017.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2017.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>REBLS 2017 - REBELS - SPLASH 2017</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2017.splashcon.org";</script> <link rel="stylesheet" href="https://2017.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2017.splashcon.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2017.splashcon.org/getFile/322961e3-df62-44f2-8b40-dc7f32975dc0/logobarsplash.css?1504770579267" type="text/css" /><link rel="stylesheet" href="https://2017.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2017.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://2017.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2017.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2017.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2017.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2017.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2017.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2017.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2017.splashcon.org/getImage/carousel/Vancouver+Aerial+-+2011.jpg?1478272224000'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  <meta prefix='og: http://ogp.me/ns#' property='og:description' content='4th Workshop on Reactive and Event-based Languages & Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstrea ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='REBLS 2017 - REBELS - SPLASH 2017'> <meta name='description' content='4th Workshop on Reactive and Event-based Languages &amp; Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstrea ...'> </head> <body id="track"><div class="frame"><a href="https://2017.splashcon.org/blogposts" class="blog-link btn btn-xs btn-default navigate">Write a Blog >></a><div class="logobar"><div class="container"><a href="https://2017.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2017</span></a><div class="place">Sun 22 - Fri 27 October 2017 <a href="https://2017.splashcon.org/venue/hyattregency" class="navigate">Vancouver, Canada</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://2017.splashcon.org/venue/hyattregency" class="navigate">Venue: Hyatt Regency Vancouver</a></li><li class="block"><a href="https://2017.splashcon.org/attending/general-chair-welcome" class="navigate">General Chair's Welcome</a></li><li class="block"><a href="https://2017.splashcon.org/attending/oopsla-chair-welcome" class="navigate">OOPSLA Chair's Welcome</a></li><li class="block"><a href="https://2017.splashcon.org/attending/splash-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2017.splashcon.org/attending/registration" class="navigate">Registration</a></li><li class="block"><a href="https://2017.splashcon.org/attending/splash-2017-student-volunteers" class="navigate">Student Support</a></li><li class="block"><a href="https://2017.splashcon.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2017.splashcon.org/attending/visas+and+ETA" class="navigate">Visas and ETA</a></li><li class="block"><a href="https://2017.splashcon.org/attending/childcare" class="navigate">Childcare</a></li><li class="block"><a href="https://2017.splashcon.org/attending/sigplan-code-of-conduct" class="navigate">Code Of Conduct</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://2017.splashcon.org/program/program-splash-2017/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2017.splashcon.org/program/program-splash-2017/" 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://2017.splashcon.org/program/program-splash-2017/" data-fltr-type="date" data-fltr-val="Sun 22 Oct 2017" class="navigate">Sun 22 Oct</a></li><li class="block"><a href="https://2017.splashcon.org/program/program-splash-2017/" data-fltr-type="date" data-fltr-val="Mon 23 Oct 2017" class="navigate">Mon 23 Oct</a></li><li class="block"><a href="https://2017.splashcon.org/program/program-splash-2017/" data-fltr-type="date" data-fltr-val="Tue 24 Oct 2017" class="navigate">Tue 24 Oct</a></li><li class="block"><a href="https://2017.splashcon.org/program/program-splash-2017/" data-fltr-type="date" data-fltr-val="Wed 25 Oct 2017" class="navigate">Wed 25 Oct</a></li><li class="block"><a href="https://2017.splashcon.org/program/program-splash-2017/" data-fltr-type="date" data-fltr-val="Thu 26 Oct 2017" class="navigate">Thu 26 Oct</a></li><li class="block"><a href="https://2017.splashcon.org/program/program-splash-2017/" data-fltr-type="date" data-fltr-val="Fri 27 Oct 2017" 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 2017</li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-OOPSLA" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-OOPSLA-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-PLMW" class="navigate">PL Mentoring Workshop (PLMW)</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-SPLASH-I" class="navigate">SPLASH-I</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-Student-Research-Competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-sv" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2017.splashcon.org/track/splash-2017-Social-Program" class="navigate">Social Program</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/gpce-2017" class="navigate"><span class="glyphicon glyphicon-home"></span> GPCE</a></li><li class="block"><a href="https://conf.researchr.org/track/gpce-2017/gpce-2017" class="navigate"><strong>GPCE</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.onward-conference.org" class="navigate"><span class="glyphicon glyphicon-home"></span> Onward!</a></li><li class="block"><a href="https://2017.onward-conference.org/track/onward-2017-essays-2017" class="navigate"><strong>Onward!</strong> Essays</a></li><li class="block"><a href="https://2017.onward-conference.org/track/onward-2017-Onward-Papers" class="navigate"><strong>Onward!</strong> Papers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLoP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/plop2017" class="navigate"><span class="glyphicon glyphicon-home"></span> PLoP</a></li><li class="block"><a href="https://conf.researchr.org/track/plop2017/plop-2017-papers" class="navigate"><strong>PLoP</strong> </a></li></ul></li><li class="block"><a href="https://conf.researchr.org/track/sle-2017/sle-2017-papers" class="navigate"><strong>SLE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2017.splashcon.org/track/agere-2017" class="navigate"><strong>AGERE</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/chese-2017" class="navigate"><strong>CHESE</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/cocos-2017" class="navigate"><strong>CoCoS</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/dsldi-2017" class="navigate"><strong>DSLDI</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/escaped-2017" class="navigate"><strong>Escaped</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/fosd-2017" class="navigate"><strong>FOSD</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/live-2017" class="navigate"><strong>LIVE</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/meta-2017" class="navigate"><strong>META</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/njr-2017" class="navigate"><strong>NJR</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/nool-2017" class="navigate"><strong>NOOL</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/ocap-2017" class="navigate"><strong>OCAP</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/plateau-2017" class="navigate"><strong>PLATEAU</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/px-17-2" class="navigate"><strong>PX/17.2</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/parsing-2017" class="navigate"><strong>Parsing@SLE</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/rebls-2017" class="navigate"><strong>REBLS</strong> REBELS</a></li><li class="block"><a href="https://2017.splashcon.org/track/savr-2017" class="navigate"><strong>SAVR</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/seps-2017" class="navigate"><strong>SEPS</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/vmil-2017" class="navigate"><strong>VMIL</strong> </a></li><li class="block"><a href="https://2017.splashcon.org/track/woda-2017" class="navigate"><strong>WODA</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://conf.researchr.org/track/dls-2017/dls-2017" class="navigate"><strong>DLS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/scala-2017/scala-2017-papers" class="navigate"><strong>Scala</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2017 Committees</li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-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://2017.splashcon.org/committee/splash-2017-oopsla-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-oopsla-external-program-committee" class="navigate">External Program Committee</a></li></ul></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-oopsla-artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-doctoral-symposium-invited-talks" class="navigate">Invited Talks</a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PL Mentoring Workshop (PLMW)</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-plmw-plmw-organizing-committee" class="navigate">PLMW Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-plmw-plmw-speakers" class="navigate">PLMW Speakers</a></li></ul></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-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://2017.splashcon.org/committee/splash-2017-splash-e-organizing-committee" class="navigate">Program Committee </a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-splash-e-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-splash-i-organizing-committee" class="navigate"><strong>SPLASH-I</strong></a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-student-research-competition-student-research-competition" class="navigate"><strong>Student Research Competition</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Workshops</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-workshops-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/splash-2017-workshops-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2017.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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/gpce-2017/gpce-2017-gpce-2017-keynote-speaker" class="navigate">Keynote speaker</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2017/gpce-2017-gpce-2017-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2017/gpce-2017-gpce-2017-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2017/gpce-2017-gpce-2017-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.onward-conference.org/committee/onward-2017-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.onward-conference.org/committee/onward-2017-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://2017.onward-conference.org/committee/onward-2017-onward-2017-program-committee" class="navigate"><strong>Onward! Essays</strong></a></li><li class="block"><a href="https://2017.onward-conference.org/committee/onward-2017-onward-papers-program-committee" class="navigate"><strong>Onward! Papers</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLoP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/plop2017/plopsplash-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/plop2017/plopsplash-2017-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>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/sle-2017/sle-2017-papers-keynote-speaker" class="navigate">Keynote Speaker</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2017/sle-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2017/sle-2017-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2017/sle-2017-sle-2017-organizing-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sle-2017/sle-2017-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AGERE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/agere-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/agere-2017-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>CHESE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/chese-2017-papers-organizing-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/chese-2017-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>CoCoS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/cocos-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/cocos-2017-publicity" class="navigate">Publicity</a></li><li class="block"><a href="https://2017.splashcon.org/committee/cocos-2017-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>DSLDI</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/dsldi-2017-keynote-speaker" class="navigate">Keynote Speaker</a></li><li class="block"><a href="https://2017.splashcon.org/committee/dsldi-2017-talks-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/dsldi-2017-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Escaped</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/escaped-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/escaped-2017-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>FOSD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/fosd-2017-keynote-speaker" class="navigate">Keynote Speaker</a></li><li class="block"><a href="https://2017.splashcon.org/committee/fosd-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/fosd-2017-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://2017.splashcon.org/committee/live-2017-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>META</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/meta-2017-invited-talks" class="navigate">Invited Talks</a></li><li class="block"><a href="https://2017.splashcon.org/committee/meta-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/meta-2017-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>NJR</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/java-resource-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NOOL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/nool-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/nool-2017-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>OCAP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/ocap-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/ocap-2017-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLATEAU</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/plateau-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/plateau-2017-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>PX/17.2</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/px-splash-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/px-splash-2017-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>Parsing@SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/parsingatsle-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/parsingatsle-2017-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://2017.splashcon.org/committee/rebls-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/rebls-2017-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>SAVR</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/savr-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/savr-2017-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>SEPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/seps-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/seps-2017-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/vmil-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2017.splashcon.org/committee/vmil-2017-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>WODA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2017.splashcon.org/committee/woda-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/dls-2017/dls-2017-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/dls-2017/dls-2017-dls-2017-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/dls-2017/dls-2017-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/scala-2017/scala-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/scala-2017/scala-2017-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/scala-2017/scala-2017-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2017.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://2017.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2017</span></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-2017/https%3A%5Es%5Es2017.splashcon.org%5Estrack%5Esrebls-2017" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2017.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://2017.splashcon.org" class="navigate">SPLASH 2017</a> (<a href="https://2017.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">REBLS 2017 (<a href="https://2017.splashcon.org/series/rebls" class="navigate">series</a>) / </span><h1>REBELS<span class="pull-right small h1">REBLS 2017</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#Instructions-for-Authors" data-toggle="tab">Instructions for Authors</a></li><li><a href="#Keynote" data-toggle="tab">Keynote</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 "><h2><a href="#4th-workshop-on-reactive-and-event-based-languages-systems" id="4th-workshop-on-reactive-and-event-based-languages-systems" class="anchor-link">4th Workshop on Reactive and Event-based Languages & Systems</a></h2> <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> <h3><a href="#previous-editions" id="previous-editions" class="anchor-link">Previous editions</a></h3> <p><a href="http://2016.splashcon.org/track/rebls2016">REBLS’16</a></p> <p><a href="http://2015.splashcon.org/track/rebls2015">REBLS’15</a></p> <p><a href="http://www.guidosalvaneschi.com/REBLS/REBLS2014/">REBLS’14</a></p> <p><a href="http://soft.vub.ac.be/REM13/">REM’13</a></p> <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="a868fcd1-ef4f-4491-b054-4355c77d755f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a868fcd1-ef4f-4491-b054-4355c77d755f">A DSL for Compensable and Interruptible Executions</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/hiroakiinoue" class="navigate">Hiroaki Inoue</a>, <a href="https://2017.splashcon.org/profile/tomoyukiaotani" class="navigate">Tomoyuki Aotani</a>, <a href="https://2017.splashcon.org/profile/atsushiigarashi" class="navigate">Atsushi Igarashi</a></div></td></tr><tr><td><span data-event-star="505ab85f-2aaf-49db-b44d-380d433c295c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="505ab85f-2aaf-49db-b44d-380d433c295c">First-class Reactive Programs for CPS</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/christophedetroyer1" class="navigate">Christophe De Troyer</a>, <a href="https://2017.splashcon.org/profile/jensnicolay" class="navigate">Jens Nicolay</a>, <a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a></div><a href="http://soft.vub.ac.be/~cdetroye/files/splashs-17-rebls.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="53268fd4-90b7-4344-a6dd-ae84217ce01d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="53268fd4-90b7-4344-a6dd-ae84217ce01d">FRP IoT Modules as a Scala DSL</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/bencalus" class="navigate">Ben Calus</a>, <a href="https://2017.splashcon.org/profile/bobreynders" class="navigate">Bob Reynders</a>, <a href="https://2017.splashcon.org/profile/dominiquedevriese" class="navigate">Dominique Devriese</a>, <a href="https://2017.splashcon.org/profile/jobnoorman" class="navigate">Job Noorman</a>, <a href="https://2017.splashcon.org/profile/frankpiessens" class="navigate">Frank Piessens</a></div></td></tr><tr><td><span data-event-star="ab064dfd-3dba-4d69-9abf-077e4397b8a1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ab064dfd-3dba-4d69-9abf-077e4397b8a1">Handling Partial Failures in Distributed Reactive Programming</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/florianmyter" class="navigate">Florian Myter</a>, <a href="https://2017.splashcon.org/profile/christophescholliers" class="navigate">Christophe Scholliers</a>, <a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a></div><a href="https://dl.acm.org/citation.cfm?id=3141859" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr><td><span data-event-star="d3e02db3-fbbe-43f8-96d2-6b146ae62738" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d3e02db3-fbbe-43f8-96d2-6b146ae62738">Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/sebastianburckhardt" class="navigate">Sebastian Burckhardt</a></div></td></tr><tr><td><span data-event-star="8d27565b-293e-4f8d-b63c-d3a2567e5237" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8d27565b-293e-4f8d-b63c-d3a2567e5237">Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/samvandenvonder" class="navigate">Sam Van den Vonder</a>, <a href="https://2017.splashcon.org/profile/joeridekoster" class="navigate">Joeri De Koster</a>, <a href="https://2017.splashcon.org/profile/florianmyter" class="navigate">Florian Myter</a>, <a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a></div><a href="https://doi.org/10.1145/3141858.3141863" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://soft.vub.ac.be/~svdvonde/papers/tackling-the-awkward-squad-for-rp.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="e95cbb61-2b87-4301-bd0d-beb7f4567a92" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e95cbb61-2b87-4301-bd0d-beb7f4567a92">Verifiable Reactive Software</a><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/kevinbaldor" class="navigate">Kevin Baldor</a>, <a href="https://2017.splashcon.org/profile/jianweiniu" class="navigate">Jianwei Niu</a></div></td></tr></table><h2>Call for Papers</h2><p><p>Even though reactive programming and event-based programming are receiving ever more attention, the field is far from mature. This workshop will join forces and try to gather researchers working on the foundational models, languages and implementation technologies. We welcome all submissions on reactive programming, aspect- and event-oriented systems, including but not limited to:</p> <ul> <li> <p>Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.</p> </li> <li> <p>Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency.</p> </li> <li> <p>Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.</p> </li> <li> <p>Functional-reactive programming, self-adjusting computation and incremental computing.</p> </li> <li> <p>Applications, case studies that show the efficacy of reactive programming.</p> </li> <li> <p>Empirical studies that motivate further research in the field.</p> </li> <li> <p>Patterns and best-practices.</p> </li> <li> <p>Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. IDEs, Tools.</p> </li> <li> <p>Implementation technology, language runtimes, virtual machine support, compilers.</p> </li> <li> <p>Modularity and abstraction mechanisms in large systems.</p> </li> <li> <p>Formal models for reactive and event-based programming.</p> </li> </ul> <p>The format of the workshop is that of a mini-conference. Participants can present their work in slots of 30mins with Q&A included. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos.</p> <h3><a href="#submissions" id="submissions" class="anchor-link">Submissions</a></h3> <p>Submissions deadline: August 21th (updated)</p> <p>REBLS encourages submissions of two types of papers:</p> <p><strong>Research results</strong>: complete works that ill be published in the ACM digital library.</p> <p><strong>In progress papers</strong>: 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> <p>Submission site: REBLS papers should be submitted via HotCRP:</p> <p><a href="https://rebls17.hotcrp.com">https://rebls17.hotcrp.com</a></p> <p>Format: Submissions should be formatted according to the <a href="https://2017.splashcon.org/track/rebls-2017-papers#Instructions-for-Authors">instructions for the authors</a>. Papers can be up to 6 pages in length including references. Authors are required to explicitly specify the type of paper in the submission.</p> </p></div><div id="program" class="tab-pane "><div class="faceted-filtering"><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://2017.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-2017" /><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-07:00) Tijuana, Baja California</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-07:00) Tijuana, Baja California</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-03: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-02: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+11: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://2017.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash-2017"},],"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 != -480){ $('.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>Tijuana, Baja California</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-8"><table data-facet-date="Mon 23 Oct 2017" data-facet-date-order="171023" data-facet-room="Oxford" 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 c34"></td><td><div class="slot-label">08:30 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote: Sebastian Burckhardt<span class="pull-right"><a href="https://2017.splashcon.org/track/rebls-2017" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2017.splashcon.org/room/hyattregency-oxford" target="_blank" class="room-link navigate">Oxford</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8f5c1720-63a8-4c7a-b6ee-20013f56b701" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="d3e02db3-fbbe-43f8-96d2-6b146ae62738" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d3e02db3-fbbe-43f8-96d2-6b146ae62738">Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/sebastianburckhardt" class="navigate">Sebastian Burckhardt</a><span class="prog-aff"> Microsoft Research</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Mon 23 Oct 2017" data-facet-date-order="171023" data-facet-room="Oxford" 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 c34"></td><td><div class="slot-label">10:30 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Second session<span class="pull-right"><a href="https://2017.splashcon.org/track/rebls-2017" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2017.splashcon.org/room/hyattregency-oxford" target="_blank" class="room-link navigate">Oxford</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ea7d4256-8bab-4689-8b8c-dfe5fc5bc957" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="ab064dfd-3dba-4d69-9abf-077e4397b8a1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ab064dfd-3dba-4d69-9abf-077e4397b8a1">Handling Partial Failures in Distributed Reactive Programming</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/florianmyter" class="navigate">Florian Myter</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2017.splashcon.org/profile/christophescholliers" class="navigate">Christophe Scholliers</a><span class="prog-aff"> Universiteit Gent, Belgium</span>, <a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://dl.acm.org/citation.cfm?id=3141859" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="4be6d8b4-ec68-420b-b9ed-5a34fcbd4735" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="a868fcd1-ef4f-4491-b054-4355c77d755f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a868fcd1-ef4f-4491-b054-4355c77d755f">A DSL for Compensable and Interruptible Executions</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/hiroakiinoue" class="navigate">Hiroaki Inoue</a><span class="prog-aff"> Graduate School of Informatics, Kyoto University</span>, <a href="https://2017.splashcon.org/profile/tomoyukiaotani" class="navigate">Tomoyuki Aotani</a><span class="prog-aff"> Tokyo Institute of Technology</span>, <a href="https://2017.splashcon.org/profile/atsushiigarashi" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University, Japan</span></div></td></tr><tr data-slot-id="4858d483-7ff7-44a3-a362-d2763bd39839" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="505ab85f-2aaf-49db-b44d-380d433c295c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="505ab85f-2aaf-49db-b44d-380d433c295c">First-class Reactive Programs for CPS</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/christophedetroyer1" class="navigate">Christophe De Troyer</a><span class="prog-aff"> </span>, <a href="https://2017.splashcon.org/profile/jensnicolay" class="navigate">Jens Nicolay</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="http://soft.vub.ac.be/~cdetroye/files/splashs-17-rebls.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 23 Oct 2017" data-facet-date-order="171023" data-facet-room="Oxford" 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 c34"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Third session<span class="pull-right"><a href="https://2017.splashcon.org/track/rebls-2017" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2017.splashcon.org/room/hyattregency-oxford" target="_blank" class="room-link navigate">Oxford</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d1688f27-ac07-4680-b784-7e6312e25b59" class="hidable"><td class="track-color c34"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="REBLS"></span></td><td><span data-event-star="53268fd4-90b7-4344-a6dd-ae84217ce01d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="53268fd4-90b7-4344-a6dd-ae84217ce01d">FRP IoT Modules as a Scala DSL</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/bencalus" class="navigate">Ben Calus</a><span class="prog-aff"> imec - DistriNet, KU Leuven</span>, <a href="https://2017.splashcon.org/profile/bobreynders" class="navigate">Bob Reynders</a><span class="prog-aff"> imec-DistriNet, KU Leuven, Belgium</span>, <a href="https://2017.splashcon.org/profile/dominiquedevriese" class="navigate">Dominique Devriese</a><span class="prog-aff"> KU Leuven</span>, <a href="https://2017.splashcon.org/profile/jobnoorman" class="navigate">Job Noorman</a><span class="prog-aff"> KU Leuven</span>, <a href="https://2017.splashcon.org/profile/frankpiessens" class="navigate">Frank Piessens</a><span class="prog-aff"> KU Leuven</span></div></td></tr><tr data-slot-id="fcb7f885-ab45-4518-bba7-e64dfb5666c3" class="hidable"><td class="track-color c34"></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="8d27565b-293e-4f8d-b63c-d3a2567e5237" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8d27565b-293e-4f8d-b63c-d3a2567e5237">Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/samvandenvonder" class="navigate">Sam Van den Vonder</a><span class="prog-aff"> </span>, <a href="https://2017.splashcon.org/profile/joeridekoster" class="navigate">Joeri De Koster</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2017.splashcon.org/profile/florianmyter" class="navigate">Florian Myter</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://doi.org/10.1145/3141858.3141863" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://soft.vub.ac.be/~svdvonde/papers/tackling-the-awkward-squad-for-rp.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="894f5927-1794-4639-a7e6-eff67add0262" class="hidable"><td class="track-color c34"></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="e95cbb61-2b87-4301-bd0d-beb7f4567a92" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e95cbb61-2b87-4301-bd0d-beb7f4567a92">Verifiable Reactive Software</a></strong><div class="prog-track">REBLS</div><div class="performers"><a href="https://2017.splashcon.org/profile/kevinbaldor" class="navigate">Kevin Baldor</a><span class="prog-aff"> </span>, <a href="https://2017.splashcon.org/profile/jianweiniu" class="navigate">Jianwei Niu</a><span class="prog-aff"> </span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 23 Oct 2017" data-facet-date-order="171023" data-facet-track="REBLS" data-facet-room="Oxford" 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 c34"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Fourth session<span class="pull-right"><a href="https://2017.splashcon.org/track/rebls-2017" target="_blank" class="text-muted navigate">REBLS</a></span> at <a href="https://2017.splashcon.org/room/hyattregency-oxford" target="_blank" class="room-link navigate">Oxford</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="Instructions-for-Authors" class="tab-pane "><div class="page-header"><h3>Instructions for Authors</h3></div><p>For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review.</p> <h3><a href="#submission-site" id="submission-site" class="anchor-link">Submission Site</a></h3> <p>Please take a moment to read the instructions below before using the submission site.</p> <h3><a href="#concurrent-submissions" id="concurrent-submissions" class="anchor-link">Concurrent Submissions</a></h3> <p>Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by <a href="http://www.sigplan.org/Resources/Policies/Republication/">SIGPLAN’s Republication Policy</a>. Submitters should also be aware of <a href="http://www.acm.org/publications/policies/plagiarism">ACM’s Policy and Procedures on Plagiarism</a>.</p> <h3><a href="#format" id="format" class="anchor-link">Format</a></h3> <p>Submissions should use the <a href="http://www.sigplan.org/Resources/Author/">ACM SIGPLAN Conference <code>acmart</code> Format with ‘sigplan’ Subformat</a>, <strong>10 point font</strong>, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN <code>acmart</code> Templates provided <a href="http://www.sigplan.org/Resources/Author/">here</a>. Otherwise, follow the author instructions.</p> <p>If you are formatting your paper using LaTeX, you will need to set the <code>10pt</code> option in the <code>\documentclass</code> command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission with the LaTeX <code>\settopmatter{printfolios=true}</code> command. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.</p> <h3><a href="#publication-digital-library-early-access-warning" id="publication-digital-library-early-access-warning" class="anchor-link">Publication (Digital Library Early Access Warning)</a></h3> <p><strong>AUTHORS TAKE NOTE</strong>: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.</p> </div><div id="Keynote" class="tab-pane "><div class="page-header"><h3>Keynote</h3></div><h1><a href="#sebastian-burckhardt" id="sebastian-burckhardt" class="anchor-link">Sebastian Burckhardt</a></h1> <h3><a href="#dont-hit-refresh-towards-automatic-reactivity-for-distributed-services" id="dont-hit-refresh-towards-automatic-reactivity-for-distributed-services" class="anchor-link">Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services</a></h3> <p><img align="right" src="https://2017.splashcon.org/getProfileImage/sebastianburckhardt/726ac702-681a-40f8-94d6-c0465e108867/small.jpg?1417699002000"> Cloud services are commonly architected as a collection of distributed stateless and stateful services, composed using fallible remote procedure calls. This model can address the key requirements of scalability, fault-tolerance, and manageability at low cost. However, reactive functionality can be challenging to incorporate. Standard mechanisms like streams, publish-subscribe, or explicit dataflow don’t readily compose with the failure model of RPC services. This hampers wider adoption of real-time features for interaction, collaboration, and monitoring. We argue that in a system of composed fallible RPC services, where states and interfaces are clearly identified, it is possible and beneficial to provide reactivity as an automatic behavior. Rather than requiring programmers to explicitly specify dataflow, the runtime can track the distributed execution of a service call, construct a dependency graph, and propagate changes to the client. This dependency graph can be automatically created and maintained, can involve any number data sources, can freely change its structure in response to changing data, and can be recovered automatically on failures.</p> <h3><a href="#bio" id="bio" class="anchor-link">Bio</a></h3> <p>Sebastian Burckhardt was born and raised in Basel, Switzerland, where he studied Mathematics at the local University. During an exchange year at Brandeis University, he discovered his affinity to Computer Science and immigrated to the United States. After a few years of industry experience at IBM, he returned to academia and earned his PhD in Computer Science at the University of Pennsylvania. Since then, he has worked as a researcher at Microsoft Research in Redmond. His general research interest is the study of programming models for of concurrent, parallel, and distributed systems. More specific interests include consistency models, concurrency testing, self-adjusting computation, and the concurrent revisions programming model.</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://2017.splashcon.org/track/rebls-2017" class="clickable-row past"><td>Mon 23 Oct 2017<br/>REBLS Workshop</td></tr><tr href="https://2017.splashcon.org/track/rebls-2017" class="clickable-row past"><td>Fri 22 Sep 2017<br/>Camera Ready</td></tr><tr href="https://2017.splashcon.org/track/rebls-2017" class="clickable-row past"><td>Tue 5 Sep 2017<br/>Notifications</td></tr><tr href="https://2017.splashcon.org/track/rebls-2017" class="clickable-row past"><td>Mon 21 Aug 2017<br/>Paper Submissions (updated)</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://rebls17.hotcrp.com" title="Submission link for Call for Papers" target="_blank" class="navigate">https://rebls17.hotcrp.com</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2017.splashcon.org/committee/rebls-2017-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2017.splashcon.org/profile/guidosalvaneschi" class="navigate"><div class="media"><span class="pull-left"><img alt="Guido Salvaneschi" src="https://2017.splashcon.org/getProfileImage/guidosalvaneschi/1a3eca31-32f3-45bd-af9c-7dc1db22c4a3/micro-avatar.jpg?1711464286000" 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">TU Darmstadt</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/wolfgangdemeuter" class="navigate"><div class="media"><span class="pull-left"><img alt="Wolfgang De Meuter" src="https://2017.splashcon.org/getProfileImage/wolfgangdemeuter/cb721b79-a1aa-4583-8ba0-b1a96f896900/micro-avatar.jpg?1711457258000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Wolfgang De Meuter<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Vrije Universiteit Brussel</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/patrickeugster" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrick Eugster" src="https://2017.splashcon.org/getProfileImage/patrickeugster/fc8ab5ff-5349-48e6-9000-e55b92701c4e/micro-avatar.jpg?1711459806000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Patrick Eugster<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Purdue University</span></h5><h5 class="media-heading"><small></small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/lukaszziarek" class="navigate"><div class="media"><span class="pull-left"><img alt="Lukasz Ziarek" src="https://2017.splashcon.org/getProfileImage/lukaszziarek/32e8b11a-5fb9-440e-89b1-4710fcb8049a/micro-avatar.jpg?1711470060000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lukasz Ziarek<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">SUNY Buffalo, USA</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2017.splashcon.org/committee/rebls-2017-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2017.splashcon.org/profile/aggelosbiboudis" class="navigate"><div class="media"><span class="pull-left"><img alt="Aggelos Biboudis" src="https://2017.splashcon.org/getProfileImage/aggelosbiboudis/85535f9a-60dd-4577-9a89-60b5ef44e735/micro-avatar.jpg?1711482120000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Aggelos Biboudis<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Ecole Polytechnique Federale de Lausanne</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/tzuchunchen" class="navigate"><div class="media"><span class="pull-left"><img alt="Tzu-Chun Chen" src="https://2017.splashcon.org/getProfileImage/tzuchunchen/946c7436-c634-4bc5-aed1-7cc8da8dbb16/micro-avatar.jpg?1711547983000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tzu-Chun Chen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/evanczaplicki" class="navigate"><div class="media"><span class="pull-left"><img alt="Evan Czaplicki" src="https://2017.splashcon.org/getProfileImage/evanczaplicki/84e22d41-bc1f-4428-8b8e-ea583ae29643/micro-avatar.jpg?1711480162000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Evan Czaplicki<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/camildemetrescu" class="navigate"><div class="media"><span class="pull-left"><img alt="Camil Demetrescu" src="https://2017.splashcon.org/getProfileImage/camildemetrescu/8cc889ef-27de-499a-ad97-20cabc35a06b/micro-avatar.jpg?1711491333000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Camil Demetrescu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Sapienza University Rome</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/dominiquedevriese" class="navigate"><div class="media"><span class="pull-left"><img alt="Dominique Devriese" src="https://2017.splashcon.org/getProfileImage/dominiquedevriese/c70ba328-ddaf-44d4-8e40-b508d6b84f53/micro-avatar.jpg?1711456924000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Dominique Devriese<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">KU Leuven</span></h5><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/timfelgentreff" class="navigate"><div class="media"><span class="pull-left"><img alt="Tim Felgentreff" src="https://2017.splashcon.org/getProfileImage/timfelgentreff/08b0560e-5efd-40c2-80c4-479ac42de877/micro-avatar.jpg?1711458426000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tim Felgentreff<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Hasso-Plattner-Institute, Potsdam</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/juliengasconsamson" class="navigate"><div class="media"><span class="pull-left"><img alt="Julien Gascon-Samson" src="https://2017.splashcon.org/getProfileImage/juliengasconsamson/cca5c7a4-e099-4609-a3af-4617c30ce3a3/micro-avatar.jpg?1711492177000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Julien Gascon-Samson<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/hidehikomasuhara" class="navigate"><div class="media"><span class="pull-left"><img alt="Hidehiko Masuhara" src="https://2017.splashcon.org/getProfileImage/hidehikomasuhara/47a1566d-8703-4591-a05c-74a69060b453/micro-avatar.jpg?1729736905000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hidehiko Masuhara<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tokyo Institute of Technology</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/yoshikiohshima1" class="navigate"><div class="media"><span class="pull-left"><img alt="Yoshiki Ohshima" src="https://2017.splashcon.org/getProfileImage/yoshikiohshima1/cb99973f-2682-4e74-9755-319ce099c408/micro-avatar.jpg?1711458406000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yoshiki Ohshima<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">HARC / Y Combinator Research</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2017.splashcon.org/profile/franciscosantanna" class="navigate"><div class="media"><span class="pull-left"><img alt="Francisco Sant'Anna" src="https://2017.splashcon.org/getProfileImage/franciscosantanna/8dd8ab69-387f-402f-8a52-b72b52b1ce0e/micro-avatar.jpg?1711507092000" 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://2017.splashcon.org/profile/oliviertardieu" class="navigate"><div class="media"><span class="pull-left"><img alt="Olivier Tardieu" src="https://2017.splashcon.org/getProfileImage/oliviertardieu/0e6a8aa6-adda-4860-a9d9-473c3f757a73/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>France</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Tue 3 Dec 23:20</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://2017.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-2017" /><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://2017.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2017"},],"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://2017.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-2017" /><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://2017.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2017"},],"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://2017.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2017</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.67.1</a>)<br/><small><a href="https://2017.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://2017.splashcon.org/track/splash-2017-keynotes" class="navigate">Keynotes</a><br/><a href="https://2017.splashcon.org/track/splash-2017-OOPSLA" class="navigate">OOPSLA</a><br/><a href="https://2017.splashcon.org/track/splash-2017-OOPSLA-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2017.splashcon.org/track/splash-2017-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2017.splashcon.org/track/splash-2017-PLMW" class="navigate">PL Mentoring Workshop (PLMW)</a><br/><a href="https://2017.splashcon.org/track/splash-2017-Posters" class="navigate">Posters</a><br/><a href="https://2017.splashcon.org/track/splash-2017-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2017.splashcon.org/track/splash-2017-SPLASH-I" class="navigate">SPLASH-I</a><br/><a href="https://2017.splashcon.org/track/splash-2017-Student-Research-Competition" class="navigate">Student Research Competition</a><br/><a href="https://2017.splashcon.org/track/splash-2017-sv" class="navigate">Student Volunteers</a><br/><a href="https://2017.splashcon.org/track/splash-2017-Workshops" class="navigate">Workshops</a><br/><a href="https://2017.splashcon.org/track/splash-2017-Social-Program" class="navigate">Social Program</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/gpce-2017" class="navigate">GPCE 2017</a><br/><a href="https://2017.onward-conference.org" class="navigate">Onward! 2017</a><br/><a href="https://conf.researchr.org/home/plop2017" class="navigate">PLoP 2017</a><br/><a href="https://conf.researchr.org/track/sle-2017/sle-2017-papers" class="navigate">SLE 2017</a><br/><h4>Workshops</h4><a href="https://2017.splashcon.org/track/agere-2017" class="navigate">AGERE 2017</a><br/><a href="https://2017.splashcon.org/track/chese-2017" class="navigate">CHESE 2017</a><br/><a href="https://2017.splashcon.org/track/cocos-2017" class="navigate">CoCoS 2017</a><br/><a href="https://2017.splashcon.org/track/dsldi-2017" class="navigate">DSLDI 2017</a><br/><a href="https://2017.splashcon.org/track/escaped-2017" class="navigate">Escaped 2017</a><br/><a href="https://2017.splashcon.org/track/fosd-2017" class="navigate">FOSD 2017</a><br/><a href="https://2017.splashcon.org/track/live-2017" class="navigate">LIVE 2017</a><br/><a href="https://2017.splashcon.org/track/meta-2017" class="navigate">META 2017</a><br/><a href="https://2017.splashcon.org/track/njr-2017" class="navigate">NJR 2017</a><br/><a href="https://2017.splashcon.org/track/nool-2017" class="navigate">NOOL 2017</a><br/><a href="https://2017.splashcon.org/track/ocap-2017" class="navigate">OCAP 2017</a><br/><a href="https://2017.splashcon.org/track/plateau-2017" class="navigate">PLATEAU 2017</a><br/><a href="https://2017.splashcon.org/track/px-17-2" class="navigate">PX/17.2</a><br/><a href="https://2017.splashcon.org/track/parsing-2017" class="navigate">Parsing@SLE 2017</a><br/><a href="https://2017.splashcon.org/track/rebls-2017" class="navigate">REBLS 2017</a><br/><a href="https://2017.splashcon.org/track/savr-2017" class="navigate">SAVR 2017</a><br/><a href="https://2017.splashcon.org/track/seps-2017" class="navigate">SEPS 2017</a><br/><a href="https://2017.splashcon.org/track/vmil-2017" class="navigate">VMIL 2017</a><br/><a href="https://2017.splashcon.org/track/woda-2017" class="navigate">WODA 2017</a><br/><h4>Co-hosted Symposia</h4><a href="https://conf.researchr.org/track/dls-2017/dls-2017" class="navigate">DLS 2017</a><br/><a href="https://conf.researchr.org/track/scala-2017/scala-2017-papers" class="navigate">Scala 2017</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2017.splashcon.org/venue/hyattregency" class="navigate">Venue: Hyatt Regency Vancouver</a><br><a href="https://2017.splashcon.org/attending/general-chair-welcome" class="navigate">General Chair's Welcome</a><br><a href="https://2017.splashcon.org/attending/oopsla-chair-welcome" class="navigate">OOPSLA Chair's Welcome</a><br><a href="https://2017.splashcon.org/attending/splash-awards" class="navigate">Awards</a><br><a href="https://2017.splashcon.org/attending/registration" class="navigate">Registration</a><br><a href="https://2017.splashcon.org/attending/splash-2017-student-volunteers" class="navigate">Student Support</a><br><a href="https://2017.splashcon.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2017.splashcon.org/attending/visas+and+ETA" class="navigate">Visas and ETA</a><br><a href="https://2017.splashcon.org/attending/childcare" class="navigate">Childcare</a><br><a href="https://2017.splashcon.org/attending/sigplan-code-of-conduct" class="navigate">Code Of Conduct</a></div><div class="col-sm-2"><script src="https://cdnjs.cloudflare.com/ajax/libs/jqueryui-touch-punch/0.2.3/jquery.ui.touch-punch.min.js"></script></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>