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://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>APLAS 2024 - The 22nd Asian Symposium on Programming Languages and Systems - APLAS 2024</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.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://conf.researchr.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">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 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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/aplas-2024/carousel/20221030_142314.JPG?1706935427000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='News [2024/10/21] Preliminary proceedings are available (pwd protected) [2024/09/25] Information on social events announced [2024/08/24] List of accepted SRC & poster presentations announced [2024/07/16] **Registration opened! [2023/08/05] List of accepted papers announced Introduction The 22nd Asian Symposium on Programming Languages and Systems (APLAS) aims to bring together programming language researchers, practitioners and implementors worldwide, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. This y ...'>  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='APLAS 2024 - The 22nd Asian Symposium on Programming Languages and Systems - APLAS 2024'> <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> <meta name='description' content='News [2024/10/21] Preliminary proceedings are available (pwd protected) [2024/09/25] Information on social events announced [2024/08/24] List of accepted SRC &amp; poster presentations announced [2024/07/16] **Registration opened! [2023/08/05] List of accepted papers announced Introduction The 22nd Asian Symposium on Programming Languages and Systems (APLAS) aims to bring together programming language researchers, practitioners and implementors worldwide, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. This y ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/aplas-2024" class="navbar-brand navigate"><span class="brand-text">APLAS 2024</span></a><div class="place">Tue 22 - Fri 25 October 2024 <a href="https://conf.researchr.org/venue/aplas-2024/aplas-2024-venue" class="navigate">Kyoto</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://conf.researchr.org/venue/aplas-2024/aplas-2024-venue" class="navigate">Venue: Shirankaikan (Kyoto University medical school area)</a></li><li class="block"><a href="https://conf.researchr.org/attending/aplas-2024/registration" class="navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/aplas-2024/social+events" class="navigate">Social Events</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://conf.researchr.org/program/aplas-2024/program-aplas-2024/" class="navigate">APLAS Program</a></li><li class="block"><a href="https://conf.researchr.org/program/aplas-2024/program-aplas-2024/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/program/aplas-2024/program-aplas-2024/" data-fltr-type="date" data-fltr-val="Tue 22 Oct 2024" class="navigate">Tue 22 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/aplas-2024/program-aplas-2024/" data-fltr-type="date" data-fltr-val="Wed 23 Oct 2024" class="navigate">Wed 23 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/aplas-2024/program-aplas-2024/" data-fltr-type="date" data-fltr-val="Thu 24 Oct 2024" class="navigate">Thu 24 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/aplas-2024/program-aplas-2024/" data-fltr-type="date" data-fltr-val="Fri 25 Oct 2024" class="navigate">Fri 25 Oct</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">APLAS 2024</li><li class="block"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-events" class="navigate">Events</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-keynote" class="navigate">Keynote</a></li><li class="block"><a href="https://conf.researchr.org/details/aplas-2024/aplas-2024-keynote/1/How-to-design-document-and-implement-programming-languages" class="small menu-advertised-event navigate">- How to design, document, and implement programming languages</a></li><li class="block"><a href="https://conf.researchr.org/details/aplas-2024/aplas-2024-keynote/3/K-Pop-the-Ultimate-Compilation-No-Kernel-Left-Behind" class="small menu-advertised-event navigate">- K-Pop the Ultimate Compilation: No Kernel Left Behind</a></li><li class="block"><a href="https://conf.researchr.org/details/aplas-2024/aplas-2024-keynote/2/High-Order-Fixpoint-Logic-for-Automated-Program-Verification" class="small menu-advertised-event navigate">- High-Order Fixpoint Logic for Automated Program Verification</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F" class="navigate">SRC & Posters</a></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2024" class="navigate">Research Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/aplas-2024/nier2024" class="navigate">APLAS NIER</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-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">APLAS 2024 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplas-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplasstudent+research+competition+and+posters2024-organizer" class="navigate"><strong>SRC & Posters</strong> <small>Organizer</small></a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplasstudent+research+competition+and+posters2024-judges" class="navigate"><strong>SRC & Posters</strong> <small>Judges</small></a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplasstudent+research+competition+and+posters2024-selection-committee" class="navigate"><strong>SRC & Posters</strong> <small>Selection Committee</small></a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplas-2024-research-papers-organizing-committee" class="navigate"><strong>Research Papers</strong> <small>Organizing Committee</small></a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplas-2024-research-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://conf.researchr.org/committee/aplas-2024/aplas-2024-research-papers-steering-committee" class="navigate"><strong>Research Papers</strong> <small>Steering Committee</small></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/aplas-2024" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li class="block"><a href="https://conf.researchr.org/search/aplas-2024//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://conf.researchr.org/series/aplas" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2025" class="navigate">APLAS 2025</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> APLAS 2024</span></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2023" class="navigate">APLAS 2023</a></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2022" class="navigate">APLAS 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2021" class="navigate">APLAS 2021</a></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2020" class="navigate">APLAS 2020</a></li><li class="block"><a href="https://conf.researchr.org/home/aplas-2019" class="navigate">APLAS 2019</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/aplas-2024/https%3A%5Es%5Esconf.researchr.org%5Eshome%5Esaplas-2024" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/aplas-2024" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="0" class="active"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="1"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="2"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="3"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="4"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="5"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="6"></li><li data-target="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide-to="7"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/20221030_142314.JPG?1706935427000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Heian Jingu and Mount Hiei</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/IMG_20211230_151930.jpg?1706935354000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Yoshida Shrine</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/IMG_20201121_151553.jpg?1706935363000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Nanzenji Temple</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/IMG_20200831_090609.jpg?1706935372000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Kiyomizu Temple</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/P1040099.JPG?1706928232000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Golden Pavillion</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/IMG_20200816_065004.jpg?1706928123000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Nijo Castle</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/IMG_20211125_163742.jpg?1706935385000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Ooharano Shrine</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/aplas-2024/carousel/20230913_074825.JPG?1706935394000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/4.0/80x15.png" /></a> Photo by <em>Jacques Garrigue</em></div><div class="carousel-caption"><h3>Kan-Daijin Inari Shrine</h3><h5></h5></div></div></div><a href="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-5854f063-d35e-4fcb-8c8f-f695eed8cc46" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="page-header"><span class="text-muted small">APLAS 2024 (<a href="https://conf.researchr.org/series/aplas" class="navigate">series</a>) / </span><h1>The 22nd Asian Symposium on Programming Languages and Systems<span class="pull-right small h1">APLAS 2024</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Accepted Papers</a></li><li><a href="#Call-for-Submissions" data-toggle="tab">Call for Submissions</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="#news" id="news" class="anchor-link">News</a></h2> <ul> <li>[2024/10/21] <a href="https://conf.researchr.org/getImage/aplas-2024/orig/Proceedings.zip">Preliminary proceedings</a> are available (pwd protected)</li> <li>[2024/09/25] Information on <a href="https://conf.researchr.org/attending/aplas-2024/social+events">social events</a> announced</li> <li>[2024/08/24] <a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F">List of accepted SRC & poster presentations</a> announced</li> <li>[2024/07/16] **<a href="https://conf.researchr.org/attending/aplas-2024/registration">Registration</a> opened!</li> <li>[2023/08/05] <a href="https://conf.researchr.org/home/aplas-2024#event-overview">List of accepted papers</a> announced</li> </ul>  <h2><a href="#introduction" id="introduction" class="anchor-link">Introduction</a></h2> <p><img src="https://conf.researchr.org/getImage/aplas-2024/orig/APLAS-ATVA-2024-logo.png" width="200" align="right"> The 22nd <strong>Asian Symposium on Programming Languages and Systems (APLAS)</strong> aims to bring together programming language researchers, practitioners and implementors <strong>worldwide</strong>, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. This year’s conference is co-located with the <a href="https://atva-conference.org/2024/">22nd International Symposium on Automated Technology for Verification and Analysis (ATVA)</a></p> <p>APLAS 2024 will be held in <strong>Kyoto, Japan</strong> from Tuesday 22nd to Thursday 24th October 2024. The conference includes the student research competition and the associated poster session. Following the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on Friday 25th October 2024.</p> <p>APLAS is organized by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were held in Taipei (’23), Auckland (’22), Chicago (’21), Fukuoka (’20), Bali (’19), Wellington (’18), Suzhou (’17), Hanoi (’16), Pohang (’15), Singapore (’14), Melbourne (’13), Kyoto (’12), Kenting (’11), Shanghai (’10), Seoul (’09), Bangalore (’08), Singapore (’07), Sydney (’06), Tsukuba (’05), Taipei (’04) and Beijing (’03) after three informal workshops.</p>  <h3><a href="#keynote-speakers" id="keynote-speakers" class="anchor-link">Keynote Speakers</a></h3> <p><a href="https://research.google/people/albert-cohen/">Albert Cohen</a>, Google</p> <p><a href="https://www-kb.is.s.u-tokyo.ac.jp/~koba/">Naoki Kobayashi</a>, University of Tokyo (Joint keynote speaker with ATVA 2024)</p> <p><a href="https://plrg.kaist.ac.kr/ryu">Sukyoung Ryu</a>, KAIST</p> <h2><a href="#sponsors" id="sponsors" class="anchor-link">Sponsors</a></h2> <h3><a href="#silver-sponsors" id="silver-sponsors" class="anchor-link">Silver Sponsors</a></h3> <p><a href="https://www.denso.com/global/en/"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/DENSO_-smalltagline_2lines_Red_RGB_1280.png" width="200"></a> <a href="https://www.mitsubishielectric.com/en/index.html"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/05-CorporateLogoCfB-color.png" width="200"></a> <a href="https://www.imiron.io/"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/20240920+imiron+logo+wide+2.png" width="200"></a></p> <h3><a href="#organizational-sponsor" id="organizational-sponsor" class="anchor-link">Organizational Sponsor</a></h3> <p><a href="https://www.kyodai-zaidan.or.jp/"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/PIIF_Kyoto.png" width="200"></a> <a href="https://www.tateisi-f.org/"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/Screenshot+2024-09-19+at+6.06.37.png" width="205"></a> <a href="https://hellokcb.or.jp/"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/%E5%8A%A9%E6%88%90%E9%87%91%E3%83%BB%E8%A3%9C%E5%8A%A9%E9%87%91_%E4%BA%AC%E9%83%BDMICE%E3%83%AD%E3%82%B3%E3%82%99%E3%81%A8%E5%AE%9A%E5%9E%8B%E6%96%87_Page_2.png" width="200"></a></p> <h3><a href="#award-sponsor" id="award-sponsor" class="anchor-link">Award Sponsor</a></h3> <p><a href="https://www.springer.com/"><img src="https://conf.researchr.org/getImage/aplas-2024/orig/Springer_Logo-300x81-1.jpg" width="200"></a></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><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://conf.researchr.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="aplas-2024" /><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) Osaka, Sapporo, Tokyo</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) Osaka, Sapporo, Tokyo</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-05: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-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-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+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+12:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"aplas-2024"},],"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>Tue 22 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Osaka, Sapporo, Tokyo</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Yamauchi Hall" 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 c4"></td><td><div class="slot-label">09:30 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Keynote 1<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-keynote" target="_blank" class="text-muted navigate">Keynote</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/atsushiigarashi" target="_blank" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/olegkiselyov" target="_blank" class="navigate">Oleg Kiselyov</a><span class="prog-aff"> Tohoku University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7416f5e6-81fd-4008-9b5b-c5e06825c831" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:30</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Keynote"></span></td><td><span data-event-star="0e2669c8-97f0-42bf-851f-535e32ba61d1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0e2669c8-97f0-42bf-851f-535e32ba61d1">How to design, document, and implement programming languages</a></strong><div class="prog-track">Keynote</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/sukyoungryu" class="navigate">Sukyoung Ryu</a><span class="prog-aff"> KAIST</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-track="APLAS Catering" data-facet-room="The 2nd floor corridor" 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 c2"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link navigate">The 2nd floor corridor</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Type theory and Semantic Frameworks<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/olegkiselyov" target="_blank" class="navigate">Oleg Kiselyov</a><span class="prog-aff"> Tohoku University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="7bc614b0-dd81-4db1-8554-677c7704a795" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="9c43c08a-108f-4f56-a7a1-5a368184e1c4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9c43c08a-108f-4f56-a7a1-5a368184e1c4">Comparing semantic frameworks of dependently-sorted algebraic theories</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/benediktahrens1" class="navigate">Benedikt Ahrens</a><span class="prog-aff"> Delft University of Technology</span>, <a href="https://conf.researchr.org/profile/aplas-2024/peterlefanulumsdaine" class="navigate">Peter Lefanu Lumsdaine</a><span class="prog-aff"> Stockholm University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/paigerandallnorth" class="navigate">Paige Randall North</a><span class="prog-aff"> Utrecht University</span></div></td></tr><tr data-slot-id="dd5cbcf6-7ec7-4b2a-9d2f-ce9fd828946b" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="656a56a7-7d11-4b05-a8e0-46557c971417" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="656a56a7-7d11-4b05-a8e0-46557c971417">Random-access lists, from EE to FP</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/pierreevaristedagand" class="navigate">Pierre-Evariste Dagand</a><span class="prog-aff"> IRIF / CNRS </span>, <a href="https://conf.researchr.org/profile/aplas-2024/titouanquennet" class="navigate">Titouan Quennet</a><span class="prog-aff"> Université Paris Cité, CNRS, IRIF</span></div></td></tr><tr data-slot-id="428509f0-e23b-44ab-8612-1333588246e4" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="a391af13-8324-439a-bbd1-7f2c70d90544" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a391af13-8324-439a-bbd1-7f2c70d90544">Generic Reasoning of the Locally Nameless Representation</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yichengni" class="navigate">Yicheng Ni</a><span class="prog-aff"> Shanghai Jiao Tong University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/yutingwang" class="navigate">Yuting Wang</a><span class="prog-aff"> Shanghai Jiao Tong University</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-track="APLAS Catering" data-facet-room="Open space (2nd floor)" 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 c2"></td><td><div class="slot-label">12:30 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-open-space-%282nd-floor%29" target="_blank" class="room-link navigate">Open space (2nd floor)</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">14:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Quantum<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/jacquesgarrigue1" target="_blank" class="navigate">Jacques Garrigue</a><span class="prog-aff"> Nagoya University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="fa4c0289-3b92-46ac-9d92-a561c700884d" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="3f07c032-091a-4281-9bf2-a49e40408203" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3f07c032-091a-4281-9bf2-a49e40408203">Quantum Programming Without the Quantum Physics</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/juninoue" class="navigate">Jun Inoue</a><span class="prog-aff"> National Institute of Advanced Industrial Science and Technology, Japan</span></div></td></tr><tr data-slot-id="0e7d7cfb-43eb-4e6b-a1d8-7a3802c650ac" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="ac3bd662-03e9-4b49-946d-af3b172db896" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ac3bd662-03e9-4b49-946d-af3b172db896">Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/lorenzoceragioli" class="navigate">Lorenzo Ceragioli</a><span class="prog-aff"> IMT Lucca, Italy</span>, <a href="https://conf.researchr.org/profile/aplas-2024/fabiogadducci" class="navigate">Fabio Gadducci</a><span class="prog-aff"> University of Pisa</span>, <a href="https://conf.researchr.org/profile/aplas-2024/giuseppelomurno" class="navigate">Giuseppe Lomurno</a><span class="prog-aff"> University of Pisa, Italy</span>, <a href="https://conf.researchr.org/profile/aplas-2024/gabrieletedeschi" class="navigate">Gabriele Tedeschi</a><span class="prog-aff"> University of Pisa, Italy</span></div></td></tr><tr data-slot-id="70db27c6-ca43-4b7b-a2c4-18b682b44c81" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="5fb8b5d6-7704-4bf0-9629-f5b5c78d17fc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5fb8b5d6-7704-4bf0-9629-f5b5c78d17fc">Type-Based Verification of Connectivity Constraints in Lattice Surgery</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/ryowakizaka" class="navigate">Ryo Wakizaka</a><span class="prog-aff"> Kyoto University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/atsushiigarashi" class="navigate">Atsushi Igarashi</a><span class="prog-aff"> Kyoto University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/yasunarisuzuki" class="navigate">Yasunari Suzuki</a><span class="prog-aff"> NTT Computer and Data Science Laboratories</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-track="APLAS Catering" data-facet-room="The 2nd floor corridor" 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 c2"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link navigate">The 2nd floor corridor</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 23 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Osaka, Sapporo, Tokyo</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-room="Yamauchi Hall" 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 c4"></td><td><div class="slot-label">09:00 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote 2<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-keynote" target="_blank" class="text-muted navigate">Keynote</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/olegkiselyov" target="_blank" class="navigate">Oleg Kiselyov</a><span class="prog-aff"> Tohoku University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0a588226-48c2-4c3e-a04c-c19a17cbd71d" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Keynote"></span></td><td><span data-event-star="c46c32f8-9532-4626-b37e-e53a08620120" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c46c32f8-9532-4626-b37e-e53a08620120">K-Pop the Ultimate Compilation: No Kernel Left Behind</a></strong><div class="prog-track">Keynote</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/albertcohen" class="navigate">Albert Cohen</a><span class="prog-aff"> Google DeepMind</span></div><a href="https://conf.researchr.org/details/aplas-2024/aplas-2024-keynote/3/K-Pop-the-Ultimate-Compilation-No-Kernel-Left-Behind" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-track="APLAS Catering" data-facet-room="The 2nd floor corridor" 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 c2"></td><td><div class="slot-label">10:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link navigate">The 2nd floor corridor</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">10:30 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Type theory and Semantic Frameworks II<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/pierreevaristedagand" target="_blank" class="navigate">Pierre-Evariste Dagand</a><span class="prog-aff"> IRIF / CNRS </span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="61fc4706-5730-450f-9e80-38a11b8c69ce" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="a94d996f-321f-42ba-9e6e-e240239f587d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a94d996f-321f-42ba-9e6e-e240239f587d">Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/bohdanliesnikov" class="navigate">Bohdan Liesnikov</a><span class="prog-aff"> Delft University of Technology</span>, <a href="https://conf.researchr.org/profile/aplas-2024/jespercockx" class="navigate">Jesper Cockx</a><span class="prog-aff"> Delft University of Technology</span></div></td></tr><tr data-slot-id="4c5f3441-c279-41e3-87ad-2af443e5f8f7" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="47f0e2b2-e40c-414f-b997-ef557b4d3184" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="47f0e2b2-e40c-414f-b997-ef557b4d3184">Extending the Quantitative Pattern-Matching Paradigm</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/sandraalves" class="navigate">Sandra Alves</a><span class="prog-aff"> University of Porto</span>, <a href="https://conf.researchr.org/profile/aplas-2024/deliakesner" class="navigate">Delia Kesner</a><span class="prog-aff"> Université Paris Cité - CNRS - IRIF; Institut Universitaire de France</span>, <a href="https://conf.researchr.org/profile/aplas-2024/miguelramos1" class="navigate">Miguel Ramos</a><span class="prog-aff"> Universidade do Porto, LIACC; Université Paris Cité, IRIF, CNRS</span></div></td></tr><tr data-slot-id="7c1cd2ea-20e7-41a6-845f-82f3d4d33d23" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="22097aa5-8bf7-4f21-a3bf-6921e33a2b79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="22097aa5-8bf7-4f21-a3bf-6921e33a2b79">On Computational Indistinguishability and Logical Relations</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/ugodallago" class="navigate">Ugo Dal Lago</a><span class="prog-aff"> University of Bologna & INRIA Sophia Antipolis</span>, <a href="https://conf.researchr.org/profile/aplas-2024/zeinabgalal" class="navigate">Zeinab Galal</a><span class="prog-aff"> University of Bologna</span>, <a href="https://conf.researchr.org/profile/aplas-2024/giuliagiusti" class="navigate">Giulia Giusti</a><span class="prog-aff"> ENS Lyon</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-track="APLAS Catering" data-facet-room="Open space (2nd floor)" 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 c2"></td><td><div class="slot-label">12:00 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-open-space-%282nd-floor%29" target="_blank" class="room-link navigate">Open space (2nd floor)</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-track="APLAS Catering" data-facet-room="The 2nd floor corridor" 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 c2"></td><td><div class="slot-label">15:40 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link navigate">The 2nd floor corridor</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">16:00 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Probabilistic and Declarative Programming<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/olegkiselyov" target="_blank" class="navigate">Oleg Kiselyov</a><span class="prog-aff"> Tohoku University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="989e9501-04b4-40e1-831f-5a1161dd1772" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="88eade14-f8b8-4bf4-ab2d-8b218b9a8e25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="88eade14-f8b8-4bf4-ab2d-8b218b9a8e25">Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/michaelhanus" class="navigate">Michael Hanus</a><span class="prog-aff"> Kiel University</span></div></td></tr><tr data-slot-id="61b20c7e-932e-4976-8082-1402dfdcd7aa" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="4e1689ab-70f3-4bef-9c9f-f1d69e137346" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4e1689ab-70f3-4bef-9c9f-f1d69e137346">Explaining Explanations in Probabilistic Logic Programming</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/germanvidal" class="navigate">German Vidal</a><span class="prog-aff"> Universitat Politecnica de Valencia</span></div></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 24 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Osaka, Sapporo, Tokyo</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-room="Inamori Hall" 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 c4"></td><td><div class="slot-label">09:00 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote 3<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-keynote" target="_blank" class="text-muted navigate">Keynote</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-inamori-hall" target="_blank" class="room-link navigate">Inamori Hall</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="0e6f4345-5faa-4fe2-8f0f-83cf9c3dda45" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Keynote"></span></td><td><span data-event-star="e2f117d2-aabb-40ed-bf0f-6e511107618c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e2f117d2-aabb-40ed-bf0f-6e511107618c">High-Order Fixpoint Logic for Automated Program Verification</a></strong><div class="prog-track">Keynote</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/naokikobayashi" class="navigate">Naoki Kobayashi</a><span class="prog-aff"> University of Tokyo</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-track="APLAS Catering" data-facet-room="The 2nd floor corridor" 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 c2"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link navigate">The 2nd floor corridor</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">10:30 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Logic<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/daanleijen" target="_blank" class="navigate">Daan Leijen</a><span class="prog-aff"> Microsoft Research</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a66aac9e-6249-4b27-81e7-aae08a7cd84d" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="8757b6e6-ff0b-4a03-8c4b-ac6fd6389d37" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8757b6e6-ff0b-4a03-8c4b-ac6fd6389d37">Effective Search Space Pruning for Testing Deep Neural Networks</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/balarangaya" class="navigate">Bala Rangaya</a><span class="prog-aff"> Singapore University of Technology and Design</span>, <a href="https://conf.researchr.org/profile/aplas-2024/eugenesng" class="navigate">Eugene Sng</a><span class="prog-aff"> Ministry of Defence of Singapore</span>, <a href="https://conf.researchr.org/profile/aplas-2024/thaitrinh" class="navigate">Minh-Thai Trinh</a><span class="prog-aff"> Illinois Advanced Research Center at Singapore Ltd.</span></div></td></tr><tr data-slot-id="f09d8cfe-0a04-42ec-b510-97bb5560dc52" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="fa76c2dc-22b3-429a-9c71-56e604b19ad1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fa76c2dc-22b3-429a-9c71-56e604b19ad1">Non-deterministic, probabilistic, and quantum effects through the lens of event structures</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/vitorfernandes" class="navigate">Vitor Fernandes</a><span class="prog-aff"> University of Minho</span>, <a href="https://conf.researchr.org/profile/aplas-2024/marcdevisme1" class="navigate">Marc de Visme</a><span class="prog-aff"> Université Paris-Saclay, CNRS, INRIA-SIF, LMF</span>, <a href="https://conf.researchr.org/profile/aplas-2024/benoitvaliron1" class="navigate">Benoît Valiron</a><span class="prog-aff"> Université Paris-Saclay, CNRS, CentraleSupélec, LMF</span></div></td></tr><tr data-slot-id="0cee0be0-e53e-4f87-ba4e-8a84f121b30b" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="b1d0537c-9184-41b8-9a03-c002f947191f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b1d0537c-9184-41b8-9a03-c002f947191f">Relative Completeness of Incorrectness Separation Logic</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yeonseoklee" class="navigate">Yeonseok Lee</a><span class="prog-aff"> Nagoya University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/kojinakazawa" class="navigate">Koji Nakazawa</a><span class="prog-aff"> Graduate School of Informatics, Nagoya University</span></div><a href="https://conf.researchr.org/details/aplas-2024/aplas-2024-research-papers/18/Relative-Completeness-of-Incorrectness-Separation-Logic" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-track="APLAS Catering" data-facet-room="Open space (2nd floor)" 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 c2"></td><td><div class="slot-label">12:00 - 14:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-open-space-%282nd-floor%29" target="_blank" class="room-link navigate">Open space (2nd floor)</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">14:30 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Verification<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/yutingwang" target="_blank" class="navigate">Yuting Wang</a><span class="prog-aff"> Shanghai Jiao Tong University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="73482a5f-b1eb-4b2c-8abe-8b9f605c9ff1" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="cd393826-cad3-45e1-bf37-60ed0965f3f0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cd393826-cad3-45e1-bf37-60ed0965f3f0">A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/thithuhadoan" class="navigate">Thi Thu Ha Doan</a><span class="prog-aff"> University of Freiburg</span>, <a href="https://conf.researchr.org/profile/aplas-2024/peterthiemann" class="navigate">Peter Thiemann</a><span class="prog-aff"> University of Freiburg, Germany</span></div></td></tr><tr data-slot-id="3c577410-8bc9-4ef7-b62f-ce8802632ad1" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="b74cb7d1-8050-4030-a6b7-2ebcabf2b423" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b74cb7d1-8050-4030-a6b7-2ebcabf2b423">Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/hiroyukikatsura" class="navigate">Hiroyuki Katsura</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://conf.researchr.org/profile/aplas-2024/naokikobayashi" class="navigate">Naoki Kobayashi</a><span class="prog-aff"> University of Tokyo</span>, <a href="https://conf.researchr.org/profile/aplas-2024/kensakayori" class="navigate">Ken Sakayori</a><span class="prog-aff"> University of Tokyo</span>, <a href="https://conf.researchr.org/profile/aplas-2024/ryosukesato" class="navigate">Ryosuke Sato</a><span class="prog-aff"> Tokyo University of Agriculture and Technology</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-track="APLAS Catering" data-facet-room="The 2nd floor corridor" 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 c2"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Coffee Break<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="text-muted navigate">Catering</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link navigate">The 2nd floor corridor</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-room="Yamauchi Hall" 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 c3"></td><td><div class="slot-label">16:00 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Verification (remote)<span class="pull-right"><a href="https://conf.researchr.org/home/aplas-2024" target="_blank" class="text-muted navigate">Research Papers</a></span> at <a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/jacquesgarrigue1" target="_blank" class="navigate">Jacques Garrigue</a><span class="prog-aff"> Nagoya University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a6853d51-39f5-456c-a06f-acfc59823ace" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="d490dde5-8b64-45d3-96a3-13fb78eed47e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d490dde5-8b64-45d3-96a3-13fb78eed47e">Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/shigeyukisato" class="navigate">Shigeyuki Sato</a><span class="prog-aff"> The University of Electro-Communications</span>, <a href="https://conf.researchr.org/profile/aplas-2024/taiyomizuhashi" class="navigate">Taiyo Mizuhashi</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://conf.researchr.org/profile/aplas-2024/genkikimura1" class="navigate">Genki Kimura</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://conf.researchr.org/profile/aplas-2024/kenjirotaura" class="navigate">Kenjiro Taura</a><span class="prog-aff"> The University of Tokyo</span></div></td></tr><tr data-slot-id="29c60e1d-27ae-4181-8f53-b6fa9588bd59" class="hidable"><td class="track-color c3"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS Research Papers"></span></td><td><span data-event-star="47360d80-7749-4e0d-b694-4cd8169ebea1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="47360d80-7749-4e0d-b694-4cd8169ebea1">OBRA: Oracle-based, relational, algorithmic type verification</a></strong><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/lisavasilenko" class="navigate">Lisa Vasilenko</a><span class="prog-aff"> IMDEA Software Institute and HSE University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/gillesbarthe" class="navigate">Gilles Barthe</a><span class="prog-aff"> MPI-SP; IMDEA Software Institute</span>, <a href="https://conf.researchr.org/profile/aplas-2024/nikivazou" class="navigate">Niki Vazou</a><span class="prog-aff"> IMDEA Software Institute</span></div></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="cd393826-cad3-45e1-bf37-60ed0965f3f0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cd393826-cad3-45e1-bf37-60ed0965f3f0">A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/thithuhadoan" class="navigate">Thi Thu Ha Doan</a>, <a href="https://conf.researchr.org/profile/aplas-2024/peterthiemann" class="navigate">Peter Thiemann</a></div></td></tr><tr><td><span data-event-star="a94d996f-321f-42ba-9e6e-e240239f587d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a94d996f-321f-42ba-9e6e-e240239f587d">Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/bohdanliesnikov" class="navigate">Bohdan Liesnikov</a>, <a href="https://conf.researchr.org/profile/aplas-2024/jespercockx" class="navigate">Jesper Cockx</a></div></td></tr><tr><td><span data-event-star="9c43c08a-108f-4f56-a7a1-5a368184e1c4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9c43c08a-108f-4f56-a7a1-5a368184e1c4">Comparing semantic frameworks of dependently-sorted algebraic theories</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/benediktahrens1" class="navigate">Benedikt Ahrens</a>, <a href="https://conf.researchr.org/profile/aplas-2024/peterlefanulumsdaine" class="navigate">Peter Lefanu Lumsdaine</a>, <a href="https://conf.researchr.org/profile/aplas-2024/paigerandallnorth" class="navigate">Paige Randall North</a></div></td></tr><tr><td><span data-event-star="8757b6e6-ff0b-4a03-8c4b-ac6fd6389d37" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8757b6e6-ff0b-4a03-8c4b-ac6fd6389d37">Effective Search Space Pruning for Testing Deep Neural Networks</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/balarangaya" class="navigate">Bala Rangaya</a>, <a href="https://conf.researchr.org/profile/aplas-2024/eugenesng" class="navigate">Eugene Sng</a>, <a href="https://conf.researchr.org/profile/aplas-2024/thaitrinh" class="navigate">Minh-Thai Trinh</a></div></td></tr><tr><td><span data-event-star="d490dde5-8b64-45d3-96a3-13fb78eed47e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d490dde5-8b64-45d3-96a3-13fb78eed47e">Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/shigeyukisato" class="navigate">Shigeyuki Sato</a>, <a href="https://conf.researchr.org/profile/aplas-2024/taiyomizuhashi" class="navigate">Taiyo Mizuhashi</a>, <a href="https://conf.researchr.org/profile/aplas-2024/genkikimura1" class="navigate">Genki Kimura</a>, <a href="https://conf.researchr.org/profile/aplas-2024/kenjirotaura" class="navigate">Kenjiro Taura</a></div></td></tr><tr><td><span data-event-star="4e1689ab-70f3-4bef-9c9f-f1d69e137346" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4e1689ab-70f3-4bef-9c9f-f1d69e137346">Explaining Explanations in Probabilistic Logic Programming</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/germanvidal" class="navigate">German Vidal</a></div></td></tr><tr><td><span data-event-star="47f0e2b2-e40c-414f-b997-ef557b4d3184" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="47f0e2b2-e40c-414f-b997-ef557b4d3184">Extending the Quantitative Pattern-Matching Paradigm</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/sandraalves" class="navigate">Sandra Alves</a>, <a href="https://conf.researchr.org/profile/aplas-2024/deliakesner" class="navigate">Delia Kesner</a>, <a href="https://conf.researchr.org/profile/aplas-2024/miguelramos1" class="navigate">Miguel Ramos</a></div></td></tr><tr><td><span data-event-star="a391af13-8324-439a-bbd1-7f2c70d90544" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a391af13-8324-439a-bbd1-7f2c70d90544">Generic Reasoning of the Locally Nameless Representation</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yichengni" class="navigate">Yicheng Ni</a>, <a href="https://conf.researchr.org/profile/aplas-2024/yutingwang" class="navigate">Yuting Wang</a></div></td></tr><tr><td><span data-event-star="88eade14-f8b8-4bf4-ab2d-8b218b9a8e25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="88eade14-f8b8-4bf4-ab2d-8b218b9a8e25">Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/michaelhanus" class="navigate">Michael Hanus</a></div></td></tr><tr><td><span data-event-star="b74cb7d1-8050-4030-a6b7-2ebcabf2b423" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b74cb7d1-8050-4030-a6b7-2ebcabf2b423">Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/hiroyukikatsura" class="navigate">Hiroyuki Katsura</a>, <a href="https://conf.researchr.org/profile/aplas-2024/naokikobayashi" class="navigate">Naoki Kobayashi</a>, <a href="https://conf.researchr.org/profile/aplas-2024/kensakayori" class="navigate">Ken Sakayori</a>, <a href="https://conf.researchr.org/profile/aplas-2024/ryosukesato" class="navigate">Ryosuke Sato</a></div></td></tr><tr><td><span data-event-star="fa76c2dc-22b3-429a-9c71-56e604b19ad1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fa76c2dc-22b3-429a-9c71-56e604b19ad1">Non-deterministic, probabilistic, and quantum effects through the lens of event structures</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/vitorfernandes" class="navigate">Vitor Fernandes</a>, <a href="https://conf.researchr.org/profile/aplas-2024/marcdevisme1" class="navigate">Marc de Visme</a>, <a href="https://conf.researchr.org/profile/aplas-2024/benoitvaliron1" class="navigate">Benoît Valiron</a></div></td></tr><tr><td><span data-event-star="47360d80-7749-4e0d-b694-4cd8169ebea1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="47360d80-7749-4e0d-b694-4cd8169ebea1">OBRA: Oracle-based, relational, algorithmic type verification</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/lisavasilenko" class="navigate">Lisa Vasilenko</a>, <a href="https://conf.researchr.org/profile/aplas-2024/gillesbarthe" class="navigate">Gilles Barthe</a>, <a href="https://conf.researchr.org/profile/aplas-2024/nikivazou" class="navigate">Niki Vazou</a></div></td></tr><tr><td><span data-event-star="22097aa5-8bf7-4f21-a3bf-6921e33a2b79" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="22097aa5-8bf7-4f21-a3bf-6921e33a2b79">On Computational Indistinguishability and Logical Relations</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/ugodallago" class="navigate">Ugo Dal Lago</a>, <a href="https://conf.researchr.org/profile/aplas-2024/zeinabgalal" class="navigate">Zeinab Galal</a>, <a href="https://conf.researchr.org/profile/aplas-2024/giuliagiusti" class="navigate">Giulia Giusti</a></div></td></tr><tr><td><span data-event-star="ac3bd662-03e9-4b49-946d-af3b172db896" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ac3bd662-03e9-4b49-946d-af3b172db896">Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/lorenzoceragioli" class="navigate">Lorenzo Ceragioli</a>, <a href="https://conf.researchr.org/profile/aplas-2024/fabiogadducci" class="navigate">Fabio Gadducci</a>, <a href="https://conf.researchr.org/profile/aplas-2024/giuseppelomurno" class="navigate">Giuseppe Lomurno</a>, <a href="https://conf.researchr.org/profile/aplas-2024/gabrieletedeschi" class="navigate">Gabriele Tedeschi</a></div></td></tr><tr><td><span data-event-star="3f07c032-091a-4281-9bf2-a49e40408203" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3f07c032-091a-4281-9bf2-a49e40408203">Quantum Programming Without the Quantum Physics</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/juninoue" class="navigate">Jun Inoue</a></div></td></tr><tr><td><span data-event-star="656a56a7-7d11-4b05-a8e0-46557c971417" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="656a56a7-7d11-4b05-a8e0-46557c971417">Random-access lists, from EE to FP</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/pierreevaristedagand" class="navigate">Pierre-Evariste Dagand</a>, <a href="https://conf.researchr.org/profile/aplas-2024/titouanquennet" class="navigate">Titouan Quennet</a></div></td></tr><tr><td><span data-event-star="b1d0537c-9184-41b8-9a03-c002f947191f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b1d0537c-9184-41b8-9a03-c002f947191f">Relative Completeness of Incorrectness Separation Logic</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yeonseoklee" class="navigate">Yeonseok Lee</a>, <a href="https://conf.researchr.org/profile/aplas-2024/kojinakazawa" class="navigate">Koji Nakazawa</a></div><a href="https://conf.researchr.org/details/aplas-2024/aplas-2024-research-papers/18/Relative-Completeness-of-Incorrectness-Separation-Logic" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="5fb8b5d6-7704-4bf0-9629-f5b5c78d17fc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="5fb8b5d6-7704-4bf0-9629-f5b5c78d17fc">Type-Based Verification of Connectivity Constraints in Lattice Surgery</a><div class="prog-track">Research Papers</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/ryowakizaka" class="navigate">Ryo Wakizaka</a>, <a href="https://conf.researchr.org/profile/aplas-2024/atsushiigarashi" class="navigate">Atsushi Igarashi</a>, <a href="https://conf.researchr.org/profile/aplas-2024/yasunarisuzuki" class="navigate">Yasunari Suzuki</a></div></td></tr></table></div><div id="Call-for-Submissions" class="tab-pane "><h2>Call for Submissions</h2><p><h3><a href="#scope" id="scope" class="anchor-link">Scope</a></h3> <p>We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include:</p> <ul> <li><strong>programming paradigms and styles</strong>: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms;</li> <li><strong>methods and tools to specify and reason about programs and languages</strong>: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing;</li> <li><strong>programming language foundations: formal semantics</strong>; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation;</li> <li><strong>methods and tools for implementation</strong>: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis;</li> <li><strong>concurrency and distribution</strong>: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems;</li> <li><strong>applications and emerging topics</strong>: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification.</li> </ul> <h3><a href="#submission-information" id="submission-information" class="anchor-link">Submission Information</a></h3> <p>Submissions should not exceed <strong>17</strong> pages, excluding bibliography, in the <strong>Springer LNCS format</strong>. LaTeX template is available at <a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">Springer’s Information for Authors</a>. The accepted papers will be allowed one extra page to accommodate reviewers’ feedback.</p> <p>Additional material intended for reviewers but not for publication in the final version -– for example, details of proofs -– may be placed in a clearly marked appendix that is not included in the page limit. The paper must be understandable without the appendix, however. Reviewers are not obligated to review it.</p> <p>Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. Accepted papers must be presented at the conference. For further details, please consult <a href="https://www.springernature.com/gp/authors/book-authors-code-of-conduct">Springer Nature Code of Conduct for Authors</a>.</p> <p>Papers should be submitted via HotCRP: <a href="https://aplas24.hotcrp.com/">https://aplas24.hotcrp.com/</a></p> <h3><a href="#reviewing-process" id="reviewing-process" class="anchor-link">Reviewing process</a></h3> <p>As before, APLAS 2024 uses <strong>light double-blind</strong> reviewing process, with a rebuttal phase to address factual errors and minor misunderstandings. Reviewers will not see author names until they submit a review. Therefore, the authors must adhere to the following rules:</p> <ul> <li>omit your names and institutions;</li> <li>refer to your prior work in the third person, just as you refer to prior work by others;</li> <li>omit the acknowledgments.</li> </ul> <p>The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. For more details, see the FAQ (on the OOPSLA submission site) <a href="https://2023.splashcon.org/track/splash-2023-oopsla#double-blinding-submissions-authors">https://2023.splashcon.org/track/splash-2023-oopsla#double-blinding-submissions-authors</a></p> <p>The proceedings will be published as a volume in Springer’s LNCS series. Previous APLAS proceedings <a href="https://link.springer.com/conference/aplas">https://link.springer.com/conference/aplas</a> can be found on SpringerLink. Authors interested in making their contributions Open Access please refer to Springer’s webpage <a href="https://www.springer.com/gp/computer-science/lncs/open-access-publishing-in-computer-proceedings">https://www.springer.com/gp/computer-science/lncs/open-access-publishing-in-computer-proceedings</a> for additional information, or contact the organizers.</p> <h3><a href="#best-paper-award" id="best-paper-award" class="anchor-link">Best Paper Award</a></h3> <p>APLAS 2024 continues the tradition of the best paper award. The award will be announced on this website, and printed certificates will be issued to the authors in the conference.</p> </p></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://conf.researchr.org/home/aplas-2024" class="clickable-row past"><td>Sat 31 Aug 2024<br/>Camera-ready due</td></tr><tr href="https://conf.researchr.org/home/aplas-2024" class="clickable-row past"><td>Fri 2 Aug 2024<br/>Acceptance notification</td></tr><tr href="https://conf.researchr.org/home/aplas-2024" class="clickable-row past"><td>Wed 24 - Fri 26 Jul 2024<br/>Response period</td></tr><tr href="https://conf.researchr.org/home/aplas-2024" class="clickable-row past"><td><strong>Fri 31 May 2024</strong><br/><strong>Submission deadline</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://aplas24.hotcrp.com/" title="Submission link for Call for Submissions" target="_blank" class="navigate">https://aplas24.hotcrp.com/</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://conf.researchr.org/committee/aplas-2024/aplas-2024-research-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/jacquesgarrigue1" class="navigate"><div class="media"><span class="pull-left"><img alt="Jacques Garrigue" src="https://conf.researchr.org/getProfileImage/jacquesgarrigue1/3a448550-f456-412d-b42c-20917d9d9c61/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jacques Garrigue<span class="pull-right"><small>General Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Nagoya University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/olegkiselyov" class="navigate"><div class="media"><span class="pull-left"><img alt="Oleg Kiselyov" src="https://conf.researchr.org/getProfileImage/olegkiselyov/ba0f9fba-0915-4b6b-9a58-c9840ec4d1db/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Oleg Kiselyov<span class="pull-right"><small>Program Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Tohoku University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/ryosukesato" class="navigate"><div class="media"><span class="pull-left"><img alt="Ryosuke Sato" src="https://conf.researchr.org/getProfileImage/ryosukesato/b3f93439-2c7b-4ccd-99a0-d732f23ccd48/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ryosuke Sato<span class="pull-right"><small>Publicity Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Tokyo University of Agriculture and Technology</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/miraiikebuchi" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mirai Ikebuchi<span class="pull-right"><small>Publicity Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Kyoto University</span></h5><h5 class="media-heading"><small>Japan</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://conf.researchr.org/committee/aplas-2024/aplas-2024-research-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/beniaminoaccattoli" class="navigate"><div class="media"><span class="pull-left"><img alt="Beniamino Accattoli" src="https://conf.researchr.org/getProfileImage/beniaminoaccattoli/8c3d358b-1e76-46d4-990f-e3bbffc05d78/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Beniamino Accattoli<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria & Ecole Polytechnique</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/pierreevaristedagand" class="navigate"><div class="media"><span class="pull-left"><img alt="Pierre-Evariste Dagand" src="https://conf.researchr.org/getProfileImage/pierreevaristedagand/0a70c14f-8a44-401c-8ac4-567c395043a0/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pierre-Evariste Dagand<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IRIF / CNRS </span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/silviaghilezan" class="navigate"><div class="media"><span class="pull-left"><img alt="Silvia Ghilezan" src="https://conf.researchr.org/getProfileImage/silviaghilezan/b389c09d-c6f9-46f6-a5d1-71f7819f0ff4/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Silvia Ghilezan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Novi Sad, Mathematical Institute SASA</span></h5><h5 class="media-heading"><small>Serbia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/fritzhenglein" class="navigate"><div class="media"><span class="pull-left"><img alt="Fritz Henglein" src="https://conf.researchr.org/getProfileImage/fritzhenglein/6537cbd9-afc1-4e2c-9e81-051a5eb01745/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Fritz Henglein<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital</span></h5><h5 class="media-heading"><small>Denmark</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/miraiikebuchi" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mirai Ikebuchi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Kyoto University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/patrikjansson" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrik Jansson" src="https://conf.researchr.org/getProfileImage/patrikjansson/9688a248-3f01-4695-afe3-54d50bc72e5a/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Patrik Jansson<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Chalmers University of Technology and University of Gothenbrug</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/olegkiselyov" class="navigate"><div class="media"><span class="pull-left"><img alt="Oleg Kiselyov" src="https://conf.researchr.org/getProfileImage/olegkiselyov/ba0f9fba-0915-4b6b-9a58-c9840ec4d1db/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Oleg Kiselyov<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tohoku University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/hsiangshangko" class="navigate"><div class="media"><span class="pull-left"><img alt="Hsiang-Shang ‘Josh’ Ko" src="https://conf.researchr.org/getProfileImage/hsiangshangko/9d9331fe-faac-4870-b49c-de4e4ebd89de/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hsiang-Shang ‘Josh’ Ko<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Institute of Information Science, Academia Sinica</span></h5><h5 class="media-heading"><small>Taiwan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/daanleijen" class="navigate"><div class="media"><span class="pull-left"><img alt="Daan Leijen" src="https://conf.researchr.org/getProfileImage/daanleijen/845a516a-4f3f-405d-b20b-21d9c277f336/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Daan Leijen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Microsoft Research</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/martinlester1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Martin Lester<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Reading</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/fredriknordvallforsberg" class="navigate"><div class="media"><span class="pull-left"><img alt="Fredrik Nordvall Forsberg" src="https://conf.researchr.org/getProfileImage/fredriknordvallforsberg/182e1e4e-23e2-4c1b-8d8f-0110fcda9a47/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Fredrik Nordvall Forsberg<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Strathclyde</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/matijapretnar" class="navigate"><div class="media"><span class="pull-left"><img alt="Matija Pretnar" src="https://conf.researchr.org/getProfileImage/matijapretnar/4d8aee59-96bd-4a53-8be4-4917803a90a6/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Matija Pretnar<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Ljubljana</span></h5><h5 class="media-heading"><small>Slovenia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/peterschachte" class="navigate"><div class="media"><span class="pull-left"><img alt="Peter Schachte" src="https://conf.researchr.org/getProfileImage/peterschachte/8069cfe5-8a1f-4b31-b7bd-494d38ce8a8e/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Peter Schachte<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">The University of Melbourne</span></h5><h5 class="media-heading"><small>Australia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/svenbodoscholz" class="navigate"><div class="media"><span class="pull-left"><img alt="Sven-Bodo Scholz" src="https://conf.researchr.org/getProfileImage/svenbodoscholz/8961a8f3-0d73-45e7-9158-9dff63c45805/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sven-Bodo Scholz<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Radboud University</span></h5><h5 class="media-heading"><small>Netherlands</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/philippschuster" class="navigate"><div class="media"><span class="pull-left"><img alt="Philipp Schuster" src="https://conf.researchr.org/getProfileImage/philippschuster/c092c1b6-2527-4947-8206-c1b92468c66b/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Philipp Schuster<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Tübingen</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/tarosekiyama" class="navigate"><div class="media"><span class="pull-left"><img alt="Taro Sekiyama" src="https://conf.researchr.org/getProfileImage/tarosekiyama/4ebf35b1-47af-4588-95d4-3b80be929e31/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Taro Sekiyama<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">National Institute of Informatics; SOKENDAI</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/amirshaikhha" class="navigate"><div class="media"><span class="pull-left"><img alt="Amir Shaikhha" src="https://conf.researchr.org/getProfileImage/amirshaikhha/baf9f67a-7fa4-411d-8fd1-9cdea03f2114/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Amir Shaikhha<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Edinburgh</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/pavlesubotic1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pavle Subotic<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Fantom Foundation</span></h5><h5 class="media-heading"><small>Serbia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/yongkiamtan2" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://conf.researchr.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yong Kiam Tan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Institute for Infocomm Research, A*STAR</span></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/kazunoriueda" class="navigate"><div class="media"><span class="pull-left"><img alt="Kazunori Ueda" src="https://conf.researchr.org/getProfileImage/kazunoriueda/dfba767a-c27b-4105-9035-c05af246dec9/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kazunori Ueda<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Waseda University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/yutingwang" class="navigate"><div class="media"><span class="pull-left"><img alt="Yuting Wang" src="https://conf.researchr.org/getProfileImage/yutingwang/43d4d8e4-3dbe-47ff-995d-099f3022ed40/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yuting Wang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Shanghai Jiao Tong University</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/kiyungahn" class="navigate"><div class="media"><span class="pull-left"><img alt="Ki Yung Ahn" src="https://conf.researchr.org/getProfileImage/kiyungahn/f6225734-db9e-45f8-a201-bea6f94b1750/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ki Yung Ahn<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Hannam University</span></h5><h5 class="media-heading"><small>South Korea</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://conf.researchr.org/committee/aplas-2024/aplas-2024-research-papers-steering-committee" class="navigate">Steering Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/atsushiigarashi" class="navigate"><div class="media"><span class="pull-left"><img alt="Atsushi Igarashi" src="https://conf.researchr.org/getProfileImage/atsushiigarashi/2c478c0d-d24c-4de1-8779-6178ee7b4947/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Atsushi Igarashi<span class="pull-right"><small>Steering Committee Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Kyoto University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://conf.researchr.org/profile/aplas-2024/sukyoungryu" class="navigate"><div class="media"><span class="pull-left"><img alt="Sukyoung Ryu" src="https://conf.researchr.org/getProfileImage/sukyoungryu/ac53ee19-acc7-4ef6-9c1c-98f61c2e5981/micro-avatar.jpg?1731244337000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sukyoung Ryu<span class="pull-right"><small>Steering Committee Chair</small></span></h5><h5 class="media-heading"><span class="text-black">KAIST</span></h5><h5 class="media-heading"><small>South Korea</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>Sun 23 Feb 02:39</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://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="aplas-2024" /><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://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"aplas-2024"},],"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://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="aplas-2024" /><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://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"aplas-2024"},],"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://conf.researchr.org/home/aplas-2024" class="navigate"><span class="glyphicon glyphicon-home"></span> APLAS 2024</a></h3><div><a href="https://conf.researchr.org/contact/aplas-2024" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://conf.researchr.org/support/aplas-2024" 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://conf.researchr.org/track/aplas-2024/aplas-2024-events" class="navigate">Events</a><br/><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-keynote" class="navigate">Keynote</a><br/><a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F" class="navigate">SRC & Posters</a><br/><a href="https://conf.researchr.org/home/aplas-2024" class="navigate">Research Papers</a><br/><a href="https://conf.researchr.org/track/aplas-2024/nier2024" class="navigate">APLAS NIER</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/aplas-2024/aplas-2024-venue" class="navigate">Venue: Shirankaikan (Kyoto University medical school area)</a><br><a href="https://conf.researchr.org/attending/aplas-2024/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/aplas-2024/social+events" class="navigate">Social Events</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/aplas-2024" 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>