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://icfp21.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://icfp21.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Erlang 2021 - ICFP 2021</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://icfp21.sigplan.org";</script> <link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/getFile/ec57bc86-3f03-41e9-9f28-d06687e17fe2/logobar-with-logo.css?1626571774574" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.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://icfp21.sigplan.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://icfp21.sigplan.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:title' content='Erlang 2021 - ICFP 2021'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://icfp21.sigplan.org/getImage/carousel/1+ICFP+2021.JPG?1613918806000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='General Information Welcome to the website of the Erlang 2021 workshop! Series Erlang 2021 is the 20th ACM SIGPLAN Erlang Workshop, and is a satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021). Location Just like ICFP 2021, Erlang 2021 will be virtual. More information about the format (time zone, presentation style, etc.) will be added as soon as it is finalized. Scope The workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technolo ...'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  <meta name='description' content='General Information Welcome to the website of the Erlang 2021 workshop! Series Erlang 2021 is the 20th ACM SIGPLAN Erlang Workshop, and is a satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021). Location Just like ICFP 2021, Erlang 2021 will be virtual. More information about the format (time zone, presentation style, etc.) will be added as soon as it is finalized. Scope The workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technolo ...'> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://icfp21.sigplan.org" class="navbar-brand navigate"><span class="brand-text">ICFP 2021</span></a><div class="place">Sun 22 - Sat 28 August 2021 <a href="https://icfp21.sigplan.org/venue/icfp-2021-venue" class="navigate"></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://icfp21.sigplan.org/venue/icfp-2021-venue" class="navigate">Venue: Virtual</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/students" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/call-for-sponsorship" class="navigate">Call For Sponsorship</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/accessibility" class="navigate">Accessibility</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://icfp21.sigplan.org/program/program-icfp-2021/" class="navigate">ICFP Program</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Sun 22 Aug 2021" class="navigate">Sun 22 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Mon 23 Aug 2021" class="navigate">Mon 23 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Tue 24 Aug 2021" class="navigate">Tue 24 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Wed 25 Aug 2021" class="navigate">Wed 25 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Thu 26 Aug 2021" class="navigate">Thu 26 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Fri 27 Aug 2021" class="navigate">Fri 27 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Sat 28 Aug 2021" class="navigate">Sat 28 Aug</a></li></ul></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ICFP 2021</li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-jfp-talks" class="navigate">JFP Talks</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-pltea" class="navigate">PLTea</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-social-events" class="navigate">Social Events</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-student-research-competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-icfp-programming-contest" class="navigate">ICFP Programming Contest</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-student-volunteers" class="navigate">Student Volunteers</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/home/erlang-2021" class="navigate"><strong>Erlang</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/details/erlang-2021-papers/7/Fifteen-Years-of-Successfully-Dialyzing-Erlang-and-Elixir-Code-Keynote-" class="small menu-advertised-event navigate">- Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)</a></li></ul></li><li class="block"><a href="https://icfp21.sigplan.org/home/farm-2021" class="navigate"><strong>FARM</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/FHPNC-2021" class="navigate"><strong>FHPNC</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/hiw-2021" class="navigate"><strong>HIW</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/hope-2021" class="navigate"><strong>HOPE</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="navigate"><strong>ML</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/ocaml-2021" class="navigate"><strong>OCaml</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/PLMW-ICFP-2021" class="navigate"><strong>PLMW @ ICFP</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/scheme-2021" class="navigate"><strong>Scheme</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/TyDe-2021" class="navigate"><strong>TyDe</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/minikanren-2021" class="navigate"><strong>miniKanren</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://icfp21.sigplan.org/home/haskellsymp-2021" class="navigate"><strong>Haskell</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">ICFP 2021 Committees</li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-virtualization-committee" class="navigate">Virtualization Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-pltea-pltea-organization" class="navigate"><strong>PLTea</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-papers-program-committee" class="navigate"><strong>Research Papers</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-student-research-competition-program-committee" class="navigate"><strong>Student Research Competition</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-tutorials-selection-committee" class="navigate"><strong>Tutorials</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-student-volunteers-student-volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://icfp21.sigplan.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>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/erlang-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/erlang-2021-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>FARM</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/farm-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/farm-2021-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>FHPNC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/FHPNC-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/FHPNC-2021-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>HIW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/hiw-2021-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>HOPE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/hope-2021-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ML</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/mlfamilyworkshop-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/mlfamilyworkshop-2021-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>OCaml</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/ocaml-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/ocaml-2021-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>PLMW @ ICFP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/PLMW-ICFP-2021-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scheme</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/scheme-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/scheme-2021-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>TyDe</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/tyde-2021-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>miniKanren</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/minikanren-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/minikanren-2021-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>Haskell</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/haskellsymp-2021-Haskell-2020-1-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://icfp21.sigplan.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://icfp21.sigplan.org/series/icfp" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://icfp25.sigplan.org" class="navigate">ICFP 2025</a></li><li class="block"><a href="https://icfp24.sigplan.org" class="navigate">ICFP 2024</a></li><li class="block"><a href="https://icfp23.sigplan.org" class="navigate">ICFP 2023</a></li><li class="block"><a href="https://icfp22.sigplan.org" class="navigate">ICFP 2022</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ICFP 2021</span></li><li class="block"><a href="https://icfp20.sigplan.org" class="navigate">ICFP 2020</a></li><li class="block"><a href="https://icfp19.sigplan.org" class="navigate">ICFP 2019</a></li><li class="block"><a href="https://icfp18.sigplan.org" class="navigate">ICFP 2018</a></li><li class="block"><a href="https://icfp17.sigplan.org" class="navigate">ICFP 2017</a></li><li class="block"><a href="https://icfp16.sigplan.org" class="navigate">ICFP 2016</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/icfp-2021/https%3A%5Es%5Esicfp21.sigplan.org%5Eshome%5Eserlang-2021" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://icfp21.sigplan.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://icfp21.sigplan.org" class="navigate">ICFP 2021</a> (<a href="https://icfp21.sigplan.org/series/icfp" class="navigate">series</a>) / </span><span class="text-muted small">Erlang 2021 (<a href="https://icfp21.sigplan.org/series/erlang" class="navigate">series</a>) / </span><h1>Erlang 2021</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">List of Talks</a></li><li><a href="#Diversity-Inclusion-Scholarships" data-toggle="tab">Diversity & Inclusion Scholarships</a></li><li><a href="#Call-for-Lightning-Talks" data-toggle="tab">Call for Lightning Talks</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 "><h2><a href="#general-information" id="general-information" class="anchor-link">General Information</a></h2> <p>Welcome to the website of the Erlang 2021 workshop!</p> <h3><a href="#series" id="series" class="anchor-link">Series</a></h3> <p>Erlang 2021 is the 20th ACM SIGPLAN Erlang Workshop, and is a satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021).</p> <h3><a href="#location" id="location" class="anchor-link">Location</a></h3> <p>Just like ICFP 2021, Erlang 2021 will be virtual. More information about the format (time zone, presentation style, etc.) will be added as soon as it is finalized.</p> <h3><a href="#scope" id="scope" class="anchor-link">Scope</a></h3> <p>The workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop is welcoming contributions related to any and all systems like those mentioned above.</p> <h3><a href="#proceedings" id="proceedings" class="anchor-link">Proceedings</a></h3> <p>As with previous years, the accepted workshop papers will be published by the ACM and will appear in the ACM Digital Library.</p> <h3><a href="#goals" id="goals" class="anchor-link">Goals</a></h3> <p>The workshop aims to enable participants to learn about recent developments on techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, distribution, concurrency, etc.</p> <p>We are looking forward to your participation!</p> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><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://icfp21.sigplan.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="icfp-2021" /><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+09:00) Seoul</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+09:00) Seoul</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+09:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+10:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+10:30) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+12:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://icfp21.sigplan.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"icfp-2021"},],"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 != 540){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 26 Aug</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Seoul</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-20"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="Erlang" 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 c6"></td><td><div class="slot-label">20:00 - 21:30</div></td><td colspan="2"><div class="session-info-in-table">Session 1<span class="pull-right"><a href="https://icfp21.sigplan.org/home/erlang-2021" target="_blank" class="text-muted navigate">Erlang</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-erlang" target="_blank" class="room-link navigate">Erlang</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5d7c07e9-2539-4d2b-a893-f43bd2e6ede1" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:00</div><strong>10m</strong></div><div class="event-type">Day opening</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="6f4a32f5-84d5-4e68-8b22-1292257e1d97" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6f4a32f5-84d5-4e68-8b22-1292257e1d97">Welcome</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/stavrosaronis" class="navigate">Stavros Aronis</a><span class="prog-aff"> Erlang Solutions, Sweden</span>, <a href="https://icfp21.sigplan.org/profile/annettebieniusa" class="navigate">Annette Bieniusa</a><span class="prog-aff"> Technische Universität Kaiserslautern</span></div></td></tr><tr data-slot-id="6922d195-5b8e-4731-b017-81962326a9d3" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:10</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="57867618-8675-4da0-bec7-b788a91926f3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="57867618-8675-4da0-bec7-b788a91926f3">Graft: General Purpose Raft Consensus in Elixir</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/matthewalanlebrun" class="navigate">Matthew Alan Le Brun</a><span class="prog-aff"> University of Malta</span>, <a href="https://icfp21.sigplan.org/profile/duncanpaulattard" class="navigate">Duncan Paul Attard</a><span class="prog-aff"> University of Malta</span>, <a href="https://icfp21.sigplan.org/profile/adrianfrancalanza" class="navigate">Adrian Francalanza</a><span class="prog-aff"> University of Malta</span></div><a href="https://doi.org/10.1145/3471871.3472963" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="f0242c45-4e34-405a-aa0a-3f09437fb7e5" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:40</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="9f54d1ec-abfd-4c5a-9d0d-aa23a82f0b3e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9f54d1ec-abfd-4c5a-9d0d-aa23a82f0b3e">Makina: A New QuickCheck State Machine Library</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/luiseduardobuesodebarrio" class="navigate">Luis Eduardo Bueso de Barrio</a><span class="prog-aff"> Universidad Politécnica de Madrid</span>, <a href="https://icfp21.sigplan.org/profile/larsakefredlund1" class="navigate">Lars-Åke Fredlund</a><span class="prog-aff"> Universidad Politécnica de Madrid</span>, <a href="https://icfp21.sigplan.org/profile/angelherranz" class="navigate">Ángel Herranz</a><span class="prog-aff"> Universidad Politécnica de Madrid</span>, <a href="https://icfp21.sigplan.org/profile/clarabenacearle" class="navigate">Clara Benac Earle</a><span class="prog-aff"> Universidad Politécnica de Madrid</span>, <a href="https://icfp21.sigplan.org/profile/juliomarino" class="navigate">Julio Mariño</a><span class="prog-aff"> Universidad Politécnica de Madrid</span></div><a href="https://doi.org/10.1145/3471871.3472964" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="12269695-9639-4fb6-b5bf-55bfddb9d2da" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:10</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="685837e2-100d-455a-9fbf-0a21b2c09222" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="685837e2-100d-455a-9fbf-0a21b2c09222">Lightning Talk: Expected Application of BeamAsm</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/susumuyamazaki" class="navigate">Susumu Yamazaki</a><span class="prog-aff"> Univ. of Kitakyushu</span></div></td></tr><tr data-slot-id="5df68aac-2fa5-4b2b-b024-4ac1814ce38a" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:20</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="a5e23f98-ede6-4565-b20a-07233aedec74" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a5e23f98-ede6-4565-b20a-07233aedec74">Lightning Talk: QuadBlockQuiz – Supply Chain Edition</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/duncansparrell" class="navigate">Duncan Sparrell</a><span class="prog-aff"> sFractal Consulting</span></div></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="Erlang" 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 c6"></td><td><div class="slot-label">22:00 - 23:30</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://icfp21.sigplan.org/home/erlang-2021" target="_blank" class="text-muted navigate">Erlang</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-erlang" target="_blank" class="room-link navigate">Erlang</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bd1df007-4cc3-4006-9985-81cbe9630022" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:00</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="4163fd14-b151-46e6-9c31-22c5aa8f31a8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4163fd14-b151-46e6-9c31-22c5aa8f31a8">Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/kostissagonas" class="navigate">Konstantinos (Kostis) Sagonas</a><span class="prog-aff"> Uppsala University, Sweden</span></div></td></tr><tr data-slot-id="0ce4ee2d-7263-4268-835a-aa5256e374a0" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:00</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="0dc1d4ff-7068-4e6e-8b9d-8851d73f64b8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0dc1d4ff-7068-4e6e-8b9d-8851d73f64b8">Lightning Talk: Using Regular Expressions in Erlang</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/kosorukovanatolii" class="navigate">Kosorukov Anatolii</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="8999e751-96de-46fb-b65d-fb4c31cdcf60" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:10</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="e7d7c94b-4e12-4f80-8053-d843e689b6cc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e7d7c94b-4e12-4f80-8053-d843e689b6cc">Lightning Talk: eigr.io — A Serverless Runtime on the BEAM</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/marcellanz" class="navigate">Marcel Lanz</a><span class="prog-aff"> eigr.io – Member</span></div></td></tr></table></div><div class="hidable band hour-23"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="Erlang" 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 c6"></td><td><div class="slot-label">23:30 - 01:00</div></td><td colspan="2"><div class="session-info-in-table">Session 2<span class="pull-right"><a href="https://icfp21.sigplan.org/home/erlang-2021" target="_blank" class="text-muted navigate">Erlang</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-erlang" target="_blank" class="room-link navigate">Erlang</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0eff2b21-fd05-49a7-9dd8-506a4dc5deef" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="815785f9-1cd4-4091-a9a7-2363c0e673ea" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="815785f9-1cd4-4091-a9a7-2363c0e673ea">Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/brujobenavides" class="navigate">Brujo Benavides</a><span class="prog-aff"> Erlang Ecosystem Foundation</span>, <a href="https://icfp21.sigplan.org/profile/lauramcastro" class="navigate">Laura M. Castro</a><span class="prog-aff"> University of A Coruña</span></div><a href="https://doi.org/10.1145/3471871.3472961" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="4d85ffe5-05ba-4b59-9874-d92bedf98268" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="82a8734a-14be-4750-9c36-632f89f4f634" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="82a8734a-14be-4750-9c36-632f89f4f634">Bidirectional Typing for Erlang</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/nithinvadukkumcheryrajendrakumar" class="navigate">Nithin Vadukkumchery Rajendrakumar</a><span class="prog-aff"> TU Kaiserslautern</span>, <a href="https://icfp21.sigplan.org/profile/annettebieniusa" class="navigate">Annette Bieniusa</a><span class="prog-aff"> Technische Universität Kaiserslautern</span></div><a href="https://doi.org/10.1145/3471871.3472966" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="4e502069-b673-4ec1-a430-d3eb7ae85b13" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:30</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="267fd988-5989-46cd-aba5-12ccb8517f5f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="267fd988-5989-46cd-aba5-12ccb8517f5f">Lightning Talk: Experience teaching Erlang/Elixir on YouTube</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/adolfoneto" class="navigate">Adolfo Neto</a><span class="prog-aff"> Federal University of Technology - Paraná</span></div></td></tr><tr data-slot-id="8d049bff-addc-4739-94ec-b8dfed3b0018" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:40</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="6376a9ab-d994-4996-8431-e27460cd99f9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6376a9ab-d994-4996-8431-e27460cd99f9">Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/freddushin" class="navigate">Fred Dushin</a><span class="prog-aff"> </span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 27 Aug</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Seoul</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-1"><table data-facet-date="Fri 27 Aug 2021" data-facet-date-order="210827" data-facet-room="Erlang" 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 c6"></td><td><div class="slot-label">01:30 - 03:00</div></td><td colspan="2"><div class="session-info-in-table">Session 3<span class="pull-right"><a href="https://icfp21.sigplan.org/home/erlang-2021" target="_blank" class="text-muted navigate">Erlang</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-erlang" target="_blank" class="room-link navigate">Erlang</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="521c7981-45e1-4f99-bf4a-c1be02736666" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="fef191eb-ed43-4130-8f2b-83d86e146ea1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fef191eb-ed43-4130-8f2b-83d86e146ea1">What Are the Critical Security Flaws in My System?</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/viktoriafordos" class="navigate">Viktória Fördős</a><span class="prog-aff"> Cisco Systems</span></div><a href="https://doi.org/10.1145/3471871.3472965" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="de7f747d-1bb3-4792-ae52-3c4b49c45764" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="99dec29d-3781-4399-a08d-06d09443b661" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="99dec29d-3781-4399-a08d-06d09443b661">The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/sebastienkalbusch" class="navigate">Sébastien Kalbusch</a><span class="prog-aff"> Université Catholique de Louvain</span>, <a href="https://icfp21.sigplan.org/profile/vincentverpoten" class="navigate">Vincent Verpoten</a><span class="prog-aff"> Université Catholique de Louvain</span>, <a href="https://icfp21.sigplan.org/profile/petervanroy" class="navigate">Peter Van Roy</a><span class="prog-aff"> Université catholique de Louvain</span></div><a href="https://doi.org/10.1145/3471871.3472962" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr data-slot-id="05a1d7ae-aed3-4428-b7d5-8883a9aad2c8" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:30</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="6b01ff09-409e-47d0-b665-f8f140544172" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6b01ff09-409e-47d0-b665-f8f140544172">Lightning Talk: The debugging tool that comes with Erlang/OTP I just learned exists after many years of using Erlang</a></strong><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/peerstritzinger" class="navigate">Peer Stritzinger</a><span class="prog-aff"> Peer Stritzinger GmbH</span></div></td></tr><tr data-slot-id="abd2e832-c611-4997-a623-7a04be915f69" class="hidable"><td class="track-color c6"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:40</div><strong>10m</strong></div><div class="event-type">Vision and Emerging Results</div><span data-facet-track="Erlang"></span></td><td><span data-event-star="900c8889-b727-46fe-b5d5-b4c9f965ddef" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="900c8889-b727-46fe-b5d5-b4c9f965ddef">More lightning talks</a></strong><div class="prog-track">Erlang</div><br></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>List of Talks</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="82a8734a-14be-4750-9c36-632f89f4f634" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="82a8734a-14be-4750-9c36-632f89f4f634">Bidirectional Typing for Erlang</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/nithinvadukkumcheryrajendrakumar" class="navigate">Nithin Vadukkumchery Rajendrakumar</a>, <a href="https://icfp21.sigplan.org/profile/annettebieniusa" class="navigate">Annette Bieniusa</a></div><a href="https://doi.org/10.1145/3471871.3472966" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="815785f9-1cd4-4091-a9a7-2363c0e673ea" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="815785f9-1cd4-4091-a9a7-2363c0e673ea">Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/brujobenavides" class="navigate">Brujo Benavides</a>, <a href="https://icfp21.sigplan.org/profile/lauramcastro" class="navigate">Laura M. Castro</a></div><a href="https://doi.org/10.1145/3471871.3472961" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="4163fd14-b151-46e6-9c31-22c5aa8f31a8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4163fd14-b151-46e6-9c31-22c5aa8f31a8">Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/kostissagonas" class="navigate">Konstantinos (Kostis) Sagonas</a></div></td></tr><tr><td><span data-event-star="57867618-8675-4da0-bec7-b788a91926f3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="57867618-8675-4da0-bec7-b788a91926f3">Graft: General Purpose Raft Consensus in Elixir</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/matthewalanlebrun" class="navigate">Matthew Alan Le Brun</a>, <a href="https://icfp21.sigplan.org/profile/duncanpaulattard" class="navigate">Duncan Paul Attard</a>, <a href="https://icfp21.sigplan.org/profile/adrianfrancalanza" class="navigate">Adrian Francalanza</a></div><a href="https://doi.org/10.1145/3471871.3472963" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="6376a9ab-d994-4996-8431-e27460cd99f9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="6376a9ab-d994-4996-8431-e27460cd99f9">Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/freddushin" class="navigate">Fred Dushin</a></div></td></tr><tr><td><span data-event-star="e7d7c94b-4e12-4f80-8053-d843e689b6cc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e7d7c94b-4e12-4f80-8053-d843e689b6cc">Lightning Talk: eigr.io — A Serverless Runtime on the BEAM</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/marcellanz" class="navigate">Marcel Lanz</a></div></td></tr><tr><td><span data-event-star="685837e2-100d-455a-9fbf-0a21b2c09222" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="685837e2-100d-455a-9fbf-0a21b2c09222">Lightning Talk: Expected Application of BeamAsm</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/susumuyamazaki" class="navigate">Susumu Yamazaki</a></div></td></tr><tr><td><span data-event-star="267fd988-5989-46cd-aba5-12ccb8517f5f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="267fd988-5989-46cd-aba5-12ccb8517f5f">Lightning Talk: Experience teaching Erlang/Elixir on YouTube</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/adolfoneto" class="navigate">Adolfo Neto</a></div></td></tr><tr><td><span data-event-star="a5e23f98-ede6-4565-b20a-07233aedec74" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a5e23f98-ede6-4565-b20a-07233aedec74">Lightning Talk: QuadBlockQuiz – Supply Chain Edition</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/duncansparrell" class="navigate">Duncan Sparrell</a></div></td></tr><tr><td><span data-event-star="6b01ff09-409e-47d0-b665-f8f140544172" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="6b01ff09-409e-47d0-b665-f8f140544172">Lightning Talk: The debugging tool that comes with Erlang/OTP I just learned exists after many years of using Erlang</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/peerstritzinger" class="navigate">Peer Stritzinger</a></div></td></tr><tr><td><span data-event-star="0dc1d4ff-7068-4e6e-8b9d-8851d73f64b8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="0dc1d4ff-7068-4e6e-8b9d-8851d73f64b8">Lightning Talk: Using Regular Expressions in Erlang</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/kosorukovanatolii" class="navigate">Kosorukov Anatolii</a></div></td></tr><tr><td><span data-event-star="9f54d1ec-abfd-4c5a-9d0d-aa23a82f0b3e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9f54d1ec-abfd-4c5a-9d0d-aa23a82f0b3e">Makina: A New QuickCheck State Machine Library</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/luiseduardobuesodebarrio" class="navigate">Luis Eduardo Bueso de Barrio</a>, <a href="https://icfp21.sigplan.org/profile/larsakefredlund1" class="navigate">Lars-Åke Fredlund</a>, <a href="https://icfp21.sigplan.org/profile/angelherranz" class="navigate">Ángel Herranz</a>, <a href="https://icfp21.sigplan.org/profile/clarabenacearle" class="navigate">Clara Benac Earle</a>, <a href="https://icfp21.sigplan.org/profile/juliomarino" class="navigate">Julio Mariño</a></div><a href="https://doi.org/10.1145/3471871.3472964" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="99dec29d-3781-4399-a08d-06d09443b661" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="99dec29d-3781-4399-a08d-06d09443b661">The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/sebastienkalbusch" class="navigate">Sébastien Kalbusch</a>, <a href="https://icfp21.sigplan.org/profile/vincentverpoten" class="navigate">Vincent Verpoten</a>, <a href="https://icfp21.sigplan.org/profile/petervanroy" class="navigate">Peter Van Roy</a></div><a href="https://doi.org/10.1145/3471871.3472962" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr><tr><td><span data-event-star="6f4a32f5-84d5-4e68-8b22-1292257e1d97" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="6f4a32f5-84d5-4e68-8b22-1292257e1d97">Welcome</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/stavrosaronis" class="navigate">Stavros Aronis</a>, <a href="https://icfp21.sigplan.org/profile/annettebieniusa" class="navigate">Annette Bieniusa</a></div></td></tr><tr><td><span data-event-star="fef191eb-ed43-4130-8f2b-83d86e146ea1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fef191eb-ed43-4130-8f2b-83d86e146ea1">What Are the Critical Security Flaws in My System?</a><div class="prog-track">Erlang</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/viktoriafordos" class="navigate">Viktória Fördős</a></div><a href="https://doi.org/10.1145/3471871.3472965" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div><div id="Call-for-Papers" class="tab-pane "><h2>Call for Papers</h2><p><h3><a href="#overview" id="overview" class="anchor-link">Overview</a></h3> <p>The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop is welcoming contributions related to any and all systems like those mentioned above.</p> <p>The workshop aims to enable participants to learn about recent developments on techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, distribution, concurrency, etc.</p> <h3><a href="#submissions" id="submissions" class="anchor-link">Submissions</a></h3> <p>This year we invite three types of submissions:</p> <ul> <li> <p>Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent and distributed programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome.</p> </li> <li> <p>Practice and application papers describing uses of Erlang and related languages in the “real-world”, libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve particular problems, etc. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome.</p> </li> <li> <p>Lightning talks describing topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry. Presentations in this category will be given at most an hour of shared simultaneous presentation time, will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous.</p> </li> </ul> <h3><a href="#instructions-to-authors" id="instructions-to-authors" class="anchor-link">Instructions to authors</a></h3> <h4><a href="#submission" id="submission" class="anchor-link">Submission</a></h4> <p>Submissions must adhere to SIGPLAN’s republication policy (<a href="http://sigplan.org/Resources/Policies/Republication/">http://sigplan.org/Resources/Policies/Republication/</a>), and authors should be aware of ACM’s policies on plagiarism (<a href="https://www.acm.org/publications/policies/plagiarism">https://www.acm.org/publications/policies/plagiarism</a>). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.</p> <p>Papers must be submitted online via HotCRP at:</p> <p><a href="https://erlang21.hotcrp.com">https://erlang21.hotcrp.com</a></p> <p>Lightning talks can be submitted here: <a href="https://forms.gle/LUAVy8p4CkZMy1jT6">https://forms.gle/LUAVy8p4CkZMy1jT6</a></p> <h4><a href="#formatting" id="formatting" class="anchor-link">Formatting</a></h4> <p>Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the <code>acmart</code> format, with the <code>sigplan</code> sub-format for ACM proceedings. For details, see:</p> <p><a href="http://www.sigplan.org/Resources/Author/#acmart-format">http://www.sigplan.org/Resources/Author/#acmart-format</a></p> <p>It is recommended to use the <code>review</code> option when submitting a paper; this option enables line numbers for easy reference in reviews.</p> <h4><a href="#supplementary-material" id="supplementary-material" class="anchor-link">Supplementary material</a></h4> <p>Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball.</p> <p>Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository.</p> <h4><a href="#artifacts" id="artifacts" class="anchor-link">Artifacts</a></h4> <p>Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors).</p> <p>If an accepted paper’s artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (<a href="https://www.acm.org/publications/policies/artifact-review-badging#available">https://www.acm.org/publications/policies/artifact-review-badging#available</a>). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC co-chairs.</p> <h3><a href="#proceedings" id="proceedings" class="anchor-link">Proceedings</a></h3> <p>As with previous years, the accepted workshop papers will be published by the ACM and will appear in the ACM Digital Library.</p> <p>The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.</p> <p>For more information, please see ACM Copyright Policy (<a href="http://www.acm.org/publications/policies/copyright-policy">http://www.acm.org/publications/policies/copyright-policy</a>) and ACM Author Rights (<a href="http://authors.acm.org/main.html">http://authors.acm.org/main.html</a>).</p> <p>Accepted lightning talks will be posted on the workshop’s website, but not formally published in the proceedings.</p> </p></div><div id="Call-for-Lightning-Talks" class="tab-pane "><h2>Call for Lightning Talks</h2><p><h3><a href="#overview" id="overview" class="anchor-link">Overview</a></h3> <p>The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop is welcoming contributions related to any and all systems like those mentioned above.</p> <p>The workshop aims to enable participants to learn about recent developments on techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang and other Erlang-like languages, functional programming, distribution, concurrency, etc.</p> <h3><a href="#submissions" id="submissions" class="anchor-link">Submissions</a></h3> <p>Lightning talks describe topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry.<br> Presentations of lightning talks will be given 5 mins of presentation time. Submissions of proposals will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous.</p> <h3><a href="#submission" id="submission" class="anchor-link">Submission</a></h3> <p>Lightning talks can be submitted here: <a href="https://forms.gle/LUAVy8p4CkZMy1jT6">https://forms.gle/LUAVy8p4CkZMy1jT6</a></p> <p>The deadline for submission is August 23rd.</p> <p>Accepted lightning talks will be posted on the workshop’s website, but not formally published in the proceedings.</p> </p></div><div id="Diversity-Inclusion-Scholarships" class="tab-pane "><div class="page-header"><h1>Diversity & Inclusion Scholarships</h1></div><p>We are striving to be an open and supporting tech community, but - unfortunately - we are nowhere near as diverse as we would wish to be. We believe that everybody, regardless of their age, gender, race, sexual orientation, religion, nationality, socioeconomic background etc. should feel welcome and comfortable. Our event follows the ACM Code of Conduct Policy.</p> <p>While keeping in mind that this year ICFP has announced a <a href="https://icfp21.sigplan.org/attending/Registration">discounted registration fee of 10$</a> for anyone that needs it, we are happy to announce that our community’s supporting sponsors, <a href="https://www.erlang-solutions.com">Erlang Solutions</a>, and the <a href="https://erlef.org">Erlang Ecosystem Foundation</a>, have agreed, apart from supporting ICFP itself, to also offer Diversity & Inclusion Scholarships to fully cover the registration fee for anyone that wants to attend the Erlang workshop and other events of ICFP, and cannot afford the discounted registration. Our goal is to increase the diversity of attendees and offer support to those that would otherwise not be able to attend. It is primarily aimed at (but not restricted to) students, women, people from ethnic minorities and people with disabilities.</p> <p>If you wish to apply for the Diversity & Inclusion Scholarship, <a href="https://forms.gle/RU587h4vkAMxNQ58A">please fill in the form</a>. Your application will be reviewed by the Erlang Workshop chairs, who are committed to protect the anonymity of applicants; application data will be used only for the scholarship evaluation.</p> <p>The deadline for applications is August 17, 2021. Recipients will be notified on a rolling basis, no later than August 19, 2021.</p> <p>All applicants will be notified via e-mail with conference registration details.</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://icfp21.sigplan.org/home/erlang-2021" class="clickable-row past"><td><strong>Thu 26 Aug 2021</strong><br/><strong>Workshop</strong></td></tr><tr href="https://icfp21.sigplan.org/home/erlang-2021" class="clickable-row past"><td>Mon 23 Aug 2021<br/>Deadline for Lightning Talk proposals</td></tr><tr href="https://icfp21.sigplan.org/home/erlang-2021" class="clickable-row past"><td>Tue 17 Aug 2021<br/>Deadline for Diversity & Inclusion Scholarship applications</td></tr><tr href="https://icfp21.sigplan.org/home/erlang-2021" class="clickable-row past"><td>Wed 30 Jun 2021<br/>Camera Ready Deadline</td></tr><tr href="https://icfp21.sigplan.org/home/erlang-2021" class="clickable-row past"><td>Tue 15 Jun 2021<br/>Author Notification</td></tr><tr href="https://icfp21.sigplan.org/home/erlang-2021" class="clickable-row past"><td><strong>Fri 7 May 2021</strong><br/><strong>Paper Submission Deadline (strict)</strong></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://erlang21.hotcrp.com" title="Submission link for Call for Papers" target="_blank" class="navigate">https://erlang21.hotcrp.com</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://icfp21.sigplan.org/committee/erlang-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/stavrosaronis" class="navigate"><div class="media"><span class="pull-left"><img alt="Stavros Aronis" src="https://icfp21.sigplan.org/getProfileImage/stavrosaronis/78a62663-9977-414d-a772-7099970c3e09/micro-avatar.jpg?1711540522000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Stavros Aronis<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Erlang Solutions, Sweden</span></h5><h5 class="media-heading"><small>Greece</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/annettebieniusa" class="navigate"><div class="media"><span class="pull-left"><img alt="Annette Bieniusa" src="https://icfp21.sigplan.org/getProfileImage/annettebieniusa/27450c3c-c3b1-42d5-81f8-1cc3f11e6529/micro-avatar.jpg?1711478540000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Annette Bieniusa<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Technische Universität Kaiserslautern</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://icfp21.sigplan.org/committee/erlang-2021-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/stavrosaronis" class="navigate"><div class="media"><span class="pull-left"><img alt="Stavros Aronis" src="https://icfp21.sigplan.org/getProfileImage/stavrosaronis/78a62663-9977-414d-a772-7099970c3e09/micro-avatar.jpg?1711540522000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Stavros Aronis<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Erlang Solutions, Sweden</span></h5><h5 class="media-heading"><small>Greece</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/clarabenacearle" class="navigate"><div class="media"><span class="pull-left"><img alt="Clara Benac Earle" src="https://icfp21.sigplan.org/getProfileImage/clarabenacearle/33092de5-f156-4009-8ca4-50671b1dd3fe/micro-avatar.jpg?1711543037000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Clara Benac Earle<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Universidad Politécnica de Madrid</span></h5><h5 class="media-heading"><small>Spain</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/annettebieniusa" class="navigate"><div class="media"><span class="pull-left"><img alt="Annette Bieniusa" src="https://icfp21.sigplan.org/getProfileImage/annettebieniusa/27450c3c-c3b1-42d5-81f8-1cc3f11e6529/micro-avatar.jpg?1711478540000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Annette Bieniusa<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Technische Universität Kaiserslautern</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/laurabocchi" class="navigate"><div class="media"><span class="pull-left"><img alt="Laura Bocchi" src="https://icfp21.sigplan.org/getProfileImage/laurabocchi/85e8518f-7031-40f7-af74-c16fc957f0a6/micro-avatar.jpg?1711497100000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Laura Bocchi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Kent</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/emanueledosualdo" class="navigate"><div class="media"><span class="pull-left"><img alt="Emanuele D’Osualdo" src="https://icfp21.sigplan.org/getProfileImage/emanueledosualdo/644951c7-5f41-4944-a207-4a2537abd580/micro-avatar.jpg?1711500074000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Emanuele D’Osualdo<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">MPI-SWS</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/marianoguerra" class="navigate"><div class="media"><span class="pull-left"><img alt="Mariano Guerra" src="https://icfp21.sigplan.org/getProfileImage/marianoguerra/0fb5932a-fb22-4480-92ec-560792bf1736/micro-avatar.jpg?1711784582000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mariano Guerra<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Instadeq</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/burcukulahciogluozkan" class="navigate"><div class="media"><span class="pull-left"><img alt="Burcu Kulahcioglu Ozkan" src="https://icfp21.sigplan.org/getProfileImage/burcukulahciogluozkan/487b0697-ca28-4064-8b6f-da9e6c8c113e/micro-avatar.jpg?1711476409000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Burcu Kulahcioglu Ozkan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Delft University of Technology</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/rumyananeykova" class="navigate"><div class="media"><span class="pull-left"><img alt="Rumyana Neykova" src="https://icfp21.sigplan.org/getProfileImage/rumyananeykova/6d070c91-166c-41ca-a179-28199ab456d9/micro-avatar.jpg?1711456004000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Rumyana Neykova<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Brunel University London</span></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/kenjirikitake" class="navigate"><div class="media"><span class="pull-left"><img alt="Kenji Rikitake" src="https://icfp21.sigplan.org/getProfileImage/kenjirikitake/5c9cac27-8664-43b0-8891-b182f2ddaeee/micro-avatar.jpg?1711641030000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kenji Rikitake<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Kenji Rikitake Professional Engineer's Office</span></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/simonthompson" class="navigate"><div class="media"><span class="pull-left"><img alt="Simon Thompson" src="https://icfp21.sigplan.org/getProfileImage/simonthompson/afaf27cd-40d1-4aac-94a2-762638d445e6/micro-avatar.jpg?1711552453000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Simon Thompson<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IOHK, University of Kent, and ELTE</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/melindatoth" class="navigate"><div class="media"><span class="pull-left"><img alt="Melinda Tóth" src="https://icfp21.sigplan.org/getProfileImage/melindatoth/6ce6d8bf-c722-4e8d-b799-7c811ad462aa/micro-avatar.jpg?1711540522000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Melinda Tóth<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.</span></h5><h5 class="media-heading"><small>Hungary</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/petervanroy" class="navigate"><div class="media"><span class="pull-left"><img alt="Peter Van Roy" src="https://icfp21.sigplan.org/getProfileImage/petervanroy/2a8d4824-ae7e-4a22-bf28-4829f9f98a7a/micro-avatar.jpg?1711463159000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peter Van Roy<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Université catholique de Louvain</span></h5><h5 class="media-heading"><small>Belgium</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/kjellwinblad" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://icfp21.sigplan.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kjell Winblad<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Ericsson</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/constahs" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://icfp21.sigplan.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cons T Åhs<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Cisco Sweden AB</span></h5><h5 class="media-heading"><small>Sweden</small></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>Fri 21 Feb 16:27</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://icfp21.sigplan.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="icfp-2021" /><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://icfp21.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"icfp-2021"},],"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://icfp21.sigplan.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="icfp-2021" /><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://icfp21.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"icfp-2021"},],"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://icfp21.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ICFP 2021</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://icfp21.sigplan.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://icfp21.sigplan.org/track/icfp-2021-jfp-talks" class="navigate">JFP Talks</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-pltea" class="navigate">PLTea</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-papers" class="navigate">Research Papers</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-social-events" class="navigate">Social Events</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-workshops" class="navigate">Workshops</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-tutorials" class="navigate">Tutorials</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-icfp-programming-contest" class="navigate">ICFP Programming Contest</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-student-volunteers" class="navigate">Student Volunteers</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://icfp21.sigplan.org/home/erlang-2021" class="navigate">Erlang 2021</a><br/><a href="https://icfp21.sigplan.org/home/farm-2021" class="navigate">FARM 2021</a><br/><a href="https://icfp21.sigplan.org/home/FHPNC-2021" class="navigate">FHPNC 2021</a><br/><a href="https://icfp21.sigplan.org/home/hiw-2021" class="navigate">HIW 2021</a><br/><a href="https://icfp21.sigplan.org/home/hope-2021" class="navigate">HOPE 2021</a><br/><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="navigate">ML 2021</a><br/><a href="https://icfp21.sigplan.org/home/ocaml-2021" class="navigate">OCaml 2021</a><br/><a href="https://icfp21.sigplan.org/home/PLMW-ICFP-2021" class="navigate">PLMW @ ICFP 2021</a><br/><a href="https://icfp21.sigplan.org/home/scheme-2021" class="navigate">Scheme 2021</a><br/><a href="https://icfp21.sigplan.org/home/TyDe-2021" class="navigate">TyDe 2021</a><br/><a href="https://icfp21.sigplan.org/home/minikanren-2021" class="navigate">miniKanren 2021</a><br/><h4>Co-hosted Symposia</h4><a href="https://icfp21.sigplan.org/home/haskellsymp-2021" class="navigate">Haskell 2021</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://icfp21.sigplan.org/venue/icfp-2021-venue" class="navigate">Venue: Virtual</a><br><a href="https://icfp21.sigplan.org/attending/students" class="navigate">Student Volunteers</a><br><a href="https://icfp21.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a><br><a href="https://icfp21.sigplan.org/attending/call-for-sponsorship" class="navigate">Call For Sponsorship</a><br><a href="https://icfp21.sigplan.org/attending/Registration" class="navigate">Registration</a><br><a href="https://icfp21.sigplan.org/attending/accessibility" class="navigate">Accessibility</a></div><div class="col-sm-2"><a href="https://icfp21.sigplan.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>