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://2022.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2022.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ECOOP 2022 - Hub Talks - ECOOP 2022</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2022.ecoop.org";</script> <link rel="stylesheet" href="https://2022.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2022.ecoop.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2022.ecoop.org/getFile/0c232de7-95f0-4a48-b113-f56dcca03fd0/ecoop22-logobar.css?1637669771335" type="text/css" /><link rel="stylesheet" href="https://2022.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2022.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://2022.ecoop.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2022.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2022.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2022.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2022.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2022.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2022.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2022.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> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP’22 will feature Hub Talks as global travel is a privilege and an environmental burden. The physical event is a regional hub for community building. We provide authors of existing published research with a regional venue in Berlin to present their work.'> <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://2022.ecoop.org/getImage/carousel/IMG_6219.jpeg?1654720619000'> <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> <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> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ECOOP 2022 - Hub Talks - ECOOP 2022'> <meta name='description' content='ECOOP’22 will feature Hub Talks as global travel is a privilege and an environmental burden. The physical event is a regional hub for community building. We provide authors of existing published research with a regional venue in Berlin to present their work.'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2022.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2022</span></a><div class="place">Mon 6 June - Thu 7 July 2022 <a href="https://2022.ecoop.org/venue/ecoop-2022-venue" class="navigate">Berlin, Germany</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://2022.ecoop.org/venue/ecoop-2022-venue" class="navigate">ECOOP: Scandic Potsdamer Platz, Berlin</a></li><li class="block"><a href="https://2022.ecoop.org/venue/ecoop-2022-venue-vcoop" class="navigate">VCOOP: Virtual Meeting(s)</a></li><li class="block"><a href="https://2022.ecoop.org/venue/ecoop-2022-banquet" class="navigate">Banquet: Clärchen's Ballhaus</a></li><li class="block"><a href="https://2022.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2022.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2022.ecoop.org/attending/Visa" class="navigate">Visa</a></li><li class="block"><a href="https://2022.ecoop.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2022.ecoop.org/attending/Registration-ecoop" class="navigate">Registration</a></li><li class="block"><a href="https://2022.ecoop.org/attending/schedule" class="navigate">Schedule</a></li><li class="block"><a href="https://2022.ecoop.org/attending/conference-impressions" class="navigate">Conference Impressions</a></li></ul></li><li class="block"><a href="https://2022.ecoop.org/info/a-taste-of-ecoop" class="navigate">A Taste of ECOOP</a></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://2022.ecoop.org/program/program-ecoop-2022/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" 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="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Mon 6 Jun 2022" class="navigate">Mon 6 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Tue 7 Jun 2022" class="navigate">Tue 7 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Wed 8 Jun 2022" class="navigate">Wed 8 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Thu 9 Jun 2022" class="navigate">Thu 9 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Fri 10 Jun 2022" class="navigate">Fri 10 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sat 11 Jun 2022" class="navigate">Sat 11 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sun 12 Jun 2022" class="navigate">Sun 12 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Mon 13 Jun 2022" class="navigate">Mon 13 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Tue 14 Jun 2022" class="navigate">Tue 14 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Wed 15 Jun 2022" class="navigate">Wed 15 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Thu 16 Jun 2022" class="navigate">Thu 16 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Fri 17 Jun 2022" class="navigate">Fri 17 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sat 18 Jun 2022" class="navigate">Sat 18 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sun 19 Jun 2022" class="navigate">Sun 19 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Mon 20 Jun 2022" class="navigate">Mon 20 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Tue 21 Jun 2022" class="navigate">Tue 21 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Wed 22 Jun 2022" class="navigate">Wed 22 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Thu 23 Jun 2022" class="navigate">Thu 23 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Fri 24 Jun 2022" class="navigate">Fri 24 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sat 25 Jun 2022" class="navigate">Sat 25 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sun 26 Jun 2022" class="navigate">Sun 26 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Mon 27 Jun 2022" class="navigate">Mon 27 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Tue 28 Jun 2022" class="navigate">Tue 28 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Wed 29 Jun 2022" class="navigate">Wed 29 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Thu 30 Jun 2022" class="navigate">Thu 30 Jun</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Fri 1 Jul 2022" class="navigate">Fri 1 Jul</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sat 2 Jul 2022" class="navigate">Sat 2 Jul</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Sun 3 Jul 2022" class="navigate">Sun 3 Jul</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Mon 4 Jul 2022" class="navigate">Mon 4 Jul</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Tue 5 Jul 2022" class="navigate">Tue 5 Jul</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Wed 6 Jul 2022" class="navigate">Wed 6 Jul</a></li><li class="block"><a href="https://2022.ecoop.org/program/program-ecoop-2022/" data-fltr-type="date" data-fltr-val="Thu 7 Jul 2022" class="navigate">Thu 7 Jul</a></li></ul></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 2022</li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-awards" class="navigate">Awards</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2022.ecoop.org/track/expert-discussion" class="navigate">Expert Discussion</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" class="navigate">Hub Talks</a></li><li class="block"><a href="https://2022.ecoop.org/track/ecoop-2022-Student-Volunteers" class="navigate">Student Volunteers</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://2022.ecoop.org/home/COP-2022" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/track/ftfjp-2022" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/home/ICOOOLPS-2022" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/home/paw-2022" class="navigate"><strong>PAW</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/home/plf-2022" class="navigate"><strong>PLF</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/home/pride-2022" class="navigate"><strong>PRIDE</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/home/truffle-2022" class="navigate"><strong>Truffle</strong> </a></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://2022.ecoop.org/home/vortex-2022" class="navigate"><strong>VORTEX</strong> </a></li><li class="block"><a href="https://2022.ecoop.org/details/vortex-2022/7/Specification-Guided-Hybrid-Dynamic-Verification-for-Parallel-and-Distributed-Progra" class="small menu-advertised-event navigate">- Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)</a></li><li class="block"><a href="https://2022.ecoop.org/details/vortex-2022/8/Hardware-assisted-Runtime-Monitoring" class="small menu-advertised-event navigate">- Hardware-assisted Runtime Monitoring</a></li><li class="block"><a href="https://2022.ecoop.org/details/vortex-2022/9/To-Monitorability-and-Beyond-online-talk-" class="small menu-advertised-event navigate">- To Monitorability and Beyond (online talk)</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://2022.ecoop.org/home/scala-2022" 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 2022 Committees</li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-organizers" class="navigate">Organizers</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://2022.ecoop.org/committee/ecoop-2022-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-" class="navigate">Extended Review Committee </a></li></ul></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-workshops-chairs" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-doctoral-symposium-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-doctoral-symposium-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2022.ecoop.org/committee/expert-discussion-committee" class="navigate"><strong>Expert Discussion</strong></a></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-hub-talks-commitee" class="navigate"><strong>Hub Talks</strong></a></li><li class="block"><a href="https://2022.ecoop.org/committee/ecoop-2022-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2022.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://2022.ecoop.org/committee/COP-2022-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/COP-2022-organizing-committee" class="navigate">Workshop Organizers</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://2022.ecoop.org/committee/ftfjpworkshop+on+formal+techniques+for+java-like+programs2022-program-committee-chair" class="navigate">Program Committee Chair</a></li><li class="block"><a href="https://2022.ecoop.org/committee/ftfjpworkshop+on+formal+techniques+for+java-like+programs2022-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/ftfjpworkshop+on+formal+techniques+for+java-like+programs2022-steering-committee" class="navigate">Steering Committee</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://2022.ecoop.org/committee/ICOOOLPS-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/ICOOOLPS-2022-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>PAW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.ecoop.org/committee/paw-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/paw-2022-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>PLF</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.ecoop.org/committee/plf-2022-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>PRIDE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.ecoop.org/committee/pride-2022-workshop-organizers" class="navigate">PRIDE 2022 Workshop Organizers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Truffle</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2022.ecoop.org/committee/truffle-2022-workshop-organizers" class="navigate">Truffle 2022 Workshop Organizers</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://2022.ecoop.org/committee/vortex-2022-workshop-organizers" class="navigate">VORTEX 2022 Workshop Organizers</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://2022.ecoop.org/committee/scala-ecoop-2022-papers-keynote" class="navigate">Keynote</a></li><li class="block"><a href="https://2022.ecoop.org/committee/scala-ecoop-2022-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2022.ecoop.org/committee/scala-ecoop-2022-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2022.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://2022.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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2022</span></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"><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-2022/https%3A%5Es%5Es2022.ecoop.org%5Estrack%5Esecoop-2022-hub-talks" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2022.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://2022.ecoop.org" class="navigate">ECOOP 2022</a> (<a href="https://2022.ecoop.org/series/ecoop" class="navigate">series</a>) / </span><h1>Hub Talks<span class="pull-right small h1">ECOOP 2022</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>ECOOP’22 will feature Hub Talks as global travel is a privilege and an environmental burden. The physical event is a regional hub for community building. We provide authors of existing published research with a regional venue in Berlin to present their work.</p> <h3>Accepted Hub Talks</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="039ffd41-d20f-4f59-baa5-222ed0cffee3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="039ffd41-d20f-4f59-baa5-222ed0cffee3">A Compiler for Sound Floating-Point Computations<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/joaorivera" class="navigate">Joao Rivera</a>, <a href="https://2022.ecoop.org/profile/franzfranchetti" class="navigate">Franz Franchetti</a>, <a href="https://2022.ecoop.org/profile/markuspuschel" class="navigate">Markus Püschel</a></div><a href="https://ieeexplore.ieee.org/document/9741286" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1109/CGO53902.2022.9741286" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="364c4ca5-5139-492e-809c-b7aa6100f045" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="364c4ca5-5139-492e-809c-b7aa6100f045">Benchmarking, analysis, and optimization of serverless function snapshots<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/dmitriiustiugov" class="navigate">Dmitrii Ustiugov</a>, <a href="https://2022.ecoop.org/profile/plamenpetrov" class="navigate">Plamen Petrov</a>, <a href="https://2022.ecoop.org/profile/marioskogias" class="navigate">Marios Kogias</a>, <a href="https://2022.ecoop.org/profile/edouardbugnion" class="navigate">Edouard Bugnion</a>, <a href="https://2022.ecoop.org/profile/borisgrot" class="navigate">Boris Grot</a></div><a href="https://dl.acm.org/doi/10.1145/3445814.3446714" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3445814.3446714" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="50b76798-4075-434a-8b8c-a363f9970b3c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="50b76798-4075-434a-8b8c-a363f9970b3c">On the computation of interprocedural weak control closure<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/abunasermasud" class="navigate">Abu Naser Masud</a></div><a href="https://dl.acm.org/doi/10.1145/3497776.3517782" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3497776.3517782" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="d7c54563-ebfa-47e9-9696-9086521249b4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d7c54563-ebfa-47e9-9696-9086521249b4">Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/marcocampion" class="navigate">Marco Campion</a>, <a href="https://2022.ecoop.org/profile/miladallapreda" class="navigate">Mila Dalla Preda</a>, <a href="https://2022.ecoop.org/profile/robertogiacobazzi" class="navigate">Roberto Giacobazzi</a></div><a href="https://dl.acm.org/doi/10.1145/3498721" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3498721" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="69bf8696-3649-46c4-bf27-8c91ee5ad394" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="69bf8696-3649-46c4-bf27-8c91ee5ad394">Union and intersection contracts are hard, actually<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/teodorofreund" class="navigate">Teodoro Freund</a>, <a href="https://2022.ecoop.org/profile/yannhamdaoui" class="navigate">Yann Hamdaoui</a>, <a href="https://2022.ecoop.org/profile/arnaudspiwack" class="navigate">Arnaud Spiwack</a></div><a href="https://dl.acm.org/doi/10.1145/3486602.3486767" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486602.3486767" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="f10f73be-205f-4f94-8188-ca59258b0261" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f10f73be-205f-4f94-8188-ca59258b0261">What we eval in the shadows: a large-scale study of eval in R programs<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/aviralgoel" class="navigate">Aviral Goel</a>, <a href="https://2022.ecoop.org/profile/pierredonatbouillud" class="navigate">Pierre Donat-Bouillud</a>, <a href="https://2022.ecoop.org/profile/filipkrikava" class="navigate">Filip Křikava</a>, <a href="https://2022.ecoop.org/profile/christophkirsch" class="navigate">Christoph Kirsch</a>, <a href="https://2022.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a></div><a href="https://dl.acm.org/doi/abs/10.1145/3485502" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485502" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table><h2>Talks for SIGPLAN and APLAS publications</h2><p><p>Authors of papers published at an earlier SIGPLAN conference or at APLAS are invited to present their papers in person at ECOOP. The process is minimal: Just submit a talk proposal for your existing publication using the submission form on the right. In case of questions, use the additional information field of the same form.</p> <p><strong>Note:</strong> Available slots are limited and will be assigned in the order that submissions are received.</p> <p><strong>Update:</strong> Slots have been filled. However, you may still register and we will notify you in case there are new openings due to schedule changes. Thank you for your contributions!</p> </p></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><div class="row 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><script type="text/javascript">$(function(){ addInitialFilter( 'track', 'ECOOP Hub Talks') });</script></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://2022.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-2022" /><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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</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://2022.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2022"},],"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 != 60){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 8 Jun</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Wed 8 Jun 2022" data-facet-date-order="220608" data-facet-room="Aurora Borealis 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Program Analysis 1<span class="pull-right"><a href="https://2022.ecoop.org/track/expert-discussion" target="_blank" class="text-muted navigate">Expert Discussion</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" target="_blank" class="text-muted navigate">Hub Talks</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/karimali" target="_blank" class="navigate">Karim Ali</a><span class="prog-aff"> University of Alberta</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="35cadf60-ca40-4d14-962a-4f7165322095" class="hidable"><td class="track-color c10"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Panel</div><span data-facet-track="ECOOP Expert Discussion"></span></td><td><span data-event-star="ef205cfd-e7d4-4834-bfdb-666309aaf80f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ef205cfd-e7d4-4834-bfdb-666309aaf80f">Software verification/program analysis<span class="pull-right"><span data-facet-badge="Expert Discussion" class="output-badge" style="max-width:40px;"><span class="label-primary label">Expert Discussion</span></span></span></a></strong><div class="prog-track">Expert Discussion</div><div class="performers"><span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/omertripp2" class="navigate">Omer Tripp</a><span class="prog-aff"> Amazon</span>, <span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/sebastianerdweg" class="navigate">Sebastian Erdweg</a><span class="prog-aff"> JGU Mainz</span></div></td></tr><tr data-slot-id="8f710771-9db2-4b5c-a3f4-93ffaad5aeb9" class="hidable"><td class="track-color c19"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Hub Talks"></span></td><td><span data-event-star="d7c54563-ebfa-47e9-9696-9086521249b4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d7c54563-ebfa-47e9-9696-9086521249b4">Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a></strong><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/marcocampion" class="navigate">Marco Campion</a><span class="prog-aff"> University of Verona</span>, <a href="https://2022.ecoop.org/profile/miladallapreda" class="navigate">Mila Dalla Preda</a><span class="prog-aff"> University of Verona</span>, <a href="https://2022.ecoop.org/profile/robertogiacobazzi" class="navigate">Roberto Giacobazzi</a><span class="prog-aff"> University of Verona</span></div><a href="https://dl.acm.org/doi/10.1145/3498721" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3498721" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="d73a9c6d-4afd-4a7c-bef7-96a8ea73b43b" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:50</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="284a364c-1e9d-4ef5-bcb2-9772e7656877" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="284a364c-1e9d-4ef5-bcb2-9772e7656877">Concolic Execution for WebAssembly<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/filipemarques" class="navigate">Filipe Marques</a><span class="prog-aff"> INESC-ID / Instituto Superior Tecnico, University of Lisbon</span>, <a href="https://2022.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://2022.ecoop.org/profile/nunosantos" class="navigate">Nuno Santos</a><span class="prog-aff"> INESC-ID / Instituto Superior Tecnico, University of Lisbon</span>, <a href="https://2022.ecoop.org/profile/pedroadao" class="navigate">Pedro Adão</a><span class="prog-aff"> IST-ULisboa and Instituto de Telecomunicações</span></div></td></tr><tr data-slot-id="e3555063-2e19-449e-b855-4f90ffd25862" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:10</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="a0e8c47e-847e-4c80-b1e1-e156f4e31675" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a0e8c47e-847e-4c80-b1e1-e156f4e31675">Static Analysis for AWS Best Practices in Python Code<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/rajdeepmukherjee" class="navigate">Rajdeep Mukherjee</a><span class="prog-aff"> Amazon Web Services</span>, <a href="https://2022.ecoop.org/profile/omertripp2" class="navigate">Omer Tripp</a><span class="prog-aff"> Amazon</span>, <a href="https://2022.ecoop.org/profile/benliblit" class="navigate">Ben Liblit</a><span class="prog-aff"> Amazon</span>, <a href="https://2022.ecoop.org/profile/michaelwilson1" class="navigate">Michael Wilson</a><span class="prog-aff"> Amazon Web Services</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.14" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Wed 8 Jun 2022" data-facet-date-order="220608" data-facet-room="Aurora Borealis 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Verification and Compilation<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" target="_blank" class="text-muted navigate">Hub Talks</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/alexanderjsummers" target="_blank" class="navigate">Alexander J. Summers</a><span class="prog-aff"> University of British Columbia</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d95b961c-90d1-4f9c-97be-8fbb159aea84" class="hidable"><td class="track-color c19"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Hub Talks"></span></td><td><span data-event-star="039ffd41-d20f-4f59-baa5-222ed0cffee3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="039ffd41-d20f-4f59-baa5-222ed0cffee3">A Compiler for Sound Floating-Point Computations<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a></strong><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/joaorivera" class="navigate">Joao Rivera</a><span class="prog-aff"> ETH Zurich</span>, <a href="https://2022.ecoop.org/profile/franzfranchetti" class="navigate">Franz Franchetti</a><span class="prog-aff"> Carnegie Mellon University, USA</span>, <a href="https://2022.ecoop.org/profile/markuspuschel" class="navigate">Markus Püschel</a><span class="prog-aff"> ETH Zurich</span></div><a href="https://ieeexplore.ieee.org/document/9741286" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1109/CGO53902.2022.9741286" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="126b7926-a988-4ab3-9583-a6ba22ea1fe7" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:50</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="2ec5e7d2-dea4-4cbe-ba35-8353628a1fd8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2ec5e7d2-dea4-4cbe-ba35-8353628a1fd8">Verified Compilation and Optimization of Floating-Point Programs in CakeML<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/heikobecker" class="navigate">Heiko Becker</a><span class="prog-aff"> MPI-SWS</span>, <a href="https://2022.ecoop.org/profile/robertrabe" class="navigate">Robert Rabe</a><span class="prog-aff"> TU Munich</span>, <a href="https://2022.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> Uppsala University</span>, <a href="https://2022.ecoop.org/profile/magnusomyreen" class="navigate">Magnus O. Myreen</a><span class="prog-aff"> Chalmers University of Technology</span>, <a href="https://2022.ecoop.org/profile/zacharytatlock" class="navigate">Zachary Tatlock</a><span class="prog-aff"> University of Washington</span>, <a href="https://2022.ecoop.org/profile/ramanakumar" class="navigate">Ramana Kumar</a><span class="prog-aff"> DeepMind</span>, <a href="https://2022.ecoop.org/profile/yongkiamtan" class="navigate">Yong Kiam Tan</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.ecoop.org/profile/anthonyfox1" class="navigate">Anthony C. J. Fox</a><span class="prog-aff"> Arm Limited</span></div></td></tr><tr data-slot-id="80c7ee8b-7fe2-473b-aeda-22088268d610" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</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="e258e2ca-ae2f-424e-9578-c908068fc2c4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e258e2ca-ae2f-424e-9578-c908068fc2c4">REST: Integrating Term Rewriting with Program Verification<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/zacharygrannan1" class="navigate">Zachary Grannan</a><span class="prog-aff"> University of British Columbia</span>, <a href="https://2022.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> Uppsala University</span>, <a href="https://2022.ecoop.org/profile/alexanderjsummers" class="navigate">Alexander J. Summers</a><span class="prog-aff"> University of British Columbia</span>, <a href="https://2022.ecoop.org/profile/nikivazou" class="navigate">Niki Vazou</a><span class="prog-aff"> IMDEA Software Institute</span></div></td></tr><tr data-slot-id="bb5690a2-495f-4637-bfc9-f4ef97d4bcfb" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</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="e2a3f116-5934-4be5-8972-d7ac73c83ddf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e2a3f116-5934-4be5-8972-d7ac73c83ddf">Defining Corecursive Functions in Coq Using Approximations<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/vladrusu1" class="navigate">Vlad Rusu</a><span class="prog-aff"> Inria, Lille, France</span>, <a href="https://2022.ecoop.org/profile/davidnowak1" class="navigate">David Nowak</a><span class="prog-aff"> CRIStAL, CNRS & University of Lille</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 8 Jun 2022" data-facet-date-order="220608" data-facet-room="Aurora Borealis 1" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Language Design<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a> / <a href="https://2022.ecoop.org/track/expert-discussion" target="_blank" class="text-muted navigate">Expert Discussion</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/simonfowler" target="_blank" class="navigate">Simon Fowler</a><span class="prog-aff"> University of Glasgow</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a61504d5-66d4-47b2-9270-69002993da32" class="hidable"><td class="track-color c10"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Panel</div><span data-facet-track="ECOOP Expert Discussion"></span></td><td><span data-event-star="520b2065-3afd-4cab-9660-f3e0f95c9389" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="520b2065-3afd-4cab-9660-f3e0f95c9389">Programming languages and semantics<span class="pull-right"><span data-facet-badge="Expert Discussion" class="output-badge" style="max-width:40px;"><span class="label-primary label">Expert Discussion</span></span></span></a></strong><div class="prog-track">Expert Discussion</div><div class="performers"><span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/alexanderjsummers" class="navigate">Alexander J. Summers</a><span class="prog-aff"> University of British Columbia</span>, <span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/gorelhedin" class="navigate">Gorel Hedin</a><span class="prog-aff"> Lund University</span>, <span title="Author" class="role">A: </span><a href="https://2022.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span></div></td></tr><tr data-slot-id="f2f5c99f-96fc-4a02-aef4-65dbe398b292" class="hidable"><td class="track-color c3"></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="514b7bdf-67a4-4a7d-8b92-117d39e25190" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="514b7bdf-67a4-4a7d-8b92-117d39e25190">Prisma: A tierless language for enforcing contract-client protocols in decentralized apps<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/davidrichter" class="navigate">David Richter</a><span class="prog-aff"> Technical University of Darmstadt</span>, <a href="https://2022.ecoop.org/profile/davidkretzler" class="navigate">David Kretzler</a><span class="prog-aff"> Technical University of Darmstadt</span>, <a href="https://2022.ecoop.org/profile/pascalweisenburger" class="navigate">Pascal Weisenburger</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2022.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2022.ecoop.org/profile/sebastianfaust" class="navigate">Sebastian Faust</a><span class="prog-aff"> Technical University of Darmstadt</span>, <a href="https://2022.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a><span class="prog-aff"> TU Darmstadt</span></div><a href="http://arxiv.org/abs/2205.07780" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2022.ecoop.org/details/ecoop-2022-papers/28/Prisma-A-tierless-language-for-enforcing-contract-client-protocols-in-decentralized-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="bb7b2c4e-ba54-4084-8424-07fe4cb9491e" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16: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="464c2840-065b-4d3a-b15e-c568359b595e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="464c2840-065b-4d3a-b15e-c568359b595e">JavaScript Sealed Classes<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/manuelserrano" class="navigate">Manuel Serrano</a><span class="prog-aff"> Inria</span></div></td></tr><tr data-slot-id="15f5f75d-b66b-454e-ae2f-bb2724c972c5" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16: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="84412e63-78c5-4655-a4e2-26578dff3b9e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="84412e63-78c5-4655-a4e2-26578dff3b9e">Functional programming for distributed systems with XC<span class="pull-right"><span title="Distinguished Artifact Award" data-facet-badge="Distinguished Artifact Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Artifact Award" src="https://2022.ecoop.org/getImageFile/962abf45-6661-461c-8d03-96efdd181cdc/small?1654545168000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/giorgioaudrito" class="navigate">Giorgio Audrito</a><span class="prog-aff"> Università di Torino</span>, <a href="https://2022.ecoop.org/profile/robertocasadei1" class="navigate">Roberto Casadei</a><span class="prog-aff"> University of Bologna, Italy</span>, <a href="https://2022.ecoop.org/profile/ferrucciodamiani" class="navigate">Ferruccio Damiani</a><span class="prog-aff"> University of Turin</span>, <a href="https://2022.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2022.ecoop.org/profile/mirkoviroli1" class="navigate">Mirko Viroli</a><span class="prog-aff"> Alma Mater Studiorum - Università di Bologna</span></div><a href="https://programming-group.com/assets/pdf/papers/2022_Functional-Programming-for-Distributed-Systems-with-XC.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 9 Jun</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Thu 9 Jun 2022" data-facet-date-order="220609" data-facet-room="Aurora Borealis 1" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Session Types 1<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a> / <a href="https://2022.ecoop.org/track/expert-discussion" target="_blank" class="text-muted navigate">Expert Discussion</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/dominicorchard" target="_blank" class="navigate">Dominic Orchard</a><span class="prog-aff"> University of Kent, UK</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4f9e61ed-cb42-4a4c-b6a9-a571629fefcc" class="hidable"><td class="track-color c10"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Panel</div><span data-facet-track="ECOOP Expert Discussion"></span></td><td><span data-event-star="45bd4dab-0529-4b11-be69-7104a357d46c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="45bd4dab-0529-4b11-be69-7104a357d46c">Concurrent and distributed programming<span class="pull-right"><span data-facet-badge="Expert Discussion" class="output-badge" style="max-width:40px;"><span class="label-primary label">Expert Discussion</span></span></span></a></strong><div class="prog-track">Expert Discussion</div><div class="performers"><span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/annettebieniusa" class="navigate">Annette Bieniusa</a><span class="prog-aff"> Technische Universität Kaiserslautern</span>, <span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/andrewkhirsch" class="navigate">Andrew K. Hirsch</a><span class="prog-aff"> MPI-SWS</span></div></td></tr><tr data-slot-id="12accaf3-169f-4fc7-8b7c-37dca2eb88e5" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</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="475de40e-5cc4-4013-ac59-48438f14e928" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="475de40e-5cc4-4013-ac59-48438f14e928">Ferrite: A Judgmental Embedding of Session Types in Rust<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Distinguished Paper Award" data-facet-badge="Distinguished Paper Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper Award" src="https://2022.ecoop.org/getImageFile/88cefd17-8222-4bdd-9297-43dfd7b7c02b/small?1654545013000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/ruofeichen" class="navigate">Ruo Fei Chen</a><span class="prog-aff"> Independent Researcher</span>, <a href="https://2022.ecoop.org/profile/stephaniebalzer" class="navigate">Stephanie Balzer</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.ecoop.org/profile/bernardotoninho" class="navigate">Bernardo Toninho</a><span class="prog-aff"> Nova University of Lisbon / NOVA-LINCS</span></div><a href="https://ferrite.s3.eu-west-1.amazonaws.com/ecoop-2022-preprint.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="92153b81-51bc-461f-93c8-ac714d35eaf3" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:50</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="8e12e436-56d8-4f62-8c2a-0a28bf35b006" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8e12e436-56d8-4f62-8c2a-0a28bf35b006">API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/guillerminacledou" class="navigate">Guillermina Cledou</a><span class="prog-aff"> HASLab, INESC TEC; University of Minho</span>, <a href="https://2022.ecoop.org/profile/lucedixhoven" class="navigate">Luc Edixhoven</a><span class="prog-aff"> Open University of the Netherlands; CWI</span>, <a href="https://2022.ecoop.org/profile/sungshikjongmans" class="navigate">Sung-Shik Jongmans</a><span class="prog-aff"> Open University of the Netherlands; CWI</span>, <a href="https://2022.ecoop.org/profile/joseproenca" class="navigate">José Proença</a><span class="prog-aff"> ISEP P.PORTO & INESC TEC</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Thu 9 Jun 2022" data-facet-date-order="220609" data-facet-room="Aurora Borealis 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Language Implementation<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" target="_blank" class="text-muted navigate">Hub Talks</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/guidosalvaneschi" target="_blank" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3fe1caa3-193e-4948-b99a-defa1a26b9c3" class="hidable"><td class="track-color c19"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Hub Talks"></span></td><td><span data-event-star="364c4ca5-5139-492e-809c-b7aa6100f045" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="364c4ca5-5139-492e-809c-b7aa6100f045">Benchmarking, analysis, and optimization of serverless function snapshots<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a></strong><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/dmitriiustiugov" class="navigate">Dmitrii Ustiugov</a><span class="prog-aff"> ETH Zurich, Switzerland</span>, <a href="https://2022.ecoop.org/profile/plamenpetrov" class="navigate">Plamen Petrov</a><span class="prog-aff"> </span>, <a href="https://2022.ecoop.org/profile/marioskogias" class="navigate">Marios Kogias</a><span class="prog-aff"> Microsoft Research</span>, <a href="https://2022.ecoop.org/profile/edouardbugnion" class="navigate">Edouard Bugnion</a><span class="prog-aff"> EPFL</span>, <a href="https://2022.ecoop.org/profile/borisgrot" class="navigate">Boris Grot</a><span class="prog-aff"> University of Edinburgh, UK</span></div><a href="https://dl.acm.org/doi/10.1145/3445814.3446714" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3445814.3446714" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="43c7f1da-c52e-4750-88ed-0c514c80aec8" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:50</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="384eb120-6b53-4390-be2d-409114bf61f3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="384eb120-6b53-4390-be2d-409114bf61f3">Synchron - An API and Runtime for Embedded Systems<span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/abhiroopsarkar" class="navigate">Abhiroop Sarkar</a><span class="prog-aff"> Chalmers University of Technology</span>, <a href="https://2022.ecoop.org/profile/bojoelsvensson" class="navigate">Bo Joel Svensson</a><span class="prog-aff"> Chalmers University of Technology, Sweden</span>, <a href="https://2022.ecoop.org/profile/maryshe" class="navigate">Mary Sheeran</a><span class="prog-aff"> Chalmers</span></div><a href="https://abhiroop.github.io/pubs/SynchronECOOPOriginal.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="a06814e9-9155-4af7-a62b-3ac9993e1f86" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</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="ebf9667a-551f-48b2-84ee-4e7500bba4a2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ebf9667a-551f-48b2-84ee-4e7500bba4a2">Functional Programming with Datalog<span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/andrepacak" class="navigate">André Pacak</a><span class="prog-aff"> JGU Mainz</span>, <a href="https://2022.ecoop.org/profile/sebastianerdweg" class="navigate">Sebastian Erdweg</a><span class="prog-aff"> JGU Mainz</span></div></td></tr><tr data-slot-id="8d42b908-ca5e-4646-9884-7ff14430b85d" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</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="72a5f36c-2a28-4a54-a2d6-bb36b55fd55b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="72a5f36c-2a28-4a54-a2d6-bb36b55fd55b">Union Types with Disjoint Switches<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/baberrehman" class="navigate">Baber Rehman</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2022.ecoop.org/profile/huangxuejing" class="navigate">Xuejing Huang</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2022.ecoop.org/profile/ningningxie" class="navigate">Ningning Xie</a><span class="prog-aff"> University of Toronto</span>, <a href="https://2022.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 9 Jun 2022" data-facet-date-order="220609" data-facet-room="Aurora Borealis 1" 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 c3"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Session Types 2<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/vascotvasconcelos" target="_blank" class="navigate">Vasco T. Vasconcelos</a><span class="prog-aff"> LASIGE, Faculty of Sciences, University of Lisbon</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="1ceae856-f0d9-44ea-a84a-d195fc7e82e1" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</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="185bfe93-b42d-4645-a727-a07c32179f44" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="185bfe93-b42d-4645-a727-a07c32179f44">A Self-Dual Distillation of Session Types (Pearl)<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/julesjacobs" class="navigate">Jules Jacobs</a><span class="prog-aff"> Radboud University Nijmegen</span></div><a href="https://julesjacobs.com/pdf/lambdabar.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="d03e2fe1-fcba-41ce-85ab-acc722356bbf" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:50</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="2cce9115-f02b-4a5e-899d-3fe52d0ed553" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2cce9115-f02b-4a5e-899d-3fe52d0ed553">Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/nicolaslagaillardie" class="navigate">Nicolas Lagaillardie</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/rumyananeykova" class="navigate">Rumyana Neykova</a><span class="prog-aff"> Brunel University London</span>, <a href="https://2022.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span></div></td></tr><tr data-slot-id="d681b1df-5448-4f7b-9d21-236c87525ec7" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:10</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="dac60e04-df35-4b3b-b87d-b758f428a268" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="dac60e04-df35-4b3b-b87d-b758f428a268">Fair Termination of Multiparty Sessions<span class="pull-right"><span title="Distinguished Paper Award" data-facet-badge="Distinguished Paper Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper Award" src="https://2022.ecoop.org/getImageFile/88cefd17-8222-4bdd-9297-43dfd7b7c02b/small?1654545013000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/lucaciccone" class="navigate">Luca Ciccone</a><span class="prog-aff"> University of Turin</span>, <a href="https://2022.ecoop.org/profile/francescodagnino" class="navigate">Francesco Dagnino</a><span class="prog-aff"> DIBRIS, University of Genova, Italy</span>, <a href="https://2022.ecoop.org/profile/lucapadovani" class="navigate">Luca Padovani</a><span class="prog-aff"> University of Turin</span></div></td></tr><tr data-slot-id="e75abfeb-0d9b-4333-91d5-c3824237c35a" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</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="ffd50b8c-e774-4484-9353-3680505eef77" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ffd50b8c-e774-4484-9353-3680505eef77">Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/lorenzogheri" class="navigate">Lorenzo Gheri</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/ivanlanese" class="navigate">Ivan Lanese</a><span class="prog-aff"> University of Bologna/INRIA</span>, <a href="https://2022.ecoop.org/profile/emiliotuosto1" class="navigate">Emilio Tuosto</a><span class="prog-aff"> Gran Sasso Science Institute, L'Aquila, Italy</span>, <a href="https://2022.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/neilanthonysayers" class="navigate">Neil Anthony Sayers</a><span class="prog-aff"> Imperial College London</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 10 Jun</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Fri 10 Jun 2022" data-facet-date-order="220610" data-facet-room="Aurora Borealis 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Types<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" target="_blank" class="text-muted navigate">Hub Talks</a> / <a href="https://2022.ecoop.org/track/expert-discussion" target="_blank" class="text-muted navigate">Expert Discussion</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/nikivazou" target="_blank" class="navigate">Niki Vazou</a><span class="prog-aff"> IMDEA Software Institute</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="fd6c36e9-28c6-4d6b-a2f2-348c243588b3" class="hidable"><td class="track-color c10"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Panel</div><span data-facet-track="ECOOP Expert Discussion"></span></td><td><span data-event-star="f7120682-e2c9-4b4d-aad9-89fd858fca23" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f7120682-e2c9-4b4d-aad9-89fd858fca23">Type systems<span class="pull-right"><span data-facet-badge="Expert Discussion" class="output-badge" style="max-width:40px;"><span class="label-primary label">Expert Discussion</span></span></span></a></strong><div class="prog-track">Expert Discussion</div><div class="performers"><span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/nikivazou" class="navigate">Niki Vazou</a><span class="prog-aff"> IMDEA Software Institute</span>, <span title="Panelist" class="role">P: </span><a href="https://2022.ecoop.org/profile/peterthiemann" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></div></td></tr><tr data-slot-id="13ea31f0-4537-4bfb-bf29-9b2c96961536" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</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="a47b51e7-aea2-41f2-ae04-9f7f383943a7" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a47b51e7-aea2-41f2-ae04-9f7f383943a7">How to Take the Inverse of a Type<span class="pull-right"><span title="Distinguished Artifact Award" data-facet-badge="Distinguished Artifact Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Artifact Award" src="https://2022.ecoop.org/getImageFile/962abf45-6661-461c-8d03-96efdd181cdc/small?1654545168000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Distinguished Paper Award" data-facet-badge="Distinguished Paper Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper Award" src="https://2022.ecoop.org/getImageFile/88cefd17-8222-4bdd-9297-43dfd7b7c02b/small?1654545013000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/daniellemarshall1" class="navigate">Danielle Marshall</a><span class="prog-aff"> University of Kent, UK</span>, <a href="https://2022.ecoop.org/profile/dominicorchard" class="navigate">Dominic Orchard</a><span class="prog-aff"> University of Kent, UK</span></div><a href="https://starsandspira.ls/docs/ecoop22-draft.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="6dbcf62b-2c4f-4565-80ec-72eaaebdccf5" class="hidable"><td class="track-color c19"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:50</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Hub Talks"></span></td><td><span data-event-star="69bf8696-3649-46c4-bf27-8c91ee5ad394" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="69bf8696-3649-46c4-bf27-8c91ee5ad394">Union and intersection contracts are hard, actually<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a></strong><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/teodorofreund" class="navigate">Teodoro Freund</a><span class="prog-aff"> University of Buenos Aires</span>, <a href="https://2022.ecoop.org/profile/yannhamdaoui" class="navigate">Yann Hamdaoui</a><span class="prog-aff"> Tweag</span>, <a href="https://2022.ecoop.org/profile/arnaudspiwack" class="navigate">Arnaud Spiwack</a><span class="prog-aff"> Tweag</span></div><a href="https://dl.acm.org/doi/10.1145/3486602.3486767" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3486602.3486767" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="3bd90a25-1307-4298-8242-8d8bbfe0721b" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:10</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="f370d0de-3347-4d49-b673-5df4f3228c85" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f370d0de-3347-4d49-b673-5df4f3228c85">Global Type Inference for Featherweight Generic Java<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/andreasstadelmeier" class="navigate">Andreas Stadelmeier</a><span class="prog-aff"> DHBW Stuttgart, Campus Horb, Germany</span>, <a href="https://2022.ecoop.org/profile/martinplumicke" class="navigate">Martin Plümicke</a><span class="prog-aff"> DHBW Stuttgart, Campus Horb, Germany</span>, <a href="https://2022.ecoop.org/profile/peterthiemann" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 10 Jun 2022" data-facet-date-order="220610" data-facet-room="Aurora Borealis 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Program Analysis 2<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" target="_blank" class="text-muted navigate">Hub Talks</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/quentinstievenart" target="_blank" class="navigate">Quentin Stiévenart</a><span class="prog-aff"> Vrije Universiteit Brussel</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4834c1aa-d3b1-48dd-a133-479f08ea72d1" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</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="43add014-c3bb-4a2d-a1e9-469d45b72369" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="43add014-c3bb-4a2d-a1e9-469d45b72369">Low-Level Bi-Abduction<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/lukasholik" class="navigate">Lukáš Holík</a><span class="prog-aff"> Brno University of Technology</span>, <a href="https://2022.ecoop.org/profile/petrperinger1" class="navigate">Petr Peringer</a><span class="prog-aff"> Brno University of Technology</span>, <a href="https://2022.ecoop.org/profile/adamrogalewicz1" class="navigate">Adam Rogalewicz</a><span class="prog-aff"> Brno University of Technology, Faculty of Information Technology</span>, <a href="https://2022.ecoop.org/profile/veronikasokova" class="navigate">Veronika Šoková</a><span class="prog-aff"> Brno University of Technology</span>, <a href="https://2022.ecoop.org/profile/tomasvojnar" class="navigate">Tomáš Vojnar</a><span class="prog-aff"> Brno University of Technology</span>, <a href="https://2022.ecoop.org/profile/florianzuleger" class="navigate">Florian Zuleger</a><span class="prog-aff"> TU Vienna</span></div></td></tr><tr data-slot-id="fd7fb260-6992-4508-91d4-e8f58741b162" class="hidable"><td class="track-color c19"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:50</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Hub Talks"></span></td><td><span data-event-star="50b76798-4075-434a-8b8c-a363f9970b3c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="50b76798-4075-434a-8b8c-a363f9970b3c">On the computation of interprocedural weak control closure<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a></strong><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/abunasermasud" class="navigate">Abu Naser Masud</a><span class="prog-aff"> Malardalen University</span></div><a href="https://dl.acm.org/doi/10.1145/3497776.3517782" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3497776.3517782" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="c37a33ba-1e59-48b4-8804-68a041ed93fd" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:10</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="e4a89d74-a386-419e-8dce-51676c65c25b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e4a89d74-a386-419e-8dce-51676c65c25b">Slicing of Probabilistic Programs based on Specifications<span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/federicoolmedo1" class="navigate">Federico Olmedo</a><span class="prog-aff"> University of Chile & IMFD Chile</span></div><a href="https://arxiv.org/pdf/2205.03707.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="5a5b02e4-1f9a-4f4b-a53a-45191980ea77" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</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="ce083981-ab2c-419c-abe4-51efe9092a61" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ce083981-ab2c-419c-abe4-51efe9092a61">A Deterministic Memory Allocator for Dynamic Symbolic Execution<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/danielschemmel1" class="navigate">Daniel Schemmel</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/julianbuning" class="navigate">Julian Büning</a><span class="prog-aff"> RWTH Aachen University</span>, <a href="https://2022.ecoop.org/profile/frankbusse" class="navigate">Frank Busse</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/martinnowack" class="navigate">Martin Nowack</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/cristiancadar" class="navigate">Cristian Cadar</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="Fri 10 Jun 2022" data-facet-date-order="220610" data-facet-room="Aurora Borealis 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c3"></td><td><div class="slot-label">15:30 - 16:10</div></td><td colspan="2"><div class="session-info-in-table">Potpourri<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" target="_blank" class="text-muted navigate">Hub Talks</a> / <a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-aurora-borealis-1" target="_blank" class="room-link navigate">Aurora Borealis 1</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/benhermann" target="_blank" class="navigate">Ben Hermann</a><span class="prog-aff"> Technical University Dortmund</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d2e4b8e5-96de-4bea-b1a4-9b5b259e6b7f" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</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="54640d8c-ab04-4b2c-9373-99ef176349cd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="54640d8c-ab04-4b2c-9373-99ef176349cd">Hinted Dictionaries: Efficient Functional Ordered Sets and Maps<span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/amirshaikhha" class="navigate">Amir Shaikhha</a><span class="prog-aff"> University of Edinburgh</span>, <a href="https://2022.ecoop.org/profile/hesamshahrokhi" class="navigate">Hesam Shahrokhi</a><span class="prog-aff"> University of Edinburgh</span>, <a href="https://2022.ecoop.org/profile/mahdighorbani" class="navigate">Mahdi Ghorbani</a><span class="prog-aff"> University of Edinburgh</span></div></td></tr><tr data-slot-id="4f465d4a-91c2-49d0-be70-c9d03c5a0c26" class="hidable"><td class="track-color c19"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:50</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Hub Talks"></span></td><td><span data-event-star="f10f73be-205f-4f94-8188-ca59258b0261" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f10f73be-205f-4f94-8188-ca59258b0261">What we eval in the shadows: a large-scale study of eval in R programs<span class="pull-right"><span title="Authors of papers published at an earlier SIGPLAN conference or at APLAS are present their papers in person at ECOOP." data-facet-badge="Hub Talk" class="output-badge" style="max-width:40px;"><span class="label-primary label">Hub Talk</span></span></span></a></strong><div class="prog-track">Hub Talks</div><div class="performers"><a href="https://2022.ecoop.org/profile/aviralgoel" class="navigate">Aviral Goel</a><span class="prog-aff"> Northeastern University</span>, <a href="https://2022.ecoop.org/profile/pierredonatbouillud" class="navigate">Pierre Donat-Bouillud</a><span class="prog-aff"> Czech Technical University</span>, <a href="https://2022.ecoop.org/profile/filipkrikava" class="navigate">Filip Křikava</a><span class="prog-aff"> Czech Technical University</span>, <a href="https://2022.ecoop.org/profile/christophkirsch" class="navigate">Christoph Kirsch</a><span class="prog-aff"> University of Salzburg; Czech Technical University</span>, <a href="https://2022.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University; Czech Technical University</span></div><a href="https://dl.acm.org/doi/abs/10.1145/3485502" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://doi.org/10.1145/3485502" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 16 Jun</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-15"><table data-facet-date="Thu 16 Jun 2022" data-facet-date-order="220616" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">15:00 - 16:30</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 1<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/tijsvanderstorm" target="_blank" class="navigate">Tijs van der Storm</a><span class="prog-aff"> CWI; University of Groningen</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4f01df4f-acbd-4770-af5f-2b7177110176" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="4cc92727-42f6-407e-96bc-5926a9ccd2f4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4cc92727-42f6-407e-96bc-5926a9ccd2f4">PEDroid: Automatically Extracting Patches from Android App Updates<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/hehaoli1" class="navigate">Hehao Li</a><span class="prog-aff"> Shanghai Jiao Tong University</span>, <a href="https://2022.ecoop.org/profile/yizhuowang" class="navigate">Yizhuo Wang</a><span class="prog-aff"> Shanghai Jiao Tong University</span>, <a href="https://2022.ecoop.org/profile/yiweizhang" class="navigate">Yiwei Zhang</a><span class="prog-aff"> Shanghai Jiao Tong University</span>, <a href="https://2022.ecoop.org/profile/juanruli" class="navigate">Juanru Li</a><span class="prog-aff"> Shanghai Jiao Tong University</span>, <a href="https://2022.ecoop.org/profile/dawugu" class="navigate">Dawu Gu</a><span class="prog-aff"> Shanghai Jiao Tong University</span></div></td></tr><tr data-slot-id="1b6e2da8-3cd8-4ac2-adf7-b1ab43239231" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="475de40e-5cc4-4013-ac59-48438f14e928" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="475de40e-5cc4-4013-ac59-48438f14e928">Ferrite: A Judgmental Embedding of Session Types in Rust<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Distinguished Paper Award" data-facet-badge="Distinguished Paper Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper Award" src="https://2022.ecoop.org/getImageFile/88cefd17-8222-4bdd-9297-43dfd7b7c02b/small?1654545013000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/ruofeichen" class="navigate">Ruo Fei Chen</a><span class="prog-aff"> Independent Researcher</span>, <a href="https://2022.ecoop.org/profile/stephaniebalzer" class="navigate">Stephanie Balzer</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.ecoop.org/profile/bernardotoninho" class="navigate">Bernardo Toninho</a><span class="prog-aff"> Nova University of Lisbon / NOVA-LINCS</span></div><a href="https://ferrite.s3.eu-west-1.amazonaws.com/ecoop-2022-preprint.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="dbbf60b4-1f87-45ab-9446-90c52e8f612b" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="9dd526c1-eaac-4dd6-81d6-b4f1b9af2025" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9dd526c1-eaac-4dd6-81d6-b4f1b9af2025">Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/madhurimachakraborty" class="navigate">Madhurima Chakraborty</a><span class="prog-aff"> University of California, Riverside</span>, <a href="https://2022.ecoop.org/profile/renzoolivares" class="navigate">Renzo Olivares</a><span class="prog-aff"> University of California, Riverside</span>, <a href="https://2022.ecoop.org/profile/manusridharan" class="navigate">Manu Sridharan</a><span class="prog-aff"> University of California at Riverside</span>, <a href="https://2022.ecoop.org/profile/behnazhassanshahi" class="navigate">Behnaz Hassanshahi</a><span class="prog-aff"> Oracle Labs, Australia</span></div><a href="https://arxiv.org/pdf/2205.06780.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Thu 16 Jun 2022" data-facet-date-order="220616" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">16:45 - 18:15</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 2<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/sophiadrossopoulou" target="_blank" class="navigate">Sophia Drossopoulou</a><span class="prog-aff"> Facebook and Imperial College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="21a148f6-0091-44eb-b31c-50ec11d1d8eb" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="52e4f1d2-f45a-4aee-b103-7bf28fb67562" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="52e4f1d2-f45a-4aee-b103-7bf28fb67562">Direct Foundations for Compositional Programming<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/andongfan" class="navigate">Andong Fan</a><span class="prog-aff"> Zhejiang University</span>, <a href="https://2022.ecoop.org/profile/huangxuejing" class="navigate">Xuejing Huang</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2022.ecoop.org/profile/hanxu1" class="navigate">Han Xu</a><span class="prog-aff"> Peking University</span>, <a href="https://2022.ecoop.org/profile/yaozhusun" class="navigate">Yaozhu Sun</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2022.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://www.andongfan.com/ecoop22-preprint.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2022.ecoop.org/details/ecoop-2022-papers/21/Direct-Foundations-for-Compositional-Programming" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="674e1a18-8baa-4137-8735-fccb0e6d24f6" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:15</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="39ab1c06-b6c4-46b8-a3e0-aed634f99f46" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="39ab1c06-b6c4-46b8-a3e0-aed634f99f46">Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/francoisgauthier" class="navigate">François Gauthier</a><span class="prog-aff"> Oracle Labs</span>, <a href="https://2022.ecoop.org/profile/behnazhassanshahi" class="navigate">Behnaz Hassanshahi</a><span class="prog-aff"> Oracle Labs, Australia</span>, <a href="https://2022.ecoop.org/profile/benjaminselwynsmith" class="navigate">Benjamin Selwyn-Smith</a><span class="prog-aff"> Oracle Labs</span>, <a href="https://2022.ecoop.org/profile/trongnhanmai" class="navigate">Trong Nhan Mai</a><span class="prog-aff"> Oracle Labs</span>, <a href="https://2022.ecoop.org/profile/maxschluter" class="navigate">Max Schlüter</a><span class="prog-aff"> Oracle Labs</span>, <a href="https://2022.ecoop.org/profile/micahwilliams" class="navigate">Micah Williams</a><span class="prog-aff"> Oracle</span></div></td></tr><tr data-slot-id="6f5a7c86-e186-4d37-9168-16a2d6a76c9d" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="185bfe93-b42d-4645-a727-a07c32179f44" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="185bfe93-b42d-4645-a727-a07c32179f44">A Self-Dual Distillation of Session Types (Pearl)<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/julesjacobs" class="navigate">Jules Jacobs</a><span class="prog-aff"> Radboud University Nijmegen</span></div><a href="https://julesjacobs.com/pdf/lambdabar.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 16 Jun 2022" data-facet-date-order="220616" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">18:30 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 3<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/philipphaller" target="_blank" class="navigate">Philipp Haller</a><span class="prog-aff"> KTH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="69b95f0a-e665-4c59-8bd8-3ce728d6a15e" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:30</div><strong>30m</strong></div><div class="event-type">Keynote</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="51def2db-630b-42f1-b43f-1880a559d747" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="51def2db-630b-42f1-b43f-1880a559d747">Are Programming Languages the Key to Distributed Systems?<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="Keynote" data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><img alt="Keynote" src="https://2022.ecoop.org/getImageFile/b4752ac3-d411-4d28-83fe-f3e04b65c99a/small?1655196369000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><span title="Keynote Speaker" class="role">K: </span><a href="https://2022.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span></div><a href="https://2022.ecoop.org/details/ecoop-2022-papers/37/Are-Programming-Languages-the-Key-to-Distributed-Systems-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 23 Jun</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-15"><table data-facet-date="Thu 23 Jun 2022" data-facet-date-order="220623" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">15:00 - 16:30</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 4<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/elisagonzalezboix" target="_blank" class="navigate">Elisa Gonzalez Boix</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="00f24aff-5fe8-4ed2-a4fb-88256f79ffbf" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="5b6c30f7-ddd5-41db-8a23-43e86cc98706" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5b6c30f7-ddd5-41db-8a23-43e86cc98706">Accumulation Analysis<span class="pull-right"><span title="Distinguished Artifact Award" data-facet-badge="Distinguished Artifact Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Artifact Award" src="https://2022.ecoop.org/getImageFile/962abf45-6661-461c-8d03-96efdd181cdc/small?1654545168000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/martinkellogg" class="navigate">Martin Kellogg</a><span class="prog-aff"> University of Washington</span>, <a href="https://2022.ecoop.org/profile/nargesshadab1" class="navigate">Narges Shadab</a><span class="prog-aff"> University of California at Riverside</span>, <a href="https://2022.ecoop.org/profile/manusridharan" class="navigate">Manu Sridharan</a><span class="prog-aff"> University of California at Riverside</span>, <a href="https://2022.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a><span class="prog-aff"> University of Washington</span></div></td></tr><tr data-slot-id="a61fca6d-52df-404c-831c-80fb325bd7d4" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="ed6aeb39-a314-4230-9d3e-b1cb982f79a9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ed6aeb39-a314-4230-9d3e-b1cb982f79a9">Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/dongjiehe" class="navigate">Dongjie He</a><span class="prog-aff"> UNSW Sydney</span>, <a href="https://2022.ecoop.org/profile/jingbolu" class="navigate">Jingbo Lu</a><span class="prog-aff"> UNSW Sydney</span>, <a href="https://2022.ecoop.org/profile/jinglingxue" class="navigate">Jingling Xue</a><span class="prog-aff"> UNSW Sydney</span></div></td></tr><tr data-slot-id="ee1745eb-0b1e-41ac-8258-4903177a1cb3" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="84412e63-78c5-4655-a4e2-26578dff3b9e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="84412e63-78c5-4655-a4e2-26578dff3b9e">Functional programming for distributed systems with XC<span class="pull-right"><span title="Distinguished Artifact Award" data-facet-badge="Distinguished Artifact Award" class="output-badge" style="max-width:40px;"><img alt="Distinguished Artifact Award" src="https://2022.ecoop.org/getImageFile/962abf45-6661-461c-8d03-96efdd181cdc/small?1654545168000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/giorgioaudrito" class="navigate">Giorgio Audrito</a><span class="prog-aff"> Università di Torino</span>, <a href="https://2022.ecoop.org/profile/robertocasadei1" class="navigate">Roberto Casadei</a><span class="prog-aff"> University of Bologna, Italy</span>, <a href="https://2022.ecoop.org/profile/ferrucciodamiani" class="navigate">Ferruccio Damiani</a><span class="prog-aff"> University of Turin</span>, <a href="https://2022.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2022.ecoop.org/profile/mirkoviroli1" class="navigate">Mirko Viroli</a><span class="prog-aff"> Alma Mater Studiorum - Università di Bologna</span></div><a href="https://programming-group.com/assets/pdf/papers/2022_Functional-Programming-for-Distributed-Systems-with-XC.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Thu 23 Jun 2022" data-facet-date-order="220623" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">16:45 - 18:15</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 5<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/philipphaller" target="_blank" class="navigate">Philipp Haller</a><span class="prog-aff"> KTH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="007dda63-410e-4006-88b5-4ce59e52f8eb" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b1fa9fbf-a61f-4828-945c-3ca62c0a7fe4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b1fa9fbf-a61f-4828-945c-3ca62c0a7fe4">Vincent: Green Hot Methods in the JVM<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/kenanliu" class="navigate">Kenan Liu</a><span class="prog-aff"> SUNY Binghamton</span>, <a href="https://2022.ecoop.org/profile/khaledmahmoud" class="navigate">Khaled Mahmoud</a><span class="prog-aff"> SUNY Binghamton, USA</span>, <a href="https://2022.ecoop.org/profile/joonhwanyoo" class="navigate">Joonhwan Yoo</a><span class="prog-aff"> SUNY Binghamton</span>, <a href="https://2022.ecoop.org/profile/yudavidliu1" class="navigate">Yu David Liu</a><span class="prog-aff"> SUNY Binghamton</span></div><a href="http://www.cs.binghamton.edu/~davidl/papers/ECOOP22.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="4eb7f9db-92c4-404b-8546-971c910b2944" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:15</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="2ec5e7d2-dea4-4cbe-ba35-8353628a1fd8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2ec5e7d2-dea4-4cbe-ba35-8353628a1fd8">Verified Compilation and Optimization of Floating-Point Programs in CakeML<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/heikobecker" class="navigate">Heiko Becker</a><span class="prog-aff"> MPI-SWS</span>, <a href="https://2022.ecoop.org/profile/robertrabe" class="navigate">Robert Rabe</a><span class="prog-aff"> TU Munich</span>, <a href="https://2022.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> Uppsala University</span>, <a href="https://2022.ecoop.org/profile/magnusomyreen" class="navigate">Magnus O. Myreen</a><span class="prog-aff"> Chalmers University of Technology</span>, <a href="https://2022.ecoop.org/profile/zacharytatlock" class="navigate">Zachary Tatlock</a><span class="prog-aff"> University of Washington</span>, <a href="https://2022.ecoop.org/profile/ramanakumar" class="navigate">Ramana Kumar</a><span class="prog-aff"> DeepMind</span>, <a href="https://2022.ecoop.org/profile/yongkiamtan" class="navigate">Yong Kiam Tan</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.ecoop.org/profile/anthonyfox1" class="navigate">Anthony C. J. Fox</a><span class="prog-aff"> Arm Limited</span></div></td></tr><tr data-slot-id="e552792c-8789-4cba-9984-4649fe041c5f" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="6be179a6-ce72-4427-a8fc-a824106e356d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6be179a6-ce72-4427-a8fc-a824106e356d">Compiling Volatile Correctly in Java<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/shuyangliu" class="navigate">Shuyang Liu</a><span class="prog-aff"> UCLA</span>, <a href="https://2022.ecoop.org/profile/johnbender1" class="navigate">John Bender</a><span class="prog-aff"> Sandia National Laboratories</span>, <a href="https://2022.ecoop.org/profile/jenspalsberg" class="navigate">Jens Palsberg</a><span class="prog-aff"> University of California at Los Angeles</span></div></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 23 Jun 2022" data-facet-date-order="220623" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">18:30 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 6<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/elisagonzalezboix" target="_blank" class="navigate">Elisa Gonzalez Boix</a><span class="prog-aff"> Vrije Universiteit Brussel, Belgium</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="86b7d174-6fdf-4e3d-a4d3-338bc96a7fea" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="72a5f36c-2a28-4a54-a2d6-bb36b55fd55b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="72a5f36c-2a28-4a54-a2d6-bb36b55fd55b">Union Types with Disjoint Switches<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/baberrehman" class="navigate">Baber Rehman</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2022.ecoop.org/profile/huangxuejing" class="navigate">Xuejing Huang</a><span class="prog-aff"> The University of Hong Kong</span>, <a href="https://2022.ecoop.org/profile/ningningxie" class="navigate">Ningning Xie</a><span class="prog-aff"> University of Toronto</span>, <a href="https://2022.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 30 Jun</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-15"><table data-facet-date="Thu 30 Jun 2022" data-facet-date-order="220630" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">15:00 - 16:30</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 7<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/philipphaller" target="_blank" class="navigate">Philipp Haller</a><span class="prog-aff"> KTH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7fac74ae-1893-40c6-a6e4-42d1f796118d" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="16e53cac-5b24-4569-9615-fa3bfd0d8d79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="16e53cac-5b24-4569-9615-fa3bfd0d8d79">What If We Don’t Pop the Stack? The Return of Second-Class Values<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/anxheloxhebraj" class="navigate">Anxhelo Xhebraj</a><span class="prog-aff"> Purdue University</span>, <a href="https://2022.ecoop.org/profile/oliverbracevac" class="navigate">Oliver Bračevac</a><span class="prog-aff"> Purdue University</span>, <a href="https://2022.ecoop.org/profile/guannanwei" class="navigate">Guannan Wei</a><span class="prog-aff"> Purdue University</span>, <a href="https://2022.ecoop.org/profile/tiarkrompf" class="navigate">Tiark Rompf</a><span class="prog-aff"> Purdue University</span></div><a href="https://drops.dagstuhl.de/opus/volltexte/2022/16243/" 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.2022.15" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="605715a5-92cb-439c-8c4e-e667481c4b29" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="46bef72b-4cf1-4af3-81cf-d3d6dd358966" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="46bef72b-4cf1-4af3-81cf-d3d6dd358966">NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/andrewlumsdaine1" class="navigate">Andrew Lumsdaine</a><span class="prog-aff"> TileDB, Inc., University of Washington, Pacific Northwest National Laboratory</span>, <a href="https://2022.ecoop.org/profile/lukedalessandro" class="navigate">Luke Dalessandro</a><span class="prog-aff"> Indiana University</span>, <a href="https://2022.ecoop.org/profile/jesunsahariarfiroz" class="navigate">Jesun Sahariar Firoz</a><span class="prog-aff"> Pacific Northwest National Lab</span>, <a href="https://2022.ecoop.org/profile/xuliu1" class="navigate">Xu Liu</a><span class="prog-aff"> University of Washington</span>, <a href="https://2022.ecoop.org/profile/philratzloff" class="navigate">Phil Ratzloff</a><span class="prog-aff"> SAS</span>, <a href="https://2022.ecoop.org/profile/scottmcmillan" class="navigate">Scott McMillan</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://2022.ecoop.org/profile/marcin" class="navigate"> Marcin</a><span class="prog-aff"> Zalewski</span>, <a href="https://2022.ecoop.org/profile/kevindeweese" class="navigate">Kevin Deweese</a><span class="prog-aff"> Cadence</span></div></td></tr><tr data-slot-id="e8054469-4d78-4457-8fb8-51d5a7d3cee8" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="514b7bdf-67a4-4a7d-8b92-117d39e25190" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="514b7bdf-67a4-4a7d-8b92-117d39e25190">Prisma: A tierless language for enforcing contract-client protocols in decentralized apps<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/davidrichter" class="navigate">David Richter</a><span class="prog-aff"> Technical University of Darmstadt</span>, <a href="https://2022.ecoop.org/profile/davidkretzler" class="navigate">David Kretzler</a><span class="prog-aff"> Technical University of Darmstadt</span>, <a href="https://2022.ecoop.org/profile/pascalweisenburger" class="navigate">Pascal Weisenburger</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2022.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2022.ecoop.org/profile/sebastianfaust" class="navigate">Sebastian Faust</a><span class="prog-aff"> Technical University of Darmstadt</span>, <a href="https://2022.ecoop.org/profile/miramezini" class="navigate">Mira Mezini</a><span class="prog-aff"> TU Darmstadt</span></div><a href="http://arxiv.org/abs/2205.07780" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2022.ecoop.org/details/ecoop-2022-papers/28/Prisma-A-tierless-language-for-enforcing-contract-client-protocols-in-decentralized-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Thu 30 Jun 2022" data-facet-date-order="220630" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">16:45 - 18:15</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 8<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/tijsvanderstorm" target="_blank" class="navigate">Tijs van der Storm</a><span class="prog-aff"> CWI; University of Groningen</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8eeb3425-28b5-438b-b83e-2f88a5d72c84" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="07c3ed13-9a5d-4277-9fdd-2b98c7c00400" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="07c3ed13-9a5d-4277-9fdd-2b98c7c00400">Maniposynth: Bimodal Tangible Functional Programming<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/brianhempel" class="navigate">Brian Hempel</a><span class="prog-aff"> University of Chicago</span>, <a href="https://2022.ecoop.org/profile/ravichugh" class="navigate">Ravi Chugh</a><span class="prog-aff"> University of Chicago</span></div><a href="http://maniposynth.org/assets/Maniposynth-Bimodal-Tangible-Functional-Programming-with-Appendices.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://2022.ecoop.org/details/ecoop-2022-papers/18/Maniposynth-Bimodal-Tangible-Functional-Programming" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="35dd9ac8-095d-4f1f-b00c-b93470b17811" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:15</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="b4e6e058-0fdc-46e6-86f7-d1d316d530ef" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b4e6e058-0fdc-46e6-86f7-d1d316d530ef">Elementary Type Inference<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/jinxuzhao" class="navigate">Jinxu Zhao</a><span class="prog-aff"> University of Hong Kong</span>, <a href="https://2022.ecoop.org/profile/brunooliveira" class="navigate">Bruno C. d. S. Oliveira</a><span class="prog-aff"> University of Hong Kong</span></div></td></tr><tr data-slot-id="ca3cb333-51b6-405e-92c9-93d59b69eff3" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e2a3f116-5934-4be5-8972-d7ac73c83ddf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e2a3f116-5934-4be5-8972-d7ac73c83ddf">Defining Corecursive Functions in Coq Using Approximations<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/vladrusu1" class="navigate">Vlad Rusu</a><span class="prog-aff"> Inria, Lille, France</span>, <a href="https://2022.ecoop.org/profile/davidnowak1" class="navigate">David Nowak</a><span class="prog-aff"> CRIStAL, CNRS & University of Lille</span></div></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 30 Jun 2022" data-facet-date-order="220630" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">18:30 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 9<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/tijsvanderstorm" target="_blank" class="navigate">Tijs van der Storm</a><span class="prog-aff"> CWI; University of Groningen</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="9bcff9a5-866b-4405-b3e1-a1f6bd73f9f4" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:30</div><strong>30m</strong></div><div class="event-type">Keynote</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="cac77381-f4b9-4781-bb2e-7db187c0138e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cac77381-f4b9-4781-bb2e-7db187c0138e">From AI for Code to AI for Coding<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="Keynote" data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><img alt="Keynote" src="https://2022.ecoop.org/getImageFile/b4752ac3-d411-4d28-83fe-f3e04b65c99a/small?1655196369000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/albertziegler" class="navigate">Albert Ziegler</a><span class="prog-aff"> GitHub</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 7 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-15"><table data-facet-date="Thu 7 Jul 2022" data-facet-date-order="220707" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">15:00 - 16:30</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 10<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/philipphaller" target="_blank" class="navigate">Philipp Haller</a><span class="prog-aff"> KTH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="33a05984-bc5a-4a61-af46-8a5e58f369c6" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="8e12e436-56d8-4f62-8c2a-0a28bf35b006" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8e12e436-56d8-4f62-8c2a-0a28bf35b006">API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/guillerminacledou" class="navigate">Guillermina Cledou</a><span class="prog-aff"> HASLab, INESC TEC; University of Minho</span>, <a href="https://2022.ecoop.org/profile/lucedixhoven" class="navigate">Luc Edixhoven</a><span class="prog-aff"> Open University of the Netherlands; CWI</span>, <a href="https://2022.ecoop.org/profile/sungshikjongmans" class="navigate">Sung-Shik Jongmans</a><span class="prog-aff"> Open University of the Netherlands; CWI</span>, <a href="https://2022.ecoop.org/profile/joseproenca" class="navigate">José Proença</a><span class="prog-aff"> ISEP P.PORTO & INESC TEC</span></div></td></tr><tr data-slot-id="5b4bdfca-b732-4b4b-a986-b7bbac14f387" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="f370d0de-3347-4d49-b673-5df4f3228c85" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f370d0de-3347-4d49-b673-5df4f3228c85">Global Type Inference for Featherweight Generic Java<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/andreasstadelmeier" class="navigate">Andreas Stadelmeier</a><span class="prog-aff"> DHBW Stuttgart, Campus Horb, Germany</span>, <a href="https://2022.ecoop.org/profile/martinplumicke" class="navigate">Martin Plümicke</a><span class="prog-aff"> DHBW Stuttgart, Campus Horb, Germany</span>, <a href="https://2022.ecoop.org/profile/peterthiemann" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></div></td></tr><tr data-slot-id="228676a6-c76b-4d83-afab-a9a9de1e9305" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="2cce9115-f02b-4a5e-899d-3fe52d0ed553" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2cce9115-f02b-4a5e-899d-3fe52d0ed553">Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/nicolaslagaillardie" class="navigate">Nicolas Lagaillardie</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/rumyananeykova" class="navigate">Rumyana Neykova</a><span class="prog-aff"> Brunel University London</span>, <a href="https://2022.ecoop.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span></div></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Thu 7 Jul 2022" data-facet-date-order="220707" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">16:45 - 18:15</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 11<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/douglea" target="_blank" class="navigate">Doug Lea</a><span class="prog-aff"> State University of New York (SUNY) Oswego</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4a0b8185-d565-4f7b-b995-b164bf1c239f" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="e258e2ca-ae2f-424e-9578-c908068fc2c4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e258e2ca-ae2f-424e-9578-c908068fc2c4">REST: Integrating Term Rewriting with Program Verification<span class="pull-right"><span title="Artifacts Evaluated - Reusable" data-facet-badge="Artifacts Evaluated - Reusable" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Reusable" src="https://2022.ecoop.org/getImageFile/619b5740-0ddc-40b2-8d98-7acf62533af4/small?1653305050000" class="outputimage"/></span></span><span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/zacharygrannan1" class="navigate">Zachary Grannan</a><span class="prog-aff"> University of British Columbia</span>, <a href="https://2022.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> Uppsala University</span>, <a href="https://2022.ecoop.org/profile/alexanderjsummers" class="navigate">Alexander J. Summers</a><span class="prog-aff"> University of British Columbia</span>, <a href="https://2022.ecoop.org/profile/nikivazou" class="navigate">Niki Vazou</a><span class="prog-aff"> IMDEA Software Institute</span></div></td></tr><tr data-slot-id="81219b66-cb41-4ffc-831d-b45b54374bae" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:15</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="a0e8c47e-847e-4c80-b1e1-e156f4e31675" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a0e8c47e-847e-4c80-b1e1-e156f4e31675">Static Analysis for AWS Best Practices in Python Code<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/rajdeepmukherjee" class="navigate">Rajdeep Mukherjee</a><span class="prog-aff"> Amazon Web Services</span>, <a href="https://2022.ecoop.org/profile/omertripp2" class="navigate">Omer Tripp</a><span class="prog-aff"> Amazon</span>, <a href="https://2022.ecoop.org/profile/benliblit" class="navigate">Ben Liblit</a><span class="prog-aff"> Amazon</span>, <a href="https://2022.ecoop.org/profile/michaelwilson1" class="navigate">Michael Wilson</a><span class="prog-aff"> Amazon Web Services</span></div><a href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.14" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="ef1ae70c-164d-4bf3-9728-d0e407c57ccc" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:45</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="ce083981-ab2c-419c-abe4-51efe9092a61" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ce083981-ab2c-419c-abe4-51efe9092a61">A Deterministic Memory Allocator for Dynamic Symbolic Execution<span class="pull-right"><span title="Artifacts Evaluated - Functional" data-facet-badge="Artifacts Evaluated - Functional" class="output-badge" style="max-width:40px;"><img alt="Artifacts Evaluated - Functional" src="https://2022.ecoop.org/getImageFile/d0e3f519-0e83-488b-b9ad-ee9fc043222e/small?1653305061000" class="outputimage"/></span></span><span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="The presentation of this paper will happen at ECOOP in Berlin" data-facet-badge="ECOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">ECOOP 2022</span></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://2022.ecoop.org/profile/danielschemmel1" class="navigate">Daniel Schemmel</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/julianbuning" class="navigate">Julian Büning</a><span class="prog-aff"> RWTH Aachen University</span>, <a href="https://2022.ecoop.org/profile/frankbusse" class="navigate">Frank Busse</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/martinnowack" class="navigate">Martin Nowack</a><span class="prog-aff"> Imperial College London</span>, <a href="https://2022.ecoop.org/profile/cristiancadar" class="navigate">Cristian Cadar</a><span class="prog-aff"> Imperial College London, UK</span></div></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Thu 7 Jul 2022" data-facet-date-order="220707" data-facet-room="Zoom" 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 c3"></td><td><div class="slot-label">18:30 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">VCOOP 12<span class="pull-right"><a href="https://2022.ecoop.org/track/ecoop-2022-papers" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://2022.ecoop.org/room/ecoop-2022-venue-vcoop-zoom" target="_blank" class="room-link navigate">Zoom</a><br/> <small>Chair(s): <a href="https://2022.ecoop.org/profile/philipphaller" target="_blank" class="navigate">Philipp Haller</a><span class="prog-aff"> KTH</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="28a3e2fd-d179-4b4b-bb12-a35abdcd0ede" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:30</div><strong>30m</strong></div><div class="event-type">Keynote</div><span data-facet-track="ECOOP Research Papers"></span></td><td><span data-event-star="78ffe41d-9468-428f-aa4f-f2bcb8725224" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="78ffe41d-9468-428f-aa4f-f2bcb8725224">Hedy: Creating a gradual programming language<span class="pull-right"><span title="The presentation of this paper will happen at VCOOP" data-facet-badge="VCOOP 2022" class="output-badge" style="max-width:40px;"><span class="label-primary label">VCOOP 2022</span></span></span><span class="pull-right"><span title="Keynote" data-facet-badge="Keynote" class="output-badge" style="max-width:40px;"><img alt="Keynote" src="https://2022.ecoop.org/getImageFile/b4752ac3-d411-4d28-83fe-f3e04b65c99a/small?1655196369000" class="outputimage"/></span></span></a></strong><div class="prog-track">Research Papers</div><div class="performers"><span title="Keynote Speaker" class="role">K: </span><a href="https://2022.ecoop.org/profile/feliennehermans" class="navigate">Felienne Hermans</a><span class="prog-aff"> Leiden University</span></div></td></tr></table></div></div></div></div></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://docs.google.com/forms/d/e/1FAIpQLSdPrS8E3nkO4a8un2QLf8GEyM-XhQW71bDZ3U_fACVV_oy4yA/viewform" title="Submission link for Talks for SIGPLAN and APLAS publications" target="_blank" class="navigate">https://docs.google.com/forms/d/e/1FAIpQLSdPrS8E3nkO4a8un2QLf8GEyM-XhQW71bDZ3U_fACVV_oy4yA/viewform</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2022.ecoop.org/committee/ecoop-2022-hub-talks-commitee" class="navigate">Commitee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2022.ecoop.org/profile/ragnarmogk" class="navigate"><div class="media"><span class="pull-left"><img alt="Ragnar Mogk" src="https://2022.ecoop.org/getProfileImage/ragnarmogk/8e5a1565-72fb-4dcb-aa85-81ef9cd67222/micro-avatar.jpg?1711458410000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ragnar Mogk<span class="pull-right"><small>Hub Talk Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Technische Universität Darmstadt</span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 19 Feb 21:56</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://2022.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-2022" /><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://2022.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2022"},],"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://2022.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-2022" /><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://2022.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2022"},],"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://2022.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2022</a></h3><div><a href="https://2022.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.69.0</a>)<br/><small><a href="https://2022.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://2022.ecoop.org/track/ecoop-2022-awards" class="navigate">Awards</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-keynotes" class="navigate">Keynotes</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-papers" class="navigate">Research Papers</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-workshops" class="navigate">Workshops</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-artifacts" class="navigate">Artifacts</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2022.ecoop.org/track/expert-discussion" class="navigate">Expert Discussion</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-hub-talks" class="navigate">Hub Talks</a><br/><a href="https://2022.ecoop.org/track/ecoop-2022-Student-Volunteers" class="navigate">Student Volunteers</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2022.ecoop.org/home/COP-2022" class="navigate">COP 2022</a><br/><a href="https://2022.ecoop.org/track/ftfjp-2022" class="navigate">FTfJP 2022</a><br/><a href="https://2022.ecoop.org/home/ICOOOLPS-2022" class="navigate">ICOOOLPS 2022</a><br/><a href="https://2022.ecoop.org/home/paw-2022" class="navigate">PAW 2022</a><br/><a href="https://2022.ecoop.org/home/plf-2022" class="navigate">PLF 2022</a><br/><a href="https://2022.ecoop.org/home/pride-2022" class="navigate">PRIDE 2022</a><br/><a href="https://2022.ecoop.org/home/truffle-2022" class="navigate">Truffle 2022</a><br/><a href="https://2022.ecoop.org/home/vortex-2022" class="navigate">VORTEX 2022</a><br/><h4>Co-hosted Symposia</h4><a href="https://2022.ecoop.org/home/scala-2022" class="navigate">Scala 2022</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2022.ecoop.org/venue/ecoop-2022-venue" class="navigate">ECOOP: Scandic Potsdamer Platz, Berlin</a><br><a href="https://2022.ecoop.org/venue/ecoop-2022-venue-vcoop" class="navigate">VCOOP: Virtual Meeting(s)</a><br><a href="https://2022.ecoop.org/venue/ecoop-2022-banquet" class="navigate">Banquet: Clärchen's Ballhaus</a><br><a href="https://2022.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2022.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2022.ecoop.org/attending/Visa" class="navigate">Visa</a><br><a href="https://2022.ecoop.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2022.ecoop.org/attending/Registration-ecoop" class="navigate">Registration</a><br><a href="https://2022.ecoop.org/attending/schedule" class="navigate">Schedule</a><br><a href="https://2022.ecoop.org/attending/conference-impressions" class="navigate">Conference Impressions</a></div><div class="col-sm-2"><a href="https://2022.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>