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://2018.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2018.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ECOOP 2018</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2018.ecoop.org";</script> <link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/getFile/6bf369a0-f252-4937-aa3c-0fe95b8da378/ECOOP18.css?1521555778930" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://2018.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://2018.ecoop.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content=' The ECOOP is the European forum for bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP will take place from July 19th to 21st 2018 in Amsterdam. Colocated conferences include ISSTA and Curry On. ECOOP is Open Access, proceedings are available under CC-BY license: http://www.dagstuhl.de/dagpub/978-3-939897-86-6. AITO Dahl-Nygaard Prizes We are happy to announce the AITO Dahl-Nygaa ...'> <meta name='description' content=' The ECOOP is the European forum for bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP will take place from July 19th to 21st 2018 in Amsterdam. Colocated conferences include ISSTA and Curry On. ECOOP is Open Access, proceedings are available under CC-BY license: http://www.dagstuhl.de/dagpub/978-3-939897-86-6. AITO Dahl-Nygaard Prizes We are happy to announce the AITO Dahl-Nygaa ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ECOOP 2018'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2018.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2018</span></a><div class="place">Sun 15 - Sat 21 July 2018 <a href="https://2018.ecoop.org/venue/ecoop-issta-2018-venue" class="navigate">Amsterdam, Netherlands</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/ecoop-issta-2018" class="navigate">ECOOP and ISSTA 2018</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://2018.ecoop.org/venue/ecoop-issta-2018-issta-sc-meeting-venue" class="navigate">Venue: ISSTA Steering Committee Meeting</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-aito-gam-venue" class="navigate">Restaurant: Cafe de Jaren</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-uber-reception-venue" class="navigate">Venue: Uber</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-venue" class="navigate">Venue: Mövenpick Hotel Amsterdam City Centre</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-curryon-party-venue" class="navigate">Restaurant: Tobacco Theater</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-issta-banquet-venue" class="navigate">Restaurant: Zaalverhuur Pakhuis de Zwijger</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-ecoop-banquet-venue" class="navigate">Restaurant: De Koninklijke Industrieele Groote Club</a></li><li class="block"><a href="https://2018.ecoop.org/attending/about" class="navigate">About</a></li><li class="block"><a href="https://2018.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2018.ecoop.org/attending/awards" class="navigate">Awards</a></li><li class="block dropdown-header">ECOOP and ISSTA 2018</li><li class="block"><a href="https://2018.ecoop.org/attending/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2018.ecoop.org/attending/program-%40-a-glance" class="indent navigate">Program @ a Glance</a></li><li class="block"><a href="https://2018.ecoop.org/attending/travel" class="indent navigate">Travel and Local Info</a></li><li class="block"><a href="https://2018.ecoop.org/attending/visas" class="indent navigate">Visas</a></li><li class="block"><a href="https://2018.ecoop.org/attending/students" class="indent navigate">Students</a></li><li class="block"><a href="https://2018.ecoop.org/attending/sponsorship" class="indent navigate">Sponsorship</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" 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://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Sun 15 Jul 2018" class="navigate">Sun 15 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Mon 16 Jul 2018" class="navigate">Mon 16 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Tue 17 Jul 2018" class="navigate">Tue 17 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Wed 18 Jul 2018" class="navigate">Wed 18 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Thu 19 Jul 2018" class="navigate">Thu 19 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Fri 20 Jul 2018" class="navigate">Fri 20 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Sat 21 Jul 2018" class="navigate">Sat 21 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 2018</li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-artifacts" class="navigate">ECOOP Artifacts</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-Keynotes" class="navigate">ECOOP Keynotes</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-papers" class="navigate">ECOOP Research Papers</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-Journal-First" class="navigate">Journal-First</a></li><li class="block dropdown-header">ECOOP and ISSTA 2018</li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-doctoral-symposium" class="navigate">Doc Symposium</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-student-volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-posters" class="navigate">Posters</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CurryOn</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/curryon-2018" class="navigate"><span class="glyphicon glyphicon-home"></span> CurryOn</a></li><li class="block"><a href="https://2018.ecoop.org/track/curryon-2018-papers" class="navigate"><strong>CurryOn</strong> Curry On Keynotes</a></li><li class="block"><a href="https://2018.ecoop.org/track/curryon-2018-CurryOn-Talks" class="navigate"><strong>CurryOn</strong> Curry On Talks</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ISSTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/issta-2018" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-Artifacts" class="navigate"><strong>ISSTA</strong> Artifacts</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-Keynotes" class="navigate"><strong>ISSTA</strong> Keynotes</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-ISSTA-Steering-Committee-Meeting" class="navigate"><strong>ISSTA</strong> Steering Committee Meeting (By Invitation Only)</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="navigate"><strong>ISSTA</strong> Technical Papers</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-demos" class="navigate"><strong>ISSTA</strong> Tool Demonstrations</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2018.ecoop.org/track/benchwork-2018-talks" class="navigate"><strong>BenchWork</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/COP-2018-papers" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/dpa-2018-papers" class="navigate"><strong>DPA</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/FTfJP-2018-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/ICOOOLPS-2018-papers" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/intuitestbeds-2018-papers" class="navigate"><strong>INTUITESTBEDS</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/isagt-2018-papers" class="navigate"><strong>ISAGT</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/ML4PL-2018-papers" class="navigate"><strong>ML4PL</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/panathon-2018" class="navigate"><strong>Panathon</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/salad-2018-papers" class="navigate"><strong>SALAD</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/SOAP-2018-papers" class="navigate"><strong>SOAP</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/tavcpsiot-2018-papers" class="navigate"><strong>TAV-CPS/IoT</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/vortex-2018-papers" class="navigate"><strong>VORTEX</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/wossca-2018-papers" class="navigate"><strong>WoSSCA</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 2018 Committees</li><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-artifacts-aec" class="navigate"><strong>ECOOP Artifacts</strong></a></li><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-research-track-program-committee" class="navigate"><strong>ECOOP Research Papers</strong></a></li><li class="block dropdown-header">ECOOP and ISSTA</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doc Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Summer School</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-summer-school-speakers" class="navigate">Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-summer-school-mentors" class="navigate">Mentors</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-summer-school-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-student-volunteers-organizing-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2018.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">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CurryOn</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/curryon-2018-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ISSTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-artifacts-artifact-evaluation-committee" class="navigate"><strong>ISSTA Artifacts</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-technical-papers-program-committee" class="navigate"><strong>ISSTA Technical Papers</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-demos-program-committee" class="navigate"><strong>ISSTA Tool Demonstrations</strong></a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>BenchWork</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/benchwork-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/benchwork-2018-talks-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/cop-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/cop-2018-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>DPA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/dpa-2018-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>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ftfjp-2018-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ftfjp-2018-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://conf.researchr.org/committee/ecoop-issta-2018/icooolps-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/icooolps-2018-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>INTUITESTBEDS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/intuitestbeds-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/intuitestbeds-2018-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>ISAGT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/isagt-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/isagt-2018-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>ML4PL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ml4pl-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ml4pl-2018-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Panathon</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/panathon-2018-papers-organizing-committee" class="navigate">Organizers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SALAD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/salad-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/salad-2018-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>SOAP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/soap-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/soap-2018-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>TAV-CPS/IoT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/tavcpsiot-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/tavcpsiot-2018-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/vortex-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/vortex-2018-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>WoSSCA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/wossca-2018-papers-attendees" class="navigate">Attendees</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/wossca-2018-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/wossca-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2018.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://2018.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li class="block"><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li class="block"><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li class="block"><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li class="block"><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li class="block"><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a></li><li class="block"><a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2018</span></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-2018/https%3A%5Es%5Es2018.ecoop.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2018.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>ECOOP 2018</h1></div><img style="float:left; width:120px; margin-top: 5px; margin-right:20px; margin-bottom:20px;" src="https://conf.researchr.org/getImage/ecoop-2018/orig/ecoop-Amstr-final-square.png"><p style="margin-top: 10px;">The <strong>ECOOP</strong> is the European forum for bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP will take place from <strong>July 19th to 21st 2018</strong> in Amsterdam. Colocated conferences include <a href="https://conf.researchr.org/home/issta-2018">ISSTA</a> and <a href="http://www.curry-on.org">Curry On</a>. </p><table style="width:100%"> </table> <hr> <table style="width:100%"> <tbody><tr><td><img width="30" src="https://conf.researchr.org/getImage/ecoop-2018/orig/openaccess.png"></td><td> <a href="https://conf.researchr.org/track/ecoop-2018/ecoop-2018-Research-Track#Open-Access">ECOOP is Open Access,</a> proceedings are available under CC-BY license: <a href="http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16077">http://www.dagstuhl.de/dagpub/978-3-939897-86-6</a>. </td></tr></tbody></table> <hr> <h3><a href="#aito-dahl-nygaard-prizes" id="aito-dahl-nygaard-prizes" class="anchor-link">AITO Dahl-Nygaard Prizes</a></h3> <img style="float:left; height: 150px; margin-right: 25px; margin-bottom: 20px;" src="https://2018.ecoop.org/getImage/small/lars.jpg"><img style="float:right; height: 150px; margin-left: 25px; margin-bottom: 20px;" src="https://2018.ecoop.org/getImage/small/harry.jpg"><p>We are happy to announce the AITO Dahl-Nygaard Prizes for 2018. The <strong>Junior Prize</strong> goes to <a href="http://www.ics.uci.edu/~guoqingx/"><strong>Harry Xu</strong></a> for his significant contributions to different aspects of object-orientation due to a unique combination of technical strength and ambition to deliver effective object-oriented programming technologies for big data systems. The <strong>Senior Prize</strong> is awarded to <a href=""><strong>Lars Bak</strong></a> for his pioneering work in pointer-safe object-orientation. Lars was the lead implementor for a series of notable object-oriented systems: Beta, Self, Strongtalk, Java Hotspot, Resilient Smalltalk, and V8 Javascript. Few have done more than him to make object-orientation a significant factor in the wider world. Check <a href="http://www.aito.org/Dahl-Nygaard/2018.html">AITO's DN Prizes page</a> to find out more!</p><table style="width:100%;"> </table> <p></p> <hr> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Program @ Glance</h3></div><style type="text/css"> .tg {border-collapse:collapse;border-spacing:0;table-layout: fixed;} .tg td{font-family:Arial, sans-serif;font-size:14px;padding:10px 5px;border-style:solid;border-width:1px;overflow:hidden;word-break:normal;width: 16%;} .tg th{font-family:Arial, sans-serif;font-size:14px;font-weight:normal;padding:10px 5px;border-style:solid;border-width:1px;overflow:hidden;word-break:normal;} .tg .tg-kpbj{font-weight:bold;background-color:#cd9934;color:#ffffff;text-align:center;vertical-align:top} .tg .tg-n1xd{background-color:#efefef;color:#333333;vertical-align:top} .tg .tg-igm7{font-weight:bold;background-color:#6200c9;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-ql65{font-weight:bold;background-color:#963400;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-dztc{font-weight:bold;background-color:#984D7F;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-8987{font-weight:bold;background-color:#3531ff;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-dk91{font-weight:bold;background-color:#3166ff;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-y5mu{font-weight:bold;background-color:#34cdf9;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-yw4l{font-weight:bold;background-color:#bbdaff;color:#ffffff;text-align:center;vertical-align:middle} </style> <table class="tg"> <tbody><tr> <th class="tg-n1xd">Sunday, July 15</th> <th class="tg-n1xd">Monday, July 16</th> <th class="tg-n1xd">Tuesday, July 17</th> <th class="tg-n1xd">Wednesday, July 18</th> <th class="tg-n1xd">Thursday, July 19</th> <th class="tg-n1xd">Friday, July 20</th> <th class="tg-n1xd">Saturday, July 21</th> </tr> <tr> <td class="tg-dztc" colspan="7"><a class="tg-dztc" href="https://conf.researchr.org/track/ecoop-issta-2018/ecoop-issta-2018-summer-school">Summer School</a></td> </tr> <tr> <td class="tg-us36" rowspan="2"></td> <td class="tg-kpbj" colspan="3"><a class="tg-kpbj" href="https://conf.researchr.org/home/issta-2018">ISSTA</a></td> <td class="tg-igm7" colspan="3" rowspan="2"><a class="tg-igm7" href="https://2018.ecoop.org/">ECOOP</a></td> </tr> <tr> <td class="tg-ql65" colspan="2"><a class="tg-ql65" href="http://www.curry-on.org">Curry On</a></td> <td class="tg-dztc"><a class="tg-dztc" href="https://conf.researchr.org/track/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium">Doctoral Symposium</a></td> </tr> <tr> <td class="tg-us36" rowspan="5"></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/COP-2018-papers">COP</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers">ICOOOLPS</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/benchwork-2018-talks">BenchWork</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/panathon-2018">Panathon</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/SOAP-2018-papers">SOAP</a></td> <td class="tg-us36" rowspan="4"></td> </tr> <tr> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/dpa-2018-papers">DPA</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/salad-2018-papers">SALAD</a></td> </tr> <tr> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers">FTfJP</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers">VORTEX</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/wossca-2018-papers">WoSSCA</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/tavcpsiot-2018-papers">TAV-CPS/IoT</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/isagt-2018-papers">ISAGT</a></td> </tr> <tr> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers">ML4PL</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/intuitestbeds-2018-papers">INTUITESTBEDS</a></td> </tr> <tr> <td class="tg-ql65">Curry On Party</td> <td class="tg-kpbj">ISSTA Banquet</td> <td class="tg-dztc">Poster Reception</td> <td></td> <td class="tg-igm7">ECOOP Banquet</td> </tr> </tbody></table> </div></div><div class="row"><div class="col-sm-12"><h3>Keynotes at ECOOP and Curry On</h3><div id="c41329f66571a48e9e5a88aa1a962ca3wrapper"><div id="c41329f66571a48e9e5a88aa1a962ca3"><a href="https://2018.ecoop.org/details/ecoop-2018-Keynotes/5/Program-Analysis-for-Everyone" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Oege de Moor" src="https://2018.ecoop.org/getProfileImage/oegedemoor/2c3d386b-c96a-4196-a0f5-a79ed51c479e/avatar.jpg?1717817826000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Program Analysis for Everyone</h5><h6><i>Oege de Moor</i></h6></div></div></div></a><a href="https://2018.ecoop.org/details/ecoop-2018-Keynotes/4/Parser-Directed-Test-Generation" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Andreas Zeller" src="https://2018.ecoop.org/getProfileImage/andreaszeller/9efbc420-8162-4153-a3e9-22ec04ede0c8/avatar.jpg?1711458523000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Parser-Directed Test Generation</h5><h6><i>Andreas Zeller</i></h6></div></div></div></a><a href="https://2018.ecoop.org/details/ecoop-2018-Keynotes/3/Object-Orientation-Meets-Big-Data-Performance-Impact-Restoration-and-Thoughts-on-L" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Harry Xu" src="https://2018.ecoop.org/getProfileImage/guoqingharryxu/5a7ac58e-cd62-4c4e-b818-af8c8485d247/avatar.jpg?1711456029000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design</h5><h6><i>Harry Xu</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#c41329f66571a48e9e5a88aa1a962ca3").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#c41329f66571a48e9e5a88aa1a962ca3wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#c41329f66571a48e9e5a88aa1a962ca3 .' + cl + ',#c41329f66571a48e9e5a88aa1a962ca3 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#c41329f66571a48e9e5a88aa1a962ca3 .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Workshops</h3></div><p>We are pleased to announce the following workshops:</p> <ul> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/COP-2018-papers"><strong>COP</strong></a> 10th International Workshop on Context-Oriented Programming</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/benchwork-2018-talks"><strong>BenchWork</strong></a> First Workshop on Reproducible Experiments and Benchmarking</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/dpa-2018-papers"><strong>DPA</strong></a> First Workshop on Declarative Program Analysis</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers"><strong>FTfJP</strong></a> 20th Workshop on Formal Techniques for Java-like Programs</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers"><strong>ICOOOLPS</strong></a> 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/intuitestbeds-2018-papers"><strong>INTUITESTBEDS</strong></a> 4th Workshop on User Interface Test Automation, and 8th Workshop on TESting Techniques for event BasED Software.</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/isagt-2018-papers"><strong>ISAGT</strong></a> Introspective Systems for Automatically Generating Tests</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers"><strong>ML4PL</strong></a> 2nd International Workshop on Machine Learning for Programming Languages</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/panathon-2018"><strong>Panathon</strong></a> Program analysis hackathon</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/salad-2018-papers"><strong>SALAD</strong></a> First International Workshop on SoftwAre debLoating And Delayering  </li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/SOAP-2018-papers"><strong>SOAP</strong></a> 7th International Workshop on the State Of the Art in Program Analysis</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/tavcpsiot-2018-papers"><strong>TAV-CPS/IoT</strong></a> Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers"><strong>VORTEX</strong></a> Runtime verification Workshop</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/wossca-2018-papers"><strong>WoSSCA</strong></a> First International Workshop on Speculative Side Channel Analysis</li> </ul> </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> ECOOP 2018 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://2018.ecoop.org/track/ecoop-2018-artifacts" class="text-muted navigate">ECOOP Artifacts</a> | <a href="https://2018.ecoop.org/track/ecoop-2018-Keynotes" class="text-muted navigate">ECOOP Keynotes</a> | <a href="https://2018.ecoop.org/track/ecoop-2018-papers" class="text-muted navigate">ECOOP Research Papers</a> | <a href="https://2018.ecoop.org/track/ecoop-2018-Journal-First" class="text-muted navigate">Journal-First</a> | <a href="https://2018.ecoop.org/track/ecoop-issta-2018-doctoral-symposium" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://2018.ecoop.org/track/ecoop-issta-2018-summer-school" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Summer School</a> | <a href="https://2018.ecoop.org/track/ecoop-issta-2018-student-volunteers" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Student Volunteers</a> | <a href="https://2018.ecoop.org/track/ecoop-issta-2018-workshops" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Workshops</a> | <a href="https://2018.ecoop.org/track/ecoop-issta-2018-posters" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Posters</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="http://nsf.gov" title="NSF" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="NSF" src="https://2018.ecoop.org/getLogo/a558b2ae-c2f4-4f83-aa05-ac3bc9861c90?1514330020000" class="outputimage"/></span></td><td>Platinum</td></tr><tr href="https://www.onr.navy.mil" title="ONR" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ONR" src="https://2018.ecoop.org/getLogo/552e34b7-36a7-42ed-babf-eeae434951b0?1524819643000" class="outputimage"/></span></td><td>Platinum</td></tr><tr href="http://www.google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://2018.ecoop.org/getLogo/133f6e7b-27a5-46a8-aacd-5788500fc1b7?1516295419000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://www.facebook.com/" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://2018.ecoop.org/getLogo/88a9075c-8159-45e8-95e9-f765d83899c2?1513948606000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.jetbrains.com" title="JetBrains" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="JetBrains" src="https://2018.ecoop.org/getLogo/8e645ce4-da7d-4998-807d-8f515c4186c7?1519292134000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.oracle.com" title="Oracle" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle" src="https://2018.ecoop.org/getLogo/b69da963-2b98-42f3-8f73-88a96361a43f?1522826800000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.vmware.com" title="VMware" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="VMware" src="https://2018.ecoop.org/getLogo/3bfa5f07-68c7-4d16-9ce7-c24293676b7b?1518430500000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.research.ibm.com" title="IBM Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IBM Research" src="https://2018.ecoop.org/getLogo/d8582714-fb67-4541-a6c4-19045c7a9c70?1523692320000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://mozilla.ninja" title="Mozilla" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Mozilla" src="https://2018.ecoop.org/getLogo/0e7e08cd-b86c-418d-aaab-f559b907c2be?1513948900000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://semmle.com/" title="Semmle" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Semmle" src="https://2018.ecoop.org/getLogo/e5185a56-122f-41f6-adab-559d20952cc5?1529930138000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://www.uber.com" title="Uber" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Uber" src="https://2018.ecoop.org/getLogo/7be9989d-52f4-420a-afbf-9ab3b33be01b?1525282446000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.aito.org" title="AITO" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="AITO" src="https://2018.ecoop.org/getLogo/f884b6fa-c9c5-4ab4-b068-2c4200e15c12?1524819836000" class="outputimage"/></span></td><td>Sponsor</td></tr></table></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 16 Feb 15:09</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://2018.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-2018" /><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://2018.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2018"},],"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://2018.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-2018" /><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://2018.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2018"},],"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://2018.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2018</a></h3><div><a href="https://2018.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://2018.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://2018.ecoop.org/track/ecoop-2018-artifacts" class="navigate">ECOOP Artifacts</a><br/><a href="https://2018.ecoop.org/track/ecoop-2018-Keynotes" class="navigate">ECOOP Keynotes</a><br/><a href="https://2018.ecoop.org/track/ecoop-2018-papers" class="navigate">ECOOP Research Papers</a><br/><a href="https://2018.ecoop.org/track/ecoop-2018-Journal-First" class="navigate">Journal-First</a><br/><br/><h4>ECOOP and ISSTA 2018</h4><a href="https://2018.ecoop.org/track/ecoop-issta-2018-doctoral-symposium" class="navigate">Doc Symposium</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-summer-school" class="navigate">Summer School</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-workshops" class="navigate">Workshops</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-posters" class="navigate">Posters</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/curryon-2018" class="navigate">CurryOn 2018</a><br/><a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a><br/><h4>Workshops</h4><a href="https://conf.researchr.org/track/ecoop-issta-2018/benchwork-2018-talks" class="navigate">BenchWork 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/COP-2018-papers" class="navigate">COP 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/dpa-2018-papers" class="navigate">DPA 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers" class="navigate">FTfJP 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers" class="navigate">ICOOOLPS 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/intuitestbeds-2018-papers" class="navigate">INTUITESTBEDS 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/isagt-2018-papers" class="navigate">ISAGT 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers" class="navigate">ML4PL 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/panathon-2018" class="navigate">Panathon 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/salad-2018-papers" class="navigate">SALAD 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/SOAP-2018-papers" class="navigate">SOAP 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/tavcpsiot-2018-papers" class="navigate">TAV-CPS/IoT 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers" class="navigate">VORTEX 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/wossca-2018-papers" class="navigate">WoSSCA 2018</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-issta-sc-meeting-venue" class="navigate">Venue: ISSTA Steering Committee Meeting</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-aito-gam-venue" class="navigate">Restaurant: Cafe de Jaren</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-uber-reception-venue" class="navigate">Venue: Uber</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-venue" class="navigate">Venue: Mövenpick Hotel Amsterdam City Centre</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-curryon-party-venue" class="navigate">Restaurant: Tobacco Theater</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-issta-banquet-venue" class="navigate">Restaurant: Zaalverhuur Pakhuis de Zwijger</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-ecoop-banquet-venue" class="navigate">Restaurant: De Koninklijke Industrieele Groote Club</a><br><a href="https://2018.ecoop.org/attending/about" class="navigate">About</a><br><a href="https://2018.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2018.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2018.ecoop.org/attending/registration" class="navigate">Registration</a><br><a href="https://2018.ecoop.org/attending/program-%40-a-glance" class="navigate">Program @ a Glance</a><br><a href="https://2018.ecoop.org/attending/travel" class="navigate">Travel and Local Info</a><br><a href="https://2018.ecoop.org/attending/visas" class="navigate">Visas</a><br><a href="https://2018.ecoop.org/attending/students" class="navigate">Students</a><br><a href="https://2018.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></div><div class="col-sm-2"><div class="fb-follow" data-href="https://www.facebook.com/ECOOPconf" data-layout="button" data-size="small" data-show-faces="true"></div> <div id="fb-root"></div> <script>(function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/en_US/sdk.js#xfbml=1&version=v2.7&appId=341769322635749"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk'));</script> <script> function isCarousel() { var isManage; var $id = document.getElementsByTagName('body')[0].id; if($id.indexOf("manage") === 0) { isManage = true; } else{ isManage = false; } var isCarousel = document.getElementsByClassName('carousel'); if (isCarousel.length === 0 && isManage === false) { var html = '<div id="carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="0" class="active"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="1"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="2"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="3"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="4"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="5"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="6"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="7"></li>'; html = html + '<li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="8"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="9"></li></ol><div class="carousel-inner" style="background-color: #FFF;">'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/RijksmuseumAmsterdamMuseumplein2.50%2C1.jpg?1444912483000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://en.wikipedia.org/wiki/File:RijksmuseumAmsterdamMuseumplein2.50,1.jpg" target="_blank" class="navigate">Photo by <em>Massimo Catarinella</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item active"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/Amsterdam_Canals_-_July_2006.jpg?1444917214000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:Amsterdam_Canals_-_July_2006.jpg" target="_blank" class="navigate">Photo by <em>David Iliff</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/6327063862_dceed6f0ac_o.jpg?1444921195000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/aD6RDY" target="_blank" class="navigate">Photo by <em>Maurizio Mori</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/KeizersgrachtReguliersgrachtAmsterdam.jpg?1444916650000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:KeizersgrachtReguliersgrachtAmsterdam.jpg" target="_blank" class="navigate">Photo by <em>Massimo Catarinella</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/Amsterdam_Panorama_%288314045614%29.jpg?1444915637000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:Amsterdam_Panorama_(8314045614).jpg" target="_blank" class="navigate">Photo by <em>Steve Collis</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/The_Colours_of_Amsterdam_%288654556257%29.jpg?1444919335000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:The_Colours_of_Amsterdam_(8654556257).jpg" target="_blank" class="navigate">Photo by <em>Lies Thru a Lens</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/Nl_AMS_De_Dam_Pano.jpg?1444916634000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:Nl_AMS_De_Dam_Pano.jpg" target="_blank" class="navigate">Photo by <em>Kander</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/5086325695_e97c9d2dd4_o.jpg?1444920980000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/8KsKqB" target="_blank" class="navigate">Photo by <em>Moyan Brenn</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/8520711603_24b7149a23_o.jpg?1444921952000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/dYWSGK" target="_blank" class="navigate">Photo by <em>Bert Kaufmann</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/5086325483_8f87980817_o.jpg?1444921600000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/8KsKmX" target="_blank" class="navigate">Photo by <em>Moyan Brenn</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div></div><a href="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div>'; $('.navbar').after(html); } if (isCarousel.length === 1) { $('body').addClass("with-carousel"); } } isCarousel(); $('.carousel').carousel({ interval: 10000}); </script> <script>$(".place2>a").text("ISSTA '18 and others")</script></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>