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>ASE 2022 - [Workshop] JPF '22 - ASE 2022</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?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/d91b28e5-9960-4ab7-b4ef-598fc8d51056/ase-2022.css?1659796234904" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ASE 2022 - [Workshop] JPF '22 - ASE 2022'> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The goal of the workshop is to highlight current research and tools development for Java/Android program verification and analysis. Although the workshop鈥檚 theme revolves around the JPF tool, e.g., use of JPF to support basic research, tool development, or in verification case studies, we also welcome contributions related to program analysis of Java/Android applications. The workshop will serve as a platform to grow the community of researchers, foster collaboration and define future directions for JPF development and Java/Android program analysis research. For more information, please c ...'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/ase-2022/carousel/About_UCM-19838_002.jpg?1658910969000'> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script>  <meta name='description' content='The goal of the workshop is to highlight current research and tools development for Java/Android program verification and analysis. Although the workshop鈥檚 theme revolves around the JPF tool, e.g., use of JPF to support basic research, tool development, or in verification case studies, we also welcome contributions related to program analysis of Java/Android applications. The workshop will serve as a platform to grow the community of researchers, foster collaboration and define future directions for JPF development and Java/Android program analysis research. For more information, please c ...'> </head> <body id="track"><div class="frame"><a href="https://conf.researchr.org/blogposts/ase-2022" class="blog-link btn btn-xs btn-default navigate">Write a Blog >></a><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/ase-2022" class="navbar-brand navigate"><span class="brand-text">ASE 2022</span></a><div class="place">Mon 10 - Fri 14 October 2022 <a href="https://conf.researchr.org/venue/ase-2022/ase-2022-venue" class="navigate">Oakland Center, Michigan, United States</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/ase-2022/ase-2022-venue" class="navigate">Venue: Oakland Center, Michigan, USA</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/attendee-information" class="navigate">Attendee Information</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/presenter-information" class="navigate">Presenter Information</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/covid-19-protocol" class="navigate">COVID-19 Protocol</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/registration" class="navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/visa-letters" class="navigate">Visa Letters</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/travel-support" class="navigate">Travel Support</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/diversity-and-inclusion" class="navigate">Diversity and Inclusion</a></li><li class="block"><a href="https://conf.researchr.org/attending/ase-2022/code-of-conduct" class="navigate">Code of Conduct</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/info/ase-2022/sponsorship-opportunities" class="navigate">Sponsorship Opportunities</a></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/ase-2022/program-ase-2022/" class="navigate">ASE Program</a></li><li class="block"><a href="https://conf.researchr.org/program/ase-2022/program-ase-2022/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://conf.researchr.org/info/ase-2022/keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://conf.researchr.org/info/ase-2022/week-overview" class="navigate">Week Overview</a></li><li class="block"><a href="https://conf.researchr.org/info/ase-2022/social-events" class="navigate">Social Events</a></li><li class="block"><a href="https://conf.researchr.org/info/ase-2022/awards" class="navigate">Awards</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/program/ase-2022/program-ase-2022/" data-fltr-type="date" data-fltr-val="Mon 10 Oct 2022" class="navigate">Mon 10 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/ase-2022/program-ase-2022/" data-fltr-type="date" data-fltr-val="Tue 11 Oct 2022" class="navigate">Tue 11 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/ase-2022/program-ase-2022/" data-fltr-type="date" data-fltr-val="Wed 12 Oct 2022" class="navigate">Wed 12 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/ase-2022/program-ase-2022/" data-fltr-type="date" data-fltr-val="Thu 13 Oct 2022" class="navigate">Thu 13 Oct</a></li><li class="block"><a href="https://conf.researchr.org/program/ase-2022/program-ase-2022/" data-fltr-type="date" data-fltr-val="Fri 14 Oct 2022" class="navigate">Fri 14 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">ASE 2022</li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-industry-showcase" class="navigate">Industry Showcase</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-journal-first-papers" class="navigate">Journal-first Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-late-breaking-results" class="navigate">Late Breaking Results</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-nier-track" class="navigate">NIER Track</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-research-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-student-research-competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-student-volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-tool-demonstrations" class="navigate">Tool Demonstrations</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-a-mobile-22" class="navigate">[Workshop] A-Mobile '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-ase4games-22" class="navigate">[Workshop] ASE4Games '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-aust-22" class="navigate">[Workshop] AUST '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-aesir-22" class="navigate">[Workshop] AeSIR '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hcse-cs-22" class="navigate">[Workshop] HCSE&CS '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hilt-22" class="navigate">[Workshop] HILT' 22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-iwor-22" class="navigate">[Workshop] IWoR '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-jpf-22" class="navigate">[Workshop] JPF '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-varse-22" class="navigate">[Workshop] VARSE '22</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-diversity-and-inclusion-events" class="navigate">Diversity and Inclusion Events</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-meetings" class="navigate">Meetings</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-plenary" class="navigate">Plenary</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-mip-awards" class="navigate">MIP Awards</a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-posters-" class="navigate">Posters </a></li><li class="block"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-keynotes" class="navigate">Keynotes</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">ASE 2022 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Artifact Evaluation</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-artifact-evaluation-artifact-evaluation-chairs" class="navigate">Artifact Evaluation Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-artifact-evaluation-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-doctoral-symposium-doctoral-symposium-chairs" class="navigate">Doctoral Symposium Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Industry Showcase</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-industry-showcase-industry-showcase-chairs" class="navigate">Industry Showcase Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-industry-showcase-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Journal-first Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/journal-first-papers-chairs" class="navigate">Journal-first Papers Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-journal-first-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Late Breaking Results</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-late-breaking-results-late-breaking-results-chairs" class="navigate">Late Breaking Results Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-late-breaking-results-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NIER Track</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-nier-track-nier-track-chairs" class="navigate">NIER Track Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-nier-track-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Research Papers</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-research-papers-research-papers-chair" class="navigate">Research Papers Chair</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-research-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-student-research-competition-student-research-competition-chairs" class="navigate">Student Research Competition Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-student-research-competition-judges" class="navigate">Judges</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-student-research-competition-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-student-volunteers-student-volunteers-chairs" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Tool Demonstrations</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-tool-demonstrations-tool-demonstrations-chair" class="navigate">Tool Demonstrations Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-tool-demonstrations-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Tutorials</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-tutorials-tutorials-chairs" class="navigate">Tutorials Chairs</a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-tutorials-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-workshops-workshops-chairs" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-diversity-and-inclusion-events-diversity-chairs" class="navigate"><strong>Diversity and Inclusion Events</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ase-2022/ase-2022-mip-awards-mip-co-chairs" class="navigate"><strong>MIP Awards</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/ase-2022" 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/ase-2022//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/ase" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><a href="https://conf.researchr.org/home/ase-2025" class="navigate">ASE 2025</a></li><li class="block"><a href="https://conf.researchr.org/home/ase-2024" class="navigate">ASE 2024</a></li><li class="block"><a href="https://conf.researchr.org/home/ase-2023" class="navigate">ASE 2023</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ASE 2022</span></li><li class="block"><a href="https://conf.researchr.org/home/ase-2021" class="navigate">ASE 2021</a></li><li class="block"><a href="https://conf.researchr.org/home/ase-2020" class="navigate">ASE 2020</a></li><li class="block"><a href="https://2019.ase-conferences.org" class="navigate">ASE 2019</a></li><li class="block"><a href="http://ase-conferences.org/ase/past/index.html" target="_blank" class="navigate">Past Editions <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/ase-2022/https%3A%5Es%5Esconf.researchr.org%5Estrack%5Esase-2022%5Esase-2022-workshop-jpf-22" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/ase-2022" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/ase-2022" class="navigate">ASE 2022</a> (<a href="https://conf.researchr.org/series/ase" class="navigate">series</a>) / </span><h1>[Workshop] JPF '22<span class="pull-right small h1">ASE 2022</span></h1></div><div class="row"><div class="col-sm-12"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Accepted Papers</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>The goal of the workshop is to highlight current research and tools development for Java/Android program verification and analysis. Although the workshop鈥檚 theme revolves around the JPF tool, e.g., use of JPF to support basic research, tool development, or in verification case studies, we also welcome contributions related to program analysis of Java/Android applications. The workshop will serve as a platform to grow the community of researchers, foster collaboration and define future directions for JPF development and Java/Android program analysis research.</p> <p>For more information, please check our website: <a href="https://github.com/javapathfinder/jpf-core/wiki/Java-Pathfinder-Workshop-2022">https://github.com/javapathfinder/jpf-core/wiki/Java-Pathfinder-Workshop-2022</a></p> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row plenary-facets"><div class="col-sm-1"><strong>Plenary</strong></div><div class="col-sm-11"><div data-facet-type="plenary" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://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="ase-2022" /><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-04:00) Eastern Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-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":"ase-2022"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -300){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 10 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Eastern Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-8"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Room 129" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c18"></td><td><div class="slot-label">08:30 - 10:00</div></td><td colspan="2"><div class="session-info-in-table">Session 1<span class="pull-right"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-jpf-22" target="_blank" class="text-muted navigate">[Workshop] JPF '22</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-room-129" target="_blank" class="room-link navigate">Room 129</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="eac70b44-d257-408f-b141-5eafe1f91b5c" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>15m</strong></div><div class="event-type">Day opening</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="98bea135-6f22-4b45-b210-7fd418094631" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="98bea135-6f22-4b45-b210-7fd418094631">Welcome</a></strong><div class="prog-track">[Workshop] JPF '22</div><br></td></tr><tr data-slot-id="f25eb246-38ce-4376-876d-cf68863ab0d5" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:15</div><strong>45m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="edc3278c-e467-4ef7-9b9e-84b8407a6517" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="edc3278c-e467-4ef7-9b9e-84b8407a6517">Invited talk: "Eclipse Foundation: Enabling Open, Vendor Neutral Collaboration"</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/johnkellerman" class="navigate">John Kellerman</a><span class="prog-aff"> Eclipse Foundation</span></div></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Gold B" 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 c22"></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/ase-2022/ase-2022-social" target="_blank" class="text-muted navigate">Social</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-gold-b" target="_blank" class="room-link navigate">Gold B</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="f5744fc8-b2cc-4afa-97a9-52106cebf288" class="hidable"><td class="track-color c22"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>15m</strong></div><div class="event-type">Coffee break</div><span data-facet-track="ASE Social"></span></td><td><span data-event-star="21128066-3af9-4f4e-8de2-2215ddaf3637" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="21128066-3af9-4f4e-8de2-2215ddaf3637">Coffee Break</a></strong><div class="prog-track">Social</div><br></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Room 129" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c18"></td><td><div class="slot-label">10:30 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Session 2<span class="pull-right"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-jpf-22" target="_blank" class="text-muted navigate">[Workshop] JPF '22</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-room-129" target="_blank" class="room-link navigate">Room 129</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bb2df3aa-23d2-47b0-8d94-3093bb33277c" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="742ddbd5-1c4c-40f3-a732-fab0dced5e1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="742ddbd5-1c4c-40f3-a732-fab0dced5e1f">Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/pavelparizek" class="navigate">Pavel Parizek</a><span class="prog-aff"> Charles University</span>, <a href="https://conf.researchr.org/profile/ase-2022/filipkliber" class="navigate">Filip Kliber</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="6e64eac0-591e-463d-9cb7-c196e7c2a86e" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:45</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="3adb9ca2-a733-48a6-a20e-6d2ea3846b5b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3adb9ca2-a733-48a6-a20e-6d2ea3846b5b">Using Theia Traceviewer to Visualize JPF Traces</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/johanbesseling" class="navigate">Johan Besseling</a><span class="prog-aff"> KTH Royal Institute of Technology, Sweden</span>, <a href="https://conf.researchr.org/profile/ase-2022/cyrilleartho" class="navigate">Cyrille Artho</a><span class="prog-aff"> KTH Royal Institute of Technology, Sweden</span></div></td></tr><tr data-slot-id="d4a88cfd-d663-4487-b3b0-613ef51c0d0f" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>60m</strong></div><div class="event-type">Tutorial</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="b5de6686-2b89-4fe4-b998-32bb2368adde" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b5de6686-2b89-4fe4-b998-32bb2368adde">Tutorial: Java PathFinder</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/cyrilleartho" class="navigate">Cyrille Artho</a><span class="prog-aff"> KTH Royal Institute of Technology, Sweden</span></div></td></tr></table></div><div class="hidable band hour-12"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Gold B" 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 c22"></td><td><div class="slot-label">12:00 - 13:30</div></td><td colspan="2"><div class="session-info-in-table">Lunch<span class="pull-right"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-social" target="_blank" class="text-muted navigate">Social</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-gold-b" target="_blank" class="room-link navigate">Gold B</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="bf5873ff-f933-4063-83bb-ac8ebe325bb9" class="hidable"><td class="track-color c22"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>90m</strong></div><div class="event-type">Lunch</div><span data-facet-track="ASE Social"></span></td><td><span data-event-star="52edb43e-8548-498c-96ca-b8d58a806596" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="52edb43e-8548-498c-96ca-b8d58a806596">Lunch</a></strong><div class="prog-track">Social</div><br></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Room 129" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c18"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Session 3<span class="pull-right"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-jpf-22" target="_blank" class="text-muted navigate">[Workshop] JPF '22</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-room-129" target="_blank" class="room-link navigate">Room 129</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="5498c45b-6340-42c9-bc01-ed98775fa9f2" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>45m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="70a6d548-ab02-4a73-9dd2-3eade7781caa" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="70a6d548-ab02-4a73-9dd2-3eade7781caa">Invited talk: "Virtual threads: scalable, harmonious concurrency"</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/ronpressler" class="navigate">Ron Pressler</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="c04a1775-1ac5-4173-b2ba-c38c9d1227e9" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:15</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="4349a9b0-da16-488c-a96c-8824714420a3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4349a9b0-da16-488c-a96c-8824714420a3">jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/mattwalker" class="navigate">Matt Walker</a><span class="prog-aff"> York University, Canada</span>, <a href="https://conf.researchr.org/profile/ase-2022/parssakhazra" class="navigate">Parssa Khazra</a><span class="prog-aff"> York University, Canada</span>, <a href="https://conf.researchr.org/profile/ase-2022/antonanahji" class="navigate">Anto Nanah Ji</a><span class="prog-aff"> York University, Canada</span>, <a href="https://conf.researchr.org/profile/ase-2022/hongruwang" class="navigate">Hongru Wang</a><span class="prog-aff"> York University, Canada</span>, <a href="https://conf.researchr.org/profile/ase-2022/franckvanbreugel" class="navigate">Franck van Breugel</a><span class="prog-aff"> York University, Toronto</span></div></td></tr><tr data-slot-id="a7843793-fb45-428a-8c83-096cd6b7d689" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="d7c905dc-8652-4844-be1b-757f3e915a41" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d7c905dc-8652-4844-be1b-757f3e915a41">Towards Wider Support for Java String Functions</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/qiuchenyan" class="navigate">Qiuchen Yan</a><span class="prog-aff"> University of Minnesota</span>, <a href="https://conf.researchr.org/profile/ase-2022/cyrilleartho" class="navigate">Cyrille Artho</a><span class="prog-aff"> KTH Royal Institute of Technology, Sweden</span>, <a href="https://conf.researchr.org/profile/ase-2022/pavelparizek" class="navigate">Pavel Parizek</a><span class="prog-aff"> Charles University</span></div></td></tr><tr data-slot-id="dbefab8e-d310-479d-88f7-2df68f293f28" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:45</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="c138e346-65df-487a-bf0a-9e121e6a2bf3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c138e346-65df-487a-bf0a-9e121e6a2bf3">Gradle support for Symbolic PathFinder</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/gaurangkudale" class="navigate">Gaurang Kudale</a><span class="prog-aff"> University of Pune</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Gold B" 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 c22"></td><td><div class="slot-label">15:00 - 15: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/ase-2022/ase-2022-social" target="_blank" class="text-muted navigate">Social</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-gold-b" target="_blank" class="room-link navigate">Gold B</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="be18b373-a731-43e3-91b2-565600082b49" class="hidable"><td class="track-color c22"></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="ASE Social"></span></td><td><span data-event-star="21128066-3af9-4f4e-8de2-2215ddaf3637" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="21128066-3af9-4f4e-8de2-2215ddaf3637">Coffee Break</a></strong><div class="prog-track">Social</div><br></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 10 Oct 2022" data-facet-date-order="221010" data-facet-room="Room 129" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c18"></td><td><div class="slot-label">15:30 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Session 4<span class="pull-right"><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-jpf-22" target="_blank" class="text-muted navigate">[Workshop] JPF '22</a></span> at <a href="https://conf.researchr.org/room/ase-2022/ase-2022-venue-room-129" target="_blank" class="room-link navigate">Room 129</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="ccbf79e5-cb35-466a-a41b-0f8d66e3060c" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>60m</strong></div><div class="event-type">Tutorial</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="99bb23e0-7d00-4635-90c8-d545c1ced5f3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="99bb23e0-7d00-4635-90c8-d545c1ced5f3">Tutorial: Symbolic PathFinder</a></strong><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/corinaspasareanu" class="navigate">Corina S. Pasareanu</a><span class="prog-aff"> Carnegie Mellon University Silicon Valley, NASA Ames Research Center</span></div></td></tr><tr data-slot-id="f287d23f-2f3b-430c-82aa-36a4d0de8b3a" class="hidable"><td class="track-color c18"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>30m</strong></div><div class="event-type">Day closing</div><span data-facet-track="ASE [Workshop] JPF"></span></td><td><span data-event-star="7ff9e8e6-10f7-48ad-b753-5b73dad31bc6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="7ff9e8e6-10f7-48ad-b753-5b73dad31bc6">Open Discussion</a></strong><div class="prog-track">[Workshop] JPF '22</div><br></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="742ddbd5-1c4c-40f3-a732-fab0dced5e1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="742ddbd5-1c4c-40f3-a732-fab0dced5e1f">Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs</a><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/pavelparizek" class="navigate">Pavel Parizek</a>, <a href="https://conf.researchr.org/profile/ase-2022/filipkliber" class="navigate">Filip Kliber</a></div></td></tr><tr><td><span data-event-star="4349a9b0-da16-488c-a96c-8824714420a3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4349a9b0-da16-488c-a96c-8824714420a3">jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code</a><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/mattwalker" class="navigate">Matt Walker</a>, <a href="https://conf.researchr.org/profile/ase-2022/parssakhazra" class="navigate">Parssa Khazra</a>, <a href="https://conf.researchr.org/profile/ase-2022/antonanahji" class="navigate">Anto Nanah Ji</a>, <a href="https://conf.researchr.org/profile/ase-2022/hongruwang" class="navigate">Hongru Wang</a>, <a href="https://conf.researchr.org/profile/ase-2022/franckvanbreugel" class="navigate">Franck van Breugel</a></div></td></tr><tr><td><span data-event-star="d7c905dc-8652-4844-be1b-757f3e915a41" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d7c905dc-8652-4844-be1b-757f3e915a41">Towards Wider Support for Java String Functions</a><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/qiuchenyan" class="navigate">Qiuchen Yan</a>, <a href="https://conf.researchr.org/profile/ase-2022/cyrilleartho" class="navigate">Cyrille Artho</a>, <a href="https://conf.researchr.org/profile/ase-2022/pavelparizek" class="navigate">Pavel Parizek</a></div></td></tr><tr><td><span data-event-star="3adb9ca2-a733-48a6-a20e-6d2ea3846b5b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3adb9ca2-a733-48a6-a20e-6d2ea3846b5b">Using Theia Traceviewer to Visualize JPF Traces</a><div class="prog-track">[Workshop] JPF '22</div><div class="performers"><a href="https://conf.researchr.org/profile/ase-2022/johanbesseling" class="navigate">Johan Besseling</a>, <a href="https://conf.researchr.org/profile/ase-2022/cyrilleartho" class="navigate">Cyrille Artho</a></div></td></tr></table></div></div></div><div class="col-sm-0 sidebar"></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 1 Dec 08:15</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="ase-2022" /><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":"ase-2022"},],"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="ase-2022" /><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":"ase-2022"},],"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/ase-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> ASE 2022</a></h3><div><a href="https://conf.researchr.org/contact/ase-2022" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://conf.researchr.org/support/ase-2022" 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/ase-2022/ase-2022-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-industry-showcase" class="navigate">Industry Showcase</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-journal-first-papers" class="navigate">Journal-first Papers</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-late-breaking-results" class="navigate">Late Breaking Results</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-nier-track" class="navigate">NIER Track</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-research-papers" class="navigate">Research Papers</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-tool-demonstrations" class="navigate">Tool Demonstrations</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-tutorials" class="navigate">Tutorials</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshops" class="navigate">Workshops</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-a-mobile-22" class="navigate">[Workshop] A-Mobile '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-ase4games-22" class="navigate">[Workshop] ASE4Games '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-aust-22" class="navigate">[Workshop] AUST '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-aesir-22" class="navigate">[Workshop] AeSIR '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hcse-cs-22" class="navigate">[Workshop] HCSE&CS '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hilt-22" class="navigate">[Workshop] HILT' 22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-iwor-22" class="navigate">[Workshop] IWoR '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-jpf-22" class="navigate">[Workshop] JPF '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-workshop-varse-22" class="navigate">[Workshop] VARSE '22</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-diversity-and-inclusion-events" class="navigate">Diversity and Inclusion Events</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-meetings" class="navigate">Meetings</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-plenary" class="navigate">Plenary</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-mip-awards" class="navigate">MIP Awards</a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-posters-" class="navigate">Posters </a><br/><a href="https://conf.researchr.org/track/ase-2022/ase-2022-keynotes" class="navigate">Keynotes</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/ase-2022/ase-2022-venue" class="navigate">Venue: Oakland Center, Michigan, USA</a><br><a href="https://conf.researchr.org/attending/ase-2022/attendee-information" class="navigate">Attendee Information</a><br><a href="https://conf.researchr.org/attending/ase-2022/presenter-information" class="navigate">Presenter Information</a><br><a href="https://conf.researchr.org/attending/ase-2022/covid-19-protocol" class="navigate">COVID-19 Protocol</a><br><a href="https://conf.researchr.org/attending/ase-2022/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/ase-2022/accommodation" class="navigate">Accommodation</a><br><a href="https://conf.researchr.org/attending/ase-2022/visa-letters" class="navigate">Visa Letters</a><br><a href="https://conf.researchr.org/attending/ase-2022/travel-support" class="navigate">Travel Support</a><br><a href="https://conf.researchr.org/attending/ase-2022/diversity-and-inclusion" class="navigate">Diversity and Inclusion</a><br><a href="https://conf.researchr.org/attending/ase-2022/code-of-conduct" class="navigate">Code of Conduct</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/ase-2022" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>