CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>The 2nd floor corridor - APLAS 2024</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/print-program.css?b774586a40b6df0d1423d546295a4866" 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/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='No description available'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/aplas-2024/carousel/20221030_142314.JPG?1706935427000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='No description available'>  <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> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='The 2nd floor corridor - APLAS 2024'> </head> <body id="room"><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%5Esroom%5Esaplas-2024%5Esaplas-2024-venue-the-2nd-floor-corridor" 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"><div class="page-header"><span class="text-muted small">APLAS 2024 (<a href="https://conf.researchr.org/series/aplas" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-tower"></span> <a href="https://conf.researchr.org/venue/aplas-2024/aplas-2024-venue" class="navigate">Shirankaikan (Kyoto University medical school area)</a> / </span><h1>Room information: The 2nd floor corridor</h1></div><div class="row"><div class="col-sm-4"><fieldset><legend>Venue</legend><a href="https://conf.researchr.org/venue/aplas-2024/aplas-2024-venue" class="navigate">Shirankaikan (Kyoto University medical school area)</a></fieldset><fieldset><legend>Room name</legend>The 2nd floor corridor</fieldset><fieldset><legend>Floor</legend>2</fieldset></div><div class="col-sm-8"><fieldset><legend>Room Information</legend><span class="help-block">No extra information available</span></fieldset></div></div><div class="row"><div class="col-sm-12"><fieldset><legend>Program</legend><ul id="tab" class="nav nav-tabs"><li class="active"><a href="#Detailed-Table" data-toggle="tab">Detailed Table</a></li><li><a href="#Session-Timeline" data-toggle="tab">Session Timeline</a></li><li><a href="#Detailed-Timeline" data-toggle="tab">Detailed Timeline</a></li><li><a href="javascript:window.print()"><span class="glyphicon glyphicon-print"></span></a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><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="tab-content printable"><p><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 id="Detailed-Table" class="tab-pane active"><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-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-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><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-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-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><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-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-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><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-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-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><div id="Session-Timeline" class="tab-pane "><div class="hidable day-wrapper"><h4 class="day-header"><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="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">16:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">17:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link btn btn-room btn-xs navigate">The 2nd floor corridor</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="7ee13391-6a5f-445a-80a5-c8b76d436eaa" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-10"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td><td colspan="54" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="655bb028-22cd-4aa8-bc26-64092c5b4100" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-15"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td><td colspan="18" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="4261d32e-5236-46ff-bcfd-aed59e40f8ed" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c1"><h4>SRC & Posters</h4>Poster Session<span data-event-star="4dbe29df-a000-45b9-99d3-847746e53411"/><span data-event-star="562cb71d-9b97-417d-8cca-0dcca894706b"/><span data-event-star="6f974171-ecf2-4db4-bce9-445b8ffacbce"/><span data-event-star="daa8e2a4-51e1-454f-b007-48f3cbbe63be"/><span data-event-star="8479e375-3bbd-40d7-928e-563ef6c60181"/><span data-event-star="86e19a33-6193-4eb3-9b1d-2e27a92d4a62"/><span data-event-star="62621631-f467-43af-91f8-cdc88dbc6b33"/><span data-event-star="c68c90ac-8d18-42d6-b3f3-ef6489e4ebd4"/><span data-event-star="6f05cf1a-3af0-4ad3-8ca5-c9ff03265e67"/><span data-event-star="8991af0e-21cb-420b-9fb1-d1a71cd6f30e"/><span data-event-star="1e798e20-9f2e-4cfc-8821-475191085b25"/><span data-event-star="f0eb572a-7c17-445b-a9c0-826407b9a9d0"/><span data-event-star="e84ca4db-17a4-4499-9cd4-7ab303faa9fc"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><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="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link btn btn-room btn-xs navigate">The 2nd floor corridor</a></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-slot-id="4182ccec-75fb-493b-b3af-01374f404359" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-10"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td><td colspan="56" class="timeline-col empty "></td><td colspan="4" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Wed 23 Oct 2024" data-facet-date-order="241023" data-slot-id="8470e2b6-1d49-4614-97dc-d30d92487142" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-15"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><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="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link btn btn-room btn-xs navigate">The 2nd floor corridor</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-slot-id="1d7bde55-f29e-42ca-99dc-3cf5ad8c7201" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-10"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td><td colspan="54" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Thu 24 Oct 2024" data-facet-date-order="241024" data-slot-id="80d8cb7f-a4e1-4dfa-b3f6-ddff87c26162" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-15"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><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="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="6" class="timeline-header timeline-30m-header hour-header">10:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">11:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">12:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">13:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">14:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th><th colspan="6" class="timeline-header timeline-30m-header hour-header">15:00</th><th colspan="6" class="timeline-header timeline-30m-header quarter-header"><small>30</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link btn btn-room btn-xs navigate">The 2nd floor corridor</a></td><td colspan="6" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Fri 25 Oct 2024" data-facet-date-order="241025" data-slot-id="2a06f8b4-074b-4e67-bc69-39e35f47cb23" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-10"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Coffee Break</div></a></div></div></div></td><td colspan="48" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Fri 25 Oct 2024" data-facet-date-order="241025" data-slot-id="81eda2d3-e3af-4f55-b4a5-8f95c143670e" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-15"><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-catering" target="_blank" class="navigate"><div class="timeline-elem track-elem track-color c2"><h4>Catering</h4>Break<span data-event-star="3500dd93-7b11-4f2b-99cd-0586fdb17b94"/></div></a></div></div></div></td><td colspan="6" class="timeline-col empty "></td></tr></div></table></div></div></div></div><div id="Detailed-Timeline" class="tab-pane "><div class="hidable day-wrapper"><h4 class="day-header"><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="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">16:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">17:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link btn btn-room btn-xs navigate">The 2nd floor corridor</a></td><td colspan="72" class="timeline-col empty "></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="5053e33a-d7eb-4d48-bb2c-2c973f2af512" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="daa8e2a4-51e1-454f-b007-48f3cbbe63be"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] (Bi-)^3 directional Typing for Answer Type Modification</div></div></a><div class="small clearfix"><span class="pull-left">16:00 - 16:06</span></div></div></div></div></td><td colspan="2" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="52f55a11-bfae-4608-8af5-5b6144fe7358" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="86e19a33-6193-4eb3-9b1d-2e27a92d4a62"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[non-SRC] Disproving Termination of O-like Combinators by Tree Automata</div></div></a><div class="small clearfix"><span class="pull-left">16:06 - 16:13</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="b0dee65b-d816-495f-bbfd-06e1f0faab4c" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="8991af0e-21cb-420b-9fb1-d1a71cd6f30e"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC / Not under award selection] GPU Code Generation for Dynamic Graph ...</div></div></a><div class="small clearfix"><span class="pull-left">16:13 - 16:20</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="5292063a-066c-48d3-8dd5-c2b1ce77c742" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="8479e375-3bbd-40d7-928e-563ef6c60181"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Implementing a control flow obfuscation tool for Java</div></div></a><div class="small clearfix"><span class="pull-left">16:20 - 16:27</span></div></div></div></div></td><td colspan="2" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="59b5d6e6-30c3-4de3-a402-e4705b3353ed" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="62621631-f467-43af-91f8-cdc88dbc6b33"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Improving the WebAssembly Specification Framework for Future Prop ...</div></div></a><div class="small clearfix"><span class="pull-left">16:27 - 16:34</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="11d66bf9-bef6-4c07-8aab-ee72f6a99521" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="562cb71d-9b97-417d-8cca-0dcca894706b"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Co ...</div></div></a><div class="small clearfix"><span class="pull-left">16:34 - 16:41</span></div></div></div></div></td><td colspan="2" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="40755e5f-c0e5-4c25-9a9c-815b4d426763" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="6f974171-ecf2-4db4-bce9-445b8ffacbce"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] On the Equivalence Between Binary and Intermediate Representation ...</div></div></a><div class="small clearfix"><span class="pull-left">16:41 - 16:48</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="6fd391de-08d5-48b2-be59-e8fc5430502c" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="6f05cf1a-3af0-4ad3-8ca5-c9ff03265e67"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Refined^2 Environment Classifiers</div></div></a><div class="small clearfix"><span class="pull-left">16:48 - 16:55</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="b450a595-a0d0-4554-98c4-4d57d780a59c" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-16"><a href="#" data-event-modal="f0eb572a-7c17-445b-a9c0-826407b9a9d0"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with ...</div></div></a><div class="small clearfix"><span class="pull-left">16:55 - 17:02</span></div></div></div></div></td><td colspan="2" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="e95c74d3-adf0-445f-b65d-4563a9a21478" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-17"><a href="#" data-event-modal="e84ca4db-17a4-4499-9cd4-7ab303faa9fc"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack</div></div></a><div class="small clearfix"><span class="pull-left">17:02 - 17:09</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="b243ac09-1dc6-48e8-89ce-3efcd333cd04" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-17"><a href="#" data-event-modal="1e798e20-9f2e-4cfc-8821-475191085b25"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays</div></div></a><div class="small clearfix"><span class="pull-left">17:09 - 17:16</span></div></div></div></div></td><td colspan="2" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="62bf020c-2ecf-4f86-b70f-75cc16604d6b" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-17"><a href="#" data-event-modal="c68c90ac-8d18-42d6-b3f3-ef6489e4ebd4"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Verified Exact Inference for Testing Quantum Circuit Transformers ...</div></div></a><div class="small clearfix"><span class="pull-left">17:16 - 17:23</span></div></div></div></div></td><td colspan="1" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS SRC & Posters" data-facet-date="Tue 22 Oct 2024" data-facet-date-order="241022" data-slot-id="0203f4ba-35ca-4a88-9cff-9564ece4dbdb" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-17"><a href="#" data-event-modal="4dbe29df-a000-45b9-99d3-847746e53411"><div class="timeline-elem event-elem track-color c1"><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><div><strong>APLAS SRC & Posters</strong></div><div>[SRC] Vython: a Language with Dynamic Version Checking for Gradual Updating</div></div></a><div class="small clearfix"><span class="pull-left">17:23 - 17:30</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td></tr></div></table></div></div></div><div class="hidable day-wrapper"><h4 class="day-header"><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><p>No events planned for this day yet.</p></div><div class="hidable day-wrapper"><h4 class="day-header"><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="timeline-wrap-outer"><div class="timeline-wrap-inner"><table class="table-condensed timeline-table table-striped"><thead><tr class="five-min-steps"><th class="timeline-first-col"></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th><th></th></tr><tr><th class="timeline-first-col">Room</th><th colspan="3" class="timeline-header timeline-15m-header hour-header">10:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">11:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">12:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">13:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">14:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th><th colspan="3" class="timeline-header timeline-15m-header hour-header">15:00</th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>15</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>30</small></th><th colspan="3" class="timeline-header timeline-15m-header quarter-header"><small>45</small></th></tr></thead><div class="hidable"><tr class="hidable"><td class="timeline-first-col "><a href="https://conf.researchr.org/room/aplas-2024/aplas-2024-venue-the-2nd-floor-corridor" target="_blank" class="room-link btn btn-room btn-xs navigate">The 2nd floor corridor</a></td><td colspan="60" class="timeline-col empty "></td><td colspan="6" class="timeline-col"><div class="hidable"><div data-facet-track="APLAS Catering" data-facet-date="Fri 25 Oct 2024" data-facet-date-order="241025" data-slot-id="f10a7359-f43b-491a-b802-363a3ce9d323" data-facet-room="The 2nd floor corridor" class="hidable"><div class="band hour-15"><a href="#" data-event-modal="3500dd93-7b11-4f2b-99cd-0586fdb17b94"><div class="timeline-elem event-elem track-color c2"><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><div><strong>APLAS Catering</strong></div><div>Break</div></div></a><div class="small clearfix"><span class="pull-left">15:00 - 15:30</span></div></div></div></div></td><td colspan="6" class="timeline-col empty "></td></tr></div></table></div></div></div></div></p></div></div></fieldset></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 23 Feb 21:25</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="aplas-2024" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"aplas-2024"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="aplas-2024" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"aplas-2024"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://conf.researchr.org/home/aplas-2024" class="navigate"><span class="glyphicon glyphicon-home"></span> APLAS 2024</a></h3><div><a href="https://conf.researchr.org/contact/aplas-2024" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://conf.researchr.org/support/aplas-2024" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-events" class="navigate">Events</a><br/><a href="https://conf.researchr.org/track/aplas-2024/aplas-2024-keynote" class="navigate">Keynote</a><br/><a href="https://conf.researchr.org/track/aplas-2024/src-and-posters%3F" class="navigate">SRC & Posters</a><br/><a href="https://conf.researchr.org/home/aplas-2024" class="navigate">Research Papers</a><br/><a href="https://conf.researchr.org/track/aplas-2024/nier2024" class="navigate">APLAS NIER</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/aplas-2024/aplas-2024-venue" class="navigate">Venue: Shirankaikan (Kyoto University medical school area)</a><br><a href="https://conf.researchr.org/attending/aplas-2024/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/aplas-2024/social+events" class="navigate">Social Events</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/aplas-2024" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>