CINXE.COM

<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://2020.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Program - ECOOP 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.ecoop.org";</script> <link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/print-program.css?b774586a40b6df0d1423d546295a4866" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/getFile/a03c8d2f-435f-408e-bdb4-1f9c3de80d08/custom.css?1594641067716" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2020.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://2020.ecoop.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/today-program.js?86247294517a9fd6ebc914ee2d9b7c21"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.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> <script type="text/javascript">function collapseIndicator( containerElemId ){ $( document ).ready(function(){ var colElem = $('#' + containerElemId + ':not([data-collapse-handler])').attr('data-collapse-handler', 'true').find('.collapse').addBack('.collapse'); colElem.on('shown.bs.collapse hidden.bs.collapse', function () { $(this).prev().find('.glyphicon:first').toggleClass('glyphicon-chevron-right glyphicon-chevron-down'); }) }) } </script> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='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> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.ecoop.org/getImage/carousel/5632590238_cc8c37673e_o.jpg?1570607225000'> <script>if(window.location.href.indexOf("2020.ecoop.org/program/") > 0 ) { window.location.replace("https://2020.splashcon.org/program/program-splash-2020"); }</script> <script>$(function() {$(":root").attr("lang", "en-US");}); $(function() {if ($('.carousel').length > 0) { /*$('body').addClass("with-carousel");*/ $('.carousel').remove(); /*replace program links to link to splash program*/ $('#program-menu a[href="https://2020.ecoop.org/program/program-ecoop-2020"]').attr('href', "https://2020.splashcon.org/program/program-splash-2020"); }})</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 warnOpenLink( url ){ if( $('.facet-indicator').is(':visible:not(:empty)') ){ window.programLinkToOpen = url; $('#navigate-program-filter-warning').modal({ backdrop: 'static', keyboard: true}, 'show'); } else { window.location.assign( url ); } } </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='Program - ECOOP 2020'> <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 name="viewport" content="width=device-width, user-scalable=no">  </head> <body id="program"><div class="frame"><div class="logobar"><div class="container"><a href="https://2020.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2020</span></a><div class="place">Sun 15 - Tue 17 November 2020 <a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Online Conference</a></div><div class="place2">co-located with <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li class="block"><a href="https://2020.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2020.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a></li><li class="block dropdown-header">SPLASH 2020</li><li class="block"><a href="https://2020.ecoop.org/attending/Students" class="indent navigate">Students</a></li><li class="block"><a href="https://2020.ecoop.org/attending/Registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2020.ecoop.org/attending/awards" class="indent navigate">Awards</a></li><li class="block"><a href="https://2020.ecoop.org/attending/sponsoring" class="indent navigate">Sponsoring</a></li><li class="block"><a href="https://2020.ecoop.org/attending/Conduct" class="indent navigate">Code of conduct</a></li><li class="block"><a href="https://2020.ecoop.org/attending/Certificate+of+Attendance" class="indent navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2020</li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate">Posters</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://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2020 Committees</li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-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://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="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://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2020.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>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>IWACO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>JSTools</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PRIDE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SySEPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2020.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://2020.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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2020</span></li><li class="block"><a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a></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-2020/https%3A%5Es%5Es2020.ecoop.org%5Esprogram%5Esprogram-ecoop-2020%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2020.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container-fluid"><div class="faceted-filtering"><div class="page-header printable"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.ecoop.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a> (<a href="https://2020.ecoop.org/series/ecoop" class="navigate">series</a>) / </span><h2>ECOOP 2020 Program</h2><div class="alert alert-dismissible alert-warning"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-warning-sign"></span> This is the ECOOP 2020 program - see <a href="https://2020.splashcon.org/program/program-splash-2020/" class="navigate">the full program for SPLASH 2020</a> and all affiliated events.</div></div><div class="row hide-in-print program-view-switch"><div class="col-sm-12"><div role="group" aria-label="Program View Switch" class="btn-group btn-group-justified"><a href="javascript:warnOpenLink( 'https://2020.ecoop.org/program/program-ecoop-2020/Detailed-Table' )" class="btn btn-primary">Detailed Table</a><a href="javascript:warnOpenLink( 'https://2020.ecoop.org/program/program-ecoop-2020/Session-Timeline' )" class="btn btn-default">Session Timeline</a><a href="javascript:warnOpenLink( 'https://2020.ecoop.org/program/program-ecoop-2020/Detailed-Timeline' )" class="btn btn-default">Detailed Timeline</a></div></div></div><div tabindex="-1" id="navigate-program-filter-warning" class="modal"><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>Switch Program View</h3></div><div class="modal-body"><p><span class="glyphicon glyphicon-filter"></span> You're viewing a filtered program.</p><p><strong>Do you want to keep these filters active in the new view?</strong></p><p></p><p><button onclick="window.location.assign( window.programLinkToOpen + document.location.search );" class="btn btn-primary">Yes - Keep filters active</button> <button onclick="window.location.assign( window.programLinkToOpen);" class="btn btn-default">No - Drop filters</button></p></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 class="row"><div class="col-sm-12"><span class="pull-right"><div class="btn-group"><a data-toggle="modal" href="#get-calendar" class="btn btn-sm btn-default">Get Calendar (iCal)</a> <a href="javascript:window.print()" class="btn btn-sm btn-default"><span class="glyphicon glyphicon-print"></span></a><a data-toggle="modal" href="#userProgramSettings" class="btn btn-sm btn-default"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></div></span><div class="facet-container"><a role="button" data-toggle="collapse" href="#program-filters" aria-expanded="false" aria-controls="program-filters" class="btn btn-default"><span class="glyphicon glyphicon-chevron-right"></span> <script type="text/javascript">collapseIndicator( 'program-filters' ) </script><span class="glyphicon glyphicon-filter"></span> Filter Program <span class="facet-indicator"></span></a><div id="program-filters" class="collapse"><br><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 room-facets"><div class="col-sm-1"><strong>Rooms</strong></div><div class="col-sm-11"><div data-facet-type="room" class="facet-placeholder"></div></div></div><div class="row track-facets"><div class="col-sm-1"><strong>Tracks</strong></div><div class="col-sm-11"><div data-facet-type="track" class="facet-placeholder"></div></div></div><div class="row"><div class="col-sm-1"><strong>Badges</strong></div><div class="col-sm-5"><div data-facet-type="badge" class="facet-placeholder"></div></div></div><div class="row"><div class="col-sm-1"><strong><span class="glyphicon glyphicon-star"></span> Your Program</strong></div><div class="col-sm-5"><div data-facet-type="prog" class="facet-placeholder"></div></div></div></div></div><script type="text/javascript">var facetContainerElems; function postUpdateFacets(){ if( facetContainerElems === undefined ){ facetContainerElems = $('.facet-container'); } facetContainerElems.each( function(){ var containerElem = $(this); var activeFilterElems = containerElem.find('.facet-true'); var numFilters = activeFilterElems.length; var filterHTML = " | active: "; activeFilterElems.each( function(){ filterHTML += "<span class='badge'>" + this.textContent + "<" + "/span>"; }) var hasFilters = numFilters > 0; containerElem.find('.facet-indicator').toggle( hasFilters ).html( filterHTML ); }) } </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(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2020.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-2020" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT-06:00) Central Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-06:00) Central Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-10:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-07:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT-01:00) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+02:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+02:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+02:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2020"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="printable"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -360){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Sun 15 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">09:00 - 10:20</div></td><td colspan="2"><div class="session-info-in-table">S-2<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/shigeruchiba" target="_blank" class="navigate">Shigeru Chiba</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://2020.ecoop.org/profile/yudavidliu" target="_blank" class="navigate">Yu David Liu</a><span class="prog-aff"> State University of New York (SUNY) Binghamton</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="93a6c2bd-a2d6-4f98-9e4d-bc480a389ee9" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e5b5bb01-82ec-490b-a4e5-e62389f99279" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e5b5bb01-82ec-490b-a4e5-e62389f99279">Abstracting gradual references<span class="pull-right"><span title="This paper is a journal-first paper published in the [Special Issue of Science of Computer Programming: Selected Papers from the 2020 European Conference on Object-Oriented Programming](https://www.sciencedirect.com/journal/science-of-computer-programming/special-issue/10TB6T7KXWN)" data-facet-badge="SCICO Journal-First" class="output-badge" style="max-width:40px;"><span class="label-primary label">SCICO Journal-First</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/matiastoro" class="navigate">Matías Toro</a><span class="prog-aff"> University of Chile</span>, <a href="https://2020.ecoop.org/profile/etanter" class="navigate">Éric Tanter</a><span class="prog-aff"> University of Chile</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13190" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1016/j.scico.2020.102496" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/32/Abstracting-gradual-references" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="b69d84b9-73ff-46bc-96ac-abe82540ccd2" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="7a123832-31e7-4cda-8509-cfeef5dacfe3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7a123832-31e7-4cda-8509-cfeef5dacfe3">Don't Panic! Better, Fewer, Syntax Errors for LR Parsers</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/lukasdiekmann" class="navigate">Lukas Diekmann</a><span class="prog-aff"> King's College London</span>, <a href="https://2020.ecoop.org/profile/laurencetratt" class="navigate">Laurence Tratt</a><span class="prog-aff"> King's College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13163" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.6" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/1804.07133" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/6/Don-t-Panic-Better-Fewer-Syntax-Errors-for-LR-Parsers" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="58c9938b-ba5c-452c-a79d-6065c9017c76" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b1086991-0f35-4b4b-b7a4-78b902ec9ab5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b1086991-0f35-4b4b-b7a4-78b902ec9ab5">Blame for Null</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/abelnieto" class="navigate">Abel Nieto</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/mariannarapoport" class="navigate">Marianna Rapoport</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/gregorrichards" class="navigate">Gregor Richards</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13160" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.3" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://abeln.github.io/papers/blame-for-null.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/3/Blame-for-Null" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="2bf84a91-f362-4e4f-8628-d08472689ea6" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="938f9252-3dc5-4325-a133-eb25a1ebd488" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="938f9252-3dc5-4325-a133-eb25a1ebd488">Perfect is the Enemy of Good: Best-Effort Program Synthesis</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/hilapeleg" class="navigate">Hila Peleg</a><span class="prog-aff"> University of California at San Diego</span>, <a href="https://2020.ecoop.org/profile/nadiapolikarpova" class="navigate">Nadia Polikarpova</a><span class="prog-aff"> University of California at San Diego</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13159" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.2" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/2/Perfect-is-the-Enemy-of-Good-Best-Effort-Program-Synthesis" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">11:00 - 12:20</div></td><td colspan="2"><div class="session-info-in-table">S-3<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/carlfriedrichbolz" target="_blank" class="navigate">CF Bolz-Tereick</a><span class="prog-aff"> </span>, <a href="https://2020.ecoop.org/profile/anithagollamudi" target="_blank" class="navigate">Anitha Gollamudi</a><span class="prog-aff"> Harvard University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a80a8a53-b755-469d-b4cb-a1b4fe2eab6a" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="51bcdb71-4f23-4307-a4b8-8565ca1fb7ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="51bcdb71-4f23-4307-a4b8-8565ca1fb7ab">Flow-Sensitive Type-Based Heap Cloning</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohamadbarbar" class="navigate">Mohamad Barbar</a><span class="prog-aff"> University of Technology, Sydney</span>, <a href="https://2020.ecoop.org/profile/yuleisui" class="navigate">Yulei Sui</a><span class="prog-aff"> University of Technology Sydney</span>, <a href="https://2020.ecoop.org/profile/shipingchen" class="navigate">Shiping Chen</a><span class="prog-aff"> Data61 at CSIRO, Australia / UNSW, Australia</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13181" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.24" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/24/Flow-Sensitive-Type-Based-Heap-Cloning" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="3ca76479-5347-4043-be29-5b14131bc209" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a6b2d038-de0e-4dba-afec-21ca56a42e47" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a6b2d038-de0e-4dba-afec-21ca56a42e47">Sound regular corecursion in coFJ</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/davideancona" class="navigate">Davide Ancona</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/pietrobarbieri" class="navigate">Pietro Barbieri</a><span class="prog-aff"> Università di Genova</span>, <a href="https://2020.ecoop.org/profile/francescodagnino" class="navigate">Francesco Dagnino</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/elenazucca" class="navigate">Elena Zucca</a><span class="prog-aff"> University of Genova</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13158" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.1" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/1/Sound-regular-corecursion-in-coFJ" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="30550858-93a6-4f1f-8b67-199ad7187016" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fca401c6-2be9-4344-9688-7495c67214c0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fca401c6-2be9-4344-9688-7495c67214c0">Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/benjaminbarslevnielsen" class="navigate">Benjamin Barslev Nielsen</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/andersmoller" class="navigate">Anders Møller</a><span class="prog-aff"> Aarhus University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13173" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.16" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://cs.au.dk/~amoeller/papers/valuepartitioning/paper.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/16/Value-Partitioning-A-Lightweight-Approach-to-Relational-Static-Analysis-for-JavaScri" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="1a36f697-fa4d-4d98-93b9-4d8a1c906e4f" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b3bfaad5-f792-4abe-beec-b2c3543839eb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b3bfaad5-f792-4abe-beec-b2c3543839eb">Row and Bounded Polymorphism via Disjoint Polymorphism</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/ningningxie" class="navigate">Ningning Xie</a><span class="prog-aff"> University of Toronto</span>, <a href="https://2020.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/xuanbi1" class="navigate">Xuan Bi</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/tomschrijvers" class="navigate">Tom Schrijvers</a><span class="prog-aff"> KU Leuven</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13184" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.27" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/27/Row-and-Bounded-Polymorphism-via-Disjoint-Polymorphism" 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="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">13:00 - 14:20</div></td><td colspan="2"><div class="session-info-in-table">S-4<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/karimali" target="_blank" class="navigate">Karim Ali</a><span class="prog-aff"> University of Alberta</span>, <a href="https://2020.ecoop.org/profile/elitilevich" target="_blank" class="navigate">Eli Tilevich</a><span class="prog-aff"> Virginia Tech</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="576a651f-1c8d-42c2-be36-fb287f2b9f6e" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="5fd7f5f9-a5c0-4369-8869-a0e5cfc60db7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5fd7f5f9-a5c0-4369-8869-a0e5cfc60db7">K-LLVM: A Relatively Complete Semantics of LLVM IR</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/liyili" class="navigate">Liyi Li</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span>, <a href="https://2020.ecoop.org/profile/elsagunter" class="navigate">Elsa Gunter</a><span class="prog-aff"> University of Illinois</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13164" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.7" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/7/K-LLVM-A-Relatively-Complete-Semantics-of-LLVM-IR" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="b1188690-f1b8-4f25-83b7-ed38415b9dfc" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="f09653ca-5d68-454b-9a7a-970d4ca62a1a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f09653ca-5d68-454b-9a7a-970d4ca62a1a">A Type-Directed Operational Semantics for a Calculus with a Merge Operator</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/huangxuejing" class="navigate">Xuejing Huang</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13183" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.26" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/26/A-Type-Directed-Operational-Semantics-for-a-Calculus-with-a-Merge-Operator" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="feaeeca3-f65c-4714-9a5a-3bd245fd2e95" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4706f63e-dc56-4e40-bee4-0b030f2b0fcb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4706f63e-dc56-4e40-bee4-0b030f2b0fcb">A big step from finite to infinite computations<span class="pull-right"><span title="This paper is a journal-first paper published in the [Special Issue of Science of Computer Programming: Selected Papers from the 2020 European Conference on Object-Oriented Programming](https://www.sciencedirect.com/journal/science-of-computer-programming/special-issue/10TB6T7KXWN)" data-facet-badge="SCICO Journal-First" class="output-badge" style="max-width:40px;"><span class="label-primary label">SCICO Journal-First</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/davideancona" class="navigate">Davide Ancona</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/francescodagnino" class="navigate">Francesco Dagnino</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/juriaanrot" class="navigate">Jurriaan Rot</a><span class="prog-aff"> Radboud University Nijmegen</span>, <a href="https://2020.ecoop.org/profile/elenazucca" class="navigate">Elena Zucca</a><span class="prog-aff"> University of Genova</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13189" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1016/j.scico.2020.102492" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/31/A-big-step-from-finite-to-infinite-computations" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="e4257000-b5ec-43be-9a63-6f27ecf1ff08" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c2888fc6-1e65-49f3-89af-b42b99ffa7d1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c2888fc6-1e65-49f3-89af-b42b99ffa7d1">Static Type Analysis by Abstract Interpretation of Python Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/raphaelmonat" class="navigate">Raphaël Monat</a><span class="prog-aff"> Sorbonne Université — LIP6</span>, <a href="https://2020.ecoop.org/profile/abdelraoufouadjaout" class="navigate">Abdelraouf Ouadjaout</a><span class="prog-aff"> Sorbonne Université</span>, <a href="https://2020.ecoop.org/profile/antoinemine" class="navigate">Antoine Miné</a><span class="prog-aff"> Sorbonne Université</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13174" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/17/Static-Type-Analysis-by-Abstract-Interpretation-of-Python-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/17/Static-Type-Analysis-by-Abstract-Interpretation-of-Python-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">15:00 - 16:20</div></td><td colspan="2"><div class="session-info-in-table">S-5<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/davideancona" target="_blank" class="navigate">Davide Ancona</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/elitilevich" target="_blank" class="navigate">Eli Tilevich</a><span class="prog-aff"> Virginia Tech</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="c67c3de3-2891-414e-ae1f-905a86d3f115" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4bcfde8b-6df2-40b4-9db4-798cf823616a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4bcfde8b-6df2-40b4-9db4-798cf823616a">Model-View-Update-Communicate: Session Types meet the Elm Architecture</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/simonfowler" class="navigate">Simon Fowler</a><span class="prog-aff"> University of Glasgow</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13171" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.14" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://simonjf.com/writing/mvuc.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/14/Model-View-Update-Communicate-Session-Types-meet-the-Elm-Architecture" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="c5a34823-4913-4378-8d04-3f6a11e707c6" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="91001d71-626c-479e-b98d-9569a3dda1f7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="91001d71-626c-479e-b98d-9569a3dda1f7">Putting Randomized Compiler Testing into Production</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/alastairdonaldson" class="navigate">Alastair F. Donaldson</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/huguesevrard1" class="navigate">Hugues Evrard</a><span class="prog-aff"> Google</span>, <a href="https://2020.ecoop.org/profile/paulthomson1" class="navigate">Paul Thomson</a><span class="prog-aff"> Google</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13179" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.22" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/22/Putting-Randomized-Compiler-Testing-into-Production" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="10c4644e-4d00-49bb-b129-f75e2f831273" 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">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e3347e1a-7339-425c-a4dd-24bd3b8bcf82" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e3347e1a-7339-425c-a4dd-24bd3b8bcf82">Owicki-Gries Reasoning for C11 RAR</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/sadeghdalvandi" class="navigate">Sadegh Dalvandi</a><span class="prog-aff"> University of Surrey</span>, <a href="https://2020.ecoop.org/profile/simondoherty" class="navigate">Simon Doherty</a><span class="prog-aff"> University of Sheffield</span>, <a href="https://2020.ecoop.org/profile/brijeshdongol" class="navigate">Brijesh Dongol</a><span class="prog-aff"> University of Surrey</span>, <a href="https://2020.ecoop.org/profile/heikewehrheim" class="navigate">Heike Wehrheim</a><span class="prog-aff"> Paderborn University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13168" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.11" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/11/Owicki-Gries-Reasoning-for-C11-RAR" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="877f1613-9768-4bf7-8850-eb99519daa18" 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">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a0edda4b-941b-497b-904d-4736318de222" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a0edda4b-941b-497b-904d-4736318de222">Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/davidrmaciver" class="navigate">David R. MacIver</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/alastairdonaldson" class="navigate">Alastair F. Donaldson</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13170" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.13" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/13/Test-Case-Reduction-via-Test-Case-Generation-Insights-From-the-Hypothesis-Reducer" 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="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">17:00 - 18:20</div></td><td colspan="2"><div class="session-info-in-table">S-6<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/shigeruchiba" target="_blank" class="navigate">Shigeru Chiba</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://2020.ecoop.org/profile/tiarkrompf" target="_blank" class="navigate">Tiark Rompf</a><span class="prog-aff"> Purdue University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="488ebf27-6d3c-459e-b5f7-83feecd65e63" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="3198f204-28c6-492a-8457-c51ebcc772f0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3198f204-28c6-492a-8457-c51ebcc772f0">Static Race Detection and Mutex Safety and Liveness for Go Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/juliagabet" class="navigate">Julia Gabet</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13161" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/4/Static-Race-Detection-and-Mutex-Safety-and-Liveness-for-Go-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="13002b65-4ef8-432f-8372-6f3e06a78669" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="08eaa378-f2f5-4c5f-b1a8-e9c754b3d384" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="08eaa378-f2f5-4c5f-b1a8-e9c754b3d384">Reference immutability for DOT</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/vlastimildort" class="navigate">Vlastimil Dort</a><span class="prog-aff"> Charles University</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13175" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/18/Reference-immutability-for-DOT" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="7feba1b3-9075-4aa7-88c0-bcba2ecd9f8b" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="d4d20ec5-085d-4a47-b76e-d1155d4f08c5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d4d20ec5-085d-4a47-b76e-d1155d4f08c5">Multiparty Session Programming with Global Protocol Combinators</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/keigoimai" class="navigate">Keigo Imai</a><span class="prog-aff"> Gifu University</span>, <a href="https://2020.ecoop.org/profile/rumyananeykova" class="navigate">Rumyana Neykova</a><span class="prog-aff"> Brunel University London</span>, <a href="https://2020.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/shojiyuen" class="navigate">Shoji Yuen</a><span class="prog-aff"> Nagoya University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13166" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.9" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/9/Multiparty-Session-Programming-with-Global-Protocol-Combinators" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="85a7d672-0c77-4ca0-9ca1-5d9b6bbb5fde" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="30a683a6-c04e-4827-bf2a-38cbfe60cc03" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="30a683a6-c04e-4827-bf2a-38cbfe60cc03">Scala with Explicit Nulls</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/abelnieto" class="navigate">Abel Nieto</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/yaoyuzhao" class="navigate">Yaoyu Zhao</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/angelachang" class="navigate">Angela Chang</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/justinpu" class="navigate">Justin Pu</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13182" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.25" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://abeln.github.io/papers/scala-explicit-nulls.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/25/Scala-with-Explicit-Nulls" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-21"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">21:00 - 22:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> S-2<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/atsushiigarashi" target="_blank" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University, Japan</span>, <a href="https://2020.ecoop.org/profile/hidehikomasuhara" target="_blank" class="navigate">Hidehiko Masuhara</a><span class="prog-aff"> Tokyo Institute of Technology</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bbc85d8a-1a5c-4dc5-99a1-fb83a8f83a47" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e5b5bb01-82ec-490b-a4e5-e62389f99279" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e5b5bb01-82ec-490b-a4e5-e62389f99279">Abstracting gradual references<span class="pull-right"><span title="This paper is a journal-first paper published in the [Special Issue of Science of Computer Programming: Selected Papers from the 2020 European Conference on Object-Oriented Programming](https://www.sciencedirect.com/journal/science-of-computer-programming/special-issue/10TB6T7KXWN)" data-facet-badge="SCICO Journal-First" class="output-badge" style="max-width:40px;"><span class="label-primary label">SCICO Journal-First</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/matiastoro" class="navigate">Matías Toro</a><span class="prog-aff"> University of Chile</span>, <a href="https://2020.ecoop.org/profile/etanter" class="navigate">Éric Tanter</a><span class="prog-aff"> University of Chile</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13190" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1016/j.scico.2020.102496" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/32/Abstracting-gradual-references" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="2a204cf6-9bc0-4183-853f-573364f39c81" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="7a123832-31e7-4cda-8509-cfeef5dacfe3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7a123832-31e7-4cda-8509-cfeef5dacfe3">Don't Panic! Better, Fewer, Syntax Errors for LR Parsers</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/lukasdiekmann" class="navigate">Lukas Diekmann</a><span class="prog-aff"> King's College London</span>, <a href="https://2020.ecoop.org/profile/laurencetratt" class="navigate">Laurence Tratt</a><span class="prog-aff"> King's College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13163" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.6" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/1804.07133" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/6/Don-t-Panic-Better-Fewer-Syntax-Errors-for-LR-Parsers" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="92427527-2df8-4356-9033-44d3a8a53933" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b1086991-0f35-4b4b-b7a4-78b902ec9ab5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b1086991-0f35-4b4b-b7a4-78b902ec9ab5">Blame for Null</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/abelnieto" class="navigate">Abel Nieto</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/mariannarapoport" class="navigate">Marianna Rapoport</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/gregorrichards" class="navigate">Gregor Richards</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13160" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.3" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://abeln.github.io/papers/blame-for-null.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/3/Blame-for-Null" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="425f8c75-aee6-49d9-9696-14254316b509" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="938f9252-3dc5-4325-a133-eb25a1ebd488" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="938f9252-3dc5-4325-a133-eb25a1ebd488">Perfect is the Enemy of Good: Best-Effort Program Synthesis</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/hilapeleg" class="navigate">Hila Peleg</a><span class="prog-aff"> University of California at San Diego</span>, <a href="https://2020.ecoop.org/profile/nadiapolikarpova" class="navigate">Nadia Polikarpova</a><span class="prog-aff"> University of California at San Diego</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13159" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.2" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/2/Perfect-is-the-Enemy-of-Good-Best-Effort-Program-Synthesis" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-23"><table data-facet-date="Sun 15 Nov 2020" data-facet-date-order="201115" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">23:00 - 00:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> S-3<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/elisagonzalezboix" target="_blank" class="navigate">Elisa Gonzalez Boix</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2020.ecoop.org/profile/atsushiigarashi" target="_blank" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University, Japan</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4b317c64-c032-4a77-ac76-c7a7c05af3b8" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="51bcdb71-4f23-4307-a4b8-8565ca1fb7ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="51bcdb71-4f23-4307-a4b8-8565ca1fb7ab">Flow-Sensitive Type-Based Heap Cloning</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohamadbarbar" class="navigate">Mohamad Barbar</a><span class="prog-aff"> University of Technology, Sydney</span>, <a href="https://2020.ecoop.org/profile/yuleisui" class="navigate">Yulei Sui</a><span class="prog-aff"> University of Technology Sydney</span>, <a href="https://2020.ecoop.org/profile/shipingchen" class="navigate">Shiping Chen</a><span class="prog-aff"> Data61 at CSIRO, Australia / UNSW, Australia</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13181" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.24" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/24/Flow-Sensitive-Type-Based-Heap-Cloning" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="157fb7bc-e75f-4fb9-896e-0088e6e289ba" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a6b2d038-de0e-4dba-afec-21ca56a42e47" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a6b2d038-de0e-4dba-afec-21ca56a42e47">Sound regular corecursion in coFJ</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/davideancona" class="navigate">Davide Ancona</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/pietrobarbieri" class="navigate">Pietro Barbieri</a><span class="prog-aff"> Università di Genova</span>, <a href="https://2020.ecoop.org/profile/francescodagnino" class="navigate">Francesco Dagnino</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/elenazucca" class="navigate">Elena Zucca</a><span class="prog-aff"> University of Genova</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13158" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.1" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/1/Sound-regular-corecursion-in-coFJ" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="d3f58031-0f4f-4e20-b72a-4d67b8e68440" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fca401c6-2be9-4344-9688-7495c67214c0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fca401c6-2be9-4344-9688-7495c67214c0">Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/benjaminbarslevnielsen" class="navigate">Benjamin Barslev Nielsen</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/andersmoller" class="navigate">Anders Møller</a><span class="prog-aff"> Aarhus University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13173" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.16" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://cs.au.dk/~amoeller/papers/valuepartitioning/paper.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/16/Value-Partitioning-A-Lightweight-Approach-to-Relational-Static-Analysis-for-JavaScri" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="e9555e5a-4700-47b5-a06f-c0a4a4f39fab" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b3bfaad5-f792-4abe-beec-b2c3543839eb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b3bfaad5-f792-4abe-beec-b2c3543839eb">Row and Bounded Polymorphism via Disjoint Polymorphism</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/ningningxie" class="navigate">Ningning Xie</a><span class="prog-aff"> University of Toronto</span>, <a href="https://2020.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/xuanbi1" class="navigate">Xuan Bi</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/tomschrijvers" class="navigate">Tom Schrijvers</a><span class="prog-aff"> KU Leuven</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13184" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.27" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/27/Row-and-Bounded-Polymorphism-via-Disjoint-Polymorphism" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div></div><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 16 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-1"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">01:00 - 02:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> S-4<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/elisagonzalezboix" target="_blank" class="navigate">Elisa Gonzalez Boix</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2020.ecoop.org/profile/atsushiigarashi" target="_blank" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University, Japan</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="53bb09a0-53c9-423e-b266-4d7a8dd97f56" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="5fd7f5f9-a5c0-4369-8869-a0e5cfc60db7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5fd7f5f9-a5c0-4369-8869-a0e5cfc60db7">K-LLVM: A Relatively Complete Semantics of LLVM IR</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/liyili" class="navigate">Liyi Li</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span>, <a href="https://2020.ecoop.org/profile/elsagunter" class="navigate">Elsa Gunter</a><span class="prog-aff"> University of Illinois</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13164" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.7" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/7/K-LLVM-A-Relatively-Complete-Semantics-of-LLVM-IR" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="c09b13bb-4623-46ea-a3e4-ba136c3d2114" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="f09653ca-5d68-454b-9a7a-970d4ca62a1a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f09653ca-5d68-454b-9a7a-970d4ca62a1a">A Type-Directed Operational Semantics for a Calculus with a Merge Operator</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/huangxuejing" class="navigate">Xuejing Huang</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13183" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.26" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/26/A-Type-Directed-Operational-Semantics-for-a-Calculus-with-a-Merge-Operator" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="29446384-7b2a-45e7-9929-98a58ee22a67" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4706f63e-dc56-4e40-bee4-0b030f2b0fcb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4706f63e-dc56-4e40-bee4-0b030f2b0fcb">A big step from finite to infinite computations<span class="pull-right"><span title="This paper is a journal-first paper published in the [Special Issue of Science of Computer Programming: Selected Papers from the 2020 European Conference on Object-Oriented Programming](https://www.sciencedirect.com/journal/science-of-computer-programming/special-issue/10TB6T7KXWN)" data-facet-badge="SCICO Journal-First" class="output-badge" style="max-width:40px;"><span class="label-primary label">SCICO Journal-First</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/davideancona" class="navigate">Davide Ancona</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/francescodagnino" class="navigate">Francesco Dagnino</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/juriaanrot" class="navigate">Jurriaan Rot</a><span class="prog-aff"> Radboud University Nijmegen</span>, <a href="https://2020.ecoop.org/profile/elenazucca" class="navigate">Elena Zucca</a><span class="prog-aff"> University of Genova</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13189" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1016/j.scico.2020.102492" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/31/A-big-step-from-finite-to-infinite-computations" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="703bd3c0-f3cb-424d-8f0f-0afd23c5b2e6" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c2888fc6-1e65-49f3-89af-b42b99ffa7d1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c2888fc6-1e65-49f3-89af-b42b99ffa7d1">Static Type Analysis by Abstract Interpretation of Python Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/raphaelmonat" class="navigate">Raphaël Monat</a><span class="prog-aff"> Sorbonne Université — LIP6</span>, <a href="https://2020.ecoop.org/profile/abdelraoufouadjaout" class="navigate">Abdelraouf Ouadjaout</a><span class="prog-aff"> Sorbonne Université</span>, <a href="https://2020.ecoop.org/profile/antoinemine" class="navigate">Antoine Miné</a><span class="prog-aff"> Sorbonne Université</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13174" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.17" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/17/Static-Type-Analysis-by-Abstract-Interpretation-of-Python-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/17/Static-Type-Analysis-by-Abstract-Interpretation-of-Python-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-3"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">03:00 - 04:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> S-5<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/davideancona" target="_blank" class="navigate">Davide Ancona</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2020.ecoop.org/profile/jeremygibbons" target="_blank" class="navigate">Jeremy Gibbons</a><span class="prog-aff"> Department of Computer Science, University of Oxford</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="615f9fc5-8fe9-4c71-8201-0b83626d6776" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">03:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4bcfde8b-6df2-40b4-9db4-798cf823616a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4bcfde8b-6df2-40b4-9db4-798cf823616a">Model-View-Update-Communicate: Session Types meet the Elm Architecture</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/simonfowler" class="navigate">Simon Fowler</a><span class="prog-aff"> University of Glasgow</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13171" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.14" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://simonjf.com/writing/mvuc.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/14/Model-View-Update-Communicate-Session-Types-meet-the-Elm-Architecture" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="2c211dc2-5e8a-4c78-8af1-4de793946440" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">03:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="91001d71-626c-479e-b98d-9569a3dda1f7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="91001d71-626c-479e-b98d-9569a3dda1f7">Putting Randomized Compiler Testing into Production</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/alastairdonaldson" class="navigate">Alastair F. Donaldson</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/huguesevrard1" class="navigate">Hugues Evrard</a><span class="prog-aff"> Google</span>, <a href="https://2020.ecoop.org/profile/paulthomson1" class="navigate">Paul Thomson</a><span class="prog-aff"> Google</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13179" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.22" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/22/Putting-Randomized-Compiler-Testing-into-Production" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="19ce1727-9acf-493c-bac4-32573cc02fc2" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">03:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e3347e1a-7339-425c-a4dd-24bd3b8bcf82" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e3347e1a-7339-425c-a4dd-24bd3b8bcf82">Owicki-Gries Reasoning for C11 RAR</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/sadeghdalvandi" class="navigate">Sadegh Dalvandi</a><span class="prog-aff"> University of Surrey</span>, <a href="https://2020.ecoop.org/profile/simondoherty" class="navigate">Simon Doherty</a><span class="prog-aff"> University of Sheffield</span>, <a href="https://2020.ecoop.org/profile/brijeshdongol" class="navigate">Brijesh Dongol</a><span class="prog-aff"> University of Surrey</span>, <a href="https://2020.ecoop.org/profile/heikewehrheim" class="navigate">Heike Wehrheim</a><span class="prog-aff"> Paderborn University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13168" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.11" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/11/Owicki-Gries-Reasoning-for-C11-RAR" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="91bc3d43-46d1-4c17-ab96-fef9df455f6d" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">04:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a0edda4b-941b-497b-904d-4736318de222" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a0edda4b-941b-497b-904d-4736318de222">Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/davidrmaciver" class="navigate">David R. MacIver</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/alastairdonaldson" class="navigate">Alastair F. Donaldson</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13170" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.13" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/13/Test-Case-Reduction-via-Test-Case-Generation-Insights-From-the-Hypothesis-Reducer" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-5"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">05:00 - 06:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> S-6<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/olivierfluckiger" target="_blank" class="navigate">Olivier Flückiger</a><span class="prog-aff"> Northeastern University</span>, <a href="https://2020.ecoop.org/profile/jeremygibbons" target="_blank" class="navigate">Jeremy Gibbons</a><span class="prog-aff"> Department of Computer Science, University of Oxford</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="106d37c0-f603-4f5d-95c1-d89cc8375946" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">05:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="3198f204-28c6-492a-8457-c51ebcc772f0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3198f204-28c6-492a-8457-c51ebcc772f0">Static Race Detection and Mutex Safety and Liveness for Go Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/juliagabet" class="navigate">Julia Gabet</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13161" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.4" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/4/Static-Race-Detection-and-Mutex-Safety-and-Liveness-for-Go-Programs" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="1cb3db5b-8e23-4268-9697-8b46e37a10dc" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">05:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="08eaa378-f2f5-4c5f-b1a8-e9c754b3d384" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="08eaa378-f2f5-4c5f-b1a8-e9c754b3d384">Reference immutability for DOT</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/vlastimildort" class="navigate">Vlastimil Dort</a><span class="prog-aff"> Charles University</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13175" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.18" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/18/Reference-immutability-for-DOT" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="13b4f9e0-d6ba-4f23-8ba9-e1541089f70a" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">05:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="d4d20ec5-085d-4a47-b76e-d1155d4f08c5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d4d20ec5-085d-4a47-b76e-d1155d4f08c5">Multiparty Session Programming with Global Protocol Combinators</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/keigoimai" class="navigate">Keigo Imai</a><span class="prog-aff"> Gifu University</span>, <a href="https://2020.ecoop.org/profile/rumyananeykova" class="navigate">Rumyana Neykova</a><span class="prog-aff"> Brunel University London</span>, <a href="https://2020.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/shojiyuen" class="navigate">Shoji Yuen</a><span class="prog-aff"> Nagoya University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13166" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.9" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/9/Multiparty-Session-Programming-with-Global-Protocol-Combinators" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="482615e0-5227-4ad9-8bd7-7f6240ba3669" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">06:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="30a683a6-c04e-4827-bf2a-38cbfe60cc03" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="30a683a6-c04e-4827-bf2a-38cbfe60cc03">Scala with Explicit Nulls</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/abelnieto" class="navigate">Abel Nieto</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/yaoyuzhao" class="navigate">Yaoyu Zhao</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/angelachang" class="navigate">Angela Chang</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/justinpu" class="navigate">Justin Pu</a><span class="prog-aff"> University of Waterloo</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13182" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.25" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://abeln.github.io/papers/scala-explicit-nulls.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/25/Scala-with-Explicit-Nulls" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-7"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">07:00 - 08:20</div></td><td colspan="2"><div class="session-info-in-table">M-1<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/johnboyland" target="_blank" class="navigate">John Boyland</a><span class="prog-aff"> Univeristy of Wisconsin, Milwaukee</span>, <a href="https://2020.ecoop.org/profile/peterthiemann" target="_blank" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="00429097-3bb7-479e-8062-2dae10d9b212" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fa9502c6-8ae7-4b07-8206-b46b73a9a756" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fa9502c6-8ae7-4b07-8206-b46b73a9a756">A Semantics for the Essence of React</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/magnusmadsen" class="navigate">Magnus Madsen</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/franktip" class="navigate">Frank Tip</a><span class="prog-aff"> Northeastern University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13169" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/12/A-Semantics-for-the-Essence-of-React" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="37f0477f-c85b-4d3e-bdb5-c8255e2dd864" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="d20598bd-55e0-4d3d-9727-0b7b671dbce0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d20598bd-55e0-4d3d-9727-0b7b671dbce0">Reconciling Event Structures with Modern Multiprocessors</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/evgeniimoiseenko" class="navigate">Evgenii Moiseenko</a><span class="prog-aff"> St. Petersburg University / JetBrains Research</span>, <a href="https://2020.ecoop.org/profile/antonpodkopaev" class="navigate">Anton Podkopaev</a><span class="prog-aff"> NRU HSE, JetBrains Research</span>, <a href="https://2020.ecoop.org/profile/orilahav" class="navigate">Ori Lahav</a><span class="prog-aff"> Tel Aviv University</span>, <a href="https://2020.ecoop.org/profile/orestismelkonian" class="navigate">Orestis Melkonian</a><span class="prog-aff"> Utrecht University</span>, <a href="https://2020.ecoop.org/profile/viktorvafeiadis" class="navigate">Viktor Vafeiadis</a><span class="prog-aff"> MPI-SWS</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13162" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/5/Reconciling-Event-Structures-with-Modern-Multiprocessors" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="2913ac75-76fd-4eb6-b428-5f7d01ce72de" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">07:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="1afda63b-ac13-4748-afb4-ec818eef4cfe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1afda63b-ac13-4748-afb4-ec818eef4cfe">A Framework for Resource Dependent EDSLs in a Dependently Typed Language</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/jandemuijnckhughes" class="navigate">Jan de Muijnck-Hughes</a><span class="prog-aff"> University of Glasgow</span>, <a href="https://2020.ecoop.org/profile/wimvanderbauwhede" class="navigate">Wim Vanderbauwhede</a><span class="prog-aff"> University of Glasgow</span>, <a href="https://2020.ecoop.org/profile/edwinbrady" class="navigate">Edwin Brady</a><span class="prog-aff"> University of St. Andrews</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13177" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.20" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/20/A-Framework-for-Resource-Dependent-EDSLs-in-a-Dependently-Typed-Language" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="796a3f14-d818-422a-91ab-8b8da42502cf" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c8f92227-97e4-4cd4-97f8-0dbfb0f80f62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c8f92227-97e4-4cd4-97f8-0dbfb0f80f62">Reshape your layouts, not your programs: A safe language extension for better cache locality<span class="pull-right"><span title="This paper is a journal-first paper published in the [Special Issue of Science of Computer Programming: Selected Papers from the 2020 European Conference on Object-Oriented Programming](https://www.sciencedirect.com/journal/science-of-computer-programming/special-issue/10TB6T7KXWN)" data-facet-badge="SCICO Journal-First" class="output-badge" style="max-width:40px;"><span class="label-primary label">SCICO Journal-First</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/alexandrostasos" class="navigate">Alexandros Tasos</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/julianafranco" class="navigate">Juliana Franco</a><span class="prog-aff"> Microsoft Research, Cambridge</span>, <a href="https://2020.ecoop.org/profile/sophiadrossopoulou" class="navigate">Sophia Drossopoulou</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/tobiaswrigstad" class="navigate">Tobias Wrigstad</a><span class="prog-aff"> Uppsala University, Sweden</span>, <a href="https://2020.ecoop.org/profile/susaneisenbach" class="navigate">Susan Eisenbach</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13188" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1016/j.scico.2020.102481" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/30/Reshape-your-layouts-not-your-programs-A-safe-language-extension-for-better-cache-l" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">11:00 - 12:20</div></td><td colspan="2"><div class="session-info-in-table">M-3<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/johnboyland" target="_blank" class="navigate">John Boyland</a><span class="prog-aff"> Univeristy of Wisconsin, Milwaukee</span>, <a href="https://2020.ecoop.org/profile/peterthiemann" target="_blank" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7a717952-485a-495a-8224-17f5f129097e" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4bf0a52b-ba6b-417a-97bb-1a2326f941ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4bf0a52b-ba6b-417a-97bb-1a2326f941ab">Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/samvandenvonder" class="navigate">Sam Van den Vonder</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.ecoop.org/profile/thierryrenaux" class="navigate">Thierry Renaux</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.ecoop.org/profile/bjarnooeyen" class="navigate">Bjarno Oeyen</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.ecoop.org/profile/joeridekoster" class="navigate">Joeri De Koster</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2020.ecoop.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13176" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://soft.vub.ac.be/~svdvonde/papers/ecoop2020-tackling-the-awkward-squad-the-actor-reactor-model.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/19/Tackling-the-Awkward-Squad-for-Reactive-Programming-The-Actor-Reactor-Model" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="e096ce52-f8ba-4ea3-81ab-207dcc70741c" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="19f2611f-fa87-46d5-b52e-767476c387fb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="19f2611f-fa87-46d5-b52e-767476c387fb">Lifting Sequential Effects to Control Operators</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/colingordon" class="navigate">Colin Gordon</a><span class="prog-aff"> Drexel University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13180" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.23" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/1811.12285" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/23/Lifting-Sequential-Effects-to-Control-Operators" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="3db4a87b-745d-4406-aa9f-98db36a66344" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="2d767f19-3b2e-4257-94c7-e2f1d09b2a18" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2d767f19-3b2e-4257-94c7-e2f1d09b2a18">The Duality of Subtyping</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/shaobocui" class="navigate">Shaobo Cui</a><span class="prog-aff"> </span>, <a href="https://2020.ecoop.org/profile/baberrehman" class="navigate">Baber Rehman</a><span class="prog-aff"> University of Hong Kong</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13186" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.29" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/29/The-Duality-of-Subtyping" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="5c268e0c-d05a-4d03-b1c8-d144bb1fec83" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c6bed3b0-d795-4378-9f4f-f3f70ea00ede" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c6bed3b0-d795-4378-9f4f-f3f70ea00ede">Data Consistency in Transactional Storage Systems: A Centralised Semantics</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/shalexiong1" class="navigate">Shale Xiong</a><span class="prog-aff"> ARM Research</span>, <a href="https://2020.ecoop.org/profile/andreacerone1" class="navigate">Andrea Cerone</a><span class="prog-aff"> Football Radar</span>, <a href="https://2020.ecoop.org/profile/azalearaad" class="navigate">Azalea Raad</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13178" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/21/Data-Consistency-in-Transactional-Storage-Systems-A-Centralised-Semantics" 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="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">13:00 - 14:20</div></td><td colspan="2"><div class="session-info-in-table">M-4<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/anithagollamudi" target="_blank" class="navigate">Anitha Gollamudi</a><span class="prog-aff"> Harvard University</span>, <a href="https://2020.ecoop.org/profile/raffikhatchadourian" target="_blank" class="navigate">Raffi Khatchadourian</a><span class="prog-aff"> City University of New York</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="31511112-67dc-4046-bdbd-ae0a7905b587" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="97ef5573-0f58-46e1-9fe7-f39f45954cbf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="97ef5573-0f58-46e1-9fe7-f39f45954cbf">Designing with Static Capabilities and Effects</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/colingordon" class="navigate">Colin Gordon</a><span class="prog-aff"> Drexel University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13167" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.10" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/2005.11444" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/10/Designing-with-Static-Capabilities-and-Effects" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="1b02ba5a-d4af-4e2c-bba6-d5a74efacba8" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="0e16ed75-4dc8-4d08-a503-c23f55e52859" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0e16ed75-4dc8-4d08-a503-c23f55e52859">A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/gabrielasampaio" class="navigate">Gabriela Sampaio</a><span class="prog-aff"> Imperial College London, UK</span>, <a href="https://2020.ecoop.org/profile/josesantos" class="navigate">José Fragoso Santos</a><span class="prog-aff"> INESC-ID/Instituto Superior Técnico, Portugal </span>, <a href="https://2020.ecoop.org/profile/petarmaksimovic" class="navigate">Petar Maksimović</a><span class="prog-aff"> Imperial College London, UK</span>, <a href="https://2020.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13185" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.28" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/28/A-Trusted-Infrastructure-for-Symbolic-Analysis-of-Event-Driven-Web-Applications" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="4bda5241-e426-4814-8599-1a57bc984cc0" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="075e145e-0c8a-47bf-97d2-fd7ed28f0228" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="075e145e-0c8a-47bf-97d2-fd7ed28f0228">Safe, Flexible Aliasing with Deferred Borrows</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/chrisfallin" class="navigate">Chris Fallin</a><span class="prog-aff"> Mozilla</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13187" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.30" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/33/Safe-Flexible-Aliasing-with-Deferred-Borrows" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="aba8f9ed-ee79-4fb9-8327-9f77d51a764e" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fc6c077e-91cb-4f4f-89be-ffca400b2979" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fc6c077e-91cb-4f4f-89be-ffca400b2979">Static Analysis of Shape in TensorFlow Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/sifislagouvardos" class="navigate">Sifis Lagouvardos</a><span class="prog-aff"> University of Athens</span>, <a href="https://2020.ecoop.org/profile/juliandolby" class="navigate">Julian Dolby</a><span class="prog-aff"> IBM Research, USA</span>, <a href="https://2020.ecoop.org/profile/nevillegrech" class="navigate">Neville Grech</a><span class="prog-aff"> University of Malta</span>, <a href="https://2020.ecoop.org/profile/anastasiosantoniadis" class="navigate">Anastasios Antoniadis</a><span class="prog-aff"> University of Athens, Greece</span>, <a href="https://2020.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13172" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/15/Static-Analysis-of-Shape-in-TensorFlow-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-17"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-III" 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:20</div></td><td colspan="2"><div class="session-info-in-table">M-6B<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-iii" target="_blank" class="room-link navigate">SPLASH-III</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/raffikhatchadourian" target="_blank" class="navigate">Raffi Khatchadourian</a><span class="prog-aff"> City University of New York</span>, <a href="https://2020.ecoop.org/profile/patrickrein" target="_blank" class="navigate">Patrick Rein</a><span class="prog-aff"> Hasso Plattner Institute</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="68b049f7-0772-4dad-b0b1-36053f0c321f" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b5cd4295-3dae-4811-a9a2-cd69e93f5866" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b5cd4295-3dae-4811-a9a2-cd69e93f5866">Space-Efficient Gradual Typing in Coercion-Passing Style</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/yuyatsuda" class="navigate">Yuya Tsuda</a><span class="prog-aff"> Kyoto University</span>, <a href="https://2020.ecoop.org/profile/atsushiigarashi" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University, Japan</span>, <a href="https://2020.ecoop.org/profile/tomoyatabuchi" class="navigate">Tomoya Tabuchi</a><span class="prog-aff"> Kyoto University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13165" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/8/Space-Efficient-Gradual-Typing-in-Coercion-Passing-Style" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-19"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">19:00 - 20:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> M-1<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/yudavidliu" target="_blank" class="navigate">Yu David Liu</a><span class="prog-aff"> State University of New York (SUNY) Binghamton</span>, <a href="https://2020.ecoop.org/profile/hidehikomasuhara" target="_blank" class="navigate">Hidehiko Masuhara</a><span class="prog-aff"> Tokyo Institute of Technology</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2ce00e35-6dd2-414e-9d7b-c11e0e15e83a" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fa9502c6-8ae7-4b07-8206-b46b73a9a756" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fa9502c6-8ae7-4b07-8206-b46b73a9a756">A Semantics for the Essence of React</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/magnusmadsen" class="navigate">Magnus Madsen</a><span class="prog-aff"> Aarhus University</span>, <a href="https://2020.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo</span>, <a href="https://2020.ecoop.org/profile/franktip" class="navigate">Frank Tip</a><span class="prog-aff"> Northeastern University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13169" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.12" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/12/A-Semantics-for-the-Essence-of-React" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="7bd54833-4892-4397-be7f-72214870f047" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="d20598bd-55e0-4d3d-9727-0b7b671dbce0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d20598bd-55e0-4d3d-9727-0b7b671dbce0">Reconciling Event Structures with Modern Multiprocessors</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/evgeniimoiseenko" class="navigate">Evgenii Moiseenko</a><span class="prog-aff"> St. Petersburg University / JetBrains Research</span>, <a href="https://2020.ecoop.org/profile/antonpodkopaev" class="navigate">Anton Podkopaev</a><span class="prog-aff"> NRU HSE, JetBrains Research</span>, <a href="https://2020.ecoop.org/profile/orilahav" class="navigate">Ori Lahav</a><span class="prog-aff"> Tel Aviv University</span>, <a href="https://2020.ecoop.org/profile/orestismelkonian" class="navigate">Orestis Melkonian</a><span class="prog-aff"> Utrecht University</span>, <a href="https://2020.ecoop.org/profile/viktorvafeiadis" class="navigate">Viktor Vafeiadis</a><span class="prog-aff"> MPI-SWS</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13162" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.5" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/5/Reconciling-Event-Structures-with-Modern-Multiprocessors" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="82f3388b-4997-4341-9da4-7ea46a1cd475" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="1afda63b-ac13-4748-afb4-ec818eef4cfe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1afda63b-ac13-4748-afb4-ec818eef4cfe">A Framework for Resource Dependent EDSLs in a Dependently Typed Language</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/jandemuijnckhughes" class="navigate">Jan de Muijnck-Hughes</a><span class="prog-aff"> University of Glasgow</span>, <a href="https://2020.ecoop.org/profile/wimvanderbauwhede" class="navigate">Wim Vanderbauwhede</a><span class="prog-aff"> University of Glasgow</span>, <a href="https://2020.ecoop.org/profile/edwinbrady" class="navigate">Edwin Brady</a><span class="prog-aff"> University of St. Andrews</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13177" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.20" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/20/A-Framework-for-Resource-Dependent-EDSLs-in-a-Dependently-Typed-Language" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="a11f9569-36d1-45ac-8af7-897171004f89" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c8f92227-97e4-4cd4-97f8-0dbfb0f80f62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c8f92227-97e4-4cd4-97f8-0dbfb0f80f62">Reshape your layouts, not your programs: A safe language extension for better cache locality<span class="pull-right"><span title="This paper is a journal-first paper published in the [Special Issue of Science of Computer Programming: Selected Papers from the 2020 European Conference on Object-Oriented Programming](https://www.sciencedirect.com/journal/science-of-computer-programming/special-issue/10TB6T7KXWN)" data-facet-badge="SCICO Journal-First" class="output-badge" style="max-width:40px;"><span class="label-primary label">SCICO Journal-First</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/alexandrostasos" class="navigate">Alexandros Tasos</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/julianafranco" class="navigate">Juliana Franco</a><span class="prog-aff"> Microsoft Research, Cambridge</span>, <a href="https://2020.ecoop.org/profile/sophiadrossopoulou" class="navigate">Sophia Drossopoulou</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/tobiaswrigstad" class="navigate">Tobias Wrigstad</a><span class="prog-aff"> Uppsala University, Sweden</span>, <a href="https://2020.ecoop.org/profile/susaneisenbach" class="navigate">Susan Eisenbach</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13188" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1016/j.scico.2020.102481" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/30/Reshape-your-layouts-not-your-programs-A-safe-language-extension-for-better-cache-l" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-23"><table data-facet-date="Mon 16 Nov 2020" data-facet-date-order="201116" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">23:00 - 00:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> M-3<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/hidehikomasuhara" target="_blank" class="navigate">Hidehiko Masuhara</a><span class="prog-aff"> Tokyo Institute of Technology</span>, <a href="https://2020.ecoop.org/profile/patrickrein" target="_blank" class="navigate">Patrick Rein</a><span class="prog-aff"> Hasso Plattner Institute</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3f401f66-d6b6-4df7-bfb2-b0baf826d30a" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4bf0a52b-ba6b-417a-97bb-1a2326f941ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4bf0a52b-ba6b-417a-97bb-1a2326f941ab">Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/samvandenvonder" class="navigate">Sam Van den Vonder</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.ecoop.org/profile/thierryrenaux" class="navigate">Thierry Renaux</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.ecoop.org/profile/bjarnooeyen" class="navigate">Bjarno Oeyen</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2020.ecoop.org/profile/joeridekoster" class="navigate">Joeri De Koster</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span>, <a href="https://2020.ecoop.org/profile/wolfgangdemeuter" class="navigate">Wolfgang De Meuter</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13176" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.19" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://soft.vub.ac.be/~svdvonde/papers/ecoop2020-tackling-the-awkward-squad-the-actor-reactor-model.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/19/Tackling-the-Awkward-Squad-for-Reactive-Programming-The-Actor-Reactor-Model" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="defc4802-da3e-4475-9237-e3a73c08ed77" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="19f2611f-fa87-46d5-b52e-767476c387fb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="19f2611f-fa87-46d5-b52e-767476c387fb">Lifting Sequential Effects to Control Operators</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/colingordon" class="navigate">Colin Gordon</a><span class="prog-aff"> Drexel University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13180" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.23" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/1811.12285" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/23/Lifting-Sequential-Effects-to-Control-Operators" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="e18b2415-a4be-41d7-96d7-e30c80c6ad66" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="2d767f19-3b2e-4257-94c7-e2f1d09b2a18" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2d767f19-3b2e-4257-94c7-e2f1d09b2a18">The Duality of Subtyping</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2020.ecoop.org/profile/shaobocui" class="navigate">Shaobo Cui</a><span class="prog-aff"> </span>, <a href="https://2020.ecoop.org/profile/baberrehman" class="navigate">Baber Rehman</a><span class="prog-aff"> University of Hong Kong</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13186" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.29" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/29/The-Duality-of-Subtyping" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="8c5bd46d-68b0-437c-9d06-e20bbfe1f548" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="c6bed3b0-d795-4378-9f4f-f3f70ea00ede" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c6bed3b0-d795-4378-9f4f-f3f70ea00ede">Data Consistency in Transactional Storage Systems: A Centralised Semantics</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/shalexiong1" class="navigate">Shale Xiong</a><span class="prog-aff"> ARM Research</span>, <a href="https://2020.ecoop.org/profile/andreacerone1" class="navigate">Andrea Cerone</a><span class="prog-aff"> Football Radar</span>, <a href="https://2020.ecoop.org/profile/azalearaad" class="navigate">Azalea Raad</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2020.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13178" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.21" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/21/Data-Consistency-in-Transactional-Storage-Systems-A-Centralised-Semantics" 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>Tue 17 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-1"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">01:00 - 02:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> M-4<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/patrickrein" target="_blank" class="navigate">Patrick Rein</a><span class="prog-aff"> Hasso Plattner Institute</span>, <a href="https://2020.ecoop.org/profile/manuelserrano" target="_blank" class="navigate">Manuel Serrano</a><span class="prog-aff"> Inria, France</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="14ea580a-4cbf-4d4b-8629-1b4764dcfe0f" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="97ef5573-0f58-46e1-9fe7-f39f45954cbf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="97ef5573-0f58-46e1-9fe7-f39f45954cbf">Designing with Static Capabilities and Effects</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/colingordon" class="navigate">Colin Gordon</a><span class="prog-aff"> Drexel University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13167" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.10" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://arxiv.org/abs/2005.11444" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/10/Designing-with-Static-Capabilities-and-Effects" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="ddd6be82-685b-43e6-8bb5-c9c20bfa1dc4" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="0e16ed75-4dc8-4d08-a503-c23f55e52859" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0e16ed75-4dc8-4d08-a503-c23f55e52859">A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/gabrielasampaio" class="navigate">Gabriela Sampaio</a><span class="prog-aff"> Imperial College London, UK</span>, <a href="https://2020.ecoop.org/profile/josesantos" class="navigate">José Fragoso Santos</a><span class="prog-aff"> INESC-ID/Instituto Superior Técnico, Portugal </span>, <a href="https://2020.ecoop.org/profile/petarmaksimovic" class="navigate">Petar Maksimović</a><span class="prog-aff"> Imperial College London, UK</span>, <a href="https://2020.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13185" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.28" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/28/A-Trusted-Infrastructure-for-Symbolic-Analysis-of-Event-Driven-Web-Applications" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="56adf6f8-881b-48c1-b331-e8bb014f65ff" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="075e145e-0c8a-47bf-97d2-fd7ed28f0228" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="075e145e-0c8a-47bf-97d2-fd7ed28f0228">Safe, Flexible Aliasing with Deferred Borrows</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/chrisfallin" class="navigate">Chris Fallin</a><span class="prog-aff"> Mozilla</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13187" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.30" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/33/Safe-Flexible-Aliasing-with-Deferred-Borrows" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="883db172-d543-47a7-bd1b-2b71c04adb23" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="fc6c077e-91cb-4f4f-89be-ffca400b2979" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fc6c077e-91cb-4f4f-89be-ffca400b2979">Static Analysis of Shape in TensorFlow Programs</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/sifislagouvardos" class="navigate">Sifis Lagouvardos</a><span class="prog-aff"> University of Athens</span>, <a href="https://2020.ecoop.org/profile/juliandolby" class="navigate">Julian Dolby</a><span class="prog-aff"> IBM Research, USA</span>, <a href="https://2020.ecoop.org/profile/nevillegrech" class="navigate">Neville Grech</a><span class="prog-aff"> University of Malta</span>, <a href="https://2020.ecoop.org/profile/anastasiosantoniadis" class="navigate">Anastasios Antoniadis</a><span class="prog-aff"> University of Athens, Greece</span>, <a href="https://2020.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13172" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/15/Static-Analysis-of-Shape-in-TensorFlow-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-5"><table data-facet-date="Tue 17 Nov 2020" data-facet-date-order="201117" data-facet-room="SPLASH-III" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c0"></td><td><div class="slot-label">05:00 - 05:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> M-6B<span class="pull-right"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-iii" target="_blank" class="room-link navigate">SPLASH-III</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/patrickrein" target="_blank" class="navigate">Patrick Rein</a><span class="prog-aff"> Hasso Plattner Institute</span>, <a href="https://2020.ecoop.org/profile/manuelserrano" target="_blank" class="navigate">Manuel Serrano</a><span class="prog-aff"> Inria, France</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5e097435-a31c-47ff-9f51-bdc2527a61e1" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">05:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b5cd4295-3dae-4811-a9a2-cd69e93f5866" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b5cd4295-3dae-4811-a9a2-cd69e93f5866">Space-Efficient Gradual Typing in Coercion-Passing Style</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2020.ecoop.org/profile/yuyatsuda" class="navigate">Yuya Tsuda</a><span class="prog-aff"> Kyoto University</span>, <a href="https://2020.ecoop.org/profile/atsushiigarashi" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University, Japan</span>, <a href="https://2020.ecoop.org/profile/tomoyatabuchi" class="navigate">Tomoya Tabuchi</a><span class="prog-aff"> Kyoto University</span></div><a href="https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13165" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2020.8" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://2020.ecoop.org/details/ecoop-2020-papers/8/Space-Efficient-Gradual-Typing-in-Coercion-Passing-Style" 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>Wed 18 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-V" 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">09:00 - 14:20</div></td><td colspan="2"><div class="session-info-in-table">Scala Symposium<span class="pull-right"><a href="https://2020.ecoop.org/home/scala-2020" target="_blank" class="text-muted navigate">Scala</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-v" target="_blank" class="room-link navigate">SPLASH-V</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="352eb5bb-2254-4f6d-b67e-a84faf7732c8" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>5m</strong></div><div class="event-type">Day opening</div><span data-facet-track="Scala"></span></td><td><span data-event-star="f4874e56-74be-453f-8f2f-2bd0dd8a547f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f4874e56-74be-453f-8f2f-2bd0dd8a547f">Welcome to Scala 2020</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nadaamin" class="navigate">Nada Amin</a><span class="prog-aff"> Harvard University</span>, <a href="https://2020.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2020.ecoop.org/profile/davidrichter" class="navigate">David Richter</a><span class="prog-aff"> Technical University of Darmstadt</span></div></td></tr><tr data-slot-id="46c03259-81cc-4048-b1c5-227f2f61f83b" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:05</div><strong>35m</strong></div><div class="event-type">Keynote</div><span data-facet-track="Scala"></span></td><td><span data-event-star="1ef9cb03-a21e-4a33-9a5a-f0ee48606516" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1ef9cb03-a21e-4a33-9a5a-f0ee48606516">Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> MPI-SWS</span></div></td></tr><tr data-slot-id="5dea9e31-b0f4-4577-b674-c2a0f4fc9a42" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="Scala"></span></td><td><span data-event-star="7c75547f-00fe-457c-bb25-8609fefe812e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7c75547f-00fe-457c-bb25-8609fefe812e">ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/alexandermerritt" class="navigate">Alexander Merritt</a><span class="prog-aff"> Independent</span></div></td></tr><tr data-slot-id="64428249-bcb2-4feb-a1ab-ec626b7fcb85" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Paper</div><span data-facet-track="Scala"></span></td><td><span data-event-star="a12713fb-3d5e-4eab-b935-0d16512313cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a12713fb-3d5e-4eab-b935-0d16512313cf">Kaizen: A Scalable Concolic Fuzzing Tool for Scala</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohammadrezaashouri" class="navigate">Mohammadreza Ashouri</a><span class="prog-aff"> University of Potsdam, Germany</span></div></td></tr><tr data-slot-id="932e0be6-0061-4e67-ba7b-52c9918fca8e" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="Scala"></span></td><td><span data-event-star="9d5fdf08-0288-446d-ac8e-73d01c4444fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9d5fdf08-0288-446d-ac8e-73d01c4444fe">Asterisk: Secure Programming Language for Smart Contracts (Student Talk)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohammadrezaashouri" class="navigate">Mohammadreza Ashouri</a><span class="prog-aff"> University of Potsdam, Germany</span></div></td></tr><tr data-slot-id="9189681c-d7eb-43e3-bf9c-0f6e041198ba" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Paper</div><span data-facet-track="Scala"></span></td><td><span data-event-star="11156f21-49b5-48cb-b0ca-549d00781de9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="11156f21-49b5-48cb-b0ca-549d00781de9">ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/shadajladdad" class="navigate">Shadaj Laddad</a><span class="prog-aff"> University of California at Berkeley</span>, <a href="https://2020.ecoop.org/profile/koushiksen" class="navigate">Koushik Sen</a><span class="prog-aff"> University of California at Berkeley</span></div></td></tr><tr data-slot-id="b94e7a8a-f9b3-4d85-8b4c-2782f74c753e" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>20m</strong></div><div class="event-type">Paper</div><span data-facet-track="Scala"></span></td><td><span data-event-star="b34c0b84-607e-476e-b042-ec67a218324b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b34c0b84-607e-476e-b042-ec67a218324b">Semantics-Preserving Inlining for Metaprogramming</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nicolasstucki" class="navigate">Nicolas Stucki</a><span class="prog-aff"> EPFL, Switzerland</span>, <a href="https://2020.ecoop.org/profile/aggelosbiboudis" class="navigate">Aggelos Biboudis</a><span class="prog-aff"> EPFL</span>, <a href="https://2020.ecoop.org/profile/sebastiendoeraene" class="navigate">Sébastien Doeraene</a><span class="prog-aff"> EPFL, Switzerland</span>, <a href="https://2020.ecoop.org/profile/martinodersky" class="navigate">Martin Odersky</a><span class="prog-aff"> EPFL</span></div></td></tr><tr data-slot-id="52a847ab-69fe-4e5b-b88b-72552b50d465" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="Scala"></span></td><td><span data-event-star="94f4b467-6923-49ea-a4ed-8013f52a3c28" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="94f4b467-6923-49ea-a4ed-8013f52a3c28">Toward a Simpler Syntactic Soundness for DOT (Student Talk)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/ifazkabir" class="navigate">Ifaz Kabir</a><span class="prog-aff"> University of Alberta</span>, <a href="https://2020.ecoop.org/profile/karimali" class="navigate">Karim Ali</a><span class="prog-aff"> University of Alberta</span></div></td></tr><tr data-slot-id="3051db7d-1408-406f-9b83-1bc00d1869f9" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:00</div><strong>20m</strong></div><div class="event-type">Day closing</div><span data-facet-track="Scala"></span></td><td><span data-event-star="c11b8672-426f-428e-b382-db557c4569c3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c11b8672-426f-428e-b382-db557c4569c3">Closing Scala 2020</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nadaamin" class="navigate">Nada Amin</a><span class="prog-aff"> Harvard University</span>, <a href="https://2020.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2020.ecoop.org/profile/davidrichter" class="navigate">David Richter</a><span class="prog-aff"> Technical University of Darmstadt</span></div></td></tr></table></div></div><script type="text/javascript">window.displayUserProgamSettingsOnce = true;</script><div tabindex="-1" id="get-calendar" class="modal"><div class="modal-dialog modal-lg"><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Get Calendar (iCal)</h3></div><div class="modal-body"><div class="panel panel-default"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-star"></span> iCalendar subscription service for your personal schedule</div></div><div class="panel-body">You first need to have starred events (<span class="glyphicon glyphicon-asterisk"></span>) in order to use the iCalendar subscription service.</div></div><div class="panel panel-default"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-filter"></span> Currently Viewed Program</div></div><div class="panel-body"><span class="help-block">Downloads the currently viewed program (with filters applied) in iCal format</span><form name="form_19551557060fd67502590a9b9b83f97ebebe5e00306" id="form_19551557060fd67502590a9b9b83f97ebebe5e00306" action="https://2020.ecoop.org/program/program-ecoop-2020/" accept-charset="UTF-8" method="POST"><input type="hidden" name="form_19551557060fd67502590a9b9b83f97ebebe5e00306" value="1" /><input type="hidden" name="context" value="ecoop-2020" /><input type="hidden" name="program" value="program-ecoop-2020" /><input type="hidden" name="viewid" value="" /><input name="64991bf7c527bdbba6f4613f0d992cc3" value="" id="slot-ids" type="hidden" class="inputString form-control"/><div class="row"><div class="col-sm-2"><strong><span class="glyphicon glyphicon-download"></span> Session Calendar (ical)</strong></div><div class="col-sm-10"><a href="javascript:scrapeIdsForIcal( $('#session-calendar-action') ); void(0);">session-calendar.ics</a><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/program/program-ecoop-2020/?__action__link__=1","showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall1fd67502590a9b9b83f97ebebe5e00306", [{"name":"context", "value":"ecoop-2020"},{"name":"program", "value":"program-ecoop-2020"},{"name":"viewid", "value":""},],"form_19551557060fd67502590a9b9b83f97ebebe5e00306", this.nextSibling, true,"1"); return false;'></button><a submitid="showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall1fd67502590a9b9b83f97ebebe5e00306" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="session-calendar-action" type="hidden"></a></div></div><div class="row"><div class="col-sm-2"><strong><span class="glyphicon glyphicon-download"></span> Detailed Event Calendar (ical)</strong></div><div class="col-sm-10"><a href="javascript:scrapeIdsForIcal( $('#event-calendar-action') ); void(0);">event-calendar.ics</a><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/program/program-ecoop-2020/?__action__link__=1","showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall2fd67502590a9b9b83f97ebebe5e00306", [{"name":"context", "value":"ecoop-2020"},{"name":"program", "value":"program-ecoop-2020"},{"name":"viewid", "value":""},],"form_19551557060fd67502590a9b9b83f97ebebe5e00306", this.nextSibling, true,"1"); return false;'></button><a submitid="showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall2fd67502590a9b9b83f97ebebe5e00306" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="event-calendar-action" type="hidden"></a></div></div></form></div></div></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></div></div><script type="text/javascript">function scrapeIdsForIcal(elem){ var slotIds = $('[data-slot-id]:visible').map( function(){return $(this).data('slot-id'); }); $('#slot-ids').val( slotIds.toArray().join(',') ); elem.click(); } </script></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 24 Nov 15:04</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2020.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-2020" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2020"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2020.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-2020" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2020"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container-fluid"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2020</a></h3><div><a href="https://2020.ecoop.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://2020.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://2020.ecoop.org/track/ecoop-2020-papers" class="navigate">Research Papers</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate">Artifacts</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate">Tutorials</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate">Posters</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2020.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.ecoop.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.ecoop.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.ecoop.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><a href="https://2020.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>