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://2019.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2019.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ECOOP 2019 - ECOOP 2019</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2019.ecoop.org";</script> <link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/getFile/4178e8be-c93e-442c-92af-6438620e66f0/logo.006.css?1563342595374" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.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://2019.ecoop.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2019.ecoop.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://2019.ecoop.org/getImage/carousel/5604439246_08fb0350fe_o.jpg?1528908239000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP is a programming languages conference, and solicits high-quality submissions describing original and unpublished results on any Programming Languages topic. The traditional focus of the conference was on object orientation, but the focus now is on a much broader range of programming topics. This year’s conference will feature research papers, tool insights papers, reproduction studies, experience reports, “pearls”, and “brave new ideas” - see the Call for Papers for details. Take a look at last year’s proceedings for examples of the kinds of work that ECOOP’19 aims to attract. Su ...'> <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:title' content='ECOOP 2019 - ECOOP 2019'> <meta name='description' content='ECOOP is a programming languages conference, and solicits high-quality submissions describing original and unpublished results on any Programming Languages topic. The traditional focus of the conference was on object orientation, but the focus now is on a much broader range of programming topics. This year’s conference will feature research papers, tool insights papers, reproduction studies, experience reports, “pearls”, and “brave new ideas” - see the Call for Papers for details. Take a look at last year’s proceedings for examples of the kinds of work that ECOOP’19 aims to attract. Su ...'>  </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2019.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2019</span></a><div class="place">Mon 15 - Fri 19 July 2019 <a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Hammersmith, London, United Kingdom</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://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a></li><li class="block"><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a></li><li class="block"><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Socials</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a></li><li class="block"><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</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://2019.ecoop.org/program/program-ecoop-2019/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" 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://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Mon 15 Jul 2019" class="navigate">Mon 15 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Tue 16 Jul 2019" class="navigate">Tue 16 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Wed 17 Jul 2019" class="navigate">Wed 17 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Thu 18 Jul 2019" class="navigate">Thu 18 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Fri 19 Jul 2019" class="navigate">Fri 19 Jul</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">ECOOP 2019</li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate"><strong>AORTA</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate"><strong>BenchWork</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/COP-2019" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate"><strong>PASS</strong> (CANCELED)</a></li><li class="block"><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate"><strong>Panathon</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/scala-2019" class="navigate"><strong>Scala</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate"><strong>VORTEX</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">ECOOP 2019 Committees</li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-organizing-committee" class="navigate">Organizing 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>Research Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-artifacts" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-student-volunteers-alisa-maas" class="navigate"><strong>Student Volunteers</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://2019.ecoop.org/committee/ecoop-2019-docsymp-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/curry-on-organization-committee" class="navigate"><strong>Curry On</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2019.ecoop.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">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AORTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/aorta-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/aorta-2019-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>BenchWork</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/cop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/cop-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/icooolps-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/icooolps-2019-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>PASS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-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>Panathon</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/panathon-2019-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>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/vortex-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/vortex-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2019.ecoop.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://2019.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li class="block"><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li class="block"><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li class="block"><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li class="block"><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li class="block"><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2019</span></li><li class="block"><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li class="block"><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li class="block"><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li class="block"><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li class="block"></li><li class="block"><a href="http://2014.ecoop.org" target="_blank" class="navigate">2014: Uppsala <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2013.ecoop.org" target="_blank" class="navigate">2013: Montpellier <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop12.cs.purdue.edu" target="_blank" class="navigate">2012: Beijing <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://scc-sentinel.lancs.ac.uk/ecoop11/" target="_blank" class="navigate">2011: Lancaster <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop2010.uni-mb.si" target="_blank" class="navigate">2010: Maribor <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop09.disi.unige.it" target="_blank" class="navigate">2009: Genova <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://ecoop08.cs.ucy.ac.cy" target="_blank" class="navigate">2008: Cyprus <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop07.swt.cs.tu-berlin.de" target="_blank" class="navigate">2007: Berlin <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.emn.fr/z-info/ecoop2006/" target="_blank" class="navigate">2006: Nice <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2005.ecoop.org/" target="_blank" class="navigate">2005: Glasgow <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/ecoop-2019/https%3A%5Es%5Es2019.ecoop.org%5Estrack%5Esecoop-2019-papers" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2019.ecoop.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://2019.ecoop.org" class="navigate">ECOOP 2019</a> (<a href="https://2019.ecoop.org/series/ecoop" class="navigate">series</a>) / </span><h1>ECOOP 2019</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>ECOOP is a programming languages conference, and solicits high-quality submissions describing original and unpublished results on any Programming Languages topic. The traditional focus of the conference was on object orientation, but the focus now is on a much broader range of programming topics. This year’s conference will feature research papers, tool insights papers, reproduction studies, experience reports, “pearls”, and “brave new ideas” - see the <a href="https://2019.ecoop.org/track/ecoop-2019-papers#Call-for-Papers">Call for Papers</a> for details.</p> <p>Take a look at <a href="http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16077">last year’s proceedings</a> for examples of the kinds of work that ECOOP’19 aims to attract.</p> <p><br></p> <p><strong>Submission Link:</strong> <a href="https://ecoop19.hotcrp.com/">https://ecoop19.hotcrp.com/</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="0f1be51c-cf47-4c9e-b9a9-7e668f2378ed" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0f1be51c-cf47-4c9e-b9a9-7e668f2378ed">A Program Logic for First-Order Encapsulated WebAssembly</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/conradwatt" class="navigate">Conrad Watt</a>, <a href="https://2019.ecoop.org/profile/petarmaksimovic" class="navigate">Petar Maksimović</a>, <a href="https://2019.ecoop.org/profile/neelakantankrishnaswami" class="navigate">Neel Krishnaswami</a>, <a href="https://2019.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.9" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/1/A-Program-Logic-for-First-Order-Encapsulated-WebAssembly" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="a8338c04-acd2-42b9-a7aa-b1afe82048de" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a8338c04-acd2-42b9-a7aa-b1afe82048de">A Typing Discipline for Hardware Interfaces</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/jandemuijnckhughes" class="navigate">Jan de Muijnck-Hughes</a>, <a href="https://2019.ecoop.org/profile/wimvanderbauwhede" class="navigate">Wim Vanderbauwhede</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.6" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/22/A-Typing-Discipline-for-Hardware-Interfaces" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="fdf74bf7-156e-47df-8d37-83a45daf06ca" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fdf74bf7-156e-47df-8d37-83a45daf06ca">Automated Large-scale Multi-language Dynamic Program Analysis in the Wild<span class="pull-right"><span title="Tool Insights Paper - We welcome submissions in this category that focus on the practical details of the design and implementation of PL tools – details that are often omitted from regular research papers due to space constraints, despite being fascinating and worthy of communication. A strong Tool Insights paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community who may face similar problems in future. Examples of issues that Tool Insights papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency and soundness/efficiency trade-offs." data-facet-badge="Tool Insights Paper" class="output-badge" style="max-width:40px;"><img alt="Tool Insights Paper" src="https://2019.ecoop.org/getImageFile/3c779a61-e743-4ce8-99bc-c62430b132b8/small?1556144155000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/alexvillazon" class="navigate">Alex Villazón</a>, <a href="https://2019.ecoop.org/profile/haiyangsun" class="navigate">Haiyang Sun</a>, <a href="https://2019.ecoop.org/profile/andrearosa" class="navigate">Andrea Rosà</a>, <a href="https://2019.ecoop.org/profile/eduardorosales" class="navigate">Eduardo Rosales</a>, <a href="https://2019.ecoop.org/profile/danielebonetta" class="navigate">Daniele Bonetta</a>, <a href="https://2019.ecoop.org/profile/isabelladefilippis" class="navigate">Isabella Defilippis</a>, <a href="https://2019.ecoop.org/profile/sergiooporto" class="navigate">Sergio Oporto</a>, <a href="https://2019.ecoop.org/profile/walterbinder" class="navigate">Walter Binder</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.20" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/31/Automated-Large-scale-Multi-language-Dynamic-Program-Analysis-in-the-Wild" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="b051e24d-fe69-4280-87b8-8a833e935d29" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b051e24d-fe69-4280-87b8-8a833e935d29">Deep Static Modeling of invokedynamic</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/georgefourtounis" class="navigate">George Fourtounis</a>, <a href="https://2019.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/23/Deep-Static-Modeling-of-invokedynamic" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="7269ba1a-076c-4a31-8a86-cc669f4c689a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="7269ba1a-076c-4a31-8a86-cc669f4c689a">DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/matthiasspringer" class="navigate">Matthias Springer</a>, <a href="https://2019.ecoop.org/profile/hidehikomasuhara" class="navigate">Hidehiko Masuhara</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/pdf/1810.11765" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/12/DynaSOAr-A-Parallel-Memory-Allocator-for-Object-oriented-Programming-on-GPUs-with-Ef" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="a5322b36-1dc0-4692-8da1-d4b7ac72abee" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a5322b36-1dc0-4692-8da1-d4b7ac72abee">Eventually Sound Points-To Analysis with Specifications</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/osbertbastani" class="navigate">Osbert Bastani</a>, <a href="https://2019.ecoop.org/profile/rahulsharma" class="navigate">Rahul Sharma</a>, <a href="https://2019.ecoop.org/profile/lazaroclapp" class="navigate">Lazaro Clapp</a>, <a href="https://2019.ecoop.org/profile/saswatanand" class="navigate">Saswat Anand</a>, <a href="https://2019.ecoop.org/profile/alexaiken" class="navigate">Alex Aiken</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.11" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/20/Eventually-Sound-Points-To-Analysis-with-Specifications" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="2cc9fcdc-06df-4e35-a198-feaaf2ce9b8e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="2cc9fcdc-06df-4e35-a198-feaaf2ce9b8e">Finally, a Polymorphic Linear Algebra Language<span class="pull-right"><span title="Pearl - The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this." data-facet-badge="Pearl" class="output-badge" style="max-width:40px;"><img alt="Pearl" src="https://2019.ecoop.org/getImageFile/a6c9525e-9000-456f-9617-7278600dbd93/small?1556144015000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/amirshaikhha" class="navigate">Amir Shaikhha</a>, <a href="https://2019.ecoop.org/profile/lionelparreaux" class="navigate">Lionel Parreaux</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.25" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="51a7a67b-2919-40ca-bf77-39fd8bbf460a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="51a7a67b-2919-40ca-bf77-39fd8bbf460a">Fling—A Fluent API Generator</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/yossigil" class="navigate">Yossi Gil</a>, <a href="https://2019.ecoop.org/profile/oriroth" class="navigate">Ori Roth</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.13" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="de2dbe53-4eba-470c-b200-0414291237cd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="de2dbe53-4eba-470c-b200-0414291237cd">Garbage-free Abstract Interpretation through Abstract Reference Counting</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/noahvanes" class="navigate">Noah Van Es</a>, <a href="https://2019.ecoop.org/profile/quentinstievenart" class="navigate">Quentin Stiévenart</a>, <a href="https://2019.ecoop.org/profile/coenderoover" class="navigate">Coen De Roover</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.10" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="87213d51-9dfb-4a24-a7ed-f03d201b378e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="87213d51-9dfb-4a24-a7ed-f03d201b378e">Godot: All the Benefits of Implicit and Explicit Futures</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/kikofernandezreyes" class="navigate">Kiko Fernandez-Reyes</a>, <a href="https://2019.ecoop.org/profile/einarbrochjohnsen" class="navigate">Einar Broch Johnsen</a>, <a href="https://2019.ecoop.org/profile/daveclarke" class="navigate">Dave Clarke</a>, <a href="https://2019.ecoop.org/profile/ludovichenrio" class="navigate">Ludovic Henrio</a>, <a href="https://2019.ecoop.org/profile/tobiaswrigstad" class="navigate">Tobias Wrigstad</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.2" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/14/Godot-All-the-Benefits-of-Implicit-and-Explicit-Futures" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="923ecd34-0d55-4324-9710-64e399a5d488" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="923ecd34-0d55-4324-9710-64e399a5d488">How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/matthiaseichholz" class="navigate">Matthias Eichholz</a>, <a href="https://2019.ecoop.org/profile/ericcampbell" class="navigate">Eric Campbell</a>, <a href="https://2019.ecoop.org/profile/natefoster" class="navigate">Nate Foster</a>, <a href="https://2019.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a>, <a href="https://2019.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/16/How-to-Avoid-Making-a-Billion-Dollar-Mistake-Type-Safe-Data-Plane-Programming-with-S" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="79d8f4e1-1328-4246-b3e7-5b813b172e05" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="79d8f4e1-1328-4246-b3e7-5b813b172e05">Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples<span class="pull-right"><span title="Pearl - The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this." data-facet-badge="Pearl" class="output-badge" style="max-width:40px;"><img alt="Pearl" src="https://2019.ecoop.org/getImageFile/a6c9525e-9000-456f-9617-7278600dbd93/small?1556144015000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/benjaminchung" class="navigate">Benjamin Chung</a>, <a href="https://2019.ecoop.org/profile/francescozappanardelli" class="navigate">Francesco Zappa Nardelli</a>, <a href="https://2019.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.24" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/13/Julia-s-Efficient-Algorithm-for-Subtyping-Unions-and-Covariant-Tuples" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="c6b8f0e2-730e-4255-9124-f6340d4ee048" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c6b8f0e2-730e-4255-9124-f6340d4ee048">Lifestate: Event-Driven Protocols and Callback Control Flow</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/shawnmeier" class="navigate">Shawn Meier</a>, <a href="https://2019.ecoop.org/profile/sergiomover" class="navigate">Sergio Mover</a>, <a href="https://2019.ecoop.org/profile/boryuhevanchang" class="navigate">Bor-Yuh Evan Chang</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.1" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/27/Lifestate-Event-Driven-Protocols-and-Callback-Control-Flow" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="3fcd7a5e-3bd5-4fe4-a2f3-ae975af9a7b0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3fcd7a5e-3bd5-4fe4-a2f3-ae975af9a7b0">MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors<span class="pull-right"><span title="Tool Insights Paper - We welcome submissions in this category that focus on the practical details of the design and implementation of PL tools – details that are often omitted from regular research papers due to space constraints, despite being fascinating and worthy of communication. A strong Tool Insights paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community who may face similar problems in future. Examples of issues that Tool Insights papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency and soundness/efficiency trade-offs." data-facet-badge="Tool Insights Paper" class="output-badge" style="max-width:40px;"><img alt="Tool Insights Paper" src="https://2019.ecoop.org/getImageFile/3c779a61-e743-4ce8-99bc-c62430b132b8/small?1556144155000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/linghuiluo" class="navigate">Linghui Luo</a>, <a href="https://2019.ecoop.org/profile/juliandolby" class="navigate">Julian Dolby</a>, <a href="https://2019.ecoop.org/profile/ericbodden" class="navigate">Eric Bodden</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://linghuiluo.github.io/ECOOP19MagpieBridge.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/6/MagpieBridge-A-General-Approach-to-Integrating-Static-Analyses-into-IDEs-and-Editors" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="cbe0b0c7-6a18-4099-b552-7d94d39e42ec" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cbe0b0c7-6a18-4099-b552-7d94d39e42ec">Minimal Session Types<span class="pull-right"><span title="Pearl - The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this." data-facet-badge="Pearl" class="output-badge" style="max-width:40px;"><img alt="Pearl" src="https://2019.ecoop.org/getImageFile/a6c9525e-9000-456f-9617-7278600dbd93/small?1556144015000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/alenarslanagic" class="navigate">Alen Arslanagić</a>, <a href="https://2019.ecoop.org/profile/jorgeaperez" class="navigate">Jorge A. Pérez</a>, <a href="https://2019.ecoop.org/profile/erikvoogd" class="navigate">Erik Voogd</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.23" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/28/Minimal-Session-Types" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="22dce5c0-dafa-4809-a284-d5990978cea1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="22dce5c0-dafa-4809-a284-d5990978cea1">Motion Session Types for Robotic Interactions<span class="pull-right"><span title="Brave New Idea - The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so." data-facet-badge="Brave New Idea" class="output-badge" style="max-width:40px;"><img alt="Brave New Idea" src="https://2019.ecoop.org/getImageFile/d9305b5c-a660-41eb-9625-fbb0f8a25af3/small?1556144247000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/rupakmajumdar" class="navigate">Rupak Majumdar</a>, <a href="https://2019.ecoop.org/profile/marcuspirron" class="navigate">Marcus Pirron</a>, <a href="https://2019.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a>, <a href="https://2019.ecoop.org/profile/damienzufferey" class="navigate">Damien Zufferey</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.28" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/4/Motion-Session-Types-for-Robotic-Interactions" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="a2222def-1871-4fad-9f81-402384a32101" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a2222def-1871-4fad-9f81-402384a32101">Multitier Modules</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/pascalweisenburger" class="navigate">Pascal Weisenburger</a>, <a href="https://2019.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.3" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/18/Multitier-Modules" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="66d79a9f-9552-43e9-88f5-a304593bf7db" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="66d79a9f-9552-43e9-88f5-a304593bf7db">Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs<span class="pull-right"><span title="Brave New Idea - The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so." data-facet-badge="Brave New Idea" class="output-badge" style="max-width:40px;"><img alt="Brave New Idea" src="https://2019.ecoop.org/getImageFile/d9305b5c-a660-41eb-9625-fbb0f8a25af3/small?1556144247000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/carmentorreslopez" class="navigate">Carmen Torres Lopez</a>, <a href="https://2019.ecoop.org/profile/robbertgurdeepsingh" class="navigate">Robbert Gurdeep Singh</a>, <a href="https://2019.ecoop.org/profile/stefanmarr" class="navigate">Stefan Marr</a>, <a href="https://2019.ecoop.org/profile/elisagonzalezboix" class="navigate">Elisa Gonzalez Boix</a>, <a href="https://2019.ecoop.org/profile/christophescholliers" class="navigate">Christophe Scholliers</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.27" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/9/Multiverse-Debugging-Non-deterministic-Debugging-for-Non-deterministic-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="a5a6cee4-2b8c-40ee-ab3b-62aeb1fee333" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a5a6cee4-2b8c-40ee-ab3b-62aeb1fee333">NumLin: Linear Types for Linear Algebra</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/dhruvmakwana" class="navigate">Dhruv Makwana</a>, <a href="https://2019.ecoop.org/profile/neelakantankrishnaswami" class="navigate">Neel Krishnaswami</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.14" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://github.com/dc-mak/NumLin/blob/master/write-up/paper.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/21/NumLin-Linear-Types-for-Linear-Algebra" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/21/NumLin-Linear-Types-for-Linear-Algebra" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="10bf4f2a-851c-4472-ba9f-aadab160c2e7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="10bf4f2a-851c-4472-ba9f-aadab160c2e7">On Satisfiability of Nominal Subtyping with Variance</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/aleksandrmisonizhnik" class="navigate">Aleksandr Misonizhnik</a>, <a href="https://2019.ecoop.org/profile/dmitrymordvinov" class="navigate">Dmitry Mordvinov</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.7" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/2/On-Satisfiability-of-Nominal-Subtyping-with-Variance" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="706db3c9-71c4-4640-86bc-741678b3b0e5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="706db3c9-71c4-4640-86bc-741678b3b0e5">Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/alexiturcotte" class="navigate">Alexi Turcotte</a>, <a href="https://2019.ecoop.org/profile/ellenarteca" class="navigate">Ellen Arteca</a>, <a href="https://2019.ecoop.org/profile/gregorrichards" class="navigate">Gregor Richards</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.16" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/10/Reasoning-About-Foreign-Function-Interfaces-Without-Modelling-the-Foreign-Language" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="c07ad17c-4245-4186-89df-78532c62d400" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c07ad17c-4245-4186-89df-78532c62d400">Reliable State Machines: A Framework for Programming Reliable Cloud Services</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/suvammukherjee1" class="navigate">Suvam Mukherjee</a>, <a href="https://2019.ecoop.org/profile/nitinjohnraj" class="navigate">Nitin John Raj</a>, <a href="https://2019.ecoop.org/profile/krishnangovindraj" class="navigate">Krishnan Govindraj</a>, <a href="https://2019.ecoop.org/profile/pantazisdeligiannis" class="navigate">Pantazis Deligiannis</a>, <a href="https://2019.ecoop.org/profile/chandramouleswaranravichandran" class="navigate">Chandramouleswaran Ravichandran</a>, <a href="https://2019.ecoop.org/profile/akashlal" class="navigate">Akash Lal</a>, <a href="https://2019.ecoop.org/profile/aseemrastogi" class="navigate">Aseem Rastogi</a>, <a href="https://2019.ecoop.org/profile/rajakrishnaswamy" class="navigate">Raja Krishnaswamy</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/26/Reliable-State-Machines-A-Framework-for-Programming-Reliable-Cloud-Services" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="e1aa6891-1de8-44e9-9a1f-2cdae64b6311" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e1aa6891-1de8-44e9-9a1f-2cdae64b6311">Scopes and Frames Improve Meta-Interpreter Specialization</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/vladvergu" class="navigate">Vlad Vergu</a>, <a href="https://2019.ecoop.org/profile/eelcovisser" class="navigate">Eelco Visser</a>, <a href="https://2019.ecoop.org/profile/andrewtolmach" class="navigate">Andrew Tolmach</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/30/Scopes-and-Frames-Improve-Meta-Interpreter-Specialization" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="a2f36e94-c1ec-4819-931e-c120cb2a028a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a2f36e94-c1ec-4819-931e-c120cb2a028a">Semantic Patches for Java Program Transformation<span class="pull-right"><span title="Experience Report - The Experience Reports category solicits articles focussing on noteworthy applications of known PL techniques, tools and ideas in interesting domains and by other communities. Examples include, but are not limited to, applications of PL techniques in industry, open source, education, and other academic disciplines. We welcome both reports on successful applications of PL ideas, as well as reports that shed light on limitations and problems that may provide inspiration for future research." data-facet-badge="Experience Report" class="output-badge" style="max-width:40px;"><img alt="Experience Report" src="https://2019.ecoop.org/getImageFile/6c092eb8-4725-4070-ace5-376621b627cd/small?1556144063000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/hongjinkang1" class="navigate">Hong Jin Kang</a>, <a href="https://2019.ecoop.org/profile/ferdianthung" class="navigate">Ferdian Thung</a>, <a href="https://2019.ecoop.org/profile/julialawall" class="navigate">Julia Lawall</a>, <a href="https://2019.ecoop.org/profile/gillesmuller" class="navigate">Gilles Muller</a>, <a href="https://2019.ecoop.org/profile/lingxiaojiang" class="navigate">Lingxiao Jiang</a>, <a href="https://2019.ecoop.org/profile/davidlo" class="navigate">David Lo</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.22" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/19/Semantic-Patches-for-Java-Program-Transformation" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="b945028e-660d-4714-8bb9-32a54dc4f41d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b945028e-660d-4714-8bb9-32a54dc4f41d">Static Analysis for Asynchronous JavaScript Programs</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/thodorissotiropoulos" class="navigate">Thodoris Sotiropoulos</a>, <a href="https://2019.ecoop.org/profile/benlivshits" class="navigate">Ben Livshits</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="a07086df-fd5e-4475-a278-e1d23528f67a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a07086df-fd5e-4475-a278-e1d23528f67a">Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications<span class="pull-right"><span title="Brave New Idea - The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so." data-facet-badge="Brave New Idea" class="output-badge" style="max-width:40px;"><img alt="Brave New Idea" src="https://2019.ecoop.org/getImageFile/d9305b5c-a660-41eb-9625-fbb0f8a25af3/small?1556144247000" class="outputimage"/></span></span></a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/danielpelsmaeker" class="navigate">Daniel A. A. Pelsmaeker</a>, <a href="https://2019.ecoop.org/profile/hendrikvanantwerpen" class="navigate">Hendrik van Antwerpen</a>, <a href="https://2019.ecoop.org/profile/eelcovisser" class="navigate">Eelco Visser</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.26" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/17/Towards-Language-Parametric-Semantic-Editor-Services-based-on-Declarative-Type-System" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="bde4002a-e92a-4515-9f55-94827d66af33" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="bde4002a-e92a-4515-9f55-94827d66af33">Transferring Obligations Through Synchronizations</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/jafarhamin" class="navigate">Jafar Hamin</a>, <a href="https://2019.ecoop.org/profile/bartjacobs" class="navigate">Bart Jacobs</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/25/Transferring-Obligations-Through-Synchronizations" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="8824e2e1-d51a-4c90-8c68-f5a473a9a89f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8824e2e1-d51a-4c90-8c68-f5a473a9a89f">Transient Typechecks are (Almost) Free</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/richardroberts" class="navigate">Richard Roberts</a>, <a href="https://2019.ecoop.org/profile/stefanmarr" class="navigate">Stefan Marr</a>, <a href="https://2019.ecoop.org/profile/michaelhomer" class="navigate">Michael Homer</a>, <a href="https://2019.ecoop.org/profile/jamesnoble" class="navigate">James Noble</a></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/15/Transient-Typechecks-are-Almost-Free" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table><h2>Call for Papers</h2><p><p>ECOOP 2019 solicits high-quality submissions describing original and unpublished results on any Programming Languages topic.</p> <p><em>Submission Link:</em> <a href="https://ecoop19.hotcrp.com/">https://ecoop19.hotcrp.com/</a></p> <p>On submission, authors will be asked to identify their paper with one of the following categories, details of which are given below:</p> <ul> <li>Research Paper</li> <li>Tool Insights Paper</li> <li>Reproduction Study</li> <li>Experience Report</li> <li>Pearl</li> <li>Brave New Idea</li> </ul> <p>The Program Committee and External Review Committee will evaluate the contribution of each submission in the context of the paper category, as well as its general relevance and accessibility to a PL audience. All papers will be evaluated with reference to:</p> <ul> <li> <p>Significance. The results in the paper must have the potential to add to the state of the art, practice, or understanding of the field in significant ways.</p> </li> <li> <p>Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies.</p> </li> <li> <p>Clarity. The paper must present its contributions and results clearly.</p> </li> </ul> <p>Papers co-authored by members of the Program Committee will be reviewed solely by members of the External Review Committee and selected experts from outside the Program Committee.</p> <h3><a href="#paper-categories" id="paper-categories" class="anchor-link">Paper Categories</a></h3> <p>All accepted papers, regardless of category, will be published in the ECOOP’19 formal proceedings.</p> <h4><a href="#research-papers" id="research-papers" class="anchor-link">Research Papers</a></h4> <p>The Research Papers category is the most traditional paper category, and solicits high quality research papers that demonstrate advances in the PL field.</p> <p>As an alternative to being published in the conference proceedings, authors may wish to submit research papers to be considered for publication in ACM TOPLAS or Science of Computer Programming; see “Journal First” below for more details.</p> <h4><a href="#tool-insights-papers" id="tool-insights-papers" class="anchor-link">Tool Insights Papers</a></h4> <p>We welcome submissions in this category that focus on the practical details of the design and implementation of PL tools – details that are often omitted from regular research papers due to space constraints, despite being fascinating and worthy of communication. A strong Tool Insights paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community who may face similar problems in future. Examples of issues that Tool Insights papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency and soundness/efficiency trade-offs.</p> <h4><a href="#reproduction-studies" id="reproduction-studies" class="anchor-link">Reproduction Studies</a></h4> <p>Common in other sciences, reproduction means independently reconstructing an experiment in a different context (e.g., virtual machine, platform, class of applications) in order to validate or refute important results of earlier work. A good reproduction study will include thorough empirical evaluation. It will contain a detailed comparison with the previous results, seeking reasons for possible disagreements. A thoroughly-conducted reproduction study that perfectly replicates an existing experiment and reaches the same conclusions will be regarded as significant, so long as said experiment is significant enough to be worthy of reproduction.</p> <h4><a href="#experience-reports" id="experience-reports" class="anchor-link">Experience Reports</a></h4> <p>The Experience Reports category solicits articles focussing on noteworthy applications of known PL techniques, tools and ideas in interesting domains and by other communities. Examples include, but are not limited to, applications of PL techniques in industry, open source, education, and other academic disciplines. We welcome both reports on successful applications of PL ideas, as well as reports that shed light on limitations and problems that may provide inspiration for future research.</p> <h4><a href="#pearls" id="pearls" class="anchor-link">Pearls</a></h4> <p>The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this.</p> <h4><a href="#brave-new-ideas" id="brave-new-ideas" class="anchor-link">Brave New Ideas</a></h4> <p>The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so.</p> <h3><a href="#paper-submission" id="paper-submission" class="anchor-link">Paper Submission</a></h3> <p><strong>See the Journal First section below for alternative journal submission options</strong></p> <p>Only papers that have not been published and are not under review for publication elsewhere can be submitted. Double submissions will be rejected without review. If major parts of an ECOOP submission have appeared elsewhere in any form, authors are required to notify the ECOOP program chair and to explain the overlap and relationship. Authors are also required to inform the program chair about closely related work submitted to another conference while the ECOOP submission is under review.</p> <p>ECOOP Proceedings are published by Dagstuhl LIPIcs. Papers must be written in English and follow the Dagstuhl LIPIcs LaTeX-style template, prepared in accordance with the <a href="http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/">Dagstuhl LIPIcs instructions for authors</a>. For submissions, authors are free to use either the lipics-v2018 style template (available at time of writing this CFP), or the upcoming lipics-v2019 style template (which may have become available by the ECOOP submission deadline).</p> <p>Papers must be no longer than 25 pages, excluding references and appendices (see below for detailed information about appendices). This limit applies to all paper categories. However, papers should be as long as necessary, and not longer: authors will not be penalized for a paper being shorter than the page limit so long as their paper otherwise meets the expectations of ECOOP.</p> <p>Submissions will be carried out electronically via <a href="https://ecoop19.hotcrp.com/">HotCRP</a>.</p> <p>At least one author of every accepted paper must register for ECOOP 2019 and present their paper.</p> <h3><a href="#anonymity" id="anonymity" class="anchor-link">Anonymity</a></h3> <p>Reviewing for ECOOP will initially be double-blind: the identity of reviewers will be anonymous as standard, and authors’ identities will be withheld until a reviewer submits her/his review. Reviewing becomes single-blind at the point of review submission: the identity of a given paper’s authors will become known to a reviewer when the reviewer submits his/her review for that paper.</p> <p>To facilitate the initial double-blind phase, submitted papers must adhere to two rules:</p> <ul> <li> <p>Author names and institutions must be omitted</p> </li> <li> <p>References to authors’ own other work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).</p> </li> </ul> <p>When in doubt, contact the Program Chair.</p> <h3><a href="#additional-material" id="additional-material" class="anchor-link">Additional Material</a></h3> <p>Clearly marked additional appendices, not intended for the final publication, containing supporting proofs, analyses, statistics, etc., may be included beyond the page limit. There is also an option on the paper submission page to submit supplementary material, e.g., a technical report including proofs, or web pages and repositories that cannot easily be anonymized. This material will be made available to reviewers after the initial reviews have been completed, when author names are revealed.</p> <p>Reviewers are under no obligation to examine the appendices and supplementary material. Therefore, the paper must be a stand-alone document, with the appendices and supplementary material viewed only as a way of providing useful information that cannot fit in the page limit, rather than as a means to extend the page limit.</p> <p>Authors of papers that have been submitted but not accepted by previous conferences may optionally submit a Note to Reviewers. The Note to Reviewers should a) identify the previous venue(s) (e.g., ESOP 2019, POPL 2019, OOPSLA 2018); b) list the major issues identified by the reviews at those venues; and c) describe the changes made to the paper in response to those reviews. These notes will be made available to reviewers after their initial reviews have been completed and author names have been revealed.</p> <h3><a href="#response-period" id="response-period" class="anchor-link">Response Period</a></h3> <p>Authors will be given a three-day period to read and respond to the reviews of their papers before the program committee meeting. Responses have no formal length limit, but concision will be highly appreciated and more concise responses are likely to be more effective.</p> <h3><a href="#awards" id="awards" class="anchor-link">Awards</a></h3> <p>The Program Chair will work with the Program Committee to select up to one paper in each category for recognition via a Distinguished Paper award. A Distinguished Artifact award will also be made.</p> <h3><a href="#artifact-evaluation" id="artifact-evaluation" class="anchor-link">Artifact Evaluation</a></h3> <p>To reward the creation of artifacts and support replication of experiments, authors of accepted papers (regardless of category) can submit artifacts, such as tools, data, models, or videos, to be evaluated by an Artifact Evaluation Committee. Artifacts that are accepted by the committee will be recognized officially.</p> <h3><a href="#journal-first" id="journal-first" class="anchor-link">Journal First</a></h3> <p>We have Journal First arrangements with two journals: ACM Transactions on Programming Languages and Systems, and Elsevier Science of Computer Programming.</p> <p>Please contact the Program Chair if you have questions about the procedures and dates associated with the Journal First options.</p> <h4><a href="#common-to-both-routes" id="common-to-both-routes" class="anchor-link">Common to both routes</a></h4> <p>Only regular research papers (not papers in the other ECOOP 2019 categories) are eligible for the Journal First routes.</p> <p>Only new papers are eligible for the Journal First routes to ECOOP 2019. That is, it is not acceptable to submit an extension of a previous conference paper, even if the associated journal solicits extended papers via its standard submission route.</p> <p>Authors of all accepted Journal First papers will be invited to submit a short abstract for their paper to appear in the ECOOP 2019 conference proceedings.</p> <p>Journal First papers will be included along with research papers submitted directly to the conference when a Distinguished Paper is selected.</p> <h4><a href="#science-of-computer-programming-route" id="science-of-computer-programming-route" class="anchor-link">Science of Computer Programming Route</a></h4> <p><a href="https://www.journals.elsevier.com/science-of-computer-programming/call-for-papers/2019-european-conference-on-object-oriented-programming">See this dedicated web page for full details of how to submit to the ECOOP 2019 Science of Computer Programming special issue</a>.</p> <p><strong>Submission deadline:</strong> Friday 16 November 2018</p> <h4><a href="#acm-transactions-on-programming-languages-and-systems-route" id="acm-transactions-on-programming-languages-and-systems-route" class="anchor-link">ACM Transactions on Programming Languages and Systems Route</a></h4> <p><a href="https://toplas.acm.org/announcements.cfm#submit-a-paper-for-pldi-2016">See this announcement for details of the TOPLAS scheme whereby papers submitted to TOPLAS can be presented at selected conferences</a>.</p> <p>Authors interested in this route should submit their paper to TOPLAS via its usual submission system, and mark their paper as an ECOOP 2019 submission. The ECOOP Program Chair will then be informed of this submission and will have some input into the review process.</p> <p><strong>Submission deadline:</strong> To allow the TOPLAS review process to complete in time for publication before ECOOP 2019, Journal First TOPLAS papers should be submitted no later than Monday 15 October 2018.</p> <h3><a href="#more-information" id="more-information" class="anchor-link">More Information</a></h3> <p>For additional information, please contact the ECOOP Program Chair, <a href="mailto:alastair.donaldson@imperial.ac.uk">Alastair Donaldson</a>.</p> </p></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2019.ecoop.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="ecoop-2019" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+01:00) Belfast</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+01:00) Belfast</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-06: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-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04: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+09: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+10: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+10:30) 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+12: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+12: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://2019.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2019"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 0){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 17 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">09:00 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">Dahl-Nygaard Prize Keynote<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/laurencetratt" target="_blank" class="navigate">Laurence Tratt</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a2b34d7c-4555-4c8c-b3ca-9e55b4ae373e" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="5fde423c-76a6-4802-9625-928db6504820" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5fde423c-76a6-4802-9625-928db6504820">Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)<span class="pull-right"><span title="Keynote" data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><img alt="Keynote" src="https://2019.ecoop.org/getImageFile/9f8cb17c-0c46-404c-a837-2c3901acefad/small?1558093933000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><span title="Keynote Speaker" class="role">K: </span><a href="https://2019.ecoop.org/profile/ilyasergey" class="navigate">Ilya Sergey</a><span class="prog-aff"> Yale-NUS College and National University of Singapore</span></div><a href="https://2019.ecoop.org/details/ecoop-2019-papers/8/Composing-Distributed-Systems-that-are-Provably-Correct-Dahl-Nygaard-prize-keynote-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/8/Composing-Distributed-Systems-that-are-Provably-Correct-Dahl-Nygaard-prize-keynote-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">Language Design and Implementation<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/johnwickerson" target="_blank" class="navigate">John Wickerson</a><span class="prog-aff"> Imperial College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e5ac7ad4-7c2d-4038-baeb-2c8c1d00bb12" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c6b8f0e2-730e-4255-9124-f6340d4ee048" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c6b8f0e2-730e-4255-9124-f6340d4ee048">Lifestate: Event-Driven Protocols and Callback Control Flow</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/shawnmeier" class="navigate">Shawn Meier</a><span class="prog-aff"> University of Colorado, Boulder</span>, <a href="https://2019.ecoop.org/profile/sergiomover" class="navigate">Sergio Mover</a><span class="prog-aff"> Ecole Polytechnique</span>, <a href="https://2019.ecoop.org/profile/boryuhevanchang" class="navigate">Bor-Yuh Evan Chang</a><span class="prog-aff"> University of Colorado Boulder</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.1" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/27/Lifestate-Event-Driven-Protocols-and-Callback-Control-Flow" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="b8a09331-a2fa-4333-87cd-401587bd1e7c" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="87213d51-9dfb-4a24-a7ed-f03d201b378e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="87213d51-9dfb-4a24-a7ed-f03d201b378e">Godot: All the Benefits of Implicit and Explicit Futures</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/kikofernandezreyes" class="navigate">Kiko Fernandez-Reyes</a><span class="prog-aff"> Uppsala University</span>, <a href="https://2019.ecoop.org/profile/einarbrochjohnsen" class="navigate">Einar Broch Johnsen</a><span class="prog-aff"> University of Oslo</span>, <a href="https://2019.ecoop.org/profile/daveclarke" class="navigate">Dave Clarke</a><span class="prog-aff"> Uppsala Univ. Sweden and KU Leuvern</span>, <a href="https://2019.ecoop.org/profile/ludovichenrio" class="navigate">Ludovic Henrio</a><span class="prog-aff"> CNRS</span>, <a href="https://2019.ecoop.org/profile/tobiaswrigstad" class="navigate">Tobias Wrigstad</a><span class="prog-aff"> Uppsala University</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.2" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/14/Godot-All-the-Benefits-of-Implicit-and-Explicit-Futures" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="97c98c3d-b636-4175-a477-f53ae9ef4d51" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:10</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a07086df-fd5e-4475-a278-e1d23528f67a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a07086df-fd5e-4475-a278-e1d23528f67a">Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications<span class="pull-right"><span title="Brave New Idea - The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so." data-facet-badge="Brave New Idea" class="output-badge" style="max-width:40px;"><img alt="Brave New Idea" src="https://2019.ecoop.org/getImageFile/d9305b5c-a660-41eb-9625-fbb0f8a25af3/small?1556144247000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/danielpelsmaeker" class="navigate">Daniel A. A. Pelsmaeker</a><span class="prog-aff"> Delft University of Technology, Netherlands</span>, <a href="https://2019.ecoop.org/profile/hendrikvanantwerpen" class="navigate">Hendrik van Antwerpen</a><span class="prog-aff"> TU Delft</span>, <a href="https://2019.ecoop.org/profile/eelcovisser" class="navigate">Eelco Visser</a><span class="prog-aff"> Delft University of Technology</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.26" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/17/Towards-Language-Parametric-Semantic-Editor-Services-based-on-Declarative-Type-System" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="b6df339a-21eb-4567-b9c5-563f3d5c0a5c" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a2222def-1871-4fad-9f81-402384a32101" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a2222def-1871-4fad-9f81-402384a32101">Multitier Modules</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/pascalweisenburger" class="navigate">Pascal Weisenburger</a><span class="prog-aff"> Technische Universität Darmstadt</span>, <a href="https://2019.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> TU Darmstadt</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.3" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/18/Multitier-Modules" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="b592838e-8c78-4644-ba04-e5f175766caf" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e1aa6891-1de8-44e9-9a1f-2cdae64b6311" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e1aa6891-1de8-44e9-9a1f-2cdae64b6311">Scopes and Frames Improve Meta-Interpreter Specialization</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/vladvergu" class="navigate">Vlad Vergu</a><span class="prog-aff"> TU Delft</span>, <a href="https://2019.ecoop.org/profile/eelcovisser" class="navigate">Eelco Visser</a><span class="prog-aff"> Delft University of Technology</span>, <a href="https://2019.ecoop.org/profile/andrewtolmach" class="navigate">Andrew Tolmach</a><span class="prog-aff"> Portland State University</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/30/Scopes-and-Frames-Improve-Meta-Interpreter-Specialization" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">Types<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/davideancona" target="_blank" class="navigate">Davide Ancona</a><span class="prog-aff"> University of Genova</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e1970390-f1c2-439e-a1ea-f07c0ff7d1e5" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="8824e2e1-d51a-4c90-8c68-f5a473a9a89f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8824e2e1-d51a-4c90-8c68-f5a473a9a89f">Transient Typechecks are (Almost) Free</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/richardroberts" class="navigate">Richard Roberts</a><span class="prog-aff"> Victoria University of Wellington</span>, <a href="https://2019.ecoop.org/profile/stefanmarr" class="navigate">Stefan Marr</a><span class="prog-aff"> University of Kent</span>, <a href="https://2019.ecoop.org/profile/michaelhomer" class="navigate">Michael Homer</a><span class="prog-aff"> Victoria University of Wellington</span>, <a href="https://2019.ecoop.org/profile/jamesnoble" class="navigate">James Noble</a><span class="prog-aff"> Victoria University of Wellington</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/15/Transient-Typechecks-are-Almost-Free" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="f5f449cc-5246-4fc7-acd3-4407474958d0" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a8338c04-acd2-42b9-a7aa-b1afe82048de" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a8338c04-acd2-42b9-a7aa-b1afe82048de">A Typing Discipline for Hardware Interfaces</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/jandemuijnckhughes" class="navigate">Jan de Muijnck-Hughes</a><span class="prog-aff"> University of Glasgow</span>, <a href="https://2019.ecoop.org/profile/wimvanderbauwhede" class="navigate">Wim Vanderbauwhede</a><span class="prog-aff"> University of Glasgow</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.6" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/22/A-Typing-Discipline-for-Hardware-Interfaces" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="0d57593c-a4de-4527-8467-83909062ade9" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="cbe0b0c7-6a18-4099-b552-7d94d39e42ec" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cbe0b0c7-6a18-4099-b552-7d94d39e42ec">Minimal Session Types<span class="pull-right"><span title="Pearl - The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this." data-facet-badge="Pearl" class="output-badge" style="max-width:40px;"><img alt="Pearl" src="https://2019.ecoop.org/getImageFile/a6c9525e-9000-456f-9617-7278600dbd93/small?1556144015000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/alenarslanagic" class="navigate">Alen Arslanagić</a><span class="prog-aff"> University of Groningen</span>, <a href="https://2019.ecoop.org/profile/jorgeaperez" class="navigate">Jorge A. Pérez</a><span class="prog-aff"> University of Groningen, The Netherlands</span>, <a href="https://2019.ecoop.org/profile/erikvoogd" class="navigate">Erik Voogd</a><span class="prog-aff"> University of Oslo</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.23" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/28/Minimal-Session-Types" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="2020281b-7e96-4381-8766-1f53d4905f2e" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="79d8f4e1-1328-4246-b3e7-5b813b172e05" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="79d8f4e1-1328-4246-b3e7-5b813b172e05">Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples<span class="pull-right"><span title="Pearl - The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this." data-facet-badge="Pearl" class="output-badge" style="max-width:40px;"><img alt="Pearl" src="https://2019.ecoop.org/getImageFile/a6c9525e-9000-456f-9617-7278600dbd93/small?1556144015000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/benjaminchung" class="navigate">Benjamin Chung</a><span class="prog-aff"> Northeastern University</span>, <a href="https://2019.ecoop.org/profile/francescozappanardelli" class="navigate">Francesco Zappa Nardelli</a><span class="prog-aff"> Inria</span>, <a href="https://2019.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.24" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/13/Julia-s-Efficient-Algorithm-for-Subtyping-Unions-and-Covariant-Tuples" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="76d819cb-66b9-41ea-85a1-e2b0402190fb" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="10bf4f2a-851c-4472-ba9f-aadab160c2e7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="10bf4f2a-851c-4472-ba9f-aadab160c2e7">On Satisfiability of Nominal Subtyping with Variance</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/aleksandrmisonizhnik" class="navigate">Aleksandr Misonizhnik</a><span class="prog-aff"> Saint-Petersburg State University</span>, <a href="https://2019.ecoop.org/profile/dmitrymordvinov" class="navigate">Dmitry Mordvinov</a><span class="prog-aff"> Saint-Petersburg State University, JetBrains Research</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.7" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/2/On-Satisfiability-of-Nominal-Subtyping-with-Variance" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">15:40 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Program Analysis 1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/yannissmaragdakis" target="_blank" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="1c6b33bc-93cd-44e9-9712-3d454abeadbb" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b945028e-660d-4714-8bb9-32a54dc4f41d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b945028e-660d-4714-8bb9-32a54dc4f41d">Static Analysis for Asynchronous JavaScript Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/thodorissotiropoulos" class="navigate">Thodoris Sotiropoulos</a><span class="prog-aff"> Athens University of Economics and Business</span>, <a href="https://2019.ecoop.org/profile/benlivshits" class="navigate">Ben Livshits</a><span class="prog-aff"> Imperial College London, UK</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="4c8ea4cf-f9c9-45e4-986d-e0e2346d1f9f" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="0f1be51c-cf47-4c9e-b9a9-7e668f2378ed" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0f1be51c-cf47-4c9e-b9a9-7e668f2378ed">A Program Logic for First-Order Encapsulated WebAssembly</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/conradwatt" class="navigate">Conrad Watt</a><span class="prog-aff"> University of Cambridge</span>, <a href="https://2019.ecoop.org/profile/petarmaksimovic" class="navigate">Petar Maksimović</a><span class="prog-aff"> Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia</span>, <a href="https://2019.ecoop.org/profile/neelakantankrishnaswami" class="navigate">Neel Krishnaswami</a><span class="prog-aff"> Computer Laboratory, University of Cambridge</span>, <a href="https://2019.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.9" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/1/A-Program-Logic-for-First-Order-Encapsulated-WebAssembly" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="11cb6a8b-04e7-4640-9e30-5cb0b63e3e78" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="de2dbe53-4eba-470c-b200-0414291237cd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="de2dbe53-4eba-470c-b200-0414291237cd">Garbage-free Abstract Interpretation through Abstract Reference Counting</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/noahvanes" class="navigate">Noah Van Es</a><span class="prog-aff"> Sofware Languages Lab, Vrije Universiteit Brussel</span>, <a href="https://2019.ecoop.org/profile/quentinstievenart" class="navigate">Quentin Stiévenart</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2019.ecoop.org/profile/coenderoover" class="navigate">Coen De Roover</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.10" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="a492824b-317a-4bb1-9570-4018a26d2192" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:40</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a5322b36-1dc0-4692-8da1-d4b7ac72abee" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5322b36-1dc0-4692-8da1-d4b7ac72abee">Eventually Sound Points-To Analysis with Specifications</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/osbertbastani" class="navigate">Osbert Bastani</a><span class="prog-aff"> University of Pennsylvania</span>, <a href="https://2019.ecoop.org/profile/rahulsharma" class="navigate">Rahul Sharma</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2019.ecoop.org/profile/lazaroclapp" class="navigate">Lazaro Clapp</a><span class="prog-aff"> Stanford University</span>, <a href="https://2019.ecoop.org/profile/saswatanand" class="navigate">Saswat Anand</a><span class="prog-aff"> Stanford University</span>, <a href="https://2019.ecoop.org/profile/alexaiken" class="navigate">Alex Aiken</a><span class="prog-aff"> Stanford University</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.11" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/20/Eventually-Sound-Points-To-Analysis-with-Specifications" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-17"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">17:00 - 17:50</div></td><td colspan="2"><div class="session-info-in-table">Awards and Recognition<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="15c73d5d-ea32-4c9c-a084-9550f7adf90f" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>10m</strong></div><div class="event-type">Awards</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="5878adc9-9d6e-4329-a639-ee8d24df7363" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5878adc9-9d6e-4329-a639-ee8d24df7363">ECOOP Awards</a></strong><div class="prog-track">Research Papers</div><div class="performers"><span title="Program Chair" class="role">P: </span><a href="https://2019.ecoop.org/profile/alastairdonaldson" class="navigate">Alastair F. Donaldson</a><span class="prog-aff"> Imperial College London</span>, <span title="Artifact Evaluation Co-Chair" class="role">A: </span><a href="https://2019.ecoop.org/profile/mariachristakis" class="navigate">Maria Christakis</a><span class="prog-aff"> MPI-SWS</span>, <span title="Artifact Evaluation Co-Chair" class="role">A: </span><a href="https://2019.ecoop.org/profile/manuelrigger" class="navigate">Manuel Rigger</a><span class="prog-aff"> ETH Zurich</span></div></td></tr><tr data-slot-id="04054b0e-bc6d-4f66-95b8-5b9b5f47b123" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:10</div><strong>40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="1aada058-2417-4a5b-9b6b-7d8132ba8bc6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1aada058-2417-4a5b-9b6b-7d8132ba8bc6">A tribute to Laurie Hendren</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University</span></div><a href="https://2019.ecoop.org/details/ecoop-2019-papers/33/A-tribute-to-Laurie-Hendren" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 18 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">09:00 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/sophiadrossopoulou" target="_blank" class="navigate">Sophia Drossopoulou</a><span class="prog-aff"> Imperial College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e5629b40-41df-4d26-a96d-54c8eec2aa3b" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="157dcdea-18e6-46af-8a91-fdee906f7614" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="157dcdea-18e6-46af-8a91-fdee906f7614">Rethinking Compositionality: Composing Proofs From Program Behaviours<span class="pull-right"><span title="Keynote" data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><img alt="Keynote" src="https://2019.ecoop.org/getImageFile/9f8cb17c-0c46-404c-a837-2c3901acefad/small?1558093933000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><span title="Keynote Speaker" class="role">K: </span><a href="https://2019.ecoop.org/profile/azadehfarzan" class="navigate">Azadeh Farzan</a><span class="prog-aff"> University of Toronto</span></div><a href="https://2019.ecoop.org/details/ecoop-2019-papers/3/Rethinking-Compositionality-Composing-Proofs-From-Program-Behaviours" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">Domain Specific Languages<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/sebastianerdweg" target="_blank" class="navigate">Sebastian Erdweg</a><span class="prog-aff"> JGU Mainz</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="61ba7594-b7fd-4fb4-9104-6094eee7aee6" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="923ecd34-0d55-4324-9710-64e399a5d488" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="923ecd34-0d55-4324-9710-64e399a5d488">How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/matthiaseichholz" class="navigate">Matthias Eichholz</a><span class="prog-aff"> </span>, <a href="https://2019.ecoop.org/profile/ericcampbell" class="navigate">Eric Campbell</a><span class="prog-aff"> Cornell University</span>, <a href="https://2019.ecoop.org/profile/natefoster" class="navigate">Nate Foster</a><span class="prog-aff"> Cornell University</span>, <a href="https://2019.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> TU Darmstadt</span>, <a href="https://2019.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a><span class="prog-aff"> TU Darmstadt, Germany</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/16/How-to-Avoid-Making-a-Billion-Dollar-Mistake-Type-Safe-Data-Plane-Programming-with-S" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="8165b9f2-a4d9-4a5e-8c49-3ff3c061f89a" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="51a7a67b-2919-40ca-bf77-39fd8bbf460a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="51a7a67b-2919-40ca-bf77-39fd8bbf460a">Fling—A Fluent API Generator</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/yossigil" class="navigate">Yossi Gil</a><span class="prog-aff"> Technion—Israel Institute of Technology</span>, <a href="https://2019.ecoop.org/profile/oriroth" class="navigate">Ori Roth</a><span class="prog-aff"> Technion</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.13" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="93a4e952-e3e3-474f-bfd6-120acc4d395c" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:10</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a2f36e94-c1ec-4819-931e-c120cb2a028a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a2f36e94-c1ec-4819-931e-c120cb2a028a">Semantic Patches for Java Program Transformation<span class="pull-right"><span title="Experience Report - The Experience Reports category solicits articles focussing on noteworthy applications of known PL techniques, tools and ideas in interesting domains and by other communities. Examples include, but are not limited to, applications of PL techniques in industry, open source, education, and other academic disciplines. We welcome both reports on successful applications of PL ideas, as well as reports that shed light on limitations and problems that may provide inspiration for future research." data-facet-badge="Experience Report" class="output-badge" style="max-width:40px;"><img alt="Experience Report" src="https://2019.ecoop.org/getImageFile/6c092eb8-4725-4070-ace5-376621b627cd/small?1556144063000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/hongjinkang1" class="navigate">Hong Jin Kang</a><span class="prog-aff"> School of Information Systems, Singapore Management University</span>, <a href="https://2019.ecoop.org/profile/ferdianthung" class="navigate">Ferdian Thung</a><span class="prog-aff"> </span>, <a href="https://2019.ecoop.org/profile/julialawall" class="navigate">Julia Lawall</a><span class="prog-aff"> Inria/LIP6</span>, <a href="https://2019.ecoop.org/profile/gillesmuller" class="navigate">Gilles Muller</a><span class="prog-aff"> LIP6-INRIA/UPMC</span>, <a href="https://2019.ecoop.org/profile/lingxiaojiang" class="navigate">Lingxiao Jiang</a><span class="prog-aff"> Singapore Management University</span>, <a href="https://2019.ecoop.org/profile/davidlo" class="navigate">David Lo</a><span class="prog-aff"> Singapore Management University</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.22" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/19/Semantic-Patches-for-Java-Program-Transformation" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="cf0a5811-0d1a-495d-ad48-ff915b78ac2f" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="2cc9fcdc-06df-4e35-a198-feaaf2ce9b8e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2cc9fcdc-06df-4e35-a198-feaaf2ce9b8e">Finally, a Polymorphic Linear Algebra Language<span class="pull-right"><span title="Pearl - The Pearl category solicits articles that explain a known idea in a new and elegant way, to the benefit of the PL community. A Pearl may well be shorter than a regular research paper, but there is no hard requirement on this." data-facet-badge="Pearl" class="output-badge" style="max-width:40px;"><img alt="Pearl" src="https://2019.ecoop.org/getImageFile/a6c9525e-9000-456f-9617-7278600dbd93/small?1556144015000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/amirshaikhha" class="navigate">Amir Shaikhha</a><span class="prog-aff"> University of Oxford</span>, <a href="https://2019.ecoop.org/profile/lionelparreaux" class="navigate">Lionel Parreaux</a><span class="prog-aff"> EPFL</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.25" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="08f7d6ad-99f5-452e-bb59-7eea5dc8ab90" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a5a6cee4-2b8c-40ee-ab3b-62aeb1fee333" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5a6cee4-2b8c-40ee-ab3b-62aeb1fee333">NumLin: Linear Types for Linear Algebra</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/dhruvmakwana" class="navigate">Dhruv Makwana</a><span class="prog-aff"> Unaffiliated</span>, <a href="https://2019.ecoop.org/profile/neelakantankrishnaswami" class="navigate">Neel Krishnaswami</a><span class="prog-aff"> Computer Laboratory, University of Cambridge</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.14" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://github.com/dc-mak/NumLin/blob/master/write-up/paper.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/21/NumLin-Linear-Types-for-Linear-Algebra" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/21/NumLin-Linear-Types-for-Linear-Algebra" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">Program Analysis 2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/christianhammer" target="_blank" class="navigate">Christian Hammer</a><span class="prog-aff"> University of Potsdam</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="6b6a5547-f463-4ded-b1b6-529dbc588c83" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b051e24d-fe69-4280-87b8-8a833e935d29" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b051e24d-fe69-4280-87b8-8a833e935d29">Deep Static Modeling of invokedynamic</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/georgefourtounis" class="navigate">George Fourtounis</a><span class="prog-aff"> University of Athens</span>, <a href="https://2019.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/23/Deep-Static-Modeling-of-invokedynamic" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="de2002ac-2042-49e1-a718-70bdec167ad8" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fdf74bf7-156e-47df-8d37-83a45daf06ca" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fdf74bf7-156e-47df-8d37-83a45daf06ca">Automated Large-scale Multi-language Dynamic Program Analysis in the Wild<span class="pull-right"><span title="Tool Insights Paper - We welcome submissions in this category that focus on the practical details of the design and implementation of PL tools – details that are often omitted from regular research papers due to space constraints, despite being fascinating and worthy of communication. A strong Tool Insights paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community who may face similar problems in future. Examples of issues that Tool Insights papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency and soundness/efficiency trade-offs." data-facet-badge="Tool Insights Paper" class="output-badge" style="max-width:40px;"><img alt="Tool Insights Paper" src="https://2019.ecoop.org/getImageFile/3c779a61-e743-4ce8-99bc-c62430b132b8/small?1556144155000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/alexvillazon" class="navigate">Alex Villazón</a><span class="prog-aff"> Universidad Privada Boliviana, Bolivia</span>, <a href="https://2019.ecoop.org/profile/haiyangsun" class="navigate">Haiyang Sun</a><span class="prog-aff"> Università della Svizzera italiana</span>, <a href="https://2019.ecoop.org/profile/andrearosa" class="navigate">Andrea Rosà</a><span class="prog-aff"> University of Lugano, Switzerland</span>, <a href="https://2019.ecoop.org/profile/eduardorosales" class="navigate">Eduardo Rosales</a><span class="prog-aff"> University of Lugano, Switzerland</span>, <a href="https://2019.ecoop.org/profile/danielebonetta" class="navigate">Daniele Bonetta</a><span class="prog-aff"> Oracle Labs</span>, <a href="https://2019.ecoop.org/profile/isabelladefilippis" class="navigate">Isabella Defilippis</a><span class="prog-aff"> Universidad Privada Boliviana (UPB)</span>, <a href="https://2019.ecoop.org/profile/sergiooporto" class="navigate">Sergio Oporto</a><span class="prog-aff"> Universidad Privada Boliviana (UPB)</span>, <a href="https://2019.ecoop.org/profile/walterbinder" class="navigate">Walter Binder</a><span class="prog-aff"> University of Lugano, Switzerland</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.20" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/31/Automated-Large-scale-Multi-language-Dynamic-Program-Analysis-in-the-Wild" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="de297620-dada-4639-8438-e896cbcd3958" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="3fcd7a5e-3bd5-4fe4-a2f3-ae975af9a7b0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3fcd7a5e-3bd5-4fe4-a2f3-ae975af9a7b0">MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors<span class="pull-right"><span title="Tool Insights Paper - We welcome submissions in this category that focus on the practical details of the design and implementation of PL tools – details that are often omitted from regular research papers due to space constraints, despite being fascinating and worthy of communication. A strong Tool Insights paper should communicate engineering experience and insights that are likely to be useful to other members of the PL community who may face similar problems in future. Examples of issues that Tool Insights papers might focus on include, but are not limited to: performance, reliability, portability, inter-tool integration, infrastructure re-use, evaluation issues, theory/practice gaps, precision/efficiency and soundness/efficiency trade-offs." data-facet-badge="Tool Insights Paper" class="output-badge" style="max-width:40px;"><img alt="Tool Insights Paper" src="https://2019.ecoop.org/getImageFile/3c779a61-e743-4ce8-99bc-c62430b132b8/small?1556144155000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/linghuiluo" class="navigate">Linghui Luo</a><span class="prog-aff"> Paderborn University</span>, <a href="https://2019.ecoop.org/profile/juliandolby" class="navigate">Julian Dolby</a><span class="prog-aff"> IBM Research</span>, <a href="https://2019.ecoop.org/profile/ericbodden" class="navigate">Eric Bodden</a><span class="prog-aff"> Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://linghuiluo.github.io/ECOOP19MagpieBridge.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/6/MagpieBridge-A-General-Approach-to-Integrating-Static-Analyses-into-IDEs-and-Editors" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="2c0927f8-30d1-4dd1-9a81-a81906bf4574" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="706db3c9-71c4-4640-86bc-741678b3b0e5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="706db3c9-71c4-4640-86bc-741678b3b0e5">Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/alexiturcotte" class="navigate">Alexi Turcotte</a><span class="prog-aff"> Northeastern University</span>, <a href="https://2019.ecoop.org/profile/ellenarteca" class="navigate">Ellen Arteca</a><span class="prog-aff"> Northeastern University</span>, <a href="https://2019.ecoop.org/profile/gregorrichards" class="navigate">Gregor Richards</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.16" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/10/Reasoning-About-Foreign-Function-Interfaces-Without-Modelling-the-Foreign-Language" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="4ecacb33-6d83-4bd6-b18d-78811c4efbc2" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:50</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="66d79a9f-9552-43e9-88f5-a304593bf7db" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="66d79a9f-9552-43e9-88f5-a304593bf7db">Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs<span class="pull-right"><span title="Brave New Idea - The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so." data-facet-badge="Brave New Idea" class="output-badge" style="max-width:40px;"><img alt="Brave New Idea" src="https://2019.ecoop.org/getImageFile/d9305b5c-a660-41eb-9625-fbb0f8a25af3/small?1556144247000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/carmentorreslopez" class="navigate">Carmen Torres Lopez</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2019.ecoop.org/profile/robbertgurdeepsingh" class="navigate">Robbert Gurdeep Singh</a><span class="prog-aff"> Universiteit Gent, Belgium</span>, <a href="https://2019.ecoop.org/profile/stefanmarr" class="navigate">Stefan Marr</a><span class="prog-aff"> University of Kent</span>, <a href="https://2019.ecoop.org/profile/elisagonzalezboix" class="navigate">Elisa Gonzalez Boix</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2019.ecoop.org/profile/christophescholliers" class="navigate">Christophe Scholliers</a><span class="prog-aff"> Universiteit Gent, Belgium</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.27" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/9/Multiverse-Debugging-Non-deterministic-Debugging-for-Non-deterministic-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">15:40 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Concurrency and Parallelism<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/stephenkell" target="_blank" class="navigate">Stephen Kell</a><span class="prog-aff"> University of Kent</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c51b27ce-2981-4794-be41-be598417dec0" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="7269ba1a-076c-4a31-8a86-cc669f4c689a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7269ba1a-076c-4a31-8a86-cc669f4c689a">DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/matthiasspringer" class="navigate">Matthias Springer</a><span class="prog-aff"> Tokyo Institute of Technology</span>, <a href="https://2019.ecoop.org/profile/hidehikomasuhara" class="navigate">Hidehiko Masuhara</a><span class="prog-aff"> Tokyo Institute of Technology</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/pdf/1810.11765" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/12/DynaSOAr-A-Parallel-Memory-Allocator-for-Object-oriented-Programming-on-GPUs-with-Ef" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="7a7f3792-d08e-4ca3-8cc5-910dbe19e864" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c07ad17c-4245-4186-89df-78532c62d400" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c07ad17c-4245-4186-89df-78532c62d400">Reliable State Machines: A Framework for Programming Reliable Cloud Services</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/suvammukherjee1" class="navigate">Suvam Mukherjee</a><span class="prog-aff"> Microsoft Research India</span>, <a href="https://2019.ecoop.org/profile/nitinjohnraj" class="navigate">Nitin John Raj</a><span class="prog-aff"> International Institute of Information Technology, Hyderabad</span>, <a href="https://2019.ecoop.org/profile/krishnangovindraj" class="navigate">Krishnan Govindraj</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2019.ecoop.org/profile/pantazisdeligiannis" class="navigate">Pantazis Deligiannis</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2019.ecoop.org/profile/chandramouleswaranravichandran" class="navigate">Chandramouleswaran Ravichandran</a><span class="prog-aff"> Microsoft Azure</span>, <a href="https://2019.ecoop.org/profile/akashlal" class="navigate">Akash Lal</a><span class="prog-aff"> Microsoft Research India</span>, <a href="https://2019.ecoop.org/profile/aseemrastogi" class="navigate">Aseem Rastogi</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2019.ecoop.org/profile/rajakrishnaswamy" class="navigate">Raja Krishnaswamy</a><span class="prog-aff"> Microsoft Azure</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/26/Reliable-State-Machines-A-Framework-for-Programming-Reliable-Cloud-Services" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="35b13084-e20d-49ea-8653-4a691a26dd15" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="bde4002a-e92a-4515-9f55-94827d66af33" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="bde4002a-e92a-4515-9f55-94827d66af33">Transferring Obligations Through Synchronizations</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/jafarhamin" class="navigate">Jafar Hamin</a><span class="prog-aff"> imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium</span>, <a href="https://2019.ecoop.org/profile/bartjacobs" class="navigate">Bart Jacobs</a><span class="prog-aff"> KU Leuven</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/25/Transferring-Obligations-Through-Synchronizations" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="d6ff56f7-eb5c-4f19-9c16-ea2218268a7a" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:40</div><strong>20m</strong></div><div class="event-type">Research paper</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="22dce5c0-dafa-4809-a284-d5990978cea1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="22dce5c0-dafa-4809-a284-d5990978cea1">Motion Session Types for Robotic Interactions<span class="pull-right"><span title="Brave New Idea - The Brave New Idea paper category solicits forward-looking articles on ideas in the field of Programming Languages that may take some time to substantiate, but for which early communication to the community is likely to be of benefit. For this category we welcome papers that are particularly conceptually novel or unconventional, and that as a result may be harder to back up by traditional evaluation methods. A Brave New Idea paper may well be shorter than a regular research paper, but there is no requirement for it to be so." data-facet-badge="Brave New Idea" class="output-badge" style="max-width:40px;"><img alt="Brave New Idea" src="https://2019.ecoop.org/getImageFile/d9305b5c-a660-41eb-9625-fbb0f8a25af3/small?1556144247000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2019.ecoop.org/profile/rupakmajumdar" class="navigate">Rupak Majumdar</a><span class="prog-aff"> MPI-SWS, Germany</span>, <a href="https://2019.ecoop.org/profile/marcuspirron" class="navigate">Marcus Pirron</a><span class="prog-aff"> MPI-SWS</span>, <a href="https://2019.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2019.ecoop.org/profile/damienzufferey" class="navigate">Damien Zufferey</a><span class="prog-aff"> MPI-SWS</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.28" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/4/Motion-Session-Types-for-Robotic-Interactions" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-17"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Mancy" 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 c0"></td><td><div class="slot-label">17:00 - 18:00</div></td><td colspan="2"><div class="session-info-in-table">Closing Keynote<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-mancy" target="_blank" class="room-link navigate">Mancy</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/alastairdonaldson" target="_blank" class="navigate">Alastair F. Donaldson</a><span class="prog-aff"> Imperial College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7bedbf23-d51b-44bd-a4cf-eb86d83ebdac" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="725af60f-ac90-44db-8947-dd51c257cc7e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="725af60f-ac90-44db-8947-dd51c257cc7e">Automatic Differentiation for Dummies<span class="pull-right"><span title="Keynote" data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><img alt="Keynote" src="https://2019.ecoop.org/getImageFile/9f8cb17c-0c46-404c-a837-2c3901acefad/small?1558093933000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><span title="Keynote Speaker" class="role">K: </span><a href="https://2019.ecoop.org/profile/simonpeytonjones" class="navigate">Simon Peyton Jones</a><span class="prog-aff"> Microsoft, UK</span></div><a href="https://2019.ecoop.org/details/ecoop-2019-papers/11/Automatic-Differentiation-for-Dummies" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-track="ECOOP Catering" data-facet-room="Socials" 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 c16"></td><td><div class="slot-label">18:00 - 20:00</div></td><td colspan="2"><div class="session-info-in-table">Social Hour<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-socials" target="_blank" class="room-link navigate">Socials</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></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://2019.ecoop.org/track/ecoop-2019-papers" class="clickable-row past"><td><strong>Mon 15 - Fri 19 Jul 2019</strong><br/><strong>Conference</strong></td></tr><tr href="https://2019.ecoop.org/track/ecoop-2019-papers" class="clickable-row past"><td>Tue 11 Jun 2019<br/>Camera ready</td></tr><tr href="https://2019.ecoop.org/track/ecoop-2019-papers" class="clickable-row past"><td>Tue 2 Apr 2019<br/>Author notification</td></tr><tr href="https://2019.ecoop.org/track/ecoop-2019-papers" class="clickable-row past"><td>Tue 12 - Thu 14 Mar 2019<br/>Author response</td></tr><tr href="https://2019.ecoop.org/track/ecoop-2019-papers" class="clickable-row past"><td>Fri 11 Jan 2019<br/>Paper submission</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://ecoop19.hotcrp.com/" title="Submission link for Call for Papers" target="_blank" class="navigate">https://ecoop19.hotcrp.com/</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2019.ecoop.org/profile/alastairdonaldson" class="navigate"><div class="media"><span class="pull-left"><img alt="Alastair F. Donaldson" src="https://2019.ecoop.org/getProfileImage/alastairdonaldson/68f1a7ac-4410-49c7-a87f-03f6efd9138d/micro-avatar.jpg?1711465325000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alastair F. Donaldson<span class="pull-right"><small>Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/robertatkey" class="navigate"><div class="media"><span class="pull-left"><img alt="Robert Atkey" src="https://2019.ecoop.org/getProfileImage/robertatkey/aefb1488-69b7-4a95-8c3d-714396037e7f/micro-avatar.jpg?1711470890000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Robert Atkey<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Strathclyde</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/evadarulova" class="navigate"><div class="media"><span class="pull-left"><img alt="Eva Darulova" src="https://2019.ecoop.org/getProfileImage/evadarulova/4f8f340a-f29e-4811-83aa-fbc55f9553d9/micro-avatar.jpg?1711468379000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Eva Darulova<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">MPI-SWS</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/mariangioladezani" class="navigate"><div class="media"><span class="pull-left"><img alt="Mariangiola Dezani" src="https://2019.ecoop.org/getProfileImage/mariangioladezani/38fdfb0a-6b9d-4313-8b1f-899fcc2cb07f/micro-avatar.jpg?1711489327000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mariangiola Dezani<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Università di Torino</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/dinodistefano" class="navigate"><div class="media"><span class="pull-left"><img alt="Dino Distefano" src="https://2019.ecoop.org/getProfileImage/dinodistefano/b56ffaff-55ac-4348-ad74-55db0e04d401/micro-avatar.jpg?1711569202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Dino Distefano<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Facebook London</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/derekdreyer" class="navigate"><div class="media"><span class="pull-left"><img alt="Derek Dreyer" src="https://2019.ecoop.org/getProfileImage/derekdreyer/bc915fe1-243d-4033-b760-eaf03e0c1082/micro-avatar.jpg?1711458144000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Derek Dreyer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">MPI-SWS</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/sophiadrossopoulou" class="navigate"><div class="media"><span class="pull-left"><img alt="Sophia Drossopoulou" src="https://2019.ecoop.org/getProfileImage/sophiadrossopoulou/d11fe795-c51d-40bf-b51e-39c4fa8f6cee/micro-avatar.jpg?1711458594000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sophia Drossopoulou<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/cezaradragoi" class="navigate"><div class="media"><span class="pull-left"><img alt="Cezara Drăgoi" src="https://2019.ecoop.org/getProfileImage/cezaradragoi/0246e318-6e36-452a-ac69-3cf20cecc4f9/micro-avatar.jpg?1711483270000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cezara Drăgoi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">INRIA, ENS, CNRS</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/alexeygotsman" class="navigate"><div class="media"><span class="pull-left"><img alt="Alexey Gotsman" src="https://2019.ecoop.org/getProfileImage/alexeygotsman/0e51eef0-a1e5-4159-a063-07cd098bf983/micro-avatar.jpg?1711493831000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alexey Gotsman<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IMDEA Software Institute</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/christianhammer" class="navigate"><div class="media"><span class="pull-left"><img alt="Christian Hammer" src="https://2019.ecoop.org/getProfileImage/christianhammer/fd30d438-03dd-4414-9cbd-2a0e88f24539/micro-avatar.jpg?1711569202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Christian Hammer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Potsdam</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/timharris" class="navigate"><div class="media"><span class="pull-left"><img alt="Tim Harris" src="https://2019.ecoop.org/getProfileImage/timharris/b3ee75a1-3b61-4726-90ba-b9befa8ab9a8/micro-avatar.jpg?1711485054000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tim Harris<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Amazon</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/matthiashauswirth" class="navigate"><div class="media"><span class="pull-left"><img alt="Matthias Hauswirth" src="https://2019.ecoop.org/getProfileImage/matthiashauswirth/1aa0183d-74c2-4ed1-9632-d404952bcb73/micro-avatar.jpg?1724587418000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Matthias Hauswirth<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Università della Svizzera italiana (USI)</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/akashlal" class="navigate"><div class="media"><span class="pull-left"><img alt="Akash Lal" src="https://2019.ecoop.org/getProfileImage/akashlal/b7245589-6faf-4318-87b9-6dd1b3a347c2/micro-avatar.jpg?1711489738000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Akash Lal<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Microsoft Research India</span></h5><h5 class="media-heading"><small>India</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/douglea" class="navigate"><div class="media"><span class="pull-left"><img alt="Doug Lea" src="https://2019.ecoop.org/getProfileImage/douglea/82437577-9ff9-4ab5-ad05-beba4426622c/micro-avatar.jpg?1711459384000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Doug Lea<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">State University of New York (SUNY) Oswego</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/heathermiller" class="navigate"><div class="media"><span class="pull-left"><img alt="Heather Miller" src="https://2019.ecoop.org/getProfileImage/heathermiller/008bea09-502e-431a-b110-1d07f6648580/micro-avatar.jpg?1711457154000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Heather Miller<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Carnegie Mellon University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/brunooliveira" class="navigate"><div class="media"><span class="pull-left"><img alt="Bruno C. d. S. Oliveira" src="https://2019.ecoop.org/getProfileImage/brunooliveira/88ba282d-9ffd-4e1c-9df2-cf1148765466/micro-avatar.jpg?1711457962000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Bruno C. d. S. Oliveira<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">The University of Hong Kong, Hong Kong</span></h5><h5 class="media-heading"><small>Hong Kong</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/davidpearce" class="navigate"><div class="media"><span class="pull-left"><img alt="David J. Pearce" src="https://2019.ecoop.org/getProfileImage/davidpearce/d9bb256a-1cba-4173-bbc8-976797c74f06/micro-avatar.jpg?1711569202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">David J. Pearce<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Victoria University of Wellington, New Zealand</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/luispina" class="navigate"><div class="media"><span class="pull-left"><img alt="Luís Pina" src="https://2019.ecoop.org/getProfileImage/luispina/ba55cb80-7142-43ed-a3c7-6ceec0869325/micro-avatar.jpg?1711462768000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Luís Pina<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">George Mason University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/alexpotanin" class="navigate"><div class="media"><span class="pull-left"><img alt="Alex Potanin" src="https://2019.ecoop.org/getProfileImage/alexpotanin/61357b57-61c2-49ec-883a-7852b2e1dc74/micro-avatar.jpg?1711453752000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alex Potanin<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Victoria University of Wellington</span></h5><h5 class="media-heading"><small>New Zealand</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/corinaspasareanu1" class="navigate"><div class="media"><span class="pull-left"><img alt="Corina S. Păsăreanu" src="https://2019.ecoop.org/getProfileImage/corinaspasareanu1/1b534631-bd17-43e5-bc5e-335cef045e87/micro-avatar.jpg?1711472287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Corina S. Păsăreanu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">NASA and Carnegie Mellon University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/azalearaad" class="navigate"><div class="media"><span class="pull-left"><img alt="Azalea Raad" src="https://2019.ecoop.org/getProfileImage/azalearaad/65cf443e-9b6e-4228-8059-786fe07f0801/micro-avatar.jpg?1711493622000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Azalea Raad<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">MPI-SWS</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/ajitharajan" class="navigate"><div class="media"><span class="pull-left"><img alt="Ajitha Rajan" src="https://2019.ecoop.org/getProfileImage/ajitharajan/8e290227-1b7f-446b-a277-ca8de41033e8/micro-avatar.jpg?1711569202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ajitha Rajan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Edinburgh, UK</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/ilyasergey" class="navigate"><div class="media"><span class="pull-left"><img alt="Ilya Sergey" src="https://2019.ecoop.org/getProfileImage/ilyasergey/29fc3c13-b861-4407-88eb-1c55f805c48e/micro-avatar.jpg?1711569202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ilya Sergey<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Yale-NUS College and National University of Singapore</span></h5><h5 class="media-heading"><small>Singapore</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/manusridharan" class="navigate"><div class="media"><span class="pull-left"><img alt="Manu Sridharan" src="https://2019.ecoop.org/getProfileImage/manusridharan/325cd9e3-d733-49c2-b880-92368d86078a/micro-avatar.jpg?1711457629000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Manu Sridharan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California, Riverside</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/emmasoderberg" class="navigate"><div class="media"><span class="pull-left"><img alt="Emma Söderberg" src="https://2019.ecoop.org/getProfileImage/emmasoderberg/84e70559-d26e-489d-8fa0-88646b3c4890/micro-avatar.jpg?1711455899000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Emma Söderberg<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Lund University</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/tijsvanderstorm" class="navigate"><div class="media"><span class="pull-left"><img alt="Tijs van der Storm" src="https://2019.ecoop.org/getProfileImage/tijsvanderstorm/e549c082-280a-418b-89ab-a4107ba1b915/micro-avatar.jpg?1711569202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tijs van der Storm<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Centrum Wiskunde & Informatica / University of Groningen</span></h5><h5 class="media-heading"><small>Netherlands</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://2019.ecoop.org/committee/ecoop-2019-papers-external-review-committee" class="navigate">External Review Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2019.ecoop.org/profile/suparnabhattacharya" class="navigate"><div class="media"><span class="pull-left"><img alt="Suparna Bhattacharya" src="https://2019.ecoop.org/getProfileImage/suparnabhattacharya/c4b9446b-68de-4b0e-adeb-4f80d10b85de/micro-avatar.jpg?1711592286000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Suparna Bhattacharya<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Hewlett-Packard Enterprise</span></h5><h5 class="media-heading"><small>India</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/vivianabono" class="navigate"><div class="media"><span class="pull-left"><img alt="Viviana Bono" src="https://2019.ecoop.org/getProfileImage/vivianabono/c4dfdd2d-322a-4d89-892b-a04b4f773fc9/micro-avatar.jpg?1711592287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Viviana Bono<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Torino</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/junjiechen" class="navigate"><div class="media"><span class="pull-left"><img alt="Junjie Chen" src="https://2019.ecoop.org/getProfileImage/junjiechen/bdb4606a-158f-4c34-9556-f777d369e526/micro-avatar.jpg?1711458891000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Junjie Chen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Peking University</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/mikedodds" class="navigate"><div class="media"><span class="pull-left"><img alt="Mike Dodds" src="https://2019.ecoop.org/getProfileImage/mikedodds/80f29818-1228-4aee-8868-e682443bb9ec/micro-avatar.jpg?1711592287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mike Dodds<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Galois, Inc.</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/susaneisenbach" class="navigate"><div class="media"><span class="pull-left"><img alt="Susan Eisenbach" src="https://2019.ecoop.org/getProfileImage/susaneisenbach/3f0864cf-daae-4259-b8e8-5d23eeeb5f9c/micro-avatar.jpg?1711501942000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Susan Eisenbach<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/ganeshgopalakrishnan" class="navigate"><div class="media"><span class="pull-left"><img alt="Ganesh Gopalakrishnan" src="https://2019.ecoop.org/getProfileImage/ganeshgopalakrishnan/66ee0702-c693-4a47-ab9d-d46ea1178c1d/micro-avatar.jpg?1711592287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ganesh Gopalakrishnan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Utah</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/bartjacobs" class="navigate"><div class="media"><span class="pull-left"><img alt="Bart Jacobs" src="https://2019.ecoop.org/getProfileImage/bartjacobs/170aab0e-5bb9-40ca-8b71-7c46f04a88b7/micro-avatar.jpg?1711488791000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Bart Jacobs<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://2019.ecoop.org/profile/jeroenketema" class="navigate"><div class="media"><span class="pull-left"><img alt="Jeroen Ketema" src="https://2019.ecoop.org/getProfileImage/jeroenketema/495d9a4a-0f43-47a1-80cf-393bb7593e63/micro-avatar.jpg?1711712413000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jeroen Ketema<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ESI (TNO)</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/anamilanova" class="navigate"><div class="media"><span class="pull-left"><img alt="Ana Milanova" src="https://2019.ecoop.org/getProfileImage/anamilanova/b06eff24-6d9a-408e-a244-7951870210ff/micro-avatar.jpg?1711458170000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ana Milanova<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Rensselaer Polytechnic Institute</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/jessicapaquette" class="navigate"><div class="media"><span class="pull-left"><img alt="Jessica Paquette" src="https://2019.ecoop.org/getProfileImage/jessicapaquette/431d0822-9bd0-4a6d-83dd-42bd2280aa58/micro-avatar.jpg?1711592287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jessica Paquette<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Apple Inc.</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/gregorrichards" class="navigate"><div class="media"><span class="pull-left"><img alt="Gregor Richards" src="https://2019.ecoop.org/getProfileImage/gregorrichards/18e8753b-a81b-4068-9621-4b76cb250b33/micro-avatar.jpg?1711508217000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gregor Richards<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Waterloo</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/philippruemmer" class="navigate"><div class="media"><span class="pull-left"><img alt="Philipp Ruemmer" src="https://2019.ecoop.org/getProfileImage/philippruemmer/839382f3-639f-43b0-878b-dfaf6ebeb0a0/micro-avatar.jpg?1711479289000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Philipp Ruemmer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Uppsala University</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/alexanderjsummers" class="navigate"><div class="media"><span class="pull-left"><img alt="Alexander J. Summers" src="https://2019.ecoop.org/getProfileImage/alexanderjsummers/314da265-21fd-4341-bf2d-dc0297cd313e/micro-avatar.jpg?1711464040000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alexander J. Summers<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ETH Zurich</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/martinvechev" class="navigate"><div class="media"><span class="pull-left"><img alt="Martin Vechev" src="https://2019.ecoop.org/getProfileImage/martinvechev/355c854b-7d1c-425e-ab54-2dd3d54487cd/micro-avatar.jpg?1711466810000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Martin Vechev<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ETH Zürich</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ecoop.org/profile/johnwickerson" class="navigate"><div class="media"><span class="pull-left"><img alt="John Wickerson" src="https://2019.ecoop.org/getProfileImage/johnwickerson/db8e477e-7609-42c9-814e-a1098da4432c/micro-avatar.jpg?1711472647000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">John Wickerson<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 24 Nov 18:57</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://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><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://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2019"},],"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://2019.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><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://2019.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2019"},],"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://2019.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2019</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://2019.ecoop.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://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a><br/><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate">AORTA 2019</a><br/><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate">BenchWork 2019</a><br/><a href="https://2019.ecoop.org/home/COP-2019" class="navigate">COP 2019</a><br/><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate">FTfJP 2019</a><br/><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate">ICOOOLPS 2019</a><br/><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate">PASS 2019</a><br/><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate">Panathon 2019</a><br/><a href="https://2019.ecoop.org/home/scala-2019" class="navigate">Scala 2019</a><br/><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate">VORTEX 2019</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a><br><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a><br><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Social Events</a><br><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a><br><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</a></div><div class="col-sm-2"><a href="https://2019.ecoop.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; 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>