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</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/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" 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/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/twitter-widget-ios-fix.js?7ba20a9fa447de94b2a094eead2ccfe8"></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">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2019.ecoop.org/getImage/carousel/5604439246_08fb0350fe_o.jpg?1528908239000'> <meta name='description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ECOOP 2019'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://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%5Es" 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><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide-to="0" class="active"></li><li data-target="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide-to="1"></li><li data-target="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide-to="2"></li><li data-target="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide-to="3"></li><li data-target="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide-to="4"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://2019.ecoop.org/getImage/carousel/5604439246_08fb0350fe_o.jpg?1528908239000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/duncanh1/5604439246/" target="_blank" class="navigate">Photo by <em>Dun.can</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2019.ecoop.org/getImage/carousel/31674679852_f79bfc3f99_o.jpg?1528908379000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/bvi4092/31674679852/" target="_blank" class="navigate">Photo by <em>bvi4092</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2019.ecoop.org/getImage/carousel/28898830416_e5a82ac2c6_b.jpg?1528908080000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/pavelcab/28898830416/" target="_blank" class="navigate">Photo by <em>Pablo Cabezos</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2019.ecoop.org/getImage/carousel/7516586160_bf7627fdc4_o.jpg?1528908310000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/duncanh1/7516586160/" target="_blank" class="navigate">Photo by <em>Dun.can</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2019.ecoop.org/getImage/carousel/27614344821_310deb01ee_k.jpg?1528908184000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/tomsaint/27614344821/" target="_blank" class="navigate">Photo by <em>Rennett Stowe</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div></div><a href="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-f0768f14-a822-444d-850a-3167d8f3413b" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h3>ECOOP: The Conference</h3></div><p><strong>ECOOP</strong> is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense.</p> <p>This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers.</p> <p>We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.</p> <h3><a href="#whats-with-the-oo" id="whats-with-the-oo" class="anchor-link">What’s with the OO?</a></h3> <p>The OO in ECOOP has traditionally stood for “object-oriented”. These days, while the conference absolutely welcomes papers that relate to OO, the scope of ECOOP is much broader and encompasses the Programming Languages field as a whole. Think of the conference as being called “ECOOP: the European COnference On Programming languages”.</p> </div></div><div class="row"><div class="col-sm-12"><h3>Keynotes</h3><div id="1ce5f01eb81b54af92a96de2a958ec42wrapper"><div id="1ce5f01eb81b54af92a96de2a958ec42"><a href="https://2019.ecoop.org/details/ecoop-2019-papers/11/Automatic-Differentiation-for-Dummies" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="Keynote" class="output-badge" style="max-height: 40px; z-index:10;"><img alt="Keynote" src="https://2019.ecoop.org/getImageFile/9f8cb17c-0c46-404c-a837-2c3901acefad/small?1558093933000" class="outputimage"/></span></span></span><img alt="Simon Peyton Jones" src="https://2019.ecoop.org/getProfileImage/simonpeytonjones/7375f380-17ae-4f2c-8220-2da190089a5b/avatar.jpg?1711458441000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Automatic Differentiation for Dummies</h5><h6><i>Simon Peyton Jones</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/8/Composing-Distributed-Systems-that-are-Provably-Correct-Dahl-Nygaard-prize-keynote-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="Keynote" class="output-badge" style="max-height: 40px; z-index:10;"><img alt="Keynote" src="https://2019.ecoop.org/getImageFile/9f8cb17c-0c46-404c-a837-2c3901acefad/small?1558093933000" class="outputimage"/></span></span></span><img alt="Ilya Sergey" src="https://2019.ecoop.org/getProfileImage/ilyasergey/29fc3c13-b861-4407-88eb-1c55f805c48e/avatar.jpg?1711569202000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)</h5><h6><i>Ilya Sergey</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-papers/3/Rethinking-Compositionality-Composing-Proofs-From-Program-Behaviours" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"><span class="pull-right"><span title="Keynote" class="output-badge" style="max-height: 40px; z-index:10;"><img alt="Keynote" src="https://2019.ecoop.org/getImageFile/9f8cb17c-0c46-404c-a837-2c3901acefad/small?1558093933000" class="outputimage"/></span></span></span><img alt="Azadeh Farzan" src="https://2019.ecoop.org/getProfileImage/azadehfarzan/43613f2e-2ec7-4800-99d2-3d3231e52bc1/avatar.jpg?1711520751000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Rethinking Compositionality: Composing Proofs From Program Behaviours</h5><h6><i>Azadeh Farzan</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#1ce5f01eb81b54af92a96de2a958ec42").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#1ce5f01eb81b54af92a96de2a958ec42wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#1ce5f01eb81b54af92a96de2a958ec42 .' + cl + ',#1ce5f01eb81b54af92a96de2a958ec42 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#1ce5f01eb81b54af92a96de2a958ec42 .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><h3>Summer School</h3><div id="3fe5122d71a7cdb168b29f1988caf53ewrapper"><div id="3fe5122d71a7cdb168b29f1988caf53e"><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/5/Operational-Semantics-driving-the-Type-System-Design-Reference-Capabilities-in-Pony" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Sophia Drossopoulou" src="https://2019.ecoop.org/getProfileImage/sophiadrossopoulou/d11fe795-c51d-40bf-b51e-39c4fa8f6cee/avatar.jpg?1711458594000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Operational Semantics driving the Type System Design: Reference Capabilities in Pony</h5><h6><i>Sophia Drossopoulou</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/3/POPLOG-a-pioneering-multi-language-multi-paradigm-development-toolkit-born-in-the-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Stephen Leach" src="https://2019.ecoop.org/getProfileImage/stephenleach/acbeb596-e599-40d2-93c5-e3950f48cf81/avatar.jpg?1718065928000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago</h5><h6><i>Stephen Leach</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/12/Origami-Programming-for-Fun-and-Profit" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jeremy Gibbons" src="https://2019.ecoop.org/getProfileImage/jeremygibbons/fa641981-0bbd-4314-898b-6e6a7a866df6/avatar.jpg?1718065933000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Origami Programming for Fun and Profit</h5><h6><i>Jeremy Gibbons</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/4/How-to-design-a-programming-language" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Alan Blackwell" src="https://2019.ecoop.org/getProfileImage/alanblackwell/424cebda-ff4d-4c12-a78b-b8c452af544e/avatar.jpg?1711460113000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>How to design a programming language</h5><h6><i>Alan Blackwell</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/8/Modular-Verification-of-C-and-Java-Programs-with-VeriFast-Including-Their-I-O-Behav" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bart Jacobs" src="https://2019.ecoop.org/getProfileImage/bartjacobs/170aab0e-5bb9-40ca-8b71-7c46f04a88b7/avatar.jpg?1711488791000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior</h5><h6><i>Bart Jacobs</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/9/Interactive-Decentralised-Software-Made-Easy" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Mira Mezini" src="https://2019.ecoop.org/getProfileImage/miramezini/eb011a39-7fb3-418f-a794-d5bb61083c69/avatar.jpg?1711457234000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Interactive Decentralised Software Made Easy</h5><h6><i>Mira Mezini</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/10/Remolding-the-development-experience" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Tudor Gîrba" src="https://2019.ecoop.org/getProfileImage/tudorgirba/7ff71ff7-9fa7-4a51-a81b-06f53678afd5/avatar.jpg?1715082699000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Remolding the development experience</h5><h6><i>Tudor Gîrba</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/11/SM4E-Self-Marketing-for-Engineers" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Chris Laffra" src="https://2019.ecoop.org/getProfileImage/chrislaffra/8464a9c9-fe17-43f4-8b6f-247591917b80/avatar.jpg?1711556599000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>SM4E - Self-Marketing for Engineers</h5><h6><i>Chris Laffra</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/6/Crypto-Pump-and-dump-Schemes-Why-Can-t-We-Have-Good-Things-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Ben Livshits" src="https://2019.ecoop.org/getProfileImage/benlivshits/1d094b20-8d1d-4e10-a798-4158f12ce07b/avatar.jpg?1711493498000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?</h5><h6><i>Ben Livshits</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/2/Gillian-A-General-Static-Analysis-Framework-based-on-Separation-Logic" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Philippa Gardner" src="https://2019.ecoop.org/getProfileImage/philippagardner/1699720f-868e-4f14-90ac-5bcca2e6b287/avatar.jpg?1711468354000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Gillian: A General Static Analysis Framework based on Separation Logic</h5><h6><i>Philippa Gardner</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#3fe5122d71a7cdb168b29f1988caf53e").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#3fe5122d71a7cdb168b29f1988caf53ewrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#3fe5122d71a7cdb168b29f1988caf53e .' + cl + ',#3fe5122d71a7cdb168b29f1988caf53e .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#3fe5122d71a7cdb168b29f1988caf53e .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Program at a Glance</h3></div><style> .ecoop-program th { font-style:italic;background-color:#f0f0f0;text-align:center } td.ds { background-color:#064C7D; } td.co { background-color:#FF7300; } td.co a, td.ss a, td.ec a, td.ds a, td.ws a { color: #ffffff; } td.ss { background-color:#B2D4EF; } td.ws { background-color:#7C1512; } td.ec { background-color:#550000; } .smaller { font-size: 80%; } .ecoop-program td { text-align: center; font-weight: bold; } </style> <table class="ecoop-program"> <tbody> <tr> <th>Mon. 15th</th> <th>Tue. 16th</th> <th>Wed. 17th</th> <th>Thu. 18th</th> <th>Fri. 19th</th> </tr> <tr> <td class="co" colspan="2"> <a href="http://www.curry-on.org/2019/">Curry On</a> </td> <td class="ec" colspan="2"> <a href="https://2019.ecoop.org/track/ecoop-2019-papers#event-overview">ECOOP</a> </td> <td class="ds"> <a href="https://2019.ecoop.org/track/ecoop-2019-docsymp"> <span class="smaller">Doctoral<br>Symposium</span></a> </td> </tr> <tr> <td class="ss" colspan="4"> Summer School </td> <td class="ws"><a href="https://2019.ecoop.org/home/ICOOOLPS-2019">ICOOOLPS</a></td> </tr> <tr> <td class="ws"><a href="https://2019.ecoop.org/home/COP-2019">COP</a></td> <td class="ws"><a href="https://2019.ecoop.org/home/benchwork-2019">BenchWork</a></td> <td class="ws"><a href="https://2019.ecoop.org/home/scala-2019">Scala</a></td> <td class="ws"><a href="https://2019.ecoop.org/home/aorta-2019">AORTA</a></td> <td class="ws"><a href="https://2019.ecoop.org/home/vortex-2019">VORTEX</a></td> </tr> <tr> <td class="ws"><a href="https://2019.ecoop.org/home/FTfJP-2019">FTFJP</a></td> <td class="ws"><a href="https://2019.ecoop.org/home/panathon-2019">Panathon</a></td> <td></td> <td></td> <td></td> </tr> <tr> <td> </td> </tr> <tr> <td></td> <td>Social</td> <td></td> <td>Social</td> <td>Social</td> </tr> </tbody> </table> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h1>ECOOP 2019</h1></div><p>ECOOP <a href="https://2019.ecoop.org/attending/Registration">registration is now open</a>!</p> <h3><a href="#accepted-papers" id="accepted-papers" class="anchor-link">Accepted Papers</a></h3> <p>The <a href="https://2019.ecoop.org/track/ecoop-2019-papers#event-overview">accepted papers</a> are available.</p> <p><strong>NEW for 2019:</strong></p> <ul> <li><strong>Alternative paper categories</strong></li> <li><strong>Journal First publication routes</strong></li> </ul> <p>See the <a href="https://2019.ecoop.org/track/ecoop-2019-papers#Call-for-Papers">Call for Papers</a> for details.</p> </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary social-media-widget"><div class="panel-heading clearfix"><div class="panel-title"><svg xmlns="http://www.w3.org/2000/svg" height="0.875em" viewBox="0 0 512 512"><path d="M389.2 48h70.6L305.6 224.2 487 464H345L233.7 318.6 106.5 464H35.8L200.7 275.5 26.8 48H172.4L272.9 180.9 389.2 48zM364.4 421.8h39.1L151.1 88h-42L364.4 421.8z"></path></svg> Posts</div></div><a class="twitter-timeline" data-height="400"href="https://twitter.com/ECOOPconf">Twitter</a><script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-bullhorn"></span> <a href="https://2019.ecoop.org/news" class="navigate">Featured News</a></div></div><table class="table table-hover"><tr href="https://2019.ecoop.org/news#Accepted-papers" class="clickable-row"><td>Accepted papers<span class="pull-right"><small class="text-muted">Mon 29 Apr 2019</small></span></td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> ECOOP 2019 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="text-muted navigate">ECOOP 2019</a> | <a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="text-muted navigate">Artifacts</a> | <a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="text-muted navigate">Student Volunteers</a> | <a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="text-muted navigate">Summer School</a> | <a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="text-muted navigate">Workshops</a> | <a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="text-muted navigate">Posters</a> | <a href="https://2019.ecoop.org/track/curry-on" class="text-muted navigate">Curry On</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="http://www.google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://2019.ecoop.org/getLogo/b20bc409-67de-49e9-bcf8-2cf61ecaabdc?1547057147000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="http://www.huawei.com/en/" title="Huawei Technologies" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Huawei Technologies" src="https://2019.ecoop.org/getLogo/2967620d-d224-42f4-a399-658207554ed3?1553795334000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://www.facebook.com/" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://2019.ecoop.org/getLogo/aad364f5-ac0e-416c-82da-d662ecfebca8?1553522277000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.jetbrains.com" title="JetBrains" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="JetBrains" src="https://2019.ecoop.org/getLogo/a5b15f64-48c9-4e2e-a35b-f7b92847045a?1553884081000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.oracle.com/index.html" title="Oracle" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle" src="https://2019.ecoop.org/getLogo/f7e5e819-0046-4fb8-a098-d7b49211d63e?1557400538000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.research.ibm.com" title="IBM Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IBM Research" src="https://2019.ecoop.org/getLogo/09935f86-7571-4911-9972-618acad32683?1551263639000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://mozilla.ninja" title="Mozilla" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Mozilla" src="https://2019.ecoop.org/getLogo/7dc541a8-814d-433e-8e92-c955f3d9da1a?1551263646000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://www.uber.com" title="Uber" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Uber" src="https://2019.ecoop.org/getLogo/fec9e43e-8435-4508-bdd0-4a96b6097400?1557400337000" class="outputimage"/></span></td><td>Bronze</td></tr></table></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 16:25</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>