CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://2019.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2019.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ECOOP 2019 - Summer School - ECOOP 2019</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2019.ecoop.org";</script> <link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/getFile/4178e8be-c93e-442c-92af-6438620e66f0/logo.006.css?1563342595374" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2019.ecoop.org/getImage/carousel/5604439246_08fb0350fe_o.jpg?1528908239000'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">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 name='description' content='The ECOOP 2019 Summer School aims at encouraging graduate students and senior undergraduate students to pursue careers in research on topics related to both conferences. The School brings together leading researchers in programming languages, object-orientation, software testing, analysis, and teaching from academia and industry to provide technical sessions on important research and mentoring sessions on how to prepare for a research career. The School aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and u ...'> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ECOOP 2019 - Summer School - ECOOP 2019'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The ECOOP 2019 Summer School aims at encouraging graduate students and senior undergraduate students to pursue careers in research on topics related to both conferences. The School brings together leading researchers in programming languages, object-orientation, software testing, analysis, and teaching from academia and industry to provide technical sessions on important research and mentoring sessions on how to prepare for a research career. The School aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and u ...'> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2019.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2019</span></a><div class="place">Mon 15 - Fri 19 July 2019 <a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Hammersmith, London, United Kingdom</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a></li><li class="block"><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a></li><li class="block"><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Socials</a></li><li class="block"><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a></li><li class="block"><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Mon 15 Jul 2019" class="navigate">Mon 15 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Tue 16 Jul 2019" class="navigate">Tue 16 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Wed 17 Jul 2019" class="navigate">Wed 17 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Thu 18 Jul 2019" class="navigate">Thu 18 Jul</a></li><li class="block"><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Fri 19 Jul 2019" class="navigate">Fri 19 Jul</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2019</li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate"><strong>AORTA</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate"><strong>BenchWork</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/COP-2019" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate"><strong>PASS</strong> (CANCELED)</a></li><li class="block"><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate"><strong>Panathon</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/scala-2019" class="navigate"><strong>Scala</strong> </a></li><li class="block"><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate"><strong>VORTEX</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2019 Committees</li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Research Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-artifacts" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-student-volunteers-alisa-maas" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/ecoop-2019-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2019.ecoop.org/committee/curry-on-organization-committee" class="navigate"><strong>Curry On</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2019.ecoop.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AORTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/aorta-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/aorta-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>BenchWork</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/cop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/cop-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/icooolps-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/icooolps-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PASS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Panathon</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/panathon-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/scala-2019-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/committee/vortex-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ecoop.org/committee/vortex-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2019.ecoop.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li class="block"><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li class="block"><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li class="block"><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li class="block"><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li class="block"><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2019</span></li><li class="block"><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li class="block"><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li class="block"><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li class="block"><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li class="block"></li><li class="block"><a href="http://2014.ecoop.org" target="_blank" class="navigate">2014: Uppsala <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2013.ecoop.org" target="_blank" class="navigate">2013: Montpellier <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop12.cs.purdue.edu" target="_blank" class="navigate">2012: Beijing <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://scc-sentinel.lancs.ac.uk/ecoop11/" target="_blank" class="navigate">2011: Lancaster <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop2010.uni-mb.si" target="_blank" class="navigate">2010: Maribor <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop09.disi.unige.it" target="_blank" class="navigate">2009: Genova <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://ecoop08.cs.ucy.ac.cy" target="_blank" class="navigate">2008: Cyprus <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop07.swt.cs.tu-berlin.de" target="_blank" class="navigate">2007: Berlin <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.emn.fr/z-info/ecoop2006/" target="_blank" class="navigate">2006: Nice <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2005.ecoop.org/" target="_blank" class="navigate">2005: Glasgow <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/ecoop-2019/https%3A%5Es%5Es2019.ecoop.org%5Estrack%5Esecoop-2019-summer-school" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2019.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a> (<a href="https://2019.ecoop.org/series/ecoop" class="navigate">series</a>) / </span><h1>Summer School<span class="pull-right small h1">ECOOP 2019</span></h1></div><div class="row"><div class="col-sm-12"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>The ECOOP 2019 Summer School aims at encouraging graduate students and senior undergraduate students to pursue careers in research on topics related to both conferences. The School brings together leading researchers in programming languages, object-orientation, software testing, analysis, and teaching from academia and industry to provide technical sessions on important research and mentoring sessions on how to prepare for a research career. The School aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and under-represented minority students to attend.</p> <h3>Opening Sessions</h3><div id="749ccbf5246103607e29129c3939cbb1wrapper"><div id="749ccbf5246103607e29129c3939cbb1"><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/1/Static-Analysis-of-Ethereum-Smart-Contracts" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Yannis Smaragdakis" src="https://2019.ecoop.org/getProfileImage/yannissmaragdakis/26bdff7c-6cbb-44cf-8973-6d1b5aeb11c5/avatar.jpg?1711460890000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Static Analysis of Ethereum Smart Contracts</h5><h6><i>Yannis Smaragdakis</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/2/Gillian-A-General-Static-Analysis-Framework-based-on-Separation-Logic" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Philippa Gardner" src="https://2019.ecoop.org/getProfileImage/philippagardner/1699720f-868e-4f14-90ac-5bcca2e6b287/avatar.jpg?1711468354000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Gillian: A General Static Analysis Framework based on Separation Logic</h5><h6><i>Philippa Gardner</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/8/Modular-Verification-of-C-and-Java-Programs-with-VeriFast-Including-Their-I-O-Behav" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bart Jacobs" src="https://2019.ecoop.org/getProfileImage/bartjacobs/170aab0e-5bb9-40ca-8b71-7c46f04a88b7/avatar.jpg?1711488791000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior</h5><h6><i>Bart Jacobs</i></h6></div></div></div></a><a href="https://2019.ecoop.org/details/ecoop-2019-summer-school/9/Interactive-Decentralised-Software-Made-Easy" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Mira Mezini" src="https://2019.ecoop.org/getProfileImage/miramezini/eb011a39-7fb3-418f-a794-d5bb61083c69/avatar.jpg?1711457234000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Interactive Decentralised Software Made Easy</h5><h6><i>Mira Mezini</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#749ccbf5246103607e29129c3939cbb1").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#749ccbf5246103607e29129c3939cbb1wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#749ccbf5246103607e29129c3939cbb1 .' + cl + ',#749ccbf5246103607e29129c3939cbb1 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#749ccbf5246103607e29129c3939cbb1 .' + cl).css('height', maxHeight); }); }); </script><h3>Lectures</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="555d58c7-c4d2-4f24-bec0-10dad65d3940" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="555d58c7-c4d2-4f24-bec0-10dad65d3940">Crypto Pump-and-dump Schemes: Why Can鈥檛 We Have Good Things?</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/benlivshits" class="navigate">Ben Livshits</a></div></td></tr><tr><td><span data-event-star="0a21d644-0d68-42b8-961a-c3f53a0b7c04" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0a21d644-0d68-42b8-961a-c3f53a0b7c04">Gillian: A General Static Analysis Framework based on Separation Logic</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a></div></td></tr><tr><td><span data-event-star="3907a52b-789e-4678-919d-e4f0cee48851" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3907a52b-789e-4678-919d-e4f0cee48851">How to design a programming language</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/alanblackwell" class="navigate">Alan Blackwell</a></div></td></tr><tr><td><span data-event-star="88bea3c6-98df-4105-a5fb-bb1cf5046925" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="88bea3c6-98df-4105-a5fb-bb1cf5046925">Interactive Decentralised Software Made Easy</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a></div></td></tr><tr><td><span data-event-star="75546e0e-8bee-4fda-998a-aff86db45183" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="75546e0e-8bee-4fda-998a-aff86db45183">Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/bartjacobs" class="navigate">Bart Jacobs</a></div></td></tr><tr><td><span data-event-star="4cf952e0-2a64-43db-81b5-609183b776ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4cf952e0-2a64-43db-81b5-609183b776ff">Operational Semantics driving the Type System Design: Reference Capabilities in Pony</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/sophiadrossopoulou" class="navigate">Sophia Drossopoulou</a></div></td></tr><tr><td><span data-event-star="dadbfef9-4e18-4bee-8caf-29c4018235b5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="dadbfef9-4e18-4bee-8caf-29c4018235b5">Origami Programming for Fun and Profit</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/jeremygibbons" class="navigate">Jeremy Gibbons</a></div></td></tr><tr><td><span data-event-star="179e7dd5-e17d-435a-80c0-2eab17cbf55b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="179e7dd5-e17d-435a-80c0-2eab17cbf55b">POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/stephenleach" class="navigate">Stephen Leach</a></div></td></tr><tr><td><span data-event-star="8c31e574-4b62-4d16-bb18-9a6d5f69569c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8c31e574-4b62-4d16-bb18-9a6d5f69569c">Remolding the development experience</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/tudorgirba" class="navigate">Tudor G卯rba</a></div></td></tr><tr><td><span data-event-star="98773682-0475-4aa5-aa01-0aa7ab7e5e05" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="98773682-0475-4aa5-aa01-0aa7ab7e5e05">SM4E - Self-Marketing for Engineers</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/chrislaffra" class="navigate">Chris Laffra</a></div></td></tr><tr><td><span data-event-star="0214f25a-ebc4-4d4d-b440-dd5b8f252f25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0214f25a-ebc4-4d4d-b440-dd5b8f252f25">Static Analysis of Ethereum Smart Contracts</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a></div></td></tr><tr><td><span data-event-star="683377db-4d92-4b86-9626-ef617aa2ba11" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="683377db-4d92-4b86-9626-ef617aa2ba11">The Future of Java</a><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/gavinbierman" class="navigate">Gavin Bierman</a></div></td></tr></table></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2019.ecoop.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+01:00) Belfast</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+01:00) Belfast</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+09:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+10:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+10:30) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+12:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2019.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2019"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 0){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 15 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:45 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">Summer School M1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/janvitek" target="_blank" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="83116974-d5b9-41b6-8805-1b1bacba0fd5" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:45</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="0214f25a-ebc4-4d4d-b440-dd5b8f252f25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0214f25a-ebc4-4d4d-b440-dd5b8f252f25">Static Analysis of Ethereum Smart Contracts</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School M2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/eddbarrett" target="_blank" class="navigate">Edd Barrett</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e5fc7a04-becf-4d2c-a63e-9fc2e8bef301" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="dadbfef9-4e18-4bee-8caf-29c4018235b5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="dadbfef9-4e18-4bee-8caf-29c4018235b5">Origami Programming for Fun and Profit</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/jeremygibbons" class="navigate">Jeremy Gibbons</a><span class="prog-aff"> Department of Computer Science, University of Oxford</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 15 Jul 2019" data-facet-date-order="190715" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School M3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/laurencetratt" target="_blank" class="navigate">Laurence Tratt</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a4d4f6c6-b217-4edc-87f5-ed8747f31ab7" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="8c31e574-4b62-4d16-bb18-9a6d5f69569c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8c31e574-4b62-4d16-bb18-9a6d5f69569c">Remolding the development experience</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/tudorgirba" class="navigate">Tudor G卯rba</a><span class="prog-aff"> feenk.com</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Tue 16 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:45 - 12:15</div></td><td colspan="2"><div class="session-info-in-table">Summer School T1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="324dd7b2-15c5-4ed4-a833-26c39db208ec" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:45</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="75546e0e-8bee-4fda-998a-aff86db45183" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="75546e0e-8bee-4fda-998a-aff86db45183">Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/bartjacobs" class="navigate">Bart Jacobs</a><span class="prog-aff"> KU Leuven</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School T2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ad8c9ec1-e540-47e5-a60c-77d961acfb0d" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="3907a52b-789e-4678-919d-e4f0cee48851" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3907a52b-789e-4678-919d-e4f0cee48851">How to design a programming language</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/alanblackwell" class="navigate">Alan Blackwell</a><span class="prog-aff"> University of Cambridge</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Summer School T3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="64070794-ebc1-416d-8194-60ae973866b3" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>90m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="4cf952e0-2a64-43db-81b5-609183b776ff" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4cf952e0-2a64-43db-81b5-609183b776ff">Operational Semantics driving the Type System Design: Reference Capabilities in Pony</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/sophiadrossopoulou" class="navigate">Sophia Drossopoulou</a><span class="prog-aff"> Imperial College London</span></div></td></tr></table></div><div class="hidable band hour-17"><table data-facet-date="Tue 16 Jul 2019" data-facet-date-order="190716" data-facet-track="ECOOP Catering" data-facet-room="Socials" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c16"></td><td><div class="slot-label">17:30 - 19:30</div></td><td colspan="2"><div class="session-info-in-table">Social Hour<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-socials" target="_blank" class="room-link navigate">Socials</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 17 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School W1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="28042e77-0dda-4995-86d2-48ad97e5bd61" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="88bea3c6-98df-4105-a5fb-bb1cf5046925" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="88bea3c6-98df-4105-a5fb-bb1cf5046925">Interactive Decentralised Software Made Easy</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a><span class="prog-aff"> TU Darmstadt, Germany</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School W2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/> <small>Chair(s): <a href="https://2019.ecoop.org/profile/eddbarrett" target="_blank" class="navigate">Edd Barrett</a><span class="prog-aff"> King's College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="75e341ca-be75-4bda-a12d-6615f8fe89a5" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="555d58c7-c4d2-4f24-bec0-10dad65d3940" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="555d58c7-c4d2-4f24-bec0-10dad65d3940">Crypto Pump-and-dump Schemes: Why Can鈥檛 We Have Good Things?</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/benlivshits" class="navigate">Ben Livshits</a><span class="prog-aff"> Imperial College London, UK</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 17 Jul 2019" data-facet-date-order="190717" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:40 - 17:20</div></td><td colspan="2"><div class="session-info-in-table">Summer School W3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e1d4332f-b6fc-449e-b25e-7bd0f2bccc77" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="683377db-4d92-4b86-9626-ef617aa2ba11" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="683377db-4d92-4b86-9626-ef617aa2ba11">The Future of Java</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/gavinbierman" class="navigate">Gavin Bierman</a><span class="prog-aff"> Oracle Labs</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 18 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Belfast</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">10:30 - 12:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School R1<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="12c4157c-2b16-4579-b8cd-3acec4623c77" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="0a21d644-0d68-42b8-961a-c3f53a0b7c04" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0a21d644-0d68-42b8-961a-c3f53a0b7c04">Gillian: A General Static Analysis Framework based on Separation Logic</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/philippagardner" class="navigate">Philippa Gardner</a><span class="prog-aff"> Imperial College London</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">13:30 - 15:10</div></td><td colspan="2"><div class="session-info-in-table">Summer School R2<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="78186285-5a00-4669-97d8-011e1c52bc0a" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>1h40m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="98773682-0475-4aa5-aa01-0aa7ab7e5e05" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="98773682-0475-4aa5-aa01-0aa7ab7e5e05">SM4E - Self-Marketing for Engineers</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/chrislaffra" class="navigate">Chris Laffra</a><span class="prog-aff"> Uber Amsterdam</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 18 Jul 2019" data-facet-date-order="190718" data-facet-room="Reims" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c17"></td><td><div class="slot-label">15:40 - 16:40</div></td><td colspan="2"><div class="session-info-in-table">Summer School R3<span class="pull-right"><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" target="_blank" class="text-muted navigate">Summer School</a></span> at <a href="https://2019.ecoop.org/room/ecoop-2019-venue-reims" target="_blank" class="room-link navigate">Reims</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0f68bfaf-6e91-40b0-be4f-2e3122d3fcd8" class="hidable"><td class="track-color c17"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:40</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Summer School"></span></td><td><span data-event-star="179e7dd5-e17d-435a-80c0-2eab17cbf55b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="179e7dd5-e17d-435a-80c0-2eab17cbf55b">POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago</a></strong><div class="prog-track">Summer School</div><div class="performers"><a href="https://2019.ecoop.org/profile/stephenleach" class="navigate">Stephen Leach</a><span class="prog-aff"> </span></div></td></tr></table></div></div></div></div></div></div></div><div class="col-sm-0 sidebar"></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Tue 18 Feb 00:46</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2019"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2019.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2019.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2019"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2019.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2019</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://2019.ecoop.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a><br/><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate">AORTA 2019</a><br/><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate">BenchWork 2019</a><br/><a href="https://2019.ecoop.org/home/COP-2019" class="navigate">COP 2019</a><br/><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate">FTfJP 2019</a><br/><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate">ICOOOLPS 2019</a><br/><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate">PASS 2019</a><br/><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate">Panathon 2019</a><br/><a href="https://2019.ecoop.org/home/scala-2019" class="navigate">Scala 2019</a><br/><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate">VORTEX 2019</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a><br><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a><br><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Social Events</a><br><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a><br><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</a></div><div class="col-sm-2"><a href="https://2019.ecoop.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>