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://2015.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2015.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ECOOP 2015</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2015.ecoop.org";</script> <link rel="stylesheet" href="https://2015.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2015.ecoop.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2015.ecoop.org/getFile/685163fd-7867-490a-9f1f-1cdbc5486fb9/ecoop-15-new-css.css?1407767478610" type="text/css" /><link rel="stylesheet" href="https://2015.ecoop.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2015.ecoop.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2015.ecoop.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://2015.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://2015.ecoop.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2015.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2015.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2015.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2015.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2015.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2015.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/Curry On program here. The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. The 29th edition takes place 5-10 July, 2015 in Prague, Czech Republic. The program committee accepted 31 papers out of 136 submission. In addition the program includes 13 workshops, the doctoral symposium, the summer school and a code sprint. The Junior Dahl-Nygaard Prize went to Alex Summers for contributions to models, languages and tools for reasoning about programs. The Senior Prize was awarded to ...'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP/Curry On program here. The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. The 29th edition takes place 5-10 July, 2015 in Prague, Czech Republic. The program committee accepted 31 papers out of 136 submission. In addition the program includes 13 workshops, the doctoral symposium, the summer school and a code sprint. The Junior Dahl-Nygaard Prize went to Alex Summers for contributions to models, languages and tools for reasoning about programs. The Senior Prize was awarded to ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ECOOP 2015'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2015.ecoop.org/getImage/carousel/castle_at_night_cropped.jpg?1422290000000'> <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://2015.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2015</span></a><div class="place">Sun 5 - Fri 10 July 2015 <a href="https://2015.ecoop.org/venue/prague-marriott" class="navigate">Prague, Czech Republic</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://2015.ecoop.org/venue/prague-marriott" class="navigate">Venue: Marriott</a></li><li class="block"><a href="https://2015.ecoop.org/venue/curry-on-party" class="navigate">Restaurant: Velka Klasterni (Curry On)</a></li><li class="block"><a href="https://2015.ecoop.org/venue/ecoop-banquet" class="navigate">Restaurant: Hergertova Cihelna (ECOOP)</a></li><li class="block"><a href="https://2015.ecoop.org/venue/fit-ctu" class="navigate">Venue: FIT</a></li><li class="block"><a href="https://2015.ecoop.org/attending/about" class="navigate">Welcome</a></li><li class="block"><a href="https://2015.ecoop.org/attending/location" class="navigate">History</a></li><li class="block"><a href="https://2015.ecoop.org/attending/students" class="navigate">Students</a></li><li class="block"><a href="https://2015.ecoop.org/attending/registration" class="navigate">Registration</a></li><li class="block"><a href="https://2015.ecoop.org/attending/accommodation" class="navigate">Hotels</a></li><li class="block"><a href="https://2015.ecoop.org/attending/food" class="navigate">Food</a></li><li class="block"><a href="https://2015.ecoop.org/attending/prague-guide" class="navigate">Travel</a></li><li class="block"><a href="https://2015.ecoop.org/attending/sponsorship" class="navigate"> Sponsoring</a></li><li class="block"><a href="https://2015.ecoop.org/attending/code-of-conduct" class="navigate">Conduct</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://2015.ecoop.org/program/program-ecoop15/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="date" data-fltr-val="Sun 5 Jul 2015" class="navigate">Sun 5 Jul</a></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="date" data-fltr-val="Mon 6 Jul 2015" class="navigate">Mon 6 Jul</a></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="date" data-fltr-val="Tue 7 Jul 2015" class="navigate">Tue 7 Jul</a></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="date" data-fltr-val="Wed 8 Jul 2015" class="navigate">Wed 8 Jul</a></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="date" data-fltr-val="Thu 9 Jul 2015" class="navigate">Thu 9 Jul</a></li><li class="block"><a href="https://2015.ecoop.org/program/program-ecoop15/" data-fltr-type="date" data-fltr-val="Fri 10 Jul 2015" class="navigate">Fri 10 Jul</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2015</li><li class="block"><a href="https://2015.ecoop.org/track/ecoop15-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2015.ecoop.org/track/CurryOn" class="navigate">Curry On</a></li><li class="block"><a href="https://2015.ecoop.org/track/ecoop15-ds" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2015.ecoop.org/track/ecoop15-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://2015.ecoop.org/track/ecoop15-posters" class="navigate">Posters</a></li><li class="block"><a href="https://2015.ecoop.org/track/research-track" class="navigate">Research Track</a></li><li class="block"><a href="https://2015.ecoop.org/track/ecoop15-sv" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2015.ecoop.org/track/ecoop15-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/COP-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> COP</a></li><li class="block"><a href="https://2015.ecoop.org/track/COP-2015-papers" class="navigate"><strong>COP</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DSLDI</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/dsldi-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> DSLDI</a></li><li class="block"><a href="https://2015.ecoop.org/track/dsldi-2015-papers" class="navigate"><strong>DSLDI</strong> </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/home/FTfJP-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> FTfJP</a></li><li class="block"><a href="https://2015.ecoop.org/track/FTfJP-2015-papers" class="navigate"><strong>FTfJP</strong> </a></li></ul></li><li class="block"><a href="https://2015.ecoop.org/track/ICOOOLPS-2015-papers" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>JSTools</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/JSTools-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> JSTools</a></li><li class="block"><a href="https://2015.ecoop.org/track/JSTools-2015-papers" class="navigate"><strong>JSTools</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>MASPEGHI</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/MASPEGHI-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> MASPEGHI</a></li><li class="block"><a href="https://2015.ecoop.org/track/MASPEGHI-2015-papers" class="navigate"><strong>MASPEGHI</strong> </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/home/ML4PL-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> ML4PL</a></li><li class="block"><a href="https://2015.ecoop.org/track/ML4PL2015" class="navigate"><strong>ML4PL</strong> </a></li></ul></li><li class="block"><a href="https://2015.ecoop.org/home/netpl-2015" class="navigate"><strong>NetPL</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/PLAS-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PLAS</a></li><li class="block"><a href="https://2015.ecoop.org/track/PLAS-2015-papers" class="navigate"><strong>PLAS</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/PLE-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PLE</a></li><li class="block"><a href="https://2015.ecoop.org/track/PLE-2015-papers" class="navigate"><strong>PLE</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Pharo</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/Pharo-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> Pharo</a></li><li class="block"><a href="https://2015.ecoop.org/track/Pharo-2015" class="navigate"><strong>Pharo</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>RIOT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/RIOT-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> RIOT</a></li><li class="block"><a href="https://2015.ecoop.org/track/RIOT-2015-papers" class="navigate"><strong>RIOT</strong> </a></li></ul></li><li class="block"><a href="https://2015.ecoop.org/track/STOP2015" class="navigate"><strong>STOP</strong> </a></li><li class="block"><a href="https://2015.ecoop.org/track/Truffle-2015-papers" class="navigate"><strong>Truffle</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 2015 Committees</li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-ds-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-ds-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-summer-school-organizers" class="navigate"><strong>Summer School</strong></a></li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-posters-organizing-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2015.ecoop.org/committee/research-papers-program-committee" class="navigate"><strong>Research Track</strong></a></li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-sv-pavel-parizek" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2015.ecoop.org/committee/ecoop15-workshops-organizers" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2015.ecoop.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/cop-2015-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>DSLDI</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/dsldi-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/ftfjp-2015-papers-program-committee" class="navigate">Program committee</a></li><li class="block"><a href="https://2015.ecoop.org/committee/ftfjp-2015-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/icooolps-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>JSTools</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/jstools-2015-papers-organizers" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>MASPEGHI</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/maspeghi-2015-papers-program-committee" class="navigate">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://2015.ecoop.org/committee/ml4pl2015-organization" class="navigate">Organization</a></li><li class="block"><a href="https://2015.ecoop.org/committee/ml4pl2015-program-committee" class="navigate">Program committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NetPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/netpl-2015-workshop-invited-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://2015.ecoop.org/committee/netpl-2015-workshop-organizers" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/plas-2015-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>PLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/ple-2015-papers-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2015.ecoop.org/committee/ple-2015-papers-programme-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Pharo</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/pharo-2015-papers-organizers" class="navigate">Organizers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>RIOT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/riot-2015-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>STOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/stop2015-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2015.ecoop.org/committee/stop2015-speakers" class="navigate">Speakers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Truffle</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.ecoop.org/committee/truffle-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2015.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://2015.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"><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li class="block"><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li class="block"><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2015</span></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/ecoop15/https%3A%5Es%5Es2015.ecoop.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2015.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-slide-to="0" class="active"></li><li data-target="#carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-slide-to="1"></li><li data-target="#carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-slide-to="2"></li><li data-target="#carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-slide-to="3"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://2015.ecoop.org/getImage/carousel/castle_at_night_cropped.jpg?1422290000000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>ECOOP ’15 Prague, Czech Republic</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2015.ecoop.org/getImage/carousel/sunrise_in_prague_cropped.jpg?1422289687000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>ECOOP ’15 Prague, Czech Republic</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2015.ecoop.org/getImage/carousel/prague-prazsky-hrad.jpg?1422289772000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>ECOOP ’15 Prague, Czech Republic</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2015.ecoop.org/getImage/carousel/prague_panorama_cropped.jpg?1422289774000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>ECOOP ’15 Prague, Czech Republic</p></h5></div></div></div><a href="#carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-2b5cd152-bd84-4750-a5a7-8991e2a34f94" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></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 2015</h1></div><center>ECOOP/Curry On program <a href=" https://2015.ecoop.org/getImage/orig/main.pdf">here</a>.</center> <br> <p>The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. The 29th edition takes place 5-10 July, 2015 in <a href="attending/location">Prague, Czech Republic</a>. The program committee accepted <a href="https://2015.ecoop.org/track/research-track#event-overview">31 papers out of 136 submission</a>. In addition the program includes 13 workshops, the doctoral symposium, the summer school and a code sprint.</p> <table style="width:100%"> <tbody><tr><td> <center><img src="https://2015.ecoop.org/getImage/orig/dn.jpg" width="400"></center> </td><td> The <a href="http://www.aito.org/Dahl-Nygaard/2015.html">Junior Dahl-Nygaard Prize</a> went to <a href="http://people.inf.ethz.ch/summersa/wiki/">Alex Summers</a> for contributions to models, languages and tools for reasoning about programs. The <a href="http://www.aito.org/Dahl-Nygaard/2015.html">Senior Prize</a> was awarded to <a href="http://en.wikipedia.org/wiki/Bjarne_Stroustrup">Bjarne Stroustrup</a> for the design, implementation and evolution of C++. </td></tr></tbody></table> <table style="width:100%"> <tbody><tr><td><img width="40" src="https://2015.ecoop.org/getImage/orig/150px-Open_Access_logo_PLoS_white.svg.png"></td><td> <a href="https://2015.ecoop.org/track/research-track#Open-Access">ECOOP is Open Access,</a> <b> proceedings are available free of charge under a CC-BY license from</b> <a href="http://www.dagstuhl.de/dagpub/978-3-939897-86-6">http://www.dagstuhl.de/dagpub/978-3-939897-86-6</a>. Download all papers from this <a href="http://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol37-ecoop2015-complete.pdf">link</a>. </td></tr></tbody></table> <table style="width:100%"> <tbody><tr> <td><img width="40" src="https://2015.ecoop.org/getImage/orig/dpa.jpg"></td> <td align="left">The ECOOP Distinguished Paper Award goes to <a href="https://2015.ecoop.org/event/research-track-towards-practical-gradual-typing">Towards Practical Gradual Typing</a>. </td></tr></tbody></table> <table style="width:100%"> <tbody><tr> <td><img width="40" src="https://2015.ecoop.org/getImage/orig/daa.jpg"></td> <td>The ECOOP Distinguished Artifact Awards go to <a href="https://2015.ecoop.org/event/research-track-a-pattern-calculus-for-rule-languages-expressiveness-compilation-and-mechanization">A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization</a> and <a href="https://2015.ecoop.org/event/research-track-scalable-and-precise-static-analysis-of-javascript-applications-via-loop-sensitivity">Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity</a>.</td></tr></tbody></table> <table style="width:100%"> <tbody><tr> <td><img width="40" src="https://2015.ecoop.org/getImage/orig/aec-badge-ecoop.jpg"></td> <td> The <a href="https://2015.ecoop.org/track/ecoop15-artifacts">Artifact Evaluation Committee</a> awarded seals to papers with artifacts that <em>meet or exceed expectations set in the paper</em>. Accepted artifacts are available in the brand new <b>Dagstuhl Artifacts Series (DARTS)</b> as <a href="http://drops.dagstuhl.de/opus/institut_darts.php?fakultaet=10">DARTS, Vol 1, Issue 1, 2015</a>. </td></tr> <tr><td></td><td> The Poster Committee composed of Petr Maj, Cliff Click, Laurence Tratt and Christian Hammer, awarded the Distinguished Poster prize to "<b>Simple and effective type check removal through lazy basic block versioning</b>" by Maxime Chevalier-Boisvert and Marc Feeley. </td></tr></tbody></table> <p><br></p> <iframe width="210" height="140" src="https://www.youtube.com/embed/4yy15AwVWQM" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/JEdWmgqdmNM" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/-_1Ia3X1QXE" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/KcH1a-jrztM" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/oP8xpq7HX88" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/7rQ0Ul3iPmo" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/7rQ0Ul3iPmo" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/7pE1R1aIEXE" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/KDDUOwBWmN0" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/PDQXpKE_Kao" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/pShDsm8_Pfk" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/W_phx1UJfjQ" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/KDDUOwBWmN0" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/VVrXILw75H8" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/llVvAHL1ZIQ" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/fJahQk2Wl1I" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/7DsSxmTfgDY" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/ZBYj9UHoml0" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/nGYhKp79mII" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/DWkPkKB6N-g" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/O3_AORScYBg" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/5RxoJZzrnNg" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/TOjKhi_VZBQ" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/_hnC1q7G98U" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/q1jN6-kdL9s" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/S-aHBuoiYE0" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/cNPk5CVKuB0" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/XBrchaCbhSI" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/38OOc3GzPbQ" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/Qv5WjaiwPBs" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/edoq_TKcL-A" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/xcpSLRpOMJM" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/F3Xk0WlpS4g" frameborder="0" allowfullscreen></iframe> <iframe width="210" height="140" src="https://www.youtube.com/embed/JBmIQIZPaHY" frameborder="0" allowfullscreen></iframe> <br> The Curry On talks are available <a href="https://2015.ecoop.org/track/CurryOn">here</a><a>. <br> <center><style type="text/css"> .tg {border-collapse:collapse;border-spacing:0;} .tg td{font-family:Arial, sans-serif;font-size:14px;padding:10px 10px;border-style: hidden;overflow:hidden;word-break:normal;} .tg th{font-family:Arial, sans-serif;font-size:14px;font-weight:normal;padding:10px 10px;border-style:solid;border-width:0px;overflow:hidden;word-break:normal;} .tg .tg-pharo{background-color:#339933;color:#ffffff;text-align:center} .tg .tg-riot{background-color:#70B870;color:#ffffff;text-align:center} .tg .tg-maspeghi{background-color:#8DC68D;color:#ffffff;text-align:center} .tg .tg-cop{background-color:#C6E2C6;color:#000000;text-align:center} .tg .tg-doc{background-color:#EBF5EB;color:#000000;text-align:center} .tg .tg-curry{background-color:#993030;color:#ffffff;text-align:center} .tg .tg-stop{background-color:#6B00B2;color:#ffffff;text-align:center} .tg .tg-jstools{background-color:#9900FF;color:#ffffff;text-align:center} .tg .tg-plas{background-color:#DAA3FF;color:#000000;text-align:center} .tg .tg-icooolps{background-color:#ECD1F6;color:#000000;text-align:center} .tg .tg-netpl{background-color:#FFE0FF;color:#000000;text-align:center} .tg .tg-mlpl{background-color:#B20047;color:#ffffff;text-align:center} .tg .tg-ftfjp{background-color:#C94D7E;color:#ffffff;text-align:center} .tg .tg-ple{background-color:#D982A5;color:#000000;text-align:center} .tg .tg-truffle{background-color:#ECC0D2;color:#000000;text-align:center} .tg .tg-dlsdi{background-color:#FAF0F5;color:#000000;text-align:center} .tg .tg-ecoop{background-color:#8F8F00;color:#ffffff;text-align:center} .tg .tg-school{background-color:#C7C780;color:#000000;text-align:center} .tg .tg-9r68{font-style:italic;background-color:#f0f0f0;text-align:center} .tg .tg-97nh{font-style:italic;background-color:#fafafa;text-align:center} </style><table class="tg"> <tbody><tr> <th class="tg-9r68">Sun, July 5th</th> <th class="tg-9r68">Mon, July 6th</th> <th class="tg-9r68">Tue, July 7th</th> <th class="tg-9r68">Wed, July 8th</th> <th class="tg-9r68">Thu, July 9th</th> <th class="tg-9r68">Fri, July 10th</th> </tr> <tr> <td class="tg-pharo"><a href="https://2015.ecoop.org/track/Pharo-2015" style="color: #ffffff"><b>Pharo</b> <br><font size="1px">Live-Programming</font></a><font size="1px"> </font></td> <td class="tg-curry" colspan="2"><a href="http://www.curry-on.org" style="color: #ffffff"><b>Curry On</b></a></td> <td class="tg-ecoop" colspan="3" rowspan="4"><a href="https://2015.ecoop.org/track/research-track" style="color: #ffffff"><b>ECOOP</b></a></td> </tr> <tr><td class="tg-riot"><a href="https://2015.ecoop.org/track/RIOT-2015-papers" style="color: #ffffff">RIOT <br><font size="1px">R Implementation </font></a></td> <td class="tg-stop"><a href="https://2015.ecoop.org/track/STOP2015" style="color: #ffffff"><b>STOP</b> <br><font size="1px">Scripts to Programs</font></a></td> <td class="tg-mlpl"><a href="https://2015.ecoop.org/track/ML4PL2015" style="color: #ffffff"><b>ML4PL</b> <br><font size="1px">Machine Learning</font></a></td> </tr> <tr> <td class="tg-maspeghi"><a href="https://2015.ecoop.org/track/MASPEGHI-2015-papers" style="color: #ffffff"><b>MASPEGHI</b> <br><font size="1px">Inheritance etc.</font></a></td> <td class="tg-jstools"><a href="https://2015.ecoop.org/track/JSTools-2015-papers" style="color: #ffffff"><b>JSTools</b> <br><font size="1px">JavaScript Analysis</font></a></td> <td class="tg-ftfjp"><a href="https://2015.ecoop.org/track/FTfJP-2015-papers" style="color: #ffffff"><b>FTfJP</b> <br><font size="1px">Formal Techniques</font></a></td> </tr> <tr> <td class="tg-cop"><a href="https://2015.ecoop.org/track/COP-2015-papers" style="color: #000000"><b>COP</b> <br><font size="1px">Context Orientation</font></a></td> <td class="tg-plas"><a href="https://2015.ecoop.org/track/PLAS-2015-papers" style="color: #000000"><b>PLAS</b> <br><font size="1px">Analysis for Security</font></a></td> <td class="tg-ple"><a href="https://2015.ecoop.org/track/PLE-2015-papers" style="color: #000000"><b>PLE</b> <br><font size="1px">Language Evolution</font></a></td> </tr> <tr> <td class="tg-doc" rowspan="2"><a href="https://2015.ecoop.org/track/ecoop15-ds" style="color: #000000"><b>Doctoral<br><b>Symposium</b></b></a></td> <td class="tg-icooolps"><a href="https://2015.ecoop.org/track/ICOOOLPS-2015-papers" style="color: #000000"><b>ICOOOLPS</b> <br><font size="1px">OO Implementation</font></a></td> <td class="tg-truffle"><a href="https://2015.ecoop.org/track/Truffle-2015-papers" style="color: #000000"><b>Truffle</b> <br><font size="1px">Truffle/Graal</font></a></td> <td class="tg-school" colspan="3" rowspan="2"><b>Summer School</b></td> </tr> <tr> <td class="tg-netpl"><a href="https://2015.ecoop.org/track/netpl-2015-workshop" style="color: #000000"><b>NetPL</b> <br><font size="1px"> Networking meets PL</font></a></td> <td class="tg-dlsdi"><a href="https://2015.ecoop.org/track/dsldi-2015-papers" style="color: #000000"><b>DSLDI</b> <br><font size="1px">Domain-Specific Lang.</font></a></td> </tr> </tbody></table></center> </a></div></div><div class="row"><div class="col-sm-12"><h3>Invited Speakers</h3><div id="e921bc569396135e43bffa4feb1708cewrapper"><div id="e921bc569396135e43bffa4feb1708ce"><a href="https://2015.ecoop.org/details/netpl-2015-workshop/4/Program-Synthesis-for-Network-Updates" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Pavol Cerny" src="https://2015.ecoop.org/getProfileImage/pavolcerny/3137d160-e201-47a8-a4c2-9e2a461d204e/avatar.jpg?1711507410000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Program Synthesis for Network Updates</h5><h6><i>Pavol Cerny</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/6/Pyro-Typing-Python-in-Python" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Alex Muscar" src="https://2015.ecoop.org/getProfileImage/alexmuscar/d27b658c-a859-4551-9ce4-bf3a1e2994a5/avatar.jpg?1718202014000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Pyro – Typing Python in Python</h5><h6><i>Alex Muscar</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/22/Kotlin-Challenges-in-language-design" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Andrey Breslav" src="https://2015.ecoop.org/getProfileImage/andreybreslav/2208e1ed-0d7c-4709-a4b3-dc37166a9788/avatar.jpg?1711790604000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Kotlin: Challenges in language design</h5><h6><i>Andrey Breslav</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/7/Immutable-Distributed-Infrastructure-with-Unikernels" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Anil Madhavapeddy" src="https://2015.ecoop.org/getProfileImage/anilmadhavapeddy/505529bf-b2b7-41a5-be88-f5cd55b433ae/avatar.jpg?1711482017000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Immutable Distributed Infrastructure with Unikernels</h5><h6><i>Anil Madhavapeddy</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/11/-The-State-of-Open-Source-SDN-and-Programming-Languages-Opportunities" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Colin Dixon" src="https://2015.ecoop.org/getProfileImage/colindixon/ecb31611-0444-43b2-b7c6-d7e4ccc32e75/avatar.jpg?1711691457000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5> The State of (Open Source) SDN and Programming Languages Opportunities</h5><h6><i>Colin Dixon</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/32/Rust-A-Type-System-You-Didn-t-Know-You-Wanted" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Felix Klock" src="https://2015.ecoop.org/getProfileImage/felixklock/91874c46-370a-4af5-b753-8cb019b1514e/avatar.jpg?1711518942000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Rust: A Type System You Didn't Know You Wanted</h5><h6><i>Felix Klock</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/8/Policy-Compliant-Path-Diversity-and-Bisection-Bandwidth" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Xenofontas Dimitropoulos" src="https://2015.ecoop.org/getProfileImage/xenofontasdimitropoulos/1fae76bf-9e93-4477-b7f0-428ffe16ee06/avatar.jpg?1711691357000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Policy-Compliant Path Diversity and Bisection Bandwidth</h5><h6><i>Xenofontas Dimitropoulos</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/9/From-Dumb-to-Smarter-Switches-in-Software-Defined-Networks-Towards-a-Stateful-Data-P" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Antonio Capone" src="https://2015.ecoop.org/getProfileImage/antoniocapone/6e25e10d-a395-41a2-b431-deeba7b77cc3/avatar.jpg?1711691410000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane</h5><h6><i>Antonio Capone</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/7/Programs-Wanted-Dead-or-Alive" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Gilad Bracha" src="https://2015.ecoop.org/getProfileImage/giladbracha/67a44daa-d93a-4adf-af3d-095d4288cab7/avatar.jpg?1711471951000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Programs Wanted: Dead or Alive</h5><h6><i>Gilad Bracha</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/24/Post-FRP-Frontend-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bodil Stokke" src="https://2015.ecoop.org/getProfileImage/bodilstokke/d455dfb6-387d-45c4-a4ce-1a42ca86af20/avatar.jpg?1715957386000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Post-FRP Frontend Programming</h5><h6><i>Bodil Stokke</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/17/QuickCheck-from-invention-to-product" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Thomas Arts" src="https://2015.ecoop.org/getProfileImage/thomasarts/63a65986-14f7-4388-aff5-8c3e309a6544/avatar.jpg?1718202754000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>QuickCheck: from invention to product</h5><h6><i>Thomas Arts</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/9/The-Evolving-Design-of-Pyret" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Shriram Krishnamurthi" src="https://2015.ecoop.org/getProfileImage/shriramkrishnamurthi/a91507e3-7a74-4039-8d46-43caf0447d75/avatar.jpg?1711482901000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>The Evolving Design of Pyret</h5><h6><i>Shriram Krishnamurthi</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/8/Akka-Typed-Between-Session-Types-and-the-Actor-Model" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Roland Kuhn" src="https://2015.ecoop.org/getProfileImage/rolandkuhn/32cc1fd1-eba4-4ad4-b823-5e5ba5a06cc7/avatar.jpg?1718202814000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Akka Typed: Between Session Types and the Actor Model</h5><h6><i>Roland Kuhn</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/research-track/36/Object-Oriented-Programming-without-Inheritance" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bjarne Stroustrup" src="https://2015.ecoop.org/getProfileImage/bjarnestroustrup/45fd403a-92e4-4d84-b603-67dedd3470f9/avatar.jpg?1716913353000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Object-Oriented Programming without Inheritance</h5><h6><i>Bjarne Stroustrup</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/34/It-Probably-Works" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Tyler McMullen" src="https://2015.ecoop.org/getProfileImage/tylermcmullen/bcf63a98-ac15-45e5-b96b-b8d30dadee0c/avatar.jpg?1718201935000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>It Probably Works</h5><h6><i>Tyler McMullen</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/2/Declarative-Probabilistic-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Molham Aref" src="https://2015.ecoop.org/getProfileImage/molhamaref/f44c8e45-c467-48c5-9779-e9cd9cd5375c/avatar.jpg?1711689716000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Declarative Probabilistic Programming</h5><h6><i>Molham Aref</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/4/Tern-Practical-Type-Inference-for-JavaScript-Editing" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Marijn Haverbeke" src="https://2015.ecoop.org/getProfileImage/marijnhaverbeke/4b718399-24cf-4e06-9815-33b418579d72/avatar.jpg?1718202795000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Tern: Practical Type Inference for JavaScript Editing</h5><h6><i>Marijn Haverbeke</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/11/Java-everywhere-again-with-DukeScript-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Anton Epple" src="https://2015.ecoop.org/getProfileImage/antonepple/aee4fed8-9fef-4a06-ad27-3614014cf278/avatar.jpg?1718202731000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Java everywhere again - with DukeScript!</h5><h6><i>Anton Epple</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/1/Coding-for-Types-The-Universe-Pattern-in-Idris" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="David Thrane Christiansen" src="https://2015.ecoop.org/getProfileImage/davidchristiansen/4c4934ab-de37-4946-b7f7-59a7ef375eaa/avatar.jpg?1712177621000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Coding for Types: The Universe Pattern in Idris</h5><h6><i>David Thrane Christiansen</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/27/Structured-Synchronous-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Francisco Sant'Anna" src="https://2015.ecoop.org/getProfileImage/franciscosantanna/c4589467-fae4-49f7-bf3e-257d3306c2ab/avatar.jpg?1718202756000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Structured Synchronous Programming</h5><h6><i>Francisco Sant'Anna</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/STOP2015/2/MyPy-an-Optionally-Typed-Python" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jukka Lehtosalo" src="https://2015.ecoop.org/getProfileImage/jukkalehtosalo/05109737-cbb7-490d-b085-8d2bbef2b073/avatar.jpg?1711680296000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>MyPy, an Optionally-Typed Python</h5><h6><i>Jukka Lehtosalo</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/11/Nimble-yet-Systematic-Trading" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Robert Grimm" src="https://2015.ecoop.org/getProfileImage/robertgrimm/65d225f8-02e5-4cf2-8557-f931da113f9b/avatar.jpg?1711632335000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Nimble yet Systematic Trading</h5><h6><i>Robert Grimm</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/12/Speed-at-a-Price-The-Evolution-of-V8-and-the-Challenges-of-Research-in-a-Billion-Us" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Ben L. Titzer" src="https://2015.ecoop.org/getProfileImage/benltitzer/32bf3136-0edd-4af4-8548-7ae214cb5c2a/avatar.jpg?1718202752000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM</h5><h6><i>Ben L. Titzer</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/6/Enabling-End-Host-Network-Functions" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Hitesh Ballani" src="https://2015.ecoop.org/getProfileImage/hiteshballani/0cd29491-88d2-478e-bb2d-da6ad74a8d7f/avatar.jpg?1711691392000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Enabling End Host Network Functions</h5><h6><i>Hitesh Ballani</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/16/Coccinelle-for-the-Working-Programmer" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Julia Lawall" src="https://2015.ecoop.org/getProfileImage/julialawall/f55f46e1-05a3-4f7d-95de-afb2fcaeaf99/avatar.jpg?1718202767000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Coccinelle for the Working Programmer</h5><h6><i>Julia Lawall</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/4/-Taming-Uncertainty-Scale-and-Change-A-Programming-Language-Pers" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Suresh Jagannathan" src="https://2015.ecoop.org/getProfileImage/sureshjagannathan/73305772-bb43-42ae-bc42-1c3c909c2f44/avatar.jpg?1711483958000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5> Taming Uncertainty, Scale, and Change: A Programming Language Perspective</h5><h6><i>Suresh Jagannathan</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/3/Let-s-be-mainstream-User-focused-design-in-Elm" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Evan Czaplicki" src="https://2015.ecoop.org/getProfileImage/evanczaplicki/82f245c3-fe90-4455-8e99-50c933dcc3d2/avatar.jpg?1718202739000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Let's be mainstream! User-focused design in Elm</h5><h6><i>Evan Czaplicki</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/29/Making-Embedded-Domain-Specific-Languages-a-Practical-Reality" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jurriaan Hage" src="https://2015.ecoop.org/getProfileImage/jurriaanhage/350db74b-6360-4cdc-a437-0d0d68b7afbf/avatar.jpg?1711668858000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Making Embedded Domain Specific Languages a Practical Reality</h5><h6><i>Jurriaan Hage</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/STOP2015/3/Experiments-with-Strengthening-JavaScript" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Andreas Rossberg" src="https://2015.ecoop.org/getProfileImage/andreasrossberg/63a72ef4-6106-42d3-a210-4f71ddbdea53/avatar.jpg?1711606235000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Experiments with Strengthening JavaScript</h5><h6><i>Andreas Rossberg</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/9/JS-20" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Brendan Eich" src="https://2015.ecoop.org/getProfileImage/brendaneich/233a1b87-412e-45cc-a348-3e4869cab0c8/avatar.jpg?1718202760000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>JS @ 20</h5><h6><i>Brendan Eich</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/10/Managing-Dynamic-Networks-Distributed-or-Centralized-Control-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Roger Wattenhofer" src="https://2015.ecoop.org/getProfileImage/rogerwattenhofer/15df931f-f49b-4357-a7cd-fea3084fb7a0/avatar.jpg?1711691339000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Managing Dynamic Networks: Distributed or Centralized Control?</h5><h6><i>Roger Wattenhofer</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/2/Data-Manipulation-using-Programming-By-Examples-and-Natural-Language" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Sumit Gulwani" src="https://2015.ecoop.org/getProfileImage/sumitgulwani/8db39b15-00f5-4459-9de5-d3699c8f88b3/avatar.jpg?1711804515000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Data Manipulation using Programming By Examples and Natural Language</h5><h6><i>Sumit Gulwani</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/20/GS-Collections-Echoes-of-Smalltalk-s-Past" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Alexander Iliev" src="https://2015.ecoop.org/getProfileImage/alexanderiliev/b0fa16c4-f7ad-427d-a670-06a282447bfd/avatar.jpg?1718202782000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>GS Collections: Echoes of Smalltalk’s Past</h5><h6><i>Alexander Iliev</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/PLE-2015-papers/6/What-if-anything-have-we-learned-from-C-in-room-Bohemia-I-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bjarne Stroustrup" src="https://2015.ecoop.org/getProfileImage/bjarnestroustrup/45fd403a-92e4-4d84-b603-67dedd3470f9/avatar.jpg?1716913353000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>What - if anything - have we learned from C++? *** in room Bohemia I **</h5><h6><i>Bjarne Stroustrup</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/36/Encapsulating-replication-high-concurrency-and-consistency-with-CRDTs" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Marc Shapiro" src="https://2015.ecoop.org/getProfileImage/marcshapiro/80fbb3cb-249d-4a8d-b873-ec72850f9026/avatar.jpg?1712634129000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Encapsulating replication, high concurrency and consistency with CRDTs</h5><h6><i>Marc Shapiro</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/19/How-to-be-a-good-host-miniKanren-as-a-case-study" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Daniel Friedman" src="https://2015.ecoop.org/getProfileImage/danielfriedman/ba5341f9-97aa-4759-9039-eaf6b9b5b143/avatar.jpg?1711720585000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>How to be a good host: miniKanren as a case study</h5><h6><i>Daniel Friedman, Jason Hemann</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/23/Crystal-a-programming-language-for-humans-and-computers" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Ary Borenszweig" src="https://2015.ecoop.org/getProfileImage/aryborenszweig/87a193ab-fda2-4c24-864e-84e5b742bdfd/avatar.jpg?1718201886000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Crystal: a programming language for humans and computers</h5><h6><i>Ary Borenszweig, Juan Wajnerman</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/13/Java-Twitter-a-bird-s-eye-view" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Tony Printezis" src="https://2015.ecoop.org/getProfileImage/tonyprintezis/8dcb1d38-6b80-474f-b09e-210de490af45/avatar.jpg?1718202801000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Java @ Twitter - a bird's eye view</h5><h6><i>Tony Printezis</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/26/Servant-a-type-level-DSL-for-web-APIs" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Julian Arni" src="https://2015.ecoop.org/getProfileImage/julianarni/dd3376a5-8f92-454e-b1bc-a69d8c3bd65f/avatar.jpg?1718202745000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Servant: a type-level DSL for web APIs</h5><h6><i>Julian Arni</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/8/Herding-Weak-Memory-Cats" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jade Alglave" src="https://2015.ecoop.org/getProfileImage/jadealglave/aa17b53a-e32b-4538-8d44-5506b94d8fe8/avatar.jpg?1711467492000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Herding Weak Memory Cats</h5><h6><i>Jade Alglave</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/21/Some-of-the-Things-That-Macros-Do" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Zach Tellman" src="https://2015.ecoop.org/getProfileImage/zachtellman/eb3b3ff5-eca3-4f42-8893-0250d7cd9cd8/avatar.jpg?1718202784000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Some of the Things That Macros Do</h5><h6><i>Zach Tellman</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/1/NEMO-An-Intent-Oriented-Network-Programming-Language" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Xia Yinben" src="https://2015.ecoop.org/getProfileImage/xiayinben/0345a785-72b0-41e8-ac80-b6c1702ec9c8/avatar.jpg?1711691322000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>NEMO-An Intent Oriented Network Programming Language</h5><h6><i>Xia Yinben</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/5/Graceful-Programming-Teaching-Introductory-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Kim Bruce" src="https://2015.ecoop.org/getProfileImage/kimbruce/5b0a6294-9da5-4ac1-b357-63464ce5b566/avatar.jpg?1711533672000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Graceful Programming --- Teaching Introductory Programming</h5><h6><i>Kim Bruce</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/15/What-if-anything-have-we-learned-from-C-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bjarne Stroustrup" src="https://2015.ecoop.org/getProfileImage/bjarnestroustrup/45fd403a-92e4-4d84-b603-67dedd3470f9/avatar.jpg?1716913353000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>What, if anything, have we learned from C++?</h5><h6><i>Bjarne Stroustrup</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/1/Verifying-Correctness-of-Statefull-Networks" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Mooly Sagiv" src="https://2015.ecoop.org/getProfileImage/moolysagiv/ca660120-3334-4bf1-a793-aa39f254539e/avatar.jpg?1711519931000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Verifying Correctness of Statefull Networks</h5><h6><i>Mooly Sagiv</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/35/Julia-Numerical-Applications-Pushing-the-Limits-of-Language-Design" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jeff Bezanson" src="https://2015.ecoop.org/getProfileImage/jeffbezanson/d7024403-1adf-404f-9e2f-178bff8319e0/avatar.jpg?1718201978000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Julia: Numerical Applications Pushing the Limits of Language Design</h5><h6><i>Jeff Bezanson, Stefan Karpinski</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/netpl-2015-workshop/5/Static-and-Dynamic-Reasoning-for-SDNs" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Shriram Krishnamurthi" src="https://2015.ecoop.org/getProfileImage/shriramkrishnamurthi/a91507e3-7a74-4039-8d46-43caf0447d75/avatar.jpg?1711482901000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Static and Dynamic Reasoning for SDNs</h5><h6><i>Shriram Krishnamurthi</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/10/Everything-old-is-new-again-Quoted-domain-specific-languages" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Philip Wadler" src="https://2015.ecoop.org/getProfileImage/philipwadler/329d9a13-7558-4531-8b8b-32904d0caaab/avatar.jpg?1711549517000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Everything old is new again: Quoted domain specific languages</h5><h6><i>Philip Wadler</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/3/Noise-based-Testing-of-Concurrent-Software" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Tomá&scaron; Vojnar" src="https://2015.ecoop.org/getProfileImage/tomasvojnar/a2027d22-c556-409b-b18d-6aec02e0646b/avatar.jpg?1718099725000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Noise-based Testing of Concurrent Software</h5><h6><i>Tomáš Vojnar</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/research-track/2/Software-Verification-Across-the-Stack-" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Alexander J. Summers" src="https://2015.ecoop.org/getProfileImage/alexanderjsummers/83118046-15f2-4438-82b6-3df8fde54112/avatar.jpg?1711464040000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Software Verification "Across the Stack"</h5><h6><i>Alexander J. Summers</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/research-track/26/Programming-in-the-Large-for-the-Internet-of-Things" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Jong-Deok Choi" src="https://2015.ecoop.org/getProfileImage/jongdoekchoi/fd2be542-8f06-45b8-aba3-b5818b7686c2/avatar.jpg?1718202727000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Programming in the Large for the Internet of Things</h5><h6><i>Jong-Deok Choi</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/5/LLVM-for-JavaScript" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Filip Pizlo" src="https://2015.ecoop.org/getProfileImage/filippizlo/bed98de6-350d-48c4-8aec-8decfe611430/avatar.jpg?1718202077000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>LLVM for JavaScript</h5><h6><i>Filip Pizlo</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/10/Programming-with-Millions-of-Examples" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Eran Yahav" src="https://2015.ecoop.org/getProfileImage/eranyahav/f3a00bbf-0b8f-4b2f-9ae5-67e67965f5fa/avatar.jpg?1711550865000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Programming with Millions of Examples</h5><h6><i>Eran Yahav</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/7/Modern-Concurrent-Separation-Logics" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Philippa Gardner" src="https://2015.ecoop.org/getProfileImage/philippagardner/81c7d858-9346-4706-9a44-a584905ece33/avatar.jpg?1711830226000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Modern Concurrent Separation Logics</h5><h6><i>Philippa Gardner</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/ecoop15-summer-school/6/Synthesis-and-Verification-for-Everyone" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Emina Torlak" src="https://2015.ecoop.org/getProfileImage/eminatorlak/473b38cb-ed9e-4292-8b1e-cf0732d370bd/avatar.jpg?1711543966000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Synthesis and Verification for Everyone</h5><h6><i>Emina Torlak</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/STOP2015/6/JavaScript-in-the-Small" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Satish Chandra" src="https://2015.ecoop.org/getProfileImage/satishchandra/235d9365-110f-44cf-b6b2-9cda51aa2dbf/avatar.jpg?1711466580000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>JavaScript in the Small</h5><h6><i>Satish Chandra</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/28/Bits-of-Advice-for-VM-Writers" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Cliff Click" src="https://2015.ecoop.org/getProfileImage/cliffclick/45a68618-3ced-4c62-8086-7422732c73ea/avatar.jpg?1718201985000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Bits of Advice for VM Writers</h5><h6><i>Cliff Click</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/research-track/32/The-Prague-List-Open-Problems-in-Object-Oriented-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Bertrand Meyer" src="https://2015.ecoop.org/getProfileImage/bertrandmeyer/90ca79c5-5cbb-4432-b255-785fe4149434/avatar.jpg?1711759772000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>The Prague List: Open Problems in Object-Oriented Programming</h5><h6><i>Bertrand Meyer</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/STOP2015/9/Flow-a-static-type-checker-for-JavaScript" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Avik Chaudhuri" src="https://2015.ecoop.org/getProfileImage/avikchaudhuri/7c5d8215-f05b-4af8-b428-723be45026e1/avatar.jpg?1711611617000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Flow: a static type checker for JavaScript</h5><h6><i>Avik Chaudhuri</i></h6></div></div></div></a><a href="https://2015.ecoop.org/details/CurryOn/31/Empowering-Spreadsheet-Users-with-Probabilistic-Programs" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Andrew D. Gordon" src="https://2015.ecoop.org/getProfileImage/andrewdgordon/7f4f0e59-76f0-47f6-ae40-c58b9d6d6291/avatar.jpg?1711689959000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Empowering Spreadsheet Users with Probabilistic Programs</h5><h6><i>Andrew D. Gordon</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#e921bc569396135e43bffa4feb1708ce").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: "#e921bc569396135e43bffa4feb1708cewrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#e921bc569396135e43bffa4feb1708ce .' + cl + ',#e921bc569396135e43bffa4feb1708ce .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#e921bc569396135e43bffa4feb1708ce .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3></h3></div></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 2015 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://2015.ecoop.org/track/ecoop15-artifacts" class="text-muted navigate">Artifacts</a> | <a href="https://2015.ecoop.org/track/CurryOn" class="text-muted navigate">Curry On</a> | <a href="https://2015.ecoop.org/track/ecoop15-ds" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://2015.ecoop.org/track/ecoop15-summer-school" class="text-muted navigate">ECOOP Summer School</a> | <a href="https://2015.ecoop.org/track/ecoop15-posters" class="text-muted navigate">Posters</a> | <a href="https://2015.ecoop.org/track/research-track" class="text-muted navigate">Research Track</a> | <a href="https://2015.ecoop.org/track/ecoop15-sv" class="text-muted navigate">Student Volunteers</a> | <a href="https://2015.ecoop.org/track/ecoop15-workshops" class="text-muted navigate">Workshops</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-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-bullhorn"></span> <a href="https://2015.ecoop.org/news" class="navigate">Featured News</a></div></div><table class="table table-hover"><tr href="https://2015.ecoop.org/news#Artifacts-now-published!" class="clickable-row"><td>Artifacts now published!<span class="pull-right"><small class="text-muted">Sun 1 Nov 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#Distinguished-Artifact-Award-announced!" class="clickable-row"><td>Distinguished Artifact Award announced!<span class="pull-right"><small class="text-muted">Thu 11 Jun 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#Distinguished-Paper-Award-announced!" class="clickable-row"><td>Distinguished Paper Award announced!<span class="pull-right"><small class="text-muted">Sat 2 May 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#ECOOP-is-now-an-Open-Access-conference" class="clickable-row"><td>ECOOP is now an Open Access conference<span class="pull-right"><small class="text-muted">Mon 2 Mar 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#MASPEGHI-workshop-added!" class="clickable-row"><td>MASPEGHI workshop added!<span class="pull-right"><small class="text-muted">Fri 27 Feb 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#A-Code-of-Conduct-has-been-published." class="clickable-row"><td>A Code of Conduct has been published.<span class="pull-right"><small class="text-muted">Thu 5 Feb 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#Google,-Microsoft,-Samsung-and-Oracle-are-sponsoring-ECOOP!" class="clickable-row"><td>Google, Microsoft, Samsung and Oracle are sponsoring ECOOP!<span class="pull-right"><small class="text-muted">Sat 31 Jan 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#Thirteen-workshops-have-been-accepted!" class="clickable-row"><td>Thirteen workshops have been accepted!<span class="pull-right"><small class="text-muted">Fri 30 Jan 2015</small></span></td></tr><tr href="https://2015.ecoop.org/news#ECOOP-has-received-136-papers" class="clickable-row"><td>ECOOP has received 136 papers<span class="pull-right"><small class="text-muted">Thu 25 Dec 2014</small></span></td></tr><tr href="https://2015.ecoop.org/news#Paper-submission-is-now-open" class="clickable-row"><td>Paper submission is now open<span class="pull-right"><small class="text-muted">Sat 22 Nov 2014</small></span></td></tr></table></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="https://labs.oracle.com" title="Oracle Labs" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle Labs" src="https://2015.ecoop.org/getLogo/942e5049-12a6-406e-9f2a-4bab2c4ad137?1422664021000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://research.microsoft.com" title="Microsoft Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Microsoft Research" src="https://2015.ecoop.org/getLogo/a90e7bbe-37a8-4316-b270-65c52b0b5dd8?1422664013000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.sra.samsung.com" title="Samsung Research America" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Samsung Research America" src="https://2015.ecoop.org/getLogo/0ef4919c-753d-42bc-8ed2-55010151970d?1422594595000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://2015.ecoop.org/getLogo/6b4bf0c5-c519-4347-ba45-b92d6e45322d?1422697670000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.facebook.com" title="facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="facebook" src="https://2015.ecoop.org/getLogo/12c6872d-8bfe-4a6c-8abe-493eb36b032b?1429556863000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://Rstudio.com" title="RStudio" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="RStudio" src="https://2015.ecoop.org/getLogo/0b8a5db9-0080-4951-a56a-9e9ea0902413?1422909896000" class="outputimage"/></span></td><td>Bronze</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://2015.ecoop.org/getLogo/313e56a8-c39c-4639-b512-896f589464c6?1423514636000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.goldmansachs.com/" title="Goldman Sachs" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Goldman Sachs" src="https://2015.ecoop.org/getLogo/57f0ef91-fb83-443f-9066-49eedb52675f?1427921502000" class="outputimage"/></span></td><td>Bronze</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://2015.ecoop.org/getLogo/58322d45-0d6f-4ba9-b039-ec078a383dc5?1428663368000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://www.mozilla.org/en-US/research/" title="Mozilla Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Mozilla Research" src="https://2015.ecoop.org/getLogo/44ff779f-076a-4bf4-91d6-32dfca87722d?1429086586000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.logicblox.com" title="LogicBlox" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="LogicBlox" src="https://2015.ecoop.org/getLogo/d00cea26-8c95-4b2f-b492-4990c1321936?1435420941000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://nsf.gov" title="NSF" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="NSF" src="https://2015.ecoop.org/getLogo/0b1207d5-e112-4a63-801a-2203dd9b5edb?1420516019000" class="outputimage"/></span></td><td></td></tr><tr href="http://fit.cvut.cz/en" title="Czech Technical University" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Czech Technical University" src="https://2015.ecoop.org/getLogo/4549e8f2-44d2-4242-bc0e-d49a57a360b6?1420516056000" class="outputimage"/></span></td><td></td></tr><tr href="http://ccs.neu.edu" title="Northeastern University" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Northeastern University" src="https://2015.ecoop.org/getLogo/baaecedb-a453-44f2-a370-0c18753db870?1412558345000" class="outputimage"/></span></td><td></td></tr><tr href="http://uwm.edu/engineering/academics-2/departments/computer-science/" title="University of Wisconsin, Milwaukee" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="University of Wisconsin, Milwaukee" src="https://2015.ecoop.org/getLogo/c62dc056-9121-4904-9eb6-52111f77b237?1424633805000" class="outputimage"/></span></td><td></td></tr><tr href="http://www.inf.ethz.ch" title="ETHZ" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ETHZ" src="https://2015.ecoop.org/getLogo/fa1573bb-3c6c-4400-8a51-1e2b0f45e025?1424645365000" class="outputimage"/></span></td><td></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://2015.ecoop.org/getLogo/d2ecefff-8a0a-4ed1-9ebf-7cb7d2e1f7b4?1420516063000" class="outputimage"/></span></td><td></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>Tue 18 Feb 00:01</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://2015.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="ecoop15" /><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://2015.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop15"},],"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://2015.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="ecoop15" /><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://2015.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop15"},],"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://2015.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2015</a></h3><div><a href="https://2015.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://2015.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://2015.ecoop.org/track/ecoop15-artifacts" class="navigate">Artifacts</a><br/><a href="https://2015.ecoop.org/track/CurryOn" class="navigate">Curry On</a><br/><a href="https://2015.ecoop.org/track/ecoop15-ds" class="navigate">Doctoral Symposium</a><br/><a href="https://2015.ecoop.org/track/ecoop15-summer-school" class="navigate">Summer School</a><br/><a href="https://2015.ecoop.org/track/ecoop15-posters" class="navigate">Posters</a><br/><a href="https://2015.ecoop.org/track/research-track" class="navigate">Research Track</a><br/><a href="https://2015.ecoop.org/track/ecoop15-sv" class="navigate">Student Volunteers</a><br/><a href="https://2015.ecoop.org/track/ecoop15-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://conf.researchr.org/home/COP-2015" class="navigate">COP 2015</a><br/><a href="https://conf.researchr.org/home/dsldi-2015" class="navigate">DSLDI 2015</a><br/><a href="https://conf.researchr.org/home/FTfJP-2015" class="navigate">FTfJP 2015</a><br/><a href="https://2015.ecoop.org/track/ICOOOLPS-2015-papers" class="navigate">ICOOOLPS 2015</a><br/><a href="https://conf.researchr.org/home/JSTools-2015" class="navigate">JSTools 2015</a><br/><a href="https://conf.researchr.org/home/MASPEGHI-2015" class="navigate">MASPEGHI 2015</a><br/><a href="https://conf.researchr.org/home/ML4PL-2015" class="navigate">ML4PL 2015</a><br/><a href="https://2015.ecoop.org/home/netpl-2015" class="navigate">NetPL 2015</a><br/><a href="https://conf.researchr.org/home/PLAS-2015" class="navigate">PLAS 2015</a><br/><a href="https://conf.researchr.org/home/PLE-2015" class="navigate">PLE 2015</a><br/><a href="https://conf.researchr.org/home/Pharo-2015" class="navigate">Pharo 2015</a><br/><a href="https://conf.researchr.org/home/RIOT-2015" class="navigate">RIOT 2015</a><br/><a href="https://2015.ecoop.org/track/STOP2015" class="navigate">STOP 2015</a><br/><a href="https://2015.ecoop.org/track/Truffle-2015-papers" class="navigate">Truffle 2015</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2015.ecoop.org/venue/prague-marriott" class="navigate">Venue: Marriott</a><br><a href="https://2015.ecoop.org/venue/curry-on-party" class="navigate">Restaurant: Velka Klasterni (Curry On)</a><br><a href="https://2015.ecoop.org/venue/ecoop-banquet" class="navigate">Restaurant: Hergertova Cihelna (ECOOP)</a><br><a href="https://2015.ecoop.org/venue/fit-ctu" class="navigate">Venue: FIT</a><br><a href="https://2015.ecoop.org/attending/about" class="navigate">Welcome</a><br><a href="https://2015.ecoop.org/attending/location" class="navigate">History</a><br><a href="https://2015.ecoop.org/attending/students" class="navigate">Students</a><br><a href="https://2015.ecoop.org/attending/registration" class="navigate">Registration</a><br><a href="https://2015.ecoop.org/attending/accommodation" class="navigate">Hotels</a><br><a href="https://2015.ecoop.org/attending/food" class="navigate">Food</a><br><a href="https://2015.ecoop.org/attending/prague-guide" class="navigate">Travel</a><br><a href="https://2015.ecoop.org/attending/sponsorship" class="navigate"> Sponsoring</a><br><a href="https://2015.ecoop.org/attending/code-of-conduct" class="navigate">Conduct</a></div><div class="col-sm-2"><h4>Social Media</h4> <a href="https://twitter.com/ecoop2015" class="twitter-follow-button" data-show-count="false">Follow @ecoop2015</a> <script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+'://platform.twitter.com/widgets.js';fjs.parentNode.insertBefore(js,fjs);}}(document, 'script', 'twitter-wjs');</script>  <script src="https://apis.google.com/js/platform.js" async defer></script>  <br/> <div class="g-follow" data-annotation="none" data-height="20" data-href="https://plus.google.com/116827379033815547159" data-rel="publisher"></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.0"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk'));</script> <div class="fb-follow" data-href="https://www.facebook.com/ecoop.2015" data-colorscheme="light" data-layout="button" data-show-faces="true"></div> </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>