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://2020.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Davide Ancona - ECOOP 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.ecoop.org";</script> <link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/getFile/a03c8d2f-435f-408e-bdb4-1f9c3de80d08/custom.css?1594641067716" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Davide Ancona - ECOOP 2020'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.ecoop.org/getImage/carousel/5632590238_cc8c37673e_o.jpg?1570607225000'> <script>if(window.location.href.indexOf("2020.ecoop.org/program/") > 0 ) { window.location.replace("https://2020.splashcon.org/program/program-splash-2020"); }</script> <script>$(function() {$(":root").attr("lang", "en-US");}); $(function() {if ($('.carousel').length > 0) { /*$('body').addClass("with-carousel");*/ $('.carousel').remove(); /*replace program links to link to splash program*/ $('#program-menu a[href="https://2020.ecoop.org/program/program-ecoop-2020"]').attr('href', "https://2020.splashcon.org/program/program-splash-2020"); }})</script> </head> <body id="profile"><div class="frame"><div class="logobar"><div class="container"><a href="https://2020.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2020</span></a><div class="place">Sun 15 - Tue 17 November 2020 <a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Online Conference</a></div><div class="place2">co-located with <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li><a href="https://2020.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li><a href="https://2020.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a></li><li class="dropdown-header">SPLASH 2020</li><li><a href="https://2020.ecoop.org/attending/Students" class="indent navigate">Students</a></li><li><a href="https://2020.ecoop.org/attending/Registration" class="indent navigate">Registration</a></li><li><a href="https://2020.ecoop.org/attending/awards" class="indent navigate">Awards</a></li><li><a href="https://2020.ecoop.org/attending/sponsoring" class="indent navigate">Sponsoring</a></li><li><a href="https://2020.ecoop.org/attending/Conduct" class="indent navigate">Code of conduct</a></li><li><a href="https://2020.ecoop.org/attending/Certificate+of+Attendance" class="indent navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li><a href="https://2020.ecoop.org/program/program-ecoop-2020/" class="navigate">ECOOP Program</a></li><li><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="dropdown-header">ECOOP 2020</li><li><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate">Research Papers</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate">Artifacts</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate">Tutorials</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate">Posters</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="dropdown-header">Workshops</li><li><a href="https://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="dropdown-header">Co-hosted Symposia</li><li><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="dropdown-header">ECOOP 2020 Committees</li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="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><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate">Academic Panel</a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://2020.ecoop.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="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><a href="https://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/COP-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>IWACO</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>JSTools</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PRIDE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/pride-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/soop-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SySEPL</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/vortex-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="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><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li><a href="https://2020.ecoop.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2020</span></li><li><a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a></li><li><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li><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><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><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><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><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><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><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><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><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><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><a href="https://conf.researchr.org/signin/ecoop-2020/https%3A%5Es%5Es2020.ecoop.org%5Esprofile%5Esdavideancona" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://2020.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://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.ecoop.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a> (<a href="https://2020.ecoop.org/series/ecoop" class="navigate">series</a>) / </span>Davide Ancona<span class="pull-right"><small><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">SPLASH 2020 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/conf/davideancona" class="navigate">conf.research.org general profile</a></li><li><a href="https://2015.ecoop.org/profile/davideancona" class="navigate">ECOOP 2015 profile</a></li><li><a href="https://2016.ecoop.org/profile/davideancona" class="navigate">ECOOP 2016 profile</a></li><li><a href="https://2019.ecoop.org/profile/davideancona" class="navigate">ECOOP 2019 profile</a></li><li><a href="https://2022.ecoop.org/profile/davideancona" class="navigate">ECOOP 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2018/davideancona" class="navigate">ECOOP and ISSTA 2018 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2021/davideancona" class="navigate">ECOOP and ISSTA 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2023/davideancona" class="navigate">ECOOP and ISSTA 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/flops-2022/davideancona" class="navigate">FLOPS 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-ecoop-2024/davideancona" class="navigate">ISSTA/ECOOP 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/pldi-ecoop-2017/davideancona" class="navigate">PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile</a></li><li><a href="https://2013.splashcon.org/profile/davideancona" class="navigate">SPLASH 2013 profile</a></li><li><a href="https://2016.splashcon.org/profile/davideancona" class="navigate">SPLASH 2016 profile</a></li><li><a href="https://2017.splashcon.org/profile/davideancona" class="navigate">SPLASH 2017 profile</a></li><li><a href="https://2018.splashcon.org/profile/davideancona" class="navigate">SPLASH 2018 profile</a></li><li><a href="https://2019.splashcon.org/profile/davideancona" class="navigate">SPLASH 2019 profile</a></li><li><a href="https://2021.splashcon.org/profile/davideancona" class="navigate">SPLASH 2021 profile</a></li><li><a href="https://2023.splashcon.org/profile/davideancona" class="navigate">SPLASH 2023 profile</a></li><li><a href="https://2018.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2018 profile</a></li><li><a href="https://2019.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2019 profile</a></li><li><a href="https://2020.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2020 profile</a></li><li><a href="https://2021.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2021 profile</a></li><li><a href="https://2022.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2022 profile</a></li><li><a href="https://2023.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2023 profile</a></li><li><a href="https://2025.programming-conference.org/profile/davideancona" class="navigate">‹Programming› 2025 profile</a></li></ul></div></small></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Davide Ancona" src="https://2020.ecoop.org/getProfileImage/davideancona/d25f9827-f854-4606-a3a4-5787f294fd62/small.jpg?1718097157000" class="outputimage thumbnail"/><p><small>Registered user since Wed 24 Jun 2015</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Davide Ancona</div><div class="profile-item"><span class="profile-item-heading">Bio:</span><p>Davide Ancona (PhD in Computer Science, University of Pisa, 1998) is Associate Professor at the University of Genova. His main research interests include type systems, object-oriented programming, coinduction methods for programming languages, modules and components, software reuse and maintenance, multi-agent systems, and behavioral types. He is author of more than 70 publications. He is the secretary of the executive board of AITO, Association Internationale pour les Technologies Objets (since Jan 2013, previously Vice-President since Jan 2012), and member of the editorial board of the ACM/SIGAPP Applied Computing Review (ACR), Scientific Programming (Hindawi), and Open Computer Science. He has been guest editor of special issues of Science of Computer Programming and Journal of Object Technology. In 2009 he received, together with G. Lagorio, the best paper prize at ECOOP. He has participated to several national and European projects and has been PC member of several workshops and conferences: WOOD’04, Bytecode 2008, ESOP 2008, DLS 2009, 2010 and 2013, FOOL 2010, RP 2011 and 2012, ECOOP 2013 and 2014, POPL 2015 (ERC), OOPSLA 2016 (ERC), TASE 2016, FTfJP 2016. He has been involved in the organization of several scientific events: organizing chair of ECOOP 2009, program co-chair of FTfJP06 and of OOPS special track at SAC from 2004 through 2017, co-chair of CILC 2015 and VORTEX 2016.</p></div><div class="profile-item"><span class="profile-item-heading">Country:</span>Italy</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>DIBRIS, University of Genova, Italy</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://www.disi.unige.it/person/AnconaD/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://www.disi.unige.it/person/AnconaD/</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>Programming Languages, Formal Methods, Runtime Verification</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2020</h3><div><h4>DLS</h4><ul class="block"><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-steering-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Steering Committee within the DLS 2020-track</a></li></ul></div><div><h4>ECOOP</h4><ul class="block"><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="a6b2d038-de0e-4dba-afec-21ca56a42e47">Sound regular corecursion in coFJ</a></li><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="4706f63e-dc56-4e40-bee4-0b030f2b0fcb">A big step from finite to infinite computations</a></li><li><small title="Chaired Session" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="small navigate" style="margin-left: 0.2em;">Session Chair of S-5 (part of Research Papers)</a></li><li><small title="Chaired Session" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="small navigate" style="margin-left: 0.2em;">Session Chair of S-5 (part of Research Papers)</a></li><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Program Committee within the Research Papers-track</a></li></ul></div><div><h4>VORTEX</h4><ul class="block"><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="small navigate" style="margin-left: 0.2em;">Co-chair in Organizing Committee within the VORTEX-track</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/davideancona" target="_blank" class="navigate">Show activities from other conferences</a></p><div id="embedWidget" class="webdsl-placeholder"><div class="panel-group"><div class="panel"><div class="panel-heading clearfix"><span class="panel-title"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/profile","embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837", [{"name":"context", "value":"ecoop-2020"},{"name":"pers", "value":"davideancona"},],"", this.nextSibling, true,"1"); return false;'></button><a submitid="embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="small btn btn-default"><span class="glyphicon glyphicon-share"></span> Share</a></span></div></div></div></div></div></div><div class="row"><div class="col-sm-12"><span class="pull-right"><span title="You're viewing a conference-specific profile, last updated Sun 6 Dec 2020" class="label-default label"><span class="glyphicon glyphicon-time"></span> SPLASH 2020-profile</span><br><small><a href="https://conf.researchr.org/profile/conf/davideancona" target="_blank" class="navigate">View general profile</a></small></span></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 24 Nov 18:00</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2020.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2020" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2020"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2020.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2020" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2020"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2020</a></h3><div><a href="https://2020.ecoop.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://2020.ecoop.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate">Research Papers</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate">Artifacts</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate">Tutorials</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate">Posters</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2020.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.ecoop.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.ecoop.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.ecoop.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><a href="https://2020.ecoop.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>