CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://2020.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Scala 2020 - 11th ACM SIGPLAN Scala Symposium - ECOOP 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.ecoop.org";</script> <link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/getFile/a03c8d2f-435f-408e-bdb4-1f9c3de80d08/custom.css?1594641067716" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2020.ecoop.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.ecoop.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content=' Scala Symposium Room: SPLASH-V (via Youtube and Zoom) Time: 18th Nov, 04:00 - 07:00 AoE ( When is this in my timezone?) Welcome to the ACM SIGPLAN Scala Symposium, 2020! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission f ...'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.ecoop.org/getImage/carousel/5632590238_cc8c37673e_o.jpg?1570607225000'> <script>if(window.location.href.indexOf("2020.ecoop.org/program/") > 0 ) { window.location.replace("https://2020.splashcon.org/program/program-splash-2020"); }</script> <script>$(function() {$(":root").attr("lang", "en-US");}); $(function() {if ($('.carousel').length > 0) { /*$('body').addClass("with-carousel");*/ $('.carousel').remove(); /*replace program links to link to splash program*/ $('#program-menu a[href="https://2020.ecoop.org/program/program-ecoop-2020"]').attr('href', "https://2020.splashcon.org/program/program-splash-2020"); }})</script> <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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Scala 2020 - 11th ACM SIGPLAN Scala Symposium - ECOOP 2020'> <meta name='description' content=' Scala Symposium Room: SPLASH-V (via Youtube and Zoom) Time: 18th Nov, 04:00 - 07:00 AoE ( When is this in my timezone?) Welcome to the ACM SIGPLAN Scala Symposium, 2020! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission f ...'> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2020.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2020</span></a><div class="place">Sun 15 - Tue 17 November 2020 <a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Online Conference</a></div><div class="place2">co-located with <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li class="block"><a href="https://2020.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li class="block"><a href="https://2020.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a></li><li class="block dropdown-header">SPLASH 2020</li><li class="block"><a href="https://2020.ecoop.org/attending/Students" class="indent navigate">Students</a></li><li class="block"><a href="https://2020.ecoop.org/attending/Registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2020.ecoop.org/attending/awards" class="indent navigate">Awards</a></li><li class="block"><a href="https://2020.ecoop.org/attending/sponsoring" class="indent navigate">Sponsoring</a></li><li class="block"><a href="https://2020.ecoop.org/attending/Conduct" class="indent navigate">Code of conduct</a></li><li class="block"><a href="https://2020.ecoop.org/attending/Certificate+of+Attendance" class="indent navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li class="block"><a href="https://2020.ecoop.org/program/program-ecoop-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2020</li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate">Artifacts</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate">Posters</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li class="block"><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ECOOP 2020 Committees</li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Research Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2020.ecoop.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="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://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/COP-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>IWACO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>JSTools</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PRIDE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/pride-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/soop-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SySEPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/vortex-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2020.ecoop.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2020.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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2020</span></li><li class="block"><a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a></li><li class="block"><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li class="block"><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li class="block"><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li class="block"><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li class="block"></li><li class="block"><a href="http://2014.ecoop.org" target="_blank" class="navigate">2014: Uppsala <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2013.ecoop.org" target="_blank" class="navigate">2013: Montpellier <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop12.cs.purdue.edu" target="_blank" class="navigate">2012: Beijing <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://scc-sentinel.lancs.ac.uk/ecoop11/" target="_blank" class="navigate">2011: Lancaster <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop2010.uni-mb.si" target="_blank" class="navigate">2010: Maribor <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop09.disi.unige.it" target="_blank" class="navigate">2009: Genova <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://ecoop08.cs.ucy.ac.cy" target="_blank" class="navigate">2008: Cyprus <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop07.swt.cs.tu-berlin.de" target="_blank" class="navigate">2007: Berlin <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.emn.fr/z-info/ecoop2006/" target="_blank" class="navigate">2006: Nice <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2005.ecoop.org/" target="_blank" class="navigate">2005: Glasgow <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/ecoop-2020/https%3A%5Es%5Es2020.ecoop.org%5Eshome%5Esscala-2020" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2020.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.ecoop.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a> (<a href="https://2020.ecoop.org/series/ecoop" class="navigate">series</a>) / </span><span class="text-muted small">Scala 2020 (<a href="https://2020.ecoop.org/series/scala" class="navigate">series</a>) / </span><h1>11th ACM SIGPLAN Scala Symposium<span class="pull-right small h1">Scala 2020</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Talks and Papers</a></li><li><a href="#Call-for-Papers" data-toggle="tab">Call for Papers</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><div style="color: #856404; border: 2px solid #ffeeba; background-color: #fff3cd; padding: 6px; margin: 20px; text-align: center"> <b>Scala Symposium</b><br> Room: SPLASH-V (via Youtube and Zoom)<br> Time: 18th Nov, 04:00 - 07:00 AoE<br> (<a href="https://time.is/1700_18_Nov_2020_in_Darmstadt/Berkeley/Alberta/Switzerland/CT/CST/Cambridge,_Middlesex_County,_Massachusetts/Anywhere_on_Earth?Scala20">When is this in my timezone?</a>)<br> </div> <p>Welcome to the ACM SIGPLAN Scala Symposium, 2020!</p> <p>Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages.</p> <p>The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike.</p> <p>Follow <a href="https://twitter.com/scala_symposium">@scala_symposium</a> on Twitter for updates.</p> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2020.ecoop.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="ecoop-2020" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT-06:00) Central Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-06:00) Central Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-10:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-07:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT-01:00) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+02:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+02:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+02:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2020"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -360){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 18 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Central Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c9"></td><td><div class="slot-label">00:20 - 01:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Breakfast in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-SRC" target="_blank" class="text-muted navigate">SPLASH Student Research Competition</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/><ul> <li> <p>Aidan Yang, <i>SOAR: Synthesis for Open-Source API Refactoring</i></p> </li> <li> <p>Gahwon Lee, <i>SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems</i></p> </li> <li> <p>Ian C. McCormack, <i>A Software Library Model for the Internet of Things</i></p> </li> <li> <p>Mona Zhang and Jacob Gorenburg, <i>Design and Implementation of a Gradual Verifier</i></p> </li> <li> <p>Raphael Mosaner, <i>Machine Learning to Ease Understanding of Data Driven Compiler Optimizations</i></p> </li> <li> <p>Reed Oei, <i> Psamathe: A DSL for Safe Blockchain Assets </i></p> </li> <li> <p>Sang Heon Choi, <i>Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces</i></p> </li> <li> <p>Sophia Kolak, <i>Detecting Performance Patterns with Deep Learning</i></p> </li> <li> <p>Vitaly Romanov, <i>Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions</i></p> </li> </ul> </div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="27e9c703-c098-40fe-9407-36203f6c5c2d" class="hidable"><td class="track-color c9"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:20</div><strong>40m</strong></div><div class="event-type">Poster</div><span data-facet-track="SPLASH Student Research Competition"></span></td><td><span data-event-star="a9e3d4ea-adaf-4e67-a431-fcf11578554b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a9e3d4ea-adaf-4e67-a431-fcf11578554b">Student Research Competition</a></strong><div class="prog-track">SPLASH Student Research Competition</div><br></td></tr></table></div><div class="hidable band hour-2"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">02:20 - 03:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in Sydney<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d058804c-dca1-403c-a7a1-fc4ae37a346b" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="4c9081af-aa92-4d04-a815-22b427724873" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4c9081af-aa92-4d04-a815-22b427724873">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-4"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">04:20 - 05:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Bejing<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="28b438c8-2bb8-4c84-9d21-6e2026f92db5" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">04:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="5a1b823c-58b7-45a2-a372-1295a926866d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5a1b823c-58b7-45a2-a372-1295a926866d">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-6"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">06:20 - 07:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Dinner in Delhi<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ccf31134-d942-4fcf-95d3-d3804e8340b1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">06:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="41344328-debe-4b54-a95f-00473bea98e4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="41344328-debe-4b54-a95f-00473bea98e4">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-8"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c37"></td><td><div class="slot-label">08:20 - 09:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Chicago<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-awards" target="_blank" class="text-muted navigate">SPLASH Awards</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2e95fb9c-7b37-433c-b8f4-4f324d5e9cdc" class="hidable"><td class="track-color c37"></td><td class=" text-right"><div class="text-muted"><div class="start-time">08:20</div><strong>40m</strong></div><div class="event-type">Other</div><span data-facet-track="SPLASH Awards"></span></td><td><span data-event-star="c0fd419e-0940-4fad-8e84-7f72a9339b79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c0fd419e-0940-4fad-8e84-7f72a9339b79">Awards Session</a></strong><div class="prog-track">SPLASH Awards</div><div class="performers"><a href="https://2020.ecoop.org/profile/davidgrove" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span>, <a href="https://2020.ecoop.org/profile/jenspalsberg" class="navigate">Jens Palsberg</a><span class="prog-aff"> University of California, Los Angeles</span></div></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">09:00 - 10:20</div></td><td colspan="2"><div class="session-info-in-table">W<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">SPLASH Keynotes</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/hrideshrajan" target="_blank" class="navigate">Hridesh Rajan</a><span class="prog-aff"> Iowa State University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d7369bc9-e0dc-49a7-add9-56eb88b344fb" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="524d2a59-9a05-498f-879b-750d10430c79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="524d2a59-9a05-498f-879b-750d10430c79">Models and Programs: Better Together<span class="pull-right"><span data-facet-badge="supported by Futurewei" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by Futurewei</span></span></span></a></strong><div class="prog-track">SPLASH Keynotes</div><div class="performers"><a href="https://2020.ecoop.org/profile/sriramrajamani" class="navigate">Sriram Rajamani</a><span class="prog-aff"> Microsoft Research</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434070" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-9"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-V" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c16"></td><td><div class="slot-label">09:00 - 14:20</div></td><td colspan="2"><div class="session-info-in-table">Scala Symposium<span class="pull-right"><a href="https://2020.ecoop.org/home/scala-2020" target="_blank" class="text-muted navigate">Scala</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-v" target="_blank" class="room-link navigate">SPLASH-V</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="352eb5bb-2254-4f6d-b67e-a84faf7732c8" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>5m</strong></div><div class="event-type">Day opening</div><span data-facet-track="Scala"></span></td><td><span data-event-star="f4874e56-74be-453f-8f2f-2bd0dd8a547f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f4874e56-74be-453f-8f2f-2bd0dd8a547f">Welcome to Scala 2020</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nadaamin" class="navigate">Nada Amin</a><span class="prog-aff"> Harvard University</span>, <a href="https://2020.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2020.ecoop.org/profile/davidrichter" class="navigate">David Richter</a><span class="prog-aff"> Technical University of Darmstadt</span></div></td></tr><tr data-slot-id="46c03259-81cc-4048-b1c5-227f2f61f83b" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:05</div><strong>35m</strong></div><div class="event-type">Keynote</div><span data-facet-track="Scala"></span></td><td><span data-event-star="1ef9cb03-a21e-4a33-9a5a-f0ee48606516" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1ef9cb03-a21e-4a33-9a5a-f0ee48606516">Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a><span class="prog-aff"> MPI-SWS</span></div></td></tr><tr data-slot-id="5dea9e31-b0f4-4577-b674-c2a0f4fc9a42" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="Scala"></span></td><td><span data-event-star="7c75547f-00fe-457c-bb25-8609fefe812e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7c75547f-00fe-457c-bb25-8609fefe812e">ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/alexandermerritt" class="navigate">Alexander Merritt</a><span class="prog-aff"> Independent</span></div></td></tr><tr data-slot-id="64428249-bcb2-4feb-a1ab-ec626b7fcb85" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Paper</div><span data-facet-track="Scala"></span></td><td><span data-event-star="a12713fb-3d5e-4eab-b935-0d16512313cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a12713fb-3d5e-4eab-b935-0d16512313cf">Kaizen: A Scalable Concolic Fuzzing Tool for Scala</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohammadrezaashouri" class="navigate">Mohammadreza Ashouri</a><span class="prog-aff"> University of Potsdam, Germany</span></div></td></tr><tr data-slot-id="932e0be6-0061-4e67-ba7b-52c9918fca8e" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="Scala"></span></td><td><span data-event-star="9d5fdf08-0288-446d-ac8e-73d01c4444fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9d5fdf08-0288-446d-ac8e-73d01c4444fe">Asterisk: Secure Programming Language for Smart Contracts (Student Talk)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohammadrezaashouri" class="navigate">Mohammadreza Ashouri</a><span class="prog-aff"> University of Potsdam, Germany</span></div></td></tr><tr data-slot-id="9189681c-d7eb-43e3-bf9c-0f6e041198ba" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Paper</div><span data-facet-track="Scala"></span></td><td><span data-event-star="11156f21-49b5-48cb-b0ca-549d00781de9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="11156f21-49b5-48cb-b0ca-549d00781de9">ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/shadajladdad" class="navigate">Shadaj Laddad</a><span class="prog-aff"> University of California at Berkeley</span>, <a href="https://2020.ecoop.org/profile/koushiksen" class="navigate">Koushik Sen</a><span class="prog-aff"> University of California at Berkeley</span></div></td></tr><tr data-slot-id="b94e7a8a-f9b3-4d85-8b4c-2782f74c753e" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>20m</strong></div><div class="event-type">Paper</div><span data-facet-track="Scala"></span></td><td><span data-event-star="b34c0b84-607e-476e-b042-ec67a218324b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b34c0b84-607e-476e-b042-ec67a218324b">Semantics-Preserving Inlining for Metaprogramming</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nicolasstucki" class="navigate">Nicolas Stucki</a><span class="prog-aff"> EPFL, Switzerland</span>, <a href="https://2020.ecoop.org/profile/aggelosbiboudis" class="navigate">Aggelos Biboudis</a><span class="prog-aff"> EPFL</span>, <a href="https://2020.ecoop.org/profile/sebastiendoeraene" class="navigate">Sébastien Doeraene</a><span class="prog-aff"> EPFL, Switzerland</span>, <a href="https://2020.ecoop.org/profile/martinodersky" class="navigate">Martin Odersky</a><span class="prog-aff"> EPFL</span></div></td></tr><tr data-slot-id="52a847ab-69fe-4e5b-b88b-72552b50d465" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="Scala"></span></td><td><span data-event-star="94f4b467-6923-49ea-a4ed-8013f52a3c28" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="94f4b467-6923-49ea-a4ed-8013f52a3c28">Toward a Simpler Syntactic Soundness for DOT (Student Talk)</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/ifazkabir" class="navigate">Ifaz Kabir</a><span class="prog-aff"> University of Alberta</span>, <a href="https://2020.ecoop.org/profile/karimali" class="navigate">Karim Ali</a><span class="prog-aff"> University of Alberta</span></div></td></tr><tr data-slot-id="3051db7d-1408-406f-9b83-1bc00d1869f9" class="hidable"><td class="track-color c16"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:00</div><strong>20m</strong></div><div class="event-type">Day closing</div><span data-facet-track="Scala"></span></td><td><span data-event-star="c11b8672-426f-428e-b382-db557c4569c3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c11b8672-426f-428e-b382-db557c4569c3">Closing Scala 2020</a></strong><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nadaamin" class="navigate">Nada Amin</a><span class="prog-aff"> Harvard University</span>, <a href="https://2020.ecoop.org/profile/guidosalvaneschi" class="navigate">Guido Salvaneschi</a><span class="prog-aff"> University of St. Gallen</span>, <a href="https://2020.ecoop.org/profile/davidrichter" class="navigate">David Richter</a><span class="prog-aff"> Technical University of Darmstadt</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">10:20 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seattle<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5dcaaf21-711c-4f4a-8fd5-9fa521a51447" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="b3d90584-8297-4112-b66a-f612567a4efe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b3d90584-8297-4112-b66a-f612567a4efe">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">12:20 - 13:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Wellington<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4a316931-1993-4ff3-a89a-2d61489b3ba1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="1eafc361-05aa-48dd-80e5-a8708d7ac2c8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1eafc361-05aa-48dd-80e5-a8708d7ac2c8">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">14:20 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Paris<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="abc1e095-7c22-49a5-a3e5-af5de34fd3c1" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="6fc744f4-fc7f-4b96-b70f-e25251614484" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6fc744f4-fc7f-4b96-b70f-e25251614484">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">16:20 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Breakfast in Seoul<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7b597fe4-019b-4808-93da-7167de334119" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="70d3b92e-67ed-4b25-9ef7-8685970e6aa1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="70d3b92e-67ed-4b25-9ef7-8685970e6aa1">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">18:20 - 19:00</div></td><td colspan="2"><div class="session-info-in-table">Cocktails in Rio<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a> <span title="Session gets mirrored at:" class="mirror-label"><span class="glyphicon glyphicon-repeat"></span> +12h</span><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7f978100-6d5a-4d3f-939a-adc2e6ecae65" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="74621f0c-91df-4fb7-857c-a74d1e6bede3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="74621f0c-91df-4fb7-857c-a74d1e6bede3">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c37"></td><td><div class="slot-label">20:20 - 21:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Cocktails in New York<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-awards" target="_blank" class="text-muted navigate">SPLASH Awards</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bf6c01df-5131-4de1-b096-18b058028feb" class="hidable"><td class="track-color c37"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:20</div><strong>40m</strong></div><div class="event-type">Other</div><span data-facet-track="SPLASH Awards"></span></td><td><span data-event-star="c0fd419e-0940-4fad-8e84-7f72a9339b79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c0fd419e-0940-4fad-8e84-7f72a9339b79">Awards Session</a></strong><div class="prog-track">SPLASH Awards</div><div class="performers"><a href="https://2020.ecoop.org/profile/davidgrove" class="navigate">David Grove</a><span class="prog-aff"> IBM Research</span>, <a href="https://2020.ecoop.org/profile/jenspalsberg" class="navigate">Jens Palsberg</a><span class="prog-aff"> University of California, Los Angeles</span></div></td></tr></table></div><div class="hidable band hour-21"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c5"></td><td><div class="slot-label">21:00 - 22:20</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> W<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" target="_blank" class="text-muted navigate">SPLASH Keynotes</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/> <small>Chair(s): <a href="https://2020.ecoop.org/profile/hrideshrajan" target="_blank" class="navigate">Hridesh Rajan</a><span class="prog-aff"> Iowa State University, USA</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ab61fe80-20f5-4202-933b-00648b3a1b7f" class="hidable"><td class="track-color c5"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:00</div><strong>80m</strong></div><div class="event-type">Keynote</div><span data-facet-track="SPLASH Keynotes"></span></td><td><span data-event-star="524d2a59-9a05-498f-879b-750d10430c79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="524d2a59-9a05-498f-879b-750d10430c79">Models and Programs: Better Together<span class="pull-right"><span data-facet-badge="supported by Futurewei" class="output-badge" style="max-width:40px;"><span class="label-primary label">supported by Futurewei</span></span></span></a></strong><div class="prog-track">SPLASH Keynotes</div><div class="performers"><a href="https://2020.ecoop.org/profile/sriramrajamani" class="navigate">Sriram Rajamani</a><span class="prog-aff"> Microsoft Research</span></div><a href="https://dl.acm.org/doi/pdf/10.1145/3426430.3434070" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Wed 18 Nov 2020" data-facet-date-order="201118" data-facet-room="SPLASH-I" class="table table-condensed session-table session-mirror"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c31"></td><td><div class="slot-label">22:20 - 23:00</div></td><td colspan="2"><div class="session-info-in-table"><span title="Mirror of a session" class="mirror-label"><span class="glyphicon glyphicon-repeat flip"></span></span> Lunch in Tokyo<span class="pull-right"><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" target="_blank" class="text-muted navigate">SPLASH Meet The Speakers (MTS)</a></span> at <a href="https://2020.ecoop.org/room/splash-2020-venue-splash-i" target="_blank" class="room-link navigate">SPLASH-I</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="40b0c6a8-8dfc-49c6-b8e0-4f6aaa04fcd8" class="hidable"><td class="track-color c31"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:20</div><strong>40m</strong></div><div class="event-type">Social Event</div><span data-facet-track="SPLASH Meet The Speakers (MTS)"></span></td><td><span data-event-star="b3d90584-8297-4112-b66a-f612567a4efe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b3d90584-8297-4112-b66a-f612567a4efe">Meet The Speakers</a></strong><div class="prog-track">SPLASH Meet The Speakers (MTS)</div><br></td></tr></table></div></div><script type="text/javascript">window.displayUserProgamSettingsOnce = true;</script></div></div></div><div id="event-overview" class="tab-pane "><h3>Talks and Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="9d5fdf08-0288-446d-ac8e-73d01c4444fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9d5fdf08-0288-446d-ac8e-73d01c4444fe">Asterisk: Secure Programming Language for Smart Contracts (Student Talk)</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohammadrezaashouri" class="navigate">Mohammadreza Ashouri</a></div></td></tr><tr><td><span data-event-star="a12713fb-3d5e-4eab-b935-0d16512313cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a12713fb-3d5e-4eab-b935-0d16512313cf">Kaizen: A Scalable Concolic Fuzzing Tool for Scala</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/mohammadrezaashouri" class="navigate">Mohammadreza Ashouri</a></div></td></tr><tr><td><span data-event-star="7c75547f-00fe-457c-bb25-8609fefe812e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="7c75547f-00fe-457c-bb25-8609fefe812e">ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/alexandermerritt" class="navigate">Alexander Merritt</a></div></td></tr><tr><td><span data-event-star="11156f21-49b5-48cb-b0ca-549d00781de9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="11156f21-49b5-48cb-b0ca-549d00781de9">ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/shadajladdad" class="navigate">Shadaj Laddad</a>, <a href="https://2020.ecoop.org/profile/koushiksen" class="navigate">Koushik Sen</a></div></td></tr><tr><td><span data-event-star="b34c0b84-607e-476e-b042-ec67a218324b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b34c0b84-607e-476e-b042-ec67a218324b">Semantics-Preserving Inlining for Metaprogramming</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/nicolasstucki" class="navigate">Nicolas Stucki</a>, <a href="https://2020.ecoop.org/profile/aggelosbiboudis" class="navigate">Aggelos Biboudis</a>, <a href="https://2020.ecoop.org/profile/sebastiendoeraene" class="navigate">Sébastien Doeraene</a>, <a href="https://2020.ecoop.org/profile/martinodersky" class="navigate">Martin Odersky</a></div></td></tr><tr><td><span data-event-star="94f4b467-6923-49ea-a4ed-8013f52a3c28" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="94f4b467-6923-49ea-a4ed-8013f52a3c28">Toward a Simpler Syntactic Soundness for DOT (Student Talk)</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/ifazkabir" class="navigate">Ifaz Kabir</a>, <a href="https://2020.ecoop.org/profile/karimali" class="navigate">Karim Ali</a></div></td></tr><tr><td><span data-event-star="1ef9cb03-a21e-4a33-9a5a-f0ee48606516" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="1ef9cb03-a21e-4a33-9a5a-f0ee48606516">Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)</a><div class="prog-track">Scala</div><div class="performers"><a href="https://2020.ecoop.org/profile/evadarulova" class="navigate">Eva Darulova</a></div></td></tr></table></div><div id="Call-for-Papers" class="tab-pane "><h2>Call for Papers</h2><p><h3><a href="#topics-of-interest" id="topics-of-interest" class="anchor-link">Topics of Interest</a></h3> <p>We seek submissions on all topics related to Scala, including (but not limited to):</p> <ul> <li>Language design and implementation – language extensions, optimization, and performance evaluation.</li> <li>Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming.</li> <li>Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems.</li> <li>Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results.</li> <li>Big data and machine learning libraries and applications using the Scala programming language.</li> <li>Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring.</li> <li>Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others.</li> <li>Tools – development environments, debuggers, refactoring tools, testing frameworks.</li> <li>Case studies, experience reports, and pearls.</li> </ul> <p>Do not hesitate to contact the Program Chair (<a href="mailto:namin@seas.harvard.edu">namin@seas.harvard.edu</a>) if you are unsure whether a particular topic falls within the scope of Scala 2020.</p> <h3><a href="#important-dates" id="important-dates" class="anchor-link">Important dates</a></h3> <p>Paper submission: <del>April 7, 2020</del> (<strong>April 21, 2020</strong>)</p> <p>Paper notification: May 22, 2020</p> <p>Talk submission: May 29, 2020</p> <p>Talk notification: June 12, 2020</p> <p>Camera ready: <del>June 5, 2020</del> (<strong>October 15, 2020</strong>)</p> <p>Scala Symposium 2020: November 18th, 2020</p> <h3><a href="#submission-format" id="submission-format" class="anchor-link">Submission Format</a></h3> <p>To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions.</p> <ul> <li>Full papers (at most 10 pages, excluding bibliography)</li> <li>Short papers (at most 4 pages, excluding bibliography)</li> <li>Tool papers (at most 4 pages, excluding bibliography)</li> <li>Student talks (short abstract only, in plain text)</li> <li>Open-source talks (short abstract only, in plain text)</li> <li><strong>Extended abstracts (at most 1 page, excluding bibliography)</strong></li> </ul> <p>The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation.</p> <p>Accepted papers (full, short, tool papers, but not talks) will be published in the ACM Digital Library. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page.</p> <p>Submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions and to the SIGPLAN Republication Policy.</p> <p>Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected.</p> <p>The submission will be managed through HotCRP: <a href="https://scala20.hotcrp.com/">https://scala20.hotcrp.com/</a></p> <p>Detailed information for each kind of submission is given below. For questions and additional clarifications, please contact the conference organizers.</p> <h3><a href="#full-and-short-papers" id="full-and-short-papers" class="anchor-link">Full and Short Papers</a></h3> <p>Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community.</p> <p>In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate).</p> <h3><a href="#tool-papers" id="tool-papers" class="anchor-link">Tool Papers</a></h3> <p>Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit.</p> <p>Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in <a href="https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice">https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice</a>, which we however treat as non-binding. In case of doubts, please contact the program chair.</p> <h3><a href="#student-talks" id="student-talks" class="anchor-link">Student Talks</a></h3> <p>In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs.</p> <h3><a href="#open-source-talks" id="open-source-talks" class="anchor-link">Open-Source Talks</a></h3> <p>We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community.</p> </p></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2020.ecoop.org/home/scala-2020" class="clickable-row past"><td><strong>Wed 18 Nov 2020</strong><br/><strong>Symposium</strong></td></tr><tr href="https://2020.ecoop.org/home/scala-2020" class="clickable-row past"><td>Thu 15 Oct 2020<br/>Camera ready</td></tr><tr href="https://2020.ecoop.org/home/scala-2020" class="clickable-row past"><td>Fri 12 Jun 2020<br/>Student Talk Notification</td></tr><tr href="https://2020.ecoop.org/home/scala-2020" class="clickable-row past"><td>Fri 29 May 2020<br/>Student Talk Submission Deadline</td></tr><tr href="https://2020.ecoop.org/home/scala-2020" class="clickable-row past"><td>Fri 22 May 2020<br/>Notification</td></tr><tr href="https://2020.ecoop.org/home/scala-2020" class="clickable-row past"><td>Tue 21 Apr 2020<br/>Submission Deadline</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://scala20.hotcrp.com/" title="Submission link for Call for Papers" target="_blank" class="navigate">https://scala20.hotcrp.com/</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.ecoop.org/profile/evadarulova" class="navigate"><div class="media"><span class="pull-left"><img alt="Eva Darulova" src="https://2020.ecoop.org/getProfileImage/evadarulova/b22cb901-fcc8-4ba6-b153-e66e13080b08/micro-avatar.jpg?1711468379000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Eva Darulova<span class="pull-right"><small>Keynote Speaker</small></span></h5><h5 class="media-heading"><span class="text-black">MPI-SWS</span></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.ecoop.org/profile/guidosalvaneschi" class="navigate"><div class="media"><span class="pull-left"><img alt="Guido Salvaneschi" src="https://2020.ecoop.org/getProfileImage/guidosalvaneschi/5c315893-d5c2-4e03-9f84-db0843009816/micro-avatar.jpg?1711457590000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Guido Salvaneschi<span class="pull-right"><small>General Chair</small></span></h5><h5 class="media-heading"><span class="text-black">University of St. Gallen</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/nadaamin" class="navigate"><div class="media"><span class="pull-left"><img alt="Nada Amin" src="https://2020.ecoop.org/getProfileImage/nadaamin/c2ca6e4b-9cd0-4b24-93fe-ee3b09bb7fa4/micro-avatar.jpg?1711461528000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Nada Amin<span class="pull-right"><small>Conference Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Harvard University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/davidrichter" class="navigate"><div class="media"><span class="pull-left"><img alt="David Richter" src="https://2020.ecoop.org/getProfileImage/davidrichter/e3c1e9f0-8e7a-4433-a321-1c6271180a80/micro-avatar.jpg?1711469046000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">David Richter<span class="pull-right"><small>Publicity Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Technical University of Darmstadt</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2020.ecoop.org/profile/nadaamin" class="navigate"><div class="media"><span class="pull-left"><img alt="Nada Amin" src="https://2020.ecoop.org/getProfileImage/nadaamin/c2ca6e4b-9cd0-4b24-93fe-ee3b09bb7fa4/micro-avatar.jpg?1711461528000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Nada Amin<span class="pull-right"><small>Conference Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Harvard University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/oliverbracevac" class="navigate"><div class="media"><span class="pull-left"><img alt="Oliver Bračevac" src="https://2020.ecoop.org/getProfileImage/oliverbracevac/791b6441-1480-4eb0-8d70-3171276b1de7/micro-avatar.jpg?1711498077000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Oliver Bračevac<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Purdue University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/youyoucong" class="navigate"><div class="media"><span class="pull-left"><img alt="Youyou Cong" src="https://2020.ecoop.org/getProfileImage/youyoucong/05de3d44-f62c-44e8-9c39-32d2d9ca9196/micro-avatar.jpg?1711456512000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Youyou Cong<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tokyo Institute of Technology</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/olegkiselyov" class="navigate"><div class="media"><span class="pull-left"><img alt="Oleg Kiselyov" src="https://2020.ecoop.org/getProfileImage/olegkiselyov/bf5e0154-a290-4e04-9029-4238a4d31093/micro-avatar.jpg?1711482181000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Oleg Kiselyov<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/viktorkuncak" class="navigate"><div class="media"><span class="pull-left"><img alt="Viktor Kunčak" src="https://2020.ecoop.org/getProfileImage/viktorkuncak/6e6fb2d6-9faa-468c-9b7b-e26525cfa711/micro-avatar.jpg?1711460086000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Viktor Kunčak<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">EPFL, Switzerland</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/fengyunliu" class="navigate"><div class="media"><span class="pull-left"><img alt="Fengyun Liu" src="https://2020.ecoop.org/getProfileImage/fengyunliu/af762084-f5bc-45e2-8aab-8c28833fc682/micro-avatar.jpg?1711504652000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Fengyun Liu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">EPFL</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/mikaelmayer" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2020.ecoop.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mikaël Mayer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">EPFL, Switzerland</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/ragnarmogk" class="navigate"><div class="media"><span class="pull-left"><img alt="Ragnar Mogk" src="https://2020.ecoop.org/getProfileImage/ragnarmogk/8e5a1565-72fb-4dcb-aa85-81ef9cd67222/micro-avatar.jpg?1711458410000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ragnar Mogk<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Technische Universität Darmstadt</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/adriaanmoors" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2020.ecoop.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Adriaan Moors<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Lightbend</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/jonpretty" class="navigate"><div class="media"><span class="pull-left"><img alt="Jon Pretty" src="https://2020.ecoop.org/getProfileImage/jonpretty/a63dab59-438c-4b87-bb93-fe0755cf0527/micro-avatar.jpg?1711670450000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jon Pretty<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Propensive OÜ</span></h5><h5 class="media-heading"><small>Poland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/julienrichardfoy" class="navigate"><div class="media"><span class="pull-left"><img alt="Julien Richard-Foy" src="https://2020.ecoop.org/getProfileImage/julienrichardfoy/7144a8ce-9aca-41cd-8cd3-6c555349de6e/micro-avatar.jpg?1711572567000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Julien Richard-Foy<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">EPFL</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/georgstefanschmid" class="navigate"><div class="media"><span class="pull-left"><img alt="Georg Stefan Schmid" src="https://2020.ecoop.org/getProfileImage/georgstefanschmid/a9baacad-1e12-4c38-9dba-ffdf45a08186/micro-avatar.jpg?1711523393000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Georg Stefan Schmid<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">EPFL, Switzerland</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/rubytahboub" class="navigate"><div class="media"><span class="pull-left"><img alt="Ruby Tahboub" src="https://2020.ecoop.org/getProfileImage/rubytahboub/24b247ab-8f68-416f-8b1b-e30d2e5584b6/micro-avatar.jpg?1711509202000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ruby Tahboub<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Purdue University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2020.ecoop.org/profile/philipwadler" class="navigate"><div class="media"><span class="pull-left"><img alt="Philip Wadler" src="https://2020.ecoop.org/getProfileImage/philipwadler/c4b2ae96-7995-4907-9345-b6ea719658b8/micro-avatar.jpg?1714731680000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Philip Wadler<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Edinburgh</span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Thu 28 Nov 16:04</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2020.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2020" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2020"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2020.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2020" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2020.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2020"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2020</a></h3><div><a href="https://2020.ecoop.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://2020.ecoop.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate">Research Papers</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate">Artifacts</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate">Tutorials</a><br/><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate">Posters</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.ecoop.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2020.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.ecoop.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.ecoop.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.ecoop.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><a href="https://2020.ecoop.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>