CINXE.COM

<!DOCTYPE html> <html> <head> <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>Program - 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/print-program.css?b774586a40b6df0d1423d546295a4866" type="text/css" /><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/today-program.js?86247294517a9fd6ebc914ee2d9b7c21"></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"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='No description available'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='No description available'> <script type="text/javascript">function collapseIndicator( containerElemId ){ $( document ).ready(function(){ var colElem = $('#' + containerElemId + ':not([data-collapse-handler])').attr('data-collapse-handler', 'true').find('.collapse').addBack('.collapse'); colElem.on('shown.bs.collapse hidden.bs.collapse', function () { $(this).prev().find('.glyphicon:first').toggleClass('glyphicon-chevron-right glyphicon-chevron-down'); }) }) } </script> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">function warnOpenLink( url ){ if( $('.facet-indicator').is(':visible:not(:empty)') ){ window.programLinkToOpen = url; $('#navigate-program-filter-warning').modal({ backdrop: 'static', keyboard: true}, 'show'); } else { window.location.assign( url ); } } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></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 name="viewport" content="width=device-width, user-scalable=no">  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Program - APLAS 2024'> </head> <body id="program"><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%5Esprogram%5Esaplas-2024%5Esprogram-aplas-2024%5Es" 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><div id="content" class="container-fluid"><div class="faceted-filtering"><div class="page-header printable"><span class="text-muted small">APLAS 2024 (<a href="https://conf.researchr.org/series/aplas" class="navigate">series</a>) / </span><h2>APLAS 2024 Program</h2></div><div class="row hide-in-print program-view-switch"><div class="col-sm-12"><div role="group" aria-label="Program View Switch" class="btn-group btn-group-justified"><a href="javascript:warnOpenLink( 'https://conf.researchr.org/program/aplas-2024/program-aplas-2024/Detailed-Table' )" class="btn btn-primary">Detailed Table</a><a href="javascript:warnOpenLink( 'https://conf.researchr.org/program/aplas-2024/program-aplas-2024/Session-Timeline' )" class="btn btn-default">Session Timeline</a><a href="javascript:warnOpenLink( 'https://conf.researchr.org/program/aplas-2024/program-aplas-2024/Detailed-Timeline' )" class="btn btn-default">Detailed Timeline</a></div></div></div><div tabindex="-1" id="navigate-program-filter-warning" class="modal"><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>Switch Program View</h3></div><div class="modal-body"><p><span class="glyphicon glyphicon-filter"></span> You're viewing a filtered program.</p><p><strong>Do you want to keep these filters active in the new view?</strong></p><p></p><p><button onclick="window.location.assign( window.programLinkToOpen + document.location.search );" class="btn btn-primary">Yes - Keep filters active</button> <button onclick="window.location.assign( window.programLinkToOpen);" class="btn btn-default">No - Drop filters</button></p></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 class="row"><div class="col-sm-12"><span class="pull-right"><div class="btn-group"><a data-toggle="modal" href="#get-calendar" class="btn btn-sm btn-default">Get Calendar (iCal)</a> <a href="javascript:window.print()" class="btn btn-sm btn-default"><span class="glyphicon glyphicon-print"></span></a><a data-toggle="modal" href="#userProgramSettings" class="btn btn-sm btn-default"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></div></span><div class="facet-container"><a role="button" data-toggle="collapse" href="#program-filters" aria-expanded="false" aria-controls="program-filters" class="btn btn-default"><span class="glyphicon glyphicon-chevron-right"></span> <script type="text/javascript">collapseIndicator( 'program-filters' ) </script><span class="glyphicon glyphicon-filter"></span> Filter Program <span class="facet-indicator"></span></a><div id="program-filters" class="collapse"><br><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 room-facets"><div class="col-sm-1"><strong>Rooms</strong></div><div class="col-sm-11"><div data-facet-type="room" class="facet-placeholder"></div></div></div><div class="row track-facets"><div class="col-sm-1"><strong>Tracks</strong></div><div class="col-sm-11"><div data-facet-type="track" class="facet-placeholder"></div></div></div><div class="row"><div class="col-sm-1"><strong>Badges</strong></div><div class="col-sm-5"><div data-facet-type="badge" class="facet-placeholder"></div></div></div><div class="row"><div class="col-sm-1"><strong><span class="glyphicon glyphicon-star"></span> Your Program</strong></div><div class="col-sm-5"><div data-facet-type="prog" class="facet-placeholder"></div></div></div></div></div><script type="text/javascript">var facetContainerElems; function postUpdateFacets(){ if( facetContainerElems === undefined ){ facetContainerElems = $('.facet-container'); } facetContainerElems.each( function(){ var containerElem = $(this); var activeFilterElems = containerElem.find('.facet-true'); var numFilters = activeFilterElems.length; var filterHTML = " | active: "; activeFilterElems.each( function(){ filterHTML += "<span class='badge'>" + this.textContent + "<" + "/span>"; }) var hasFilters = numFilters > 0; containerElem.find('.facet-indicator').toggle( hasFilters ).html( filterHTML ); }) } </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(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="printable"><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-track="APLAS Events" 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 c5"></td><td><div class="slot-label">09:00 - 09:30</div></td><td colspan="2"><div class="session-info-in-table">Registration and Opening<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-events" target="_blank" class="text-muted navigate">Events</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/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><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" 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" 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 class="hidable band hour-16"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" 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 c1"></td><td><div class="slot-label">16:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">Poster Session<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F" target="_blank" class="text-muted navigate">SRC & Posters</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/> <small>Chair(s): <a href="https://conf.researchr.org/profile/aplas-2024/kokomuroya" target="_blank" class="navigate">Koko Muroya</a><span class="prog-aff"> NII</span>, <a href="https://conf.researchr.org/profile/aplas-2024/yudaitanabe" target="_blank" class="navigate">Yudai Tanabe</a><span class="prog-aff"> Institute of Science Tokyo</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5053e33a-d7eb-4d48-bb2c-2c973f2af512" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="daa8e2a4-51e1-454f-b007-48f3cbbe63be" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="daa8e2a4-51e1-454f-b007-48f3cbbe63be">[SRC] (Bi-)^3 directional Typing for Answer Type Modification</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/takumayoshioka" class="navigate">Takuma Yoshioka</a><span class="prog-aff"> Kyoto University</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/13/-SRC-Bi-3-directional-Typing-for-Answer-Type-Modification" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="52f55a11-bfae-4608-8af5-5b6144fe7358" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:06</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="86e19a33-6193-4eb3-9b1d-2e27a92d4a62" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="86e19a33-6193-4eb3-9b1d-2e27a92d4a62">[non-SRC] Disproving Termination of O-like Combinators by Tree Automata</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/munehiroiwami" class="navigate">Munehiro Iwami</a><span class="prog-aff"> Iwate Prefectural University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/keisukenakano" class="navigate">Keisuke Nakano</a><span class="prog-aff"> Tohoku University</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/6/-non-SRC-Disproving-Termination-of-O-like-Combinators-by-Tree-Automata" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="b0dee65b-d816-495f-bbfd-06e1f0faab4c" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:13</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="8991af0e-21cb-420b-9fb1-d1a71cd6f30e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8991af0e-21cb-420b-9fb1-d1a71cd6f30e">[SRC / Not under award selection] GPU Code Generation for Dynamic Graph Algorithms</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/ashwinakumar" class="navigate">Ashwina Kumar</a><span class="prog-aff"> IIT Madras, India</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/1/-SRC-Not-under-award-selection-GPU-Code-Generation-for-Dynamic-Graph-Algorithms" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="5292063a-066c-48d3-8dd5-c2b1ce77c742" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="8479e375-3bbd-40d7-928e-563ef6c60181" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8479e375-3bbd-40d7-928e-563ef6c60181">[SRC] Implementing a control flow obfuscation tool for Java</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/chinghian" class="navigate">Ching Hian</a><span class="prog-aff"> Singapore University of Technology and Design, Singapore</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/5/-SRC-Implementing-a-control-flow-obfuscation-tool-for-Java" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="59b5d6e6-30c3-4de3-a402-e4705b3353ed" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:27</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="62621631-f467-43af-91f8-cdc88dbc6b33" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="62621631-f467-43af-91f8-cdc88dbc6b33">[SRC] Improving the WebAssembly Specification Framework for Future Proposals</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yusungsim" class="navigate">Yusung Sim</a><span class="prog-aff"> Korea Advanced Institute of Science and Technology (KAIST)</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/12/-SRC-Improving-the-WebAssembly-Specification-Framework-for-Future-Proposals" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="11d66bf9-bef6-4c07-8aab-ee72f6a99521" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:34</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="562cb71d-9b97-417d-8cca-0dcca894706b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="562cb71d-9b97-417d-8cca-0dcca894706b">[SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/takashisuwa1" class="navigate">Takashi Suwa</a><span class="prog-aff"> Kyoto University and National Institute of Informatics</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/2/-SRC-Lightweight-Dependent-Types-via-Staging-Compile-Time-Manifest-Contracts" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="40755e5f-c0e5-4c25-9a9c-815b4d426763" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:41</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="6f974171-ecf2-4db4-bce9-445b8ffacbce" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6f974171-ecf2-4db4-bce9-445b8ffacbce">[SRC] On the Equivalence Between Binary and Intermediate Representation Through Filtered-Simulation</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/jiheepark" class="navigate">Jihee Park</a><span class="prog-aff"> Korea Advanced Institute of Science and Technology (KAIST)</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/4/-SRC-On-the-Equivalence-Between-Binary-and-Intermediate-Representation-Through-Filte" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="6fd391de-08d5-48b2-be59-e8fc5430502c" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:48</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="6f05cf1a-3af0-4ad3-8ca5-c9ff03265e67" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6f05cf1a-3af0-4ad3-8ca5-c9ff03265e67">[SRC] Refined^2 Environment Classifiers</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yuitomurase1" class="navigate">Yuito Murase</a><span class="prog-aff"> Kyoto University, Japan</span></div></td></tr><tr data-slot-id="b450a595-a0d0-4554-98c4-4d57d780a59c" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:55</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="f0eb572a-7c17-445b-a9c0-826407b9a9d0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f0eb572a-7c17-445b-a9c0-826407b9a9d0">[SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/hyerinpark" class="navigate">Hyerin Park</a><span class="prog-aff"> KAIST</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/9/-SRC-Testing-and-Finding-Bugs-in-Homomorphic-Encryption-Libraries-with-Equivalence-P" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="e95c74d3-adf0-445f-b65d-4563a9a21478" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:02</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="e84ca4db-17a4-4499-9cd4-7ab303faa9fc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e84ca4db-17a4-4499-9cd4-7ab303faa9fc">[non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/chenghuiweng" class="navigate">Cheng-Hui Weng</a><span class="prog-aff"> Nagoya University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/reynaldaffeldt" class="navigate">Reynald Affeldt</a><span class="prog-aff"> National Institute of Advanced Industrial Science and Technology (AIST), Japan</span>, <a href="https://conf.researchr.org/profile/aplas-2024/jacquesgarrigue1" class="navigate">Jacques Garrigue</a><span class="prog-aff"> Nagoya University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/takafumisaikawa" class="navigate">Takafumi Saikawa</a><span class="prog-aff"> Nagoya University</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/10/-non-SRC-Toward-a-Formalization-of-Secure-Multiparty-Computation-Stack" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="b243ac09-1dc6-48e8-89ce-3efcd333cd04" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:09</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="1e798e20-9f2e-4cfc-8821-475191085b25" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1e798e20-9f2e-4cfc-8821-475191085b25">[non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yusukefujiwara" class="navigate">Yusuke Fujiwara</a><span class="prog-aff"> Kyoto University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/yusukematsushita1" class="navigate">Yusuke Matsushita</a><span class="prog-aff"> The University of Tokyo</span>, <a href="https://conf.researchr.org/profile/aplas-2024/koheisuenaga" class="navigate">Kohei Suenaga</a><span class="prog-aff"> Graduate School of Informatics, 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></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/11/-non-SRC-Towards-Ownership-Refinement-Type-Inference-with-Nested-Arrays" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="62bf020c-2ecf-4f86-b70f-75cc16604d6b" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:16</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="c68c90ac-8d18-42d6-b3f3-ef6489e4ebd4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c68c90ac-8d18-42d6-b3f3-ef6489e4ebd4">[SRC] Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/kanguklee" class="navigate">Kanguk Lee</a><span class="prog-aff"> KAIST</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/8/-SRC-Verified-Exact-Inference-for-Testing-Quantum-Circuit-Transformers-and-Simulator" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="0203f4ba-35ca-4a88-9cff-9564ece4dbdb" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:23</div><strong>6m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="4dbe29df-a000-45b9-99d3-847746e53411" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4dbe29df-a000-45b9-99d3-847746e53411">[SRC] Vython: a Language with Dynamic Version Checking for Gradual Updating</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/satsukikasuya" class="navigate">Satsuki Kasuya</a><span class="prog-aff"> Institute of Science Tokyo</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/7/-SRC-Vython-a-Language-with-Dynamic-Version-Checking-for-Gradual-Updating" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-18"><table data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-facet-track="APLAS Catering" 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 c2"></td><td><div class="slot-label">18:00 - 19:30</div></td><td colspan="2"><div class="session-info-in-table">Reception<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-yamauchi-hall" target="_blank" class="room-link navigate">Yamauchi Hall</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" 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-14"><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 c1"></td><td><div class="slot-label">14:00 - 15:40</div></td><td colspan="2"><div class="session-info-in-table">Finalist Presentation<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F" target="_blank" class="text-muted navigate">SRC & Posters</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/kokomuroya" target="_blank" class="navigate">Koko Muroya</a><span class="prog-aff"> NII</span>, <a href="https://conf.researchr.org/profile/aplas-2024/yudaitanabe" target="_blank" class="navigate">Yudai Tanabe</a><span class="prog-aff"> Institute of Science Tokyo</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="b78cd433-69b5-4391-8730-00a8eda61836" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>20m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="daa8e2a4-51e1-454f-b007-48f3cbbe63be" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="daa8e2a4-51e1-454f-b007-48f3cbbe63be">[SRC] (Bi-)^3 directional Typing for Answer Type Modification</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/takumayoshioka" class="navigate">Takuma Yoshioka</a><span class="prog-aff"> Kyoto University</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/13/-SRC-Bi-3-directional-Typing-for-Answer-Type-Modification" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="cf71ca66-174f-4a01-a5d4-4bba1738720e" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>20m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="562cb71d-9b97-417d-8cca-0dcca894706b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="562cb71d-9b97-417d-8cca-0dcca894706b">[SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/takashisuwa1" class="navigate">Takashi Suwa</a><span class="prog-aff"> Kyoto University and National Institute of Informatics</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/2/-SRC-Lightweight-Dependent-Types-via-Staging-Compile-Time-Manifest-Contracts" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="86e782b8-f4cd-48e2-a9ec-420712e12493" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:40</div><strong>20m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="6f05cf1a-3af0-4ad3-8ca5-c9ff03265e67" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6f05cf1a-3af0-4ad3-8ca5-c9ff03265e67">[SRC] Refined^2 Environment Classifiers</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yuitomurase1" class="navigate">Yuito Murase</a><span class="prog-aff"> Kyoto University, Japan</span></div></td></tr><tr data-slot-id="59900103-8a32-4920-a7b9-6cdf5da970df" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="f0eb572a-7c17-445b-a9c0-826407b9a9d0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f0eb572a-7c17-445b-a9c0-826407b9a9d0">[SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/hyerinpark" class="navigate">Hyerin Park</a><span class="prog-aff"> KAIST</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/9/-SRC-Testing-and-Finding-Bugs-in-Homomorphic-Encryption-Libraries-with-Equivalence-P" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="b2581193-7d54-4c22-82c3-df7b22dedc1d" class="hidable"><td class="track-color c1"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>20m</strong></div><div class="event-type">Poster</div><span data-facet-track="APLAS SRC & Posters"></span></td><td><span data-event-star="c68c90ac-8d18-42d6-b3f3-ef6489e4ebd4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c68c90ac-8d18-42d6-b3f3-ef6489e4ebd4">[SRC] Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators</a></strong><div class="prog-track">SRC & Posters</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/kanguklee" class="navigate">Kanguk Lee</a><span class="prog-aff"> KAIST</span></div><a href="https://conf.researchr.org/details/aplas-2024/src-and-posters%3F/8/-SRC-Verified-Exact-Inference-for-Testing-Quantum-Circuit-Transformers-and-Simulator" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></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" 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 class="hidable band hour-19"><table data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-facet-room="The Sodoh Higashiyama Kyoto" 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">19:00 - 21:00</div></td><td colspan="2"><div class="session-info-in-table">Banquet<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-sodoh-higashiyama-kyoto" target="_blank" class="room-link navigate">The Sodoh Higashiyama Kyoto</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="fcbda118-0df3-4c5b-8651-8fa8d1068389" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>2h</strong></div><div class="event-type">Dinner</div><span data-facet-track="APLAS Catering"></span></td><td><span data-event-star="47ac5327-eeae-410f-9118-9e5df3f329fe" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="47ac5327-eeae-410f-9118-9e5df3f329fe">Dinner</a></strong><div class="prog-track">Catering</div><br></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" 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" 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" 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 class="hidable band hour-17"><table data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-facet-track="APLAS Events" 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 c5"></td><td><div class="slot-label">17:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">Closing<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-events" target="_blank" class="text-muted navigate">Events</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>, <a href="https://conf.researchr.org/profile/aplas-2024/kokomuroya" target="_blank" class="navigate">Koko Muroya</a><span class="prog-aff"> NII</span>, <a href="https://conf.researchr.org/profile/aplas-2024/yudaitanabe" target="_blank" class="navigate">Yudai Tanabe</a><span class="prog-aff"> Institute of Science Tokyo</span></small></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>Fri 25 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="Fri 25 Oct 2024" data-facet-date-order="241025" 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 c0"></td><td><div class="slot-label">09:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Session 1<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/nier2024" target="_blank" class="text-muted navigate">APLAS NIER</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/weinganchin" target="_blank" class="navigate">Wei-Ngan Chin</a><span class="prog-aff"> National University of Singapore</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5dc301bb-cf46-41c8-bf73-03d87ccee339" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS NIER"></span></td><td><span data-event-star="c839b09a-d9a7-478c-8cb2-3f0d00b39b37" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c839b09a-d9a7-478c-8cb2-3f0d00b39b37">Automata-based approach for quantum circuit/program verification</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/yufangchen" class="navigate">Yu-Fang Chen</a><span class="prog-aff"> Academia Sinica</span></div><a href="https://dl.acm.org/doi/10.1145/3591270" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Authorizer link</a><a href="https://conf.researchr.org/details/aplas-2024/nier2024/1/Automata-based-approach-for-quantum-circuit-program-verification" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://conf.researchr.org/details/aplas-2024/nier2024/1/Automata-based-approach-for-quantum-circuit-program-verification" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="55aa5cb1-e660-4c33-a8f6-be8481a6b933" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS NIER"></span></td><td><span data-event-star="0a7abcd8-9487-4e33-a52c-a0c930b00dd4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0a7abcd8-9487-4e33-a52c-a0c930b00dd4">Hyper parametric timed CTL</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/masakiwaga" class="navigate">Masaki Waga</a><span class="prog-aff"> Kyoto University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/etienneandre" class="navigate">脡tienne Andr茅</a><span class="prog-aff"> Universit茅 Sorbonne Paris Nord; LIPN; CNRS</span></div><a href="https://doi.org/10.1109/TCAD.2024.3443704" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="https://doi.org/10.48550/arXiv.2407.21321" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://conf.researchr.org/details/aplas-2024/nier2024/6/Hyper-parametric-timed-CTL" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="a8634be9-8b2b-49fd-9d24-351ba266aaa1" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS NIER"></span></td><td><span data-event-star="f5dd5ee1-d98e-4122-ace6-a414bd000af6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f5dd5ee1-d98e-4122-ace6-a414bd000af6">Compositional Probabilistic Model Checking with String Diagrams of MDPs</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/ichirohasuo" class="navigate">Ichiro Hasuo</a><span class="prog-aff"> National Institute of Informatics, Japan</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Fri 25 Oct 2024" data-facet-date-order="241025" 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="Fri 25 Oct 2024" data-facet-date-order="241025" 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 c0"></td><td><div class="slot-label">11:00 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Session 2<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/nier2024" target="_blank" class="text-muted navigate">APLAS NIER</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="14753fad-96ab-4236-9823-8c114d266808" class="hidable"><td class="track-color c0"></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 NIER"></span></td><td><span data-event-star="b13c9253-8dc4-4b38-b22a-57a0e9514732" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b13c9253-8dc4-4b38-b22a-57a0e9514732">Grammar-based Pattern Matching and Type Checking for Difference Data Structures</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/naokiyamamoto" class="navigate">Naoki Yamamoto</a><span class="prog-aff"> Waseda University</span>, <a href="https://conf.researchr.org/profile/aplas-2024/kazunoriueda" class="navigate">Kazunori Ueda</a><span class="prog-aff"> Waseda University</span></div><a href="https://bit.ly/lmntal-portal" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a></td></tr><tr data-slot-id="a514acfa-c6ff-471d-a1f4-9c82025e7c1e" class="hidable"><td class="track-color c0"></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 NIER"></span></td><td><span data-event-star="e0814a85-5ca1-4650-b04f-80be6c66c359" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e0814a85-5ca1-4650-b04f-80be6c66c359">Climbing up a ladder: a new approach to contextual refinement</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/kokomuroya" class="navigate">Koko Muroya</a><span class="prog-aff"> NII</span></div><a href="https://conf.researchr.org/details/aplas-2024/nier2024/2/Climbing-up-a-ladder-a-new-approach-to-contextual-refinement" 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="Fri 25 Oct 2024" data-facet-date-order="241025" 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 - 13: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><tr data-slot-id="fccb7b0e-7276-4117-94cb-06ebb6b30d96" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="APLAS Catering"></span></td><td><span data-event-star="1fb0fe56-635a-4e6c-917e-5827bae03067" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1fb0fe56-635a-4e6c-917e-5827bae03067">Lunch</a></strong><div class="prog-track">Catering</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Fri 25 Oct 2024" data-facet-date-order="241025" 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 c0"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Session 3<span class="pull-right"><a href="https://conf.researchr.org/track/aplas-2024/nier2024" target="_blank" class="text-muted navigate">APLAS NIER</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/kazunoriueda" target="_blank" class="navigate">Kazunori Ueda</a><span class="prog-aff"> Waseda University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="07c44f22-41e4-4ce5-83e4-05e52ee6de16" class="hidable"><td class="track-color c0"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="APLAS NIER"></span></td><td><span data-event-star="4d90e581-6d0a-42f3-9610-d5e77eb69708" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4d90e581-6d0a-42f3-9610-d5e77eb69708">Verified and Verifying Compositional Compilation for Program Correctness and Safety</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><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><a href="https://conf.researchr.org/details/aplas-2024/nier2024/7/Verified-and-Verifying-Compositional-Compilation-for-Program-Correctness-and-Safety" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="d8cb45e8-1f76-4edd-ace5-4d0b9fde32a9" class="hidable"><td class="track-color c0"></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 NIER"></span></td><td><span data-event-star="8bb623af-6d21-4495-bc86-8706c65d8c0c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8bb623af-6d21-4495-bc86-8706c65d8c0c">Specification and Verification for Higher-Order Imperative Programs</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/weinganchin" class="navigate">Wei-Ngan Chin</a><span class="prog-aff"> National University of Singapore</span></div></td></tr><tr data-slot-id="3ad69485-eba7-4c55-82e1-57cc9b57c068" class="hidable"><td class="track-color c0"></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 NIER"></span></td><td><span data-event-star="32f01d76-db1b-4e31-b443-a41e7e21a7ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="32f01d76-db1b-4e31-b443-a41e7e21a7ab">Deterministic Suffix-reading Automata</a></strong><div class="prog-track">APLAS NIER</div><div class="performers"><a href="https://conf.researchr.org/profile/aplas-2024/bsrivathsan" class="navigate">B Srivathsan</a><span class="prog-aff"> Chennai Mathematical Institute</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Fri 25 Oct 2024" data-facet-date-order="241025" 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:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">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><tr data-slot-id="f10a7359-f43b-491a-b802-363a3ce9d323" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>30m</strong></div><div class="event-type">Coffee break</div><span data-facet-track="APLAS Catering"></span></td><td><span data-event-star="3500dd93-7b11-4f2b-99cd-0586fdb17b94" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3500dd93-7b11-4f2b-99cd-0586fdb17b94">Break</a></strong><div class="prog-track">Catering</div><br></td></tr></table></div></div><div tabindex="-1" id="get-calendar" class="modal"><div class="modal-dialog modal-lg"><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Get Calendar (iCal)</h3></div><div class="modal-body"><div class="panel panel-default"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-star"></span> iCalendar subscription service for your personal schedule</div></div><div class="panel-body">You first need to have starred events (<span class="glyphicon glyphicon-asterisk"></span>) in order to use the iCalendar subscription service.</div></div><div class="panel panel-default"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-filter"></span> Currently Viewed Program</div></div><div class="panel-body"><span class="help-block">Downloads the currently viewed program (with filters applied) in iCal format</span><form name="form_19551557060fd67502590a9b9b83f97ebebe5e00306" id="form_19551557060fd67502590a9b9b83f97ebebe5e00306" action="https://conf.researchr.org/program/aplas-2024/program-aplas-2024/" accept-charset="UTF-8" method="POST"><input type="hidden" name="form_19551557060fd67502590a9b9b83f97ebebe5e00306" value="1" /><input type="hidden" name="context" value="aplas-2024" /><input type="hidden" name="program" value="program-aplas-2024" /><input type="hidden" name="viewid" value="" /><input name="64991bf7c527bdbba6f4613f0d992cc3" value="" id="slot-ids" type="hidden" class="inputString form-control"/><div class="row"><div class="col-sm-2"><strong><span class="glyphicon glyphicon-download"></span> Session Calendar (ical)</strong></div><div class="col-sm-10"><a href="javascript:scrapeIdsForIcal( $('#session-calendar-action') ); void(0);">session-calendar.ics</a><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/program/aplas-2024/program-aplas-2024/?__action__link__=1","showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall1fd67502590a9b9b83f97ebebe5e00306", [{"name":"context", "value":"aplas-2024"},{"name":"program", "value":"program-aplas-2024"},{"name":"viewid", "value":""},],"form_19551557060fd67502590a9b9b83f97ebebe5e00306", this.nextSibling, true,"1"); return false;'></button><a submitid="showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall1fd67502590a9b9b83f97ebebe5e00306" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="session-calendar-action" type="hidden"></a></div></div><div class="row"><div class="col-sm-2"><strong><span class="glyphicon glyphicon-download"></span> Detailed Event Calendar (ical)</strong></div><div class="col-sm-10"><a href="javascript:scrapeIdsForIcal( $('#event-calendar-action') ); void(0);">event-calendar.ics</a><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/program/aplas-2024/program-aplas-2024/?__action__link__=1","showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall2fd67502590a9b9b83f97ebebe5e00306", [{"name":"context", "value":"aplas-2024"},{"name":"program", "value":"program-aplas-2024"},{"name":"viewid", "value":""},],"form_19551557060fd67502590a9b9b83f97ebebe5e00306", this.nextSibling, true,"1"); return false;'></button><a submitid="showProgramViewConferenceEdition_Program_ProgramViewItem_downloadICall2fd67502590a9b9b83f97ebebe5e00306" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="event-calendar-action" type="hidden"></a></div></div></form></div></div></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></div></div><script type="text/javascript">function scrapeIdsForIcal(elem){ var slotIds = $('[data-slot-id]:visible').map( function(){return $(this).data('slot-id'); }); $('#slot-ids').val( slotIds.toArray().join(',') ); elem.click(); } </script></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 23 Feb 12:23</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-fluid"><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>