CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ISSTA 2022 - Keynotes - ISSTA 2022</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/4b16920f-3304-4b00-8edc-b1fbefae0d36/ISSTA.css?1632206842061" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <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> <meta name='description' content='We have two keynotes from Michael Pradel (Neural Software Analysis: the Good, the Bad, and the Ugly) and Miryung Kim (Software Developer Tools for Democratizing Heterogeneous Computing Applications). Check the program for details!'> <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> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='We have two keynotes from Michael Pradel (Neural Software Analysis: the Good, the Bad, and the Ugly) and Miryung Kim (Software Developer Tools for Democratizing Heterogeneous Computing Applications). Check the program for details!'> <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 async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta name='keywords' content='issta,software,testing,symposium,research,researchers,practitioners,academics'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/issta-2022/carousel/Screen+Shot+2021-09-22+at+10.12.21+PM.jpg?1632322828000'>  <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ISSTA 2022 - Keynotes - ISSTA 2022'> <meta name="google-site-verification" content="cnzn0pp7XUZE55tGsWdtwEs69y3Gg7awoHeHWQOMxWY" /> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/issta-2022" class="navbar-brand navigate"><span class="brand-text">ISSTA 2022</span></a><div class="place">Mon 18 - Fri 22 July 2022 <a href="https://conf.researchr.org/venue/issta-2022/issta-2022-venue" class="navigate">Online</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/venue/issta-2022/issta-2022-venue" class="navigate">Venue: Online</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2022/registration" class="navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2022/information-for-attendees" class="navigate">Information for Attendees</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2022/presenter-instruction" class="navigate">Instructions to Presenters</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2022/equity%2C-diversity-and-inclusion" class="navigate">Equity, Diversity and Inclusion</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Sponsorship <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/info/issta-2022/call-for-sponsorship" class="navigate">Call for Sponsorship</a></li><li class="block"><a href="https://conf.researchr.org/info/issta-2022/sponsors-and-supports" class="navigate">Sponsors and Supports</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" class="navigate">ISSTA Program</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://conf.researchr.org/info/issta-2022/schedule-overview" class="navigate">Schedule Overview</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" data-fltr-type="date" data-fltr-val="Mon 18 Jul 2022" class="navigate">Mon 18 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" data-fltr-type="date" data-fltr-val="Tue 19 Jul 2022" class="navigate">Tue 19 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" data-fltr-type="date" data-fltr-val="Wed 20 Jul 2022" class="navigate">Wed 20 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" data-fltr-type="date" data-fltr-val="Thu 21 Jul 2022" class="navigate">Thu 21 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2022/program-issta-2022/" data-fltr-type="date" data-fltr-val="Fri 22 Jul 2022" class="navigate">Fri 22 Jul</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">ISSTA 2022</li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-technical-papers" class="navigate">Technical Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-tool-demonstrations" class="navigate">Tool Demonstrations</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-student-volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-sponsors" class="navigate">Sponsors</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://conf.researchr.org/home/issta-2022/aista-2022" class="navigate"><strong>AISTA</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">ISSTA 2022 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-organizing-comittee" class="navigate">Organizing Comittee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-technical-papers-program-committee" class="navigate"><strong>Technical Papers</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-workshops-workshop-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-artifact-evaluation-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-tool-demonstrations-program-committee" class="navigate"><strong>Tool Demonstrations</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/issta-2022-student-volunteers-student-volunteer-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/issta-2022" 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">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AISTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/issta-2022/aista-2022-papers-chair" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://conf.researchr.org/search/issta-2022//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/series/issta" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/home/issta-2025" class="navigate">ISSTA 2025</a></li><li class="block"><a href="https://2024.issta.org" class="navigate">ISSTA 2024</a></li><li class="block"><a href="https://2023.issta.org" class="navigate">ISSTA 2023</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ISSTA 2022</span></li><li class="block"><a href="https://conf.researchr.org/home/issta-2021" class="navigate">ISSTA 2021</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2020" class="navigate">ISSTA 2020</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2019" class="navigate">ISSTA 2019</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2017" class="navigate">ISSTA 2017</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/issta-2022/https%3A%5Es%5Esconf.researchr.org%5Estrack%5Esissta-2022%5Esissta-2022-keynotes" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/issta-2022" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-a72189db-c572-4247-8d25-5955439a0d43" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-a72189db-c572-4247-8d25-5955439a0d43" data-slide-to="0" class="active"></li><li data-target="#carousel-a72189db-c572-4247-8d25-5955439a0d43" data-slide-to="1"></li><li data-target="#carousel-a72189db-c572-4247-8d25-5955439a0d43" data-slide-to="2"></li><li data-target="#carousel-a72189db-c572-4247-8d25-5955439a0d43" data-slide-to="3"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/issta-2022/carousel/Screen+Shot+2021-09-22+at+10.12.21+PM.jpg?1632322828000');"></div><div class="attribution">Photo by <em>KAIST</em></div><div class="carousel-caption"><h3>Spring</h3><h5><p>KAIST</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/issta-2022/carousel/Screen+Shot+2021-09-22+at+10.24.48+PM.jpg?1632322837000');"></div><div class="attribution">Photo by <em>DCC</em></div><div class="carousel-caption"><h3>Summer</h3><h5><p>DCC</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/issta-2022/carousel/Screen+Shot+2021-09-22+at+8.16.24+PM.jpg?1632322848000');"></div><div class="attribution">Photo by <em>KAIST</em></div><div class="carousel-caption"><h3>Fall</h3><h5><p>KAIST</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://conf.researchr.org/getImage/issta-2022/carousel/Screen+Shot+2021-09-22+at+10.05.56+PM.jpg?1632322857000');"></div><div class="attribution">Photo by <em>Seunghyup Yoo</em></div><div class="carousel-caption"><h3>Winter</h3><h5><p>KAIST</p></h5></div></div></div><a href="#carousel-a72189db-c572-4247-8d25-5955439a0d43" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-a72189db-c572-4247-8d25-5955439a0d43" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/issta-2022" class="navigate">ISSTA 2022</a> (<a href="https://conf.researchr.org/series/issta" class="navigate">series</a>) / </span><h1>Keynotes<span class="pull-right small h1">ISSTA 2022</span></h1></div><div class="row"><div class="col-sm-12"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li></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>We have two keynotes from Michael Pradel (Neural Software Analysis: the Good, the Bad, and the Ugly) and Miryung Kim (Software Developer Tools for Democratizing Heterogeneous Computing Applications).</p> <p>Check the program for details!</p> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://conf.researchr.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="issta-2022" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+09:00) Seoul</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+09:00) Seoul</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04: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+09: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+10: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+10:30) 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+11: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+12: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+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"issta-2022"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 540){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 20 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Seoul</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Wed 20 Jul 2022" data-facet-date-order="220720" data-facet-room="Keynote" 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 c2"></td><td><div class="slot-label">00:00 - 01:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://conf.researchr.org/room/issta-2022/issta-2022-venue-keynote" target="_blank" class="room-link navigate">Keynote</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/issta-2022/yannissmaragdakis" target="_blank" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="32e47c88-54c9-499c-8b15-59647538eadc" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Keynotes"></span></td><td><span data-event-star="65911dbb-78ef-48a4-928c-9816e2ee0b6a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="65911dbb-78ef-48a4-928c-9816e2ee0b6a">Neural Software Analysis: the Good, the Bad, and the Ugly</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://conf.researchr.org/profile/issta-2022/michaelpradel" class="navigate">Michael Pradel</a><span class="prog-aff"> University of Stuttgart</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Wed 20 Jul 2022" data-facet-date-order="220720" data-facet-room="Keynote" 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 c2"></td><td><div class="slot-label">15:00 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://conf.researchr.org/room/issta-2022/issta-2022-venue-keynote" target="_blank" class="room-link navigate">Keynote</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/issta-2022/sukyoungryu" target="_blank" class="navigate">Sukyoung Ryu</a><span class="prog-aff"> KAIST</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="222e72bc-88f4-4657-b302-883a7a3974fa" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Keynotes"></span></td><td><span data-event-star="65911dbb-78ef-48a4-928c-9816e2ee0b6a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="65911dbb-78ef-48a4-928c-9816e2ee0b6a">Neural Software Analysis: the Good, the Bad, and the Ugly</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://conf.researchr.org/profile/issta-2022/michaelpradel" class="navigate">Michael Pradel</a><span class="prog-aff"> University of Stuttgart</span></div></td></tr></table></div></div><script type="text/javascript">window.preselectTimeBand = true; </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 21 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Seoul</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-0"><table data-facet-date="Thu 21 Jul 2022" data-facet-date-order="220721" data-facet-room="Keynote" 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 c2"></td><td><div class="slot-label">00:00 - 01:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://conf.researchr.org/room/issta-2022/issta-2022-venue-keynote" target="_blank" class="room-link navigate">Keynote</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/issta-2022/yannissmaragdakis" target="_blank" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="6cb5b958-49fb-49c5-935a-b91c8dea1e37" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Keynotes"></span></td><td><span data-event-star="abee9c9d-6fe5-4800-920c-548ee04275cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="abee9c9d-6fe5-4800-920c-548ee04275cf">Software Developer Tools for Democratizing Heterogeneous Computing Applications</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://conf.researchr.org/profile/issta-2022/miryungkim" class="navigate">Miryung Kim</a><span class="prog-aff"> University of California at Los Angeles, USA</span></div></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Thu 21 Jul 2022" data-facet-date-order="220721" data-facet-room="Keynote" 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 c2"></td><td><div class="slot-label">15:00 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://conf.researchr.org/room/issta-2022/issta-2022-venue-keynote" target="_blank" class="room-link navigate">Keynote</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/issta-2022/sukyoungryu" target="_blank" class="navigate">Sukyoung Ryu</a><span class="prog-aff"> KAIST</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="dcd54184-bd49-4199-a5b8-40972215d4c9" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Keynotes"></span></td><td><span data-event-star="abee9c9d-6fe5-4800-920c-548ee04275cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="abee9c9d-6fe5-4800-920c-548ee04275cf">Software Developer Tools for Democratizing Heterogeneous Computing Applications</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://conf.researchr.org/profile/issta-2022/miryungkim" class="navigate">Miryung Kim</a><span class="prog-aff"> University of California at Los Angeles, USA</span></div></td></tr></table></div><div class="hidable band hour-23"><table data-facet-date="Thu 21 Jul 2022" data-facet-date-order="220721" data-facet-room="Keynote" 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 c2"></td><td><div class="slot-label">23:00 - 23:15</div></td><td colspan="2"><div class="session-info-in-table">Awards & Reports<span class="pull-right"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://conf.researchr.org/room/issta-2022/issta-2022-venue-keynote" target="_blank" class="room-link navigate">Keynote</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e7fe4cb5-b8d3-4c48-83a8-0ab9504a393b" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:00</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Keynotes"></span></td><td><span data-event-star="0b3b354a-9929-4eb9-9047-be33542d4bc4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="0b3b354a-9929-4eb9-9047-be33542d4bc4">Award Presentations & Chair Report</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://conf.researchr.org/profile/issta-2022/sukyoungryu" class="navigate">Sukyoung Ryu</a><span class="prog-aff"> KAIST</span>, <a href="https://conf.researchr.org/profile/issta-2022/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div></td></tr></table></div><div class="hidable band hour-23"><table data-facet-date="Thu 21 Jul 2022" data-facet-date-order="220721" data-facet-room="Keynote" 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 c2"></td><td><div class="slot-label">23:15 - 00:00</div></td><td colspan="2"><div class="session-info-in-table">Impact Paper Presentation<span class="pull-right"><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" target="_blank" class="text-muted navigate">Keynotes</a></span> at <a href="https://conf.researchr.org/room/issta-2022/issta-2022-venue-keynote" target="_blank" class="room-link navigate">Keynote</a><br/> <small>Chair(s): <a href="https://conf.researchr.org/profile/issta-2022/sukyoungryu" target="_blank" class="navigate">Sukyoung Ryu</a><span class="prog-aff"> KAIST</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="a1f6fbbe-add1-485d-9f5a-af10d552a2f3" class="hidable"><td class="track-color c2"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:15</div><strong>45m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Keynotes"></span></td><td><span data-event-star="eb7ba552-1bae-4a16-ace2-dd5f3fc3628f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="eb7ba552-1bae-4a16-ace2-dd5f3fc3628f">Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting</a></strong><div class="prog-track">Keynotes</div><div class="performers"><a href="https://conf.researchr.org/profile/issta-2022/jacogeldenhuys" class="navigate">Jaco Geldenhuys</a><span class="prog-aff"> University of Stellenbosch, South Africa</span>, <a href="https://conf.researchr.org/profile/issta-2022/matthewdwyer" class="navigate">Matthew B Dwyer</a><span class="prog-aff"> University of Virginia</span>, <a href="https://conf.researchr.org/profile/issta-2022/willemvisser1" class="navigate">Willem Visser</a><span class="prog-aff"> Stellenbosch University</span></div><a href="https://doi.org/10.1145/2338965.2336773" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a></td></tr></table></div></div></div></div></div></div></div><div class="col-sm-0 sidebar"></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Mon 25 Nov 22:49</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="issta-2022" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"issta-2022"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="issta-2022" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"issta-2022"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://conf.researchr.org/home/issta-2022" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA 2022</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://conf.researchr.org/support/issta-2022" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/track/issta-2022/issta-2022-technical-papers" class="navigate">Technical Papers</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-workshops" class="navigate">Workshops</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-tool-demonstrations" class="navigate">Tool Demonstrations</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-keynotes" class="navigate">Keynotes</a><br/><a href="https://conf.researchr.org/track/issta-2022/issta-2022-sponsors" class="navigate">Sponsors</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://conf.researchr.org/home/issta-2022/aista-2022" class="navigate">AISTA 2022</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/issta-2022/issta-2022-venue" class="navigate">Venue: Online</a><br><a href="https://conf.researchr.org/attending/issta-2022/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/issta-2022/information-for-attendees" class="navigate">Information for Attendees</a><br><a href="https://conf.researchr.org/attending/issta-2022/presenter-instruction" class="navigate">Instructions to Presenters</a><br><a href="https://conf.researchr.org/attending/issta-2022/equity%2C-diversity-and-inclusion" class="navigate">Equity, Diversity and Inclusion</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/issta-2022" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>