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>Program Committee - 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?e0c92ee5f52769e04d268b7588469bfe" 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/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/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">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='Welcome to the website of the ASE 2019 conference! The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) will be held in San Diego from November 11 to 15, 2019. The conference is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. We have an exciting program for you. For the accepted papers, please visit the f ...'> <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='Welcome to the website of the ASE 2019 conference! The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) will be held in San Diego from November 11 to 15, 2019. The conference is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. We have an exciting program for you. For the accepted papers, please visit the f ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Program Committee - ASE 2019'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="committee"><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%5Escommittee%5Esjpf-2019-papers-program-committee" 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"><script type="text/javascript">$( "a[data-hashtab]" ).each(function() { var _href = $(this).attr("href"); var _hash = "#" + $(this).attr("data-hashtab").replace(/(\W|\s)+/g, "-"); $(this).attr("href", _href + _hash); }); </script><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><span class="text-muted small"><span class="glyphicon glyphicon-road"></span> <a href="https://2019.ase-conferences.org/home/jpf-2019" class="navigate">(Java Pathfinder Workshop 2019)</a> / </span><h1>Program Committee <small>JPF</small><span class="pull-right"></span></h1></div><div class="row"><div class="col-sm-6"><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/small-avatar.jpg?1711495157000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Musard Balliu <small></small></h3><h4 class="media-heading"><span class="text-black">KTH Royal Institute of Technology</span></h4><h4 class="media-heading"><small>Sweden</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711477937000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Antonio Filieri <small></small></h3><h4 class="media-heading"><span class="text-black">Imperial College London</span></h4><h4 class="media-heading"><small>United Kingdom</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711560546000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Indradeep Ghosh <small></small></h3><h4 class="media-heading"><span class="text-black">Fujitsu Labs of America</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711458060000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Milos Gligoric <small></small></h3><h4 class="media-heading"><span class="text-black">The University of Texas at Austin</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1724255587000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Alex Groce <small></small></h3><h4 class="media-heading"><span class="text-black">Northern Arizona University</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711516932000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Falk Howar <small></small></h3><h4 class="media-heading"><span class="text-black">Clausthal University of Technology</span></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711455471000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Sarfraz Khurshid <small></small></h3><h4 class="media-heading"><span class="text-black">University of Texas at Austin</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711549728000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Kasper Luckow <small></small></h3><h4 class="media-heading"><span class="text-black">Carnegie Mellon University</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711534804000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Eric Mercer <small></small></h3><h4 class="media-heading"><span class="text-black">Brigham Young University</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711549562000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Reed Milewicz <small></small></h3><h4 class="media-heading"><span class="text-black">Sandia National Laboratories</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711463557000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">ThanhVu Nguyen <small></small></h3><h4 class="media-heading"><span class="text-black">University of Nebraska, Lincoln</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://2019.ase-conferences.org/profile/pavelparizek" class="navigate"><div class="media"><span class="pull-left"><img alt="small-avatar" src="https://2019.ase-conferences.org/getDefaultImage/small-avatar?1403689208000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Pavel Parizek <small></small></h3><h4 class="media-heading"><span class="text-black">Charles University</span></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711472287000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Corina S. P膬s膬reanu <small></small></h3><h4 class="media-heading"><span class="text-black">Carnegie Mellon University Silicon Valley, NASA Ames Research Center</span></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711549695000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Franco Raimondi <small></small></h3><h4 class="media-heading"><span class="text-black">Middlesex University</span></h4><h4 class="media-heading"><small>United Kingdom</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711506545000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Neha Rungta <small></small></h3><h4 class="media-heading"><span class="text-black">Amazon Web Services</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711459692000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Elena Sherman <small></small></h3><h4 class="media-heading"><span class="text-black">Boise State University</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://2019.ase-conferences.org/profile/arnaudvenet" class="navigate"><div class="media"><span class="pull-left"><img alt="small-avatar" src="https://2019.ase-conferences.org/getDefaultImage/small-avatar?1403689208000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Arnaud Venet <small></small></h3><h4 class="media-heading"><span class="text-black">Facebook</span></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711461876000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Willem Visser <small></small></h3><h4 class="media-heading"><span class="text-black">Stellenbosch University</span></h4><h4 class="media-heading"><small>South Africa</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711456887000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Guowei Yang <small></small></h3><h4 class="media-heading"><span class="text-black">Texas State University</span></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1731282089000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Marcelo d'Amorim <small></small></h3><h4 class="media-heading"><span class="text-black">Federal University of Pernambuco</span></h4><h4 class="media-heading"><small>Brazil</small></h4></div></div></a></div><div class="col-sm-6"><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/small-avatar.jpg?1711549777000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Franck van Breugel <small></small></h3><h4 class="media-heading"><span class="text-black">York University, Canada</span></h4></div></div></a></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Mon 25 Nov 08:19</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.67.1</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; 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>