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://2019.ase-conferences.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2019.ase-conferences.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>JPF 2019 - (Java Pathfinder Workshop 2019) - ASE 2019</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2019.ase-conferences.org";</script> <link rel="stylesheet" href="https://2019.ase-conferences.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2019.ase-conferences.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2019.ase-conferences.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://2019.ase-conferences.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2019.ase-conferences.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://2019.ase-conferences.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2019.ase-conferences.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analyis tools and approaches. Workshop program (tentative) Start End Title 9:00 – 9:05 Opening 9:05 – 10:05 Invited talk: Elena Sherman.Benchmark Engineering for Program Analysis (click for details) Abstract: In evidence-based program analysis research benchmarks play an important role. The more realistic programs contained in a benchmark, the stronger conclusions researchers can make. The r ...'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2019.ase-conferences.org/getImage/carousel/Pacific_Beach_Sunset_jdb.JPG?1535033371000'>  <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analyis tools and approaches. Workshop program (tentative) Start End Title 9:00 – 9:05 Opening 9:05 – 10:05 Invited talk: Elena Sherman.Benchmark Engineering for Program Analysis (click for details) Abstract: In evidence-based program analysis research benchmarks play an important role. The more realistic programs contained in a benchmark, the stronger conclusions researchers can make. The r ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='JPF 2019 - (Java Pathfinder Workshop 2019) - ASE 2019'> </head> <body id="home"><div class="frame"><a href="https://2019.ase-conferences.org/blogposts" class="blog-link btn btn-xs btn-primary navigate">Blogs (1) >></a><div class="logobar"><div class="container"><a href="https://2019.ase-conferences.org" class="navbar-brand navigate"><span class="brand-text">ASE 2019</span></a><div class="place">Sun 10 - Fri 15 November 2019 <a href="https://2019.ase-conferences.org/venue/ase-2019-venue" class="navigate">San Diego, California, 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://2019.ase-conferences.org/venue/ase-2019-venue" class="navigate">Venue: Hilton San Diego Mission Valley</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/attendee-information" class="navigate">Attendee Information</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/presenter-information" class="navigate">Presenter Information</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/poster-information" class="navigate">Poster Information</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/registration" class="navigate">Registration</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/room-sharing" class="navigate">Room Sharing</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/travel-support" class="navigate">Travel Support</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/author-information" class="navigate">Author Information</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/author-information-workshops" class="navigate">Author Information (Workshops)</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/visa-letters" class="navigate">Visa Letters</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/sponsorship-opportunities" class="navigate">Sponsorship Opportunities</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/code-of-conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/diversity-and-inclusion" class="navigate">Diversity and Inclusion</a></li><li class="block"><a href="https://2019.ase-conferences.org/attending/diversity-and-inclusion-activities" class="navigate">Diversity and Inclusion Activities</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://2019.ase-conferences.org/program/program-ase-2019/" class="navigate">ASE Program</a></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" 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://2019.ase-conferences.org/info/week-overview" class="navigate">Week Overview</a></li><li class="block"><a href="https://2019.ase-conferences.org/info/keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2019.ase-conferences.org/info/social-events" class="navigate">Social Events</a></li><li class="block"><a href="https://2019.ase-conferences.org/info/community-meetings" class="navigate">Community Meetings</a></li><li class="block"><a href="https://2019.ase-conferences.org/info/accepted-papers" class="navigate">Accepted Papers</a></li><li class="block"><a href="https://2019.ase-conferences.org/info/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2019.ase-conferences.org/info/photos" class="navigate">Photos</a></li><li class="block divider"></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" data-fltr-type="date" data-fltr-val="Sun 10 Nov 2019" class="navigate">Sun 10 Nov</a></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" data-fltr-type="date" data-fltr-val="Mon 11 Nov 2019" class="navigate">Mon 11 Nov</a></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" data-fltr-type="date" data-fltr-val="Tue 12 Nov 2019" class="navigate">Tue 12 Nov</a></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" data-fltr-type="date" data-fltr-val="Wed 13 Nov 2019" class="navigate">Wed 13 Nov</a></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" data-fltr-type="date" data-fltr-val="Thu 14 Nov 2019" class="navigate">Thu 14 Nov</a></li><li class="block"><a href="https://2019.ase-conferences.org/program/program-ase-2019/" data-fltr-type="date" data-fltr-val="Fri 15 Nov 2019" class="navigate">Fri 15 Nov</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-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ASE 2019</li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-How-to-Submit" class="navigate">How to Submit</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-travel-support" class="navigate">Travel Support</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Journal-First-Presentations" class="navigate">Journal First Presentations</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Demonstrations" class="navigate">Demonstrations</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Industry-Showcase" class="navigate">Industry Showcase</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Student-Research-Competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Late-Breaking-Results" class="navigate">Late Breaking Results</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-Workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-faculty-mentorship-lunch" class="navigate">Faculty Mentorship Lunch</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-paper-presentations" class="navigate">Papers</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-registration" class="navigate">Registration</a></li><li class="block"><a href="https://2019.ase-conferences.org/track/ase-2019-meetings" class="navigate">Meetings</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Events</li><li class="block"><a href="https://2019.ase-conferences.org/home/ase-celeb-2019" class="navigate"><strong>Celebration of ASE</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/nsf-dl-se-2019" class="navigate"><strong>NSF Workshop: DL + SE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2019.ase-conferences.org/home/a-mobile-2019" class="navigate"><strong>A-Mobile</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/explain-2019" class="navigate"><strong>EXPLAIN</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/jpf-2019" class="navigate"><strong>JPF</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/njr-ase-2019" class="navigate"><strong>NJR</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/sead-2019" class="navigate"><strong>SEAD</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/seconfig-2019" class="navigate"><strong>SEConfig</strong> </a></li><li class="block"><a href="https://2019.ase-conferences.org/home/SEI-2019" class="navigate"><strong>SEI</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ASE 2019 Committees</li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-papers-program-committee" class="navigate"><strong>Research Papers</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-journal-first-presentations-program-committee" class="navigate"><strong>Journal First Presentations</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-demonstrations-program-committee" class="navigate"><strong>Demonstrations</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-industry-showcase-program-committee" class="navigate"><strong>Industry Showcase</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-student-research-competition-program-committee" class="navigate"><strong>Student Research Competition</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-student-volunteers-chairs" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-late-breaking-results-program-committee" class="navigate"><strong>Late Breaking Results</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-workshop-proposals-program-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-2019-faculty-mentorship-lunch-organizing-committee-and-mentors" class="navigate"><strong>Faculty Mentorship Lunch</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2019.ase-conferences.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Events</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Celebration of ASE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/ase-celeb-2019-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NSF Workshop: DL + SE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/nsf-dl-se-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>A-Mobile</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/a-mobile-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/a-mobile-2019-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>EXPLAIN</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/explain-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/explain-2019-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>JPF</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/jpf-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/jpf-2019-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>NJR</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/njr-ase-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/njr-ase-2019-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>SEAD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/sead-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/sead-2019-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>SEConfig</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/seinfraconfig-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2019.ase-conferences.org/committee/seconfig-2019-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>SEI</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.org/committee/sei-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2019.ase-conferences.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2019.ase-conferences.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"><a href="https://conf.researchr.org/home/ase-2022" class="navigate">ASE 2022</a></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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ASE 2019</span></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-2019/https%3A%5Es%5Es2019.ase-conferences.org%5Eshome%5Esjpf-2019" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2019.ase-conferences.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2019.ase-conferences.org" class="navigate">ASE 2019</a> (<a href="https://2019.ase-conferences.org/series/ase" class="navigate">series</a>) / </span><span class="text-muted small">JPF 2019 (<a href="https://2019.ase-conferences.org/series/jpf" class="navigate">series</a>) / </span><h1>(Java Pathfinder Workshop 2019)<span class="pull-right small h1">JPF 2019</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#Call-for-Papers-now-closed-" data-toggle="tab">Call for Papers (now closed)</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>Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analyis tools and approaches.</p> <h1><a href="#workshop-program-tentative" id="workshop-program-tentative" class="anchor-link">Workshop program (tentative)</a></h1> <table> <thead> <tr><th align="right">Start </th><th> </th><th align="right"> End </th><th> Title</th></tr> </thead> <tbody> <tr><td align="right">9:00 </td><td> – </td><td align="right"> 9:05 </td><td> Opening</td></tr> <tr><td align="right">9:05 </td><td> – </td><td align="right"> 10:05 </td><td> <details><summary>Invited talk: Elena Sherman.<br><i>Benchmark Engineering for Program Analysis</i> (click for details)</summary><b>Abstract:</b> In evidence-based program analysis research benchmarks play an important role. The more realistic programs contained in a benchmark, the stronger conclusions researchers can make. The researchers who drive the development of benchmarks might include programs relevant to their program analysis research agenda. Then it is unclear whether it is appropriate to reuse those benchmarks for a different program analysis. Thus, the problem that we would like to present in this talk is how to characterize a suitable benchmark for a given analysis. Moreover, what does “a suitable benchmark” even mean?<br>In this presentation we elaborate on this question and argue that there should be a systematic approach to engineering program benchmarks, similar to engineering software. Thus, it should include benchmark requirement, design, development, and verification steps. As the first step towards benchmark engineering, we present PAClab infrastructure. Unlike other frameworks that obtain programs from software repositories, PAClab allows users to specify program characteristics and how adapt selected programs to the targeted program analyzer. We conclude with invitation to join us in this effort by using PAClab in your JPF/SPF evaluations and providing us feedback.<br><b>Bio:</b> Dr. Elena Sherman is an assistant professor in computer science at Boise State University. She received her Ph.D. in CS from the University of Nebraska-Lincoln and joint Boise State in 2013. Her primary research focuses on improving the efficiency and precision of program analysis techniques. In particular, Dr. Sherman published work on string constrain solvers, decision procedures and data-flow analysis. In her research she experienced first-hand how scarce program analysis benchmarks are. To address this problem, in collaboration with Dr. Robert Dyer, she started developing a program analysis collaboratory (PAClab) that produces realistic benchmarks generation for target program analyzers</details></td></tr> <tr><td align="right">10:05 </td><td> – </td><td align="right"> 10:30 </td><td> Dinh Xuan Bach Le, Corina Pasareanu, Rohan Padhye, Willem Visser, Koushik Sen and David Lo.<br><em>SAFFRON: Adaptive Grammar-based Fuzzing for Worst-Case Analysis</em></td></tr> <tr><td align="right">10:30 </td><td> – </td><td align="right"> 11:00 </td><td> <strong>Coffee break</strong></td></tr> <tr><td align="right">11:00 </td><td> – </td><td align="right"> 11:25 </td><td> Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic and Sarfraz Khurshid.<br><em>Quantifying the Exploration of an Imperative Constraint Solver</em></td></tr> <tr><td align="right">11:25 </td><td> – </td><td align="right"> 11:50 </td><td> Kyle Storey, Eric Mercer and Pavel Parizek.<br><em>A Sound Dynamic Partial Order Reduction Engine for Java Path Finder</em></td></tr> <tr><td align="right">11:50 </td><td> – </td><td align="right"> 12:10 </td><td> Zhenbang Chen, Hengbiao Yu, Ji Wang and Wei Dong.<br><em>Symbolic Verification of Regular Properties for Java Programs</em> (fast abstract)</td></tr> <tr><td align="right">12:10 </td><td> – </td><td align="right"> 12:30 </td><td> Egor Namakonov, Eric Mercer, Pavel Parizek and Kyle Storey.<br><em>Symbolic data race detection for Habanero programs</em> (fast abstract)</td></tr> <tr><td align="right">12:30 </td><td> – </td><td align="right"> 14:00 </td><td> <strong>Lunch</strong></td></tr> <tr><td align="right">14:00 </td><td> – </td><td align="right"> 15:00 </td><td> <details><summary>Keynote: Simon Goldsmith.<br><i>Adventures in Commercial-Grade Static Analysis</i> (click for details)</summary><b>Abstract:</b> Building a commercial grade static analysis presents a lot of interesting problems. Everything not forbidden is compulsory: language specifications are wonderful documents, but in reality anything the user’s compiler and runtime accepts is fair game. Analysis abstractions that scale “except in pathological cases” don’t scale: analyzing tens of thousands of code bases that routinely exceed millions of lines of code means that those pathological cases inevitably arise. Build a good analysis that runs overnight, and users will ask you to run it in their IDE for near-immediate feedback. A bug finding tool needs a low false positive rate, but a tool aimed at finding security vulnerabilities needs a low false negative rate. Only analyzing “source” code and only starting from main() is insufficient for understanding modern web and mobile applications: frameworks imply a different programming model with a lot of auto-magical program behavior, often including idiosyncratic configuration regimes and various template languages. We’ll talk about these problems and how we tackle them.<br><b>Bio:</b> Simon Goldsmith has been working on the Coverity static analysis tool for more than ten years, an architect for more than seven. Before that, he finished his Ph.D. at the University of California Berkeley and his B.S. at Carnegie Mellon University. He lives in Oakland, California with his wife, two adorable knuckle-head dogs, and enough piles of books to constitute an earthquake hazard.</details></td></tr> <tr><td align="right">15:00 </td><td> – </td><td align="right"> 15:25 </td><td> Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer and Lars Grunske.<br><em>Complete Shadow Symbolic Execution with Java PathFinder</em></td></tr> <tr><td align="right">15:25 </td><td> – </td><td align="right"> 16:00 </td><td> <strong>Coffee break</strong></td></tr> <tr><td align="right">16:00 </td><td> – </td><td align="right"> 16:25 </td><td> Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang and Tevfik Bultan.<br><em>Incremental Attack Synthesis</em></td></tr> <tr><td align="right">16:25 </td><td> – </td><td align="right"> 16:50 </td><td> Lasse Berglund, Cyrille Artho.<br><em>Method summaries for JPF</em></td></tr> <tr><td align="right">16:50 </td><td> – </td><td align="right"> 17:10 </td><td> Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey and S. Jacob Powell.<br><em>JPF-HJ: A Tool for Task Parallel Program Analysis</em> (fast abstract)</td></tr> <tr><td align="right">17:10 </td><td> – </td><td align="right"> 17:25 </td><td> Overview of GSoC projects; closing.</td></tr> </tbody> </table> </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://2019.ase-conferences.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-2019" /><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-08:00) Tijuana, Baja California</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-08:00) Tijuana, Baja California</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-10: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-09:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-08: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-08:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-07:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-07: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-06:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-05:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-05: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-04:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-04:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-03: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-03:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-03: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-01:00) 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) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT) 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+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+01: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+02:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+02: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+02: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+02: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+02: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://2019.ase-conferences.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ase-2019"},],"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 != -480){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 11 Nov</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Tijuana, Baja California</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Mon 11 Nov 2019" data-facet-date-order="191111" data-facet-track="JPF" data-facet-room="Hillcrest 1" 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 c10"></td><td><div class="slot-label">09:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">Java Pathfinder Workshop<span class="pull-right"><a href="https://2019.ase-conferences.org/home/jpf-2019" target="_blank" class="text-muted navigate">JPF</a></span> at <a href="https://2019.ase-conferences.org/room/ase-2019-venue-hillcrest-1" target="_blank" class="room-link navigate">Hillcrest 1</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div><div class="hidable band hour-10"><table data-facet-date="Mon 11 Nov 2019" data-facet-date-order="191111" data-facet-track="ASE Social" data-facet-room="Cortez Foyer/Kensington Terrace" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c7"></td><td><div class="slot-label">10:30 - 11:00</div></td><td colspan="2"><div class="session-info-in-table">Break<span class="pull-right"><a href="https://2019.ase-conferences.org/track/ase-2019-catering" target="_blank" class="text-muted navigate">Social</a> / <a href="https://2019.ase-conferences.org/track/ase-2019-faculty-mentorship-lunch" target="_blank" class="text-muted navigate">Faculty Mentorship Lunch</a></span> at <a href="https://2019.ase-conferences.org/room/ase-2019-venue-cortez-foyer%5Eskensington-terrace" target="_blank" class="room-link navigate">Cortez Foyer/Kensington Terrace</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-12"><table data-facet-date="Mon 11 Nov 2019" data-facet-date-order="191111" data-facet-track="ASE Social" data-facet-room="Kensington Ballroom/Kensington Terrace" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c7"></td><td><div class="slot-label">12:30 - 14:00</div></td><td colspan="2"><div class="session-info-in-table">Lunch Break<span class="pull-right"><a href="https://2019.ase-conferences.org/track/ase-2019-catering" target="_blank" class="text-muted navigate">Social</a> / <a href="https://2019.ase-conferences.org/track/ase-2019-faculty-mentorship-lunch" target="_blank" class="text-muted navigate">Faculty Mentorship Lunch</a></span> at <a href="https://2019.ase-conferences.org/room/ase-2019-venue-kensington-ballroom%5Eskensington-terrace" target="_blank" class="room-link navigate">Kensington Ballroom/Kensington Terrace</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="Mon 11 Nov 2019" data-facet-date-order="191111" data-facet-track="ASE Social" data-facet-room="Cortez Foyer/Kensington Terrace" class="table table-condensed session-table blended-session"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c7"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Break<span class="pull-right"><a href="https://2019.ase-conferences.org/track/ase-2019-catering" target="_blank" class="text-muted navigate">Social</a> / <a href="https://2019.ase-conferences.org/track/ase-2019-faculty-mentorship-lunch" target="_blank" class="text-muted navigate">Faculty Mentorship Lunch</a></span> at <a href="https://2019.ase-conferences.org/room/ase-2019-venue-cortez-foyer%5Eskensington-terrace" target="_blank" class="room-link navigate">Cortez Foyer/Kensington Terrace</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr></table></div></div></div></div></div><div id="Call-for-Papers-now-closed-" class="tab-pane "><h2>Call for Papers (now closed)</h2><p><p>Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analysis tools and approaches.</p> <p>We solicit regular paper submissions on existing research and applications related to Java Pathfinder (JPF) or its extensions. If the underlying research idea has been published in another venue, the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit extended abstracts and position paper submissions on recent work or work in progress. We welcome comparative analysis papers that evaluate algorithms in JPF or its extensions with other relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF and Java/Android program analysis in general.</p> <p>Topics of interest include the following:</p> <ul> <li>JPF extensions or tools</li> <li>JPF case studies</li> <li>Position papers on JPF, such as future directions</li> <li>Java program analysis or verification</li> <li>Android program analysis or verification</li> <li>General software verification and symbolic execution techniques or tools</li> </ul> <h3><a href="#submission-formats" id="submission-formats" class="anchor-link">Submission formats</a></h3> <p>Submissions are single-blind: author names will be visible to the reviewers in the PDF. Reviewers will not be disclosed to the authors.</p> <p>We solicit two types of submissions to be uploaded on <a href="https://easychair.org/conferences/?conf=jpf2019">EasyChair/JPF2019</a>:</p> <ul> <li>Regular papers (submissions closed): At most 5-page long papers (incl. references) in the <a href="http://www.sigsoft.org/SEN/subpub.html">ACM SEN Proceedings format</a> will be reviewed by the organizing committee. Accepted regular papers will be presented at the workshop and published in the <a href="https://www.sigsoft.org/SEN">ACM SIGSOFT Software Engineering Notes</a> and the <a href="https://dl.acm.org/citation.cfm?id=J728">ACM Digital Library</a>, as in previous years.</li> <li>Extended (“fast”) abstracts: At most 2-page long abstracts will be selected by the organizing committee. Accepted abstracts will be presented at the workshop but NOT published.</li> </ul> </p></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2019.ase-conferences.org/home/jpf-2019" class="clickable-row past"><td>Fri 13 Sep 2019<br/>Camera-ready deadline</td></tr><tr href="https://2019.ase-conferences.org/home/jpf-2019" class="clickable-row past"><td>Fri 30 Aug 2019<br/>Notification deadline</td></tr><tr href="https://2019.ase-conferences.org/home/jpf-2019" class="clickable-row past"><td><strong>Mon 12 Aug 2019</strong><br/><strong>Submission deadline</strong></td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://easychair.org/conferences/?conf=jpf2019" title="Submission link for Call for Papers (now closed)" target="_blank" class="navigate">https://easychair.org/conferences/?conf=jpf2019</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2019.ase-conferences.org/committee/jpf-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/cyrilleartho" class="navigate"><div class="media"><span class="pull-left"><img alt="Cyrille Artho" src="https://2019.ase-conferences.org/getProfileImage/cyrilleartho/3c09e2b1-8bd3-4f79-8067-c176aefc0f7a/micro-avatar.jpg?1711460543000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cyrille Artho<span class="pull-right"><small>Co-chair</small></span></h5><h5 class="media-heading"><span class="text-black">KTH Royal Institute of Technology, Sweden</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/quocsangphan" class="navigate"><div class="media"><span class="pull-left"><img alt="Quoc-Sang Phan" src="https://2019.ase-conferences.org/getProfileImage/quocsangphan/689694b8-2b96-4595-a8bc-d64ce0eb9a3b/micro-avatar.jpg?1711467451000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Quoc-Sang Phan<span class="pull-right"><small>Co-chair</small></span></h5><h5 class="media-heading"><span class="text-black">Synopsys, Inc.</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2019.ase-conferences.org/committee/jpf-2019-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/musardballiu" class="navigate"><div class="media"><span class="pull-left"><img alt="Musard Balliu" src="https://2019.ase-conferences.org/getProfileImage/musardballiu/028abd34-f779-461c-bb16-a2664fc78bf0/micro-avatar.jpg?1711495157000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Musard Balliu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">KTH Royal Institute of Technology</span></h5><h5 class="media-heading"><small>Sweden</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/antoniofilieri" class="navigate"><div class="media"><span class="pull-left"><img alt="Antonio Filieri" src="https://2019.ase-conferences.org/getProfileImage/antoniofilieri/e27a389e-0dfc-450e-ac70-9dce70181f45/micro-avatar.jpg?1711477937000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Antonio Filieri<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/indradeepghosh" class="navigate"><div class="media"><span class="pull-left"><img alt="Indradeep Ghosh" src="https://2019.ase-conferences.org/getProfileImage/indradeepghosh/bb0c948a-8587-4ba1-88a8-53b5ea66f31a/micro-avatar.jpg?1711560546000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Indradeep Ghosh<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Fujitsu Labs of America</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/milosgligoric" class="navigate"><div class="media"><span class="pull-left"><img alt="Milos Gligoric" src="https://2019.ase-conferences.org/getProfileImage/milosgligoric/dd3e2b00-82ef-48fe-b2d2-994a492c50c9/micro-avatar.jpg?1711458060000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Milos Gligoric<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">The University of Texas at Austin</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/alexgroce" class="navigate"><div class="media"><span class="pull-left"><img alt="Alex Groce" src="https://2019.ase-conferences.org/getProfileImage/alexgroce/d1b7333a-481a-4774-b755-358b02e4f52e/micro-avatar.jpg?1724255587000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alex Groce<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Northern Arizona University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/falkhowar" class="navigate"><div class="media"><span class="pull-left"><img alt="Falk Howar" src="https://2019.ase-conferences.org/getProfileImage/falkhowar/d4c12989-ac3b-4850-b0a6-dd49f84c17fb/micro-avatar.jpg?1711516932000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Falk Howar<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Clausthal University of Technology</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/sarfrazkhurshid" class="navigate"><div class="media"><span class="pull-left"><img alt="Sarfraz Khurshid" src="https://2019.ase-conferences.org/getProfileImage/sarfrazkhurshid/8867c5f3-b6ca-4ae8-b98a-9f1fb06f1fdc/micro-avatar.jpg?1711455471000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sarfraz Khurshid<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Texas at Austin</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/kasperluckow" class="navigate"><div class="media"><span class="pull-left"><img alt="Kasper Luckow" src="https://2019.ase-conferences.org/getProfileImage/kasperluckow/d211bc35-74b0-491e-a3c3-2c632d8948b4/micro-avatar.jpg?1711549728000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kasper Luckow<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Carnegie Mellon University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/ericmercer" class="navigate"><div class="media"><span class="pull-left"><img alt="Eric Mercer" src="https://2019.ase-conferences.org/getProfileImage/ericmercer/b231c5a8-8357-48f4-913c-9a029f57140a/micro-avatar.jpg?1711534804000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Eric Mercer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Brigham Young University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/reedmilewicz" class="navigate"><div class="media"><span class="pull-left"><img alt="Reed Milewicz" src="https://2019.ase-conferences.org/getProfileImage/reedmilewicz/41deb644-0cb7-444b-8dc9-177bbdfc9223/micro-avatar.jpg?1711549562000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Reed Milewicz<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Sandia National Laboratories</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/thanhvunguyen" class="navigate"><div class="media"><span class="pull-left"><img alt="ThanhVu Nguyen" src="https://2019.ase-conferences.org/getProfileImage/thanhvunguyen/336f49ac-0ca3-424c-ab31-61531631aacf/micro-avatar.jpg?1711463557000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">ThanhVu Nguyen<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Nebraska, Lincoln</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/pavelparizek" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2019.ase-conferences.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pavel Parizek<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Charles University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/corinaspasareanu1" class="navigate"><div class="media"><span class="pull-left"><img alt="Corina S. Păsăreanu" src="https://2019.ase-conferences.org/getProfileImage/corinaspasareanu1/95370c9e-94f0-46c0-924c-da91ece6d2c7/micro-avatar.jpg?1711472287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Corina S. Păsăreanu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Carnegie Mellon University Silicon Valley, NASA Ames Research Center</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/francoraimondi" class="navigate"><div class="media"><span class="pull-left"><img alt="Franco Raimondi" src="https://2019.ase-conferences.org/getProfileImage/francoraimondi/2627f2fc-5575-4b98-a640-ff8399e3d4f0/micro-avatar.jpg?1711549695000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Franco Raimondi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Middlesex University</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/neharungta" class="navigate"><div class="media"><span class="pull-left"><img alt="Neha Rungta" src="https://2019.ase-conferences.org/getProfileImage/neharungta/510f6530-0f04-4721-b0e3-49c4e409e8de/micro-avatar.jpg?1711506545000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Neha Rungta<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Amazon Web Services</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/elenasherman" class="navigate"><div class="media"><span class="pull-left"><img alt="Elena Sherman" src="https://2019.ase-conferences.org/getProfileImage/elenasherman/2adffa73-2a30-49c2-969f-fa7251c4fb9c/micro-avatar.jpg?1711459692000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Elena Sherman<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Boise State University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/arnaudvenet" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2019.ase-conferences.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Arnaud Venet<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Facebook</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/willemvisser" class="navigate"><div class="media"><span class="pull-left"><img alt="Willem Visser" src="https://2019.ase-conferences.org/getProfileImage/willemvisser/df53ca2b-47e7-452e-b2c7-55011dcaf58c/micro-avatar.jpg?1711461876000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Willem Visser<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Stellenbosch University</span></h5><h5 class="media-heading"><small>South Africa</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/guoweiyang" class="navigate"><div class="media"><span class="pull-left"><img alt="Guowei Yang" src="https://2019.ase-conferences.org/getProfileImage/guoweiyang/e9f0d078-7591-4fa9-9897-bdc9e643ea6e/micro-avatar.jpg?1711456887000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Guowei Yang<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Texas State University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/marcelodamorim" class="navigate"><div class="media"><span class="pull-left"><img alt="Marcelo d'Amorim" src="https://2019.ase-conferences.org/getProfileImage/marcelodamorim/2d527824-9a72-404a-8c56-fa39e141282d/micro-avatar.jpg?1731282089000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marcelo d'Amorim<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Federal University of Pernambuco</span></h5><h5 class="media-heading"><small>Brazil</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2019.ase-conferences.org/profile/franckvanbreugel" class="navigate"><div class="media"><span class="pull-left"><img alt="Franck van Breugel" src="https://2019.ase-conferences.org/getProfileImage/franckvanbreugel/0b02f427-9722-467c-a4f5-d29eedb6f208/micro-avatar.jpg?1711549777000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Franck van Breugel<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">York University, Canada</span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Thu 20 Feb 14:39</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2019.ase-conferences.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-2019" /><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://2019.ase-conferences.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ase-2019"},],"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://2019.ase-conferences.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-2019" /><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://2019.ase-conferences.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ase-2019"},],"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://2019.ase-conferences.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ASE 2019</a></h3><div><a href="https://2019.ase-conferences.org/contact" 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://2019.ase-conferences.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2019.ase-conferences.org/track/ase-2019-How-to-Submit" class="navigate">How to Submit</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-travel-support" class="navigate">Travel Support</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-papers" class="navigate">Research Papers</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Journal-First-Presentations" class="navigate">Journal First Presentations</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Demonstrations" class="navigate">Demonstrations</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Industry-Showcase" class="navigate">Industry Showcase</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Student-Research-Competition" class="navigate">Student Research Competition</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Late-Breaking-Results" class="navigate">Late Breaking Results</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-Workshops" class="navigate">Workshops</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-faculty-mentorship-lunch" class="navigate">Faculty Mentorship Lunch</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-paper-presentations" class="navigate">Papers</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-registration" class="navigate">Registration</a><br/><a href="https://2019.ase-conferences.org/track/ase-2019-meetings" class="navigate">Meetings</a></div><div class="col-sm-6"><h4>Co-hosted Events</h4><a href="https://2019.ase-conferences.org/home/ase-celeb-2019" class="navigate">Celebration of ASE 2019</a><br/><a href="https://2019.ase-conferences.org/home/nsf-dl-se-2019" class="navigate">NSF Workshop: DL + SE 2019</a><br/><h4>Workshops</h4><a href="https://2019.ase-conferences.org/home/a-mobile-2019" class="navigate">A-Mobile 2019</a><br/><a href="https://2019.ase-conferences.org/home/explain-2019" class="navigate">EXPLAIN 2019</a><br/><a href="https://2019.ase-conferences.org/home/jpf-2019" class="navigate">JPF 2019</a><br/><a href="https://2019.ase-conferences.org/home/njr-ase-2019" class="navigate">NJR 2019</a><br/><a href="https://2019.ase-conferences.org/home/sead-2019" class="navigate">SEAD 2019</a><br/><a href="https://2019.ase-conferences.org/home/seconfig-2019" class="navigate">SEConfig 2019</a><br/><a href="https://2019.ase-conferences.org/home/SEI-2019" class="navigate">SEI 2019</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2019.ase-conferences.org/venue/ase-2019-venue" class="navigate">Venue: Hilton San Diego Mission Valley</a><br><a href="https://2019.ase-conferences.org/attending/attendee-information" class="navigate">Attendee Information</a><br><a href="https://2019.ase-conferences.org/attending/presenter-information" class="navigate">Presenter Information</a><br><a href="https://2019.ase-conferences.org/attending/poster-information" class="navigate">Poster Information</a><br><a href="https://2019.ase-conferences.org/attending/registration" class="navigate">Registration</a><br><a href="https://2019.ase-conferences.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2019.ase-conferences.org/attending/room-sharing" class="navigate">Room Sharing</a><br><a href="https://2019.ase-conferences.org/attending/travel-support" class="navigate">Travel Support</a><br><a href="https://2019.ase-conferences.org/attending/author-information" class="navigate">Author Information</a><br><a href="https://2019.ase-conferences.org/attending/author-information-workshops" class="navigate">Author Information (Workshops)</a><br><a href="https://2019.ase-conferences.org/attending/visa-letters" class="navigate">Visa Letters</a><br><a href="https://2019.ase-conferences.org/attending/sponsorship-opportunities" class="navigate">Sponsorship Opportunities</a><br><a href="https://2019.ase-conferences.org/attending/code-of-conduct" class="navigate">Code of Conduct</a><br><a href="https://2019.ase-conferences.org/attending/diversity-and-inclusion" class="navigate">Diversity and Inclusion</a><br><a href="https://2019.ase-conferences.org/attending/diversity-and-inclusion-activities" class="navigate">Diversity and Inclusion Activities</a></div><div class="col-sm-2"><script src="https://s3-us-west-2.amazonaws.com/ieeeshutpages/gdpr/settings.js"></script> <link rel="stylesheet" type="text/css" href="https://cdnjs.cloudflare.com/ajax/libs/cookieconsent2/3.0.3/cookieconsent.min.css" /> <script src="https://cdnjs.cloudflare.com/ajax/libs/cookieconsent2/3.0.3/cookieconsent.min.js"></script> <script> window.addEventListener("load", function(){ window.cookieconsent.initialise(json) }); </script></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>