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>Nobuko Yoshida - ISSTA/ECOOP 2024</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/463efccf-03e7-4e1c-a4ad-5a63a59aeeac/ISSTA-ECOOP.css?1712282347741" 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/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Nobuko Yoshida - ISSTA/ECOOP 2024'> <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 prefix='og: http://ogp.me/ns#' property='og:image' content='https://conf.researchr.org/getImage/issta-ecoop-2024/carousel/_fileadmin_Assets_services_Fotodownload_Gebaeude_Karlsplatz_karlsplatz_hauptgebaeude_nacht_c_tu_wien.jpg?1687952698000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the website of the ISSTA/ECOOP 2024 conferences! ISSTA 2024: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ECOOP 2024: ECOOP is Europe鈥檚 longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics rela ...'> <meta name='description' content='Welcome to the website of the ISSTA/ECOOP 2024 conferences! ISSTA 2024: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ECOOP 2024: ECOOP is Europe鈥檚 longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics rela ...'> <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="profile"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/issta-ecoop-2024" class="navbar-brand navigate"><span class="brand-text">ISSTA/ECOOP 2024</span></a><div class="place">Mon 16 - Fri 20 September 2024 <a href="https://conf.researchr.org/venue/issta-ecoop-2024/ecoop-issta-2024-venue" class="navigate">Vienna, Austria</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><a href="https://conf.researchr.org/venue/issta-ecoop-2024/ecoop-issta-2024-venue" class="navigate">Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus</a></li><li><a href="https://conf.researchr.org/venue/issta-ecoop-2024/issta-ecoop-2024-venue" class="navigate">Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz</a></li><li><a href="https://conf.researchr.org/venue/issta-ecoop-2024/issta-ecoop-2024-venue2" class="navigate">Banquet: Fuhrgassl-Huber</a></li><li><a href="https://conf.researchr.org/attending/issta-ecoop-2024/diversity-and-inclusion" class="navigate">Equity, Diversity and Inclusion</a></li><li><a href="https://conf.researchr.org/attending/issta-ecoop-2024/conduct" class="navigate">Code of Conduct</a></li><li><a href="https://conf.researchr.org/attending/issta-ecoop-2024/visa-support-letters" class="navigate">Visa Support Letters</a></li><li><a href="https://conf.researchr.org/attending/issta-ecoop-2024/accomodation" class="navigate">Accomodation</a></li><li><a href="https://conf.researchr.org/attending/issta-ecoop-2024/registration" class="navigate">Registration</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><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" class="navigate">ISSTA/ECOOP Program</a></li><li><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li><a href="https://conf.researchr.org/info/issta-ecoop-2024/schedule-overview" class="navigate">Schedule Overview</a></li><li><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" data-fltr-type="date" data-fltr-val="Mon 16 Sep 2024" class="navigate">Mon 16 Sep</a></li><li><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" data-fltr-type="date" data-fltr-val="Tue 17 Sep 2024" class="navigate">Tue 17 Sep</a></li><li><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" data-fltr-type="date" data-fltr-val="Wed 18 Sep 2024" class="navigate">Wed 18 Sep</a></li><li><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" data-fltr-type="date" data-fltr-val="Thu 19 Sep 2024" class="navigate">Thu 19 Sep</a></li><li><a href="https://conf.researchr.org/program/issta-ecoop-2024/program-issta-ecoop-2024/" data-fltr-type="date" data-fltr-val="Fri 20 Sep 2024" class="navigate">Fri 20 Sep</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="dropdown-header">ISSTA/ECOOP 2024</li><li><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-diversity" class="navigate">Diversity</a></li><li><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-sponsorship" class="navigate">Sponsorship</a></li><li><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-student-volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-tool-demonstrations" class="navigate">Tool Demonstrations</a></li><li><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP</a></li><li><a href="https://2024.ecoop.org/track/ecoop-2024-awards" class="navigate"><strong>ECOOP</strong> Awards</a></li><li><a href="https://2024.ecoop.org/track/ecoop-2024-papers" class="navigate"><strong>ECOOP</strong> Technical Papers</a></li><li><a href="https://2024.ecoop.org/track/ecoop-2024-artifact-evaluation" class="navigate"><strong>ECOOP</strong> Artifact Evaluation</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ISSTA</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.issta.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA</a></li><li><a href="https://2024.issta.org/track/issta-2024-papers" class="navigate"><strong>ISSTA</strong> Technical Papers</a></li><li><a href="https://2024.issta.org/track/issta-2024-artifact-evaluation" class="navigate"><strong>ISSTA</strong> Artifact Evaluation</a></li><li><a href="https://2024.issta.org/track/issta-2024-keynotes" class="navigate"><strong>ISSTA</strong> Keynotes</a></li></ul></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/mplr-2024" class="navigate"><strong>MPLR</strong> </a></li><li class="dropdown-header">Workshops</li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/a-test-2024" class="navigate"><strong>A-TEST</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/debt-2024" class="navigate"><strong>DEBT</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/FTfJP-2024" class="navigate"><strong>FTfJP</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/fuzzing-2024" class="navigate"><strong>FUZZING</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/gamify-2024" class="navigate"><strong>Gamify</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/ICOOOLPS-2024" class="navigate"><strong>ICOOOLPS</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/met-2024" class="navigate"><strong>MET</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/plaid-2024" class="navigate"><strong>PLAID</strong> </a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/plf-2024" class="navigate"><strong>PLF</strong> Programming Local-first Software</a></li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/vortex-2024" class="navigate"><strong>VORTEX</strong> </a></li><li class="dropdown-header">Tutorials</li><li><a href="https://conf.researchr.org/home/issta-ecoop-2024/cakc-2024" class="navigate"><strong>CAKC</strong> Concurrent Algorithms in Kotlin Coroutines Tutorial</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="dropdown-header">ISSTA/ECOOP 2024 Committees</li><li class="dropdown-header">Track Committees </li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/issta-ecoop-2024-doctoral-symposium-doctoral-symposium-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/issta-ecoop-2024-sponsorship-sponsorship-committee" class="navigate"><strong>Sponsorship</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/issta-ecoop-2024-student-volunteers-student-volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/issta-ecoop-2024-tool-demonstrations-program-committee" class="navigate"><strong>Tool Demonstrations</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/issta-ecoop-2024-workshops-workshops-committee" class="navigate"><strong>Workshops</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://conf.researchr.org/people-index/issta-ecoop-2024" 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="dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.ecoop.org/committee/ecoop-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.ecoop.org/committee/ecoop-2024-papers-program-committee" class="navigate"><strong>Technical Papers</strong> <small>Program Committee</small></a></li><li><a href="https://2024.ecoop.org/committee/ecoop-2024-papers-extended-review-committee-and-external-reviewers" class="navigate"><strong>Technical Papers</strong> <small>Extended Review Committee and External Reviewers</small></a></li><li><a href="https://2024.ecoop.org/committee/ecoop-2024-artifact-evaluation-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ISSTA</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.issta.org/committee/issta-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.issta.org/committee/issta-2024-papers-program-committee" class="navigate"><strong>Technical Papers</strong></a></li><li><a href="https://2024.issta.org/committee/issta-2024-artifact-evaluation-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>MPLR</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/mplr-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/mplr-2024-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>A-TEST</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/a-test-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/a-test-2024-papers-programme-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DEBT</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/debt-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/debt-2024-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>FTfJP</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/FTfJP-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/FTfJP-2024-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>FUZZING</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/fuzzing-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/fuzzing-2024-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>Gamify</strong></a><ul class="block dropdown-menu"><li class="small"><a href="https://conf.researchr.org/home/issta-ecoop-2024/gamify-2024" class="navigate"><span class="glyphicon glyphicon-home"></span> N/A - check homepage</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/ICOOOLPS-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/ICOOOLPS-2024-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>MET</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/met-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/met-2024-papers-programme-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLAID</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/plaid-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/plaid-2024-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>PLF</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/plf-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/plf-2024-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>VORTEX</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/vortex-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/vortex-2024-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown-header">Tutorials</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CAKC</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/issta-ecoop-2024/cakc-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li><a href="https://conf.researchr.org/search/issta-ecoop-2024//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/series/ecoop-issta" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ISSTA/ECOOP 2024</span></li><li><a href="https://conf.researchr.org/home/ecoop-issta-2023" class="navigate">ECOOP and ISSTA 2023</a></li><li><a href="https://conf.researchr.org/home/ecoop-issta-2021" class="navigate">ECOOP and ISSTA 2021</a></li><li><a href="https://conf.researchr.org/home/ecoop-issta-2018" class="navigate">ECOOP and ISSTA 2018</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li><a href="https://conf.researchr.org/signin/issta-ecoop-2024/https%3A%5Es%5Esconf.researchr.org%5Esprofile%5Esissta-ecoop-2024%5Esnobukoyoshida" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://conf.researchr.org/signup/issta-ecoop-2024" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="profile-page"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/issta-ecoop-2024" class="navigate">ISSTA/ECOOP 2024</a> (<a href="https://conf.researchr.org/series/ecoop-issta" class="navigate">series</a>) / </span>Nobuko Yoshida<span class="pull-right profile-context"><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">ISSTA/ECOOP 2024 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/nobukoyoshida" class="navigate">conf.research.org general profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2018/nobukoyoshida" class="navigate">* ICSE 2018 * profile</a></li><li><a href="https://conf.researchr.org/profile/CC-2017/nobukoyoshida" class="navigate">CC 2017 profile</a></li><li><a href="https://conf.researchr.org/profile/CC-2020/nobukoyoshida" class="navigate">CC 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/CC-2021/nobukoyoshida" class="navigate">CC 2021 profile</a></li><li><a href="https://2015.ecoop.org/profile/nobukoyoshida" class="navigate">ECOOP 2015 profile</a></li><li><a href="https://2016.ecoop.org/profile/nobukoyoshida" class="navigate">ECOOP 2016 profile</a></li><li><a href="https://2019.ecoop.org/profile/nobukoyoshida" class="navigate">ECOOP 2019 profile</a></li><li><a href="https://2022.ecoop.org/profile/nobukoyoshida" class="navigate">ECOOP 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/etaps-2019/nobukoyoshida" class="navigate">ETAPS 2019 profile</a></li><li><a href="https://icfp16.sigplan.org/profile/nobukoyoshida" class="navigate">ICFP 2016 profile</a></li><li><a href="https://icfp21.sigplan.org/profile/nobukoyoshida" class="navigate">ICFP 2021 profile</a></li><li><a href="https://pldi19.sigplan.org/profile/nobukoyoshida" class="navigate">PLDI 2019 profile</a></li><li><a href="https://pldi21.sigplan.org/profile/nobukoyoshida" class="navigate">PLDI 2021 profile</a></li><li><a href="https://pldi22.sigplan.org/profile/nobukoyoshida" class="navigate">PLDI 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/pldi-ecoop-2017/nobukoyoshida" class="navigate">PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile</a></li><li><a href="https://popl16.sigplan.org/profile/nobukoyoshida" class="navigate">POPL 2016 profile</a></li><li><a href="https://popl17.sigplan.org/profile/nobukoyoshida" class="navigate">POPL 2017 profile</a></li><li><a href="https://popl18.sigplan.org/profile/nobukoyoshida" class="navigate">POPL 2018 profile</a></li><li><a href="https://popl19.sigplan.org/profile/nobukoyoshida" class="navigate">POPL 2019 profile</a></li><li><a href="https://popl20.sigplan.org/profile/nobukoyoshida" class="navigate">POPL 2020 profile</a></li><li><a href="https://popl21.sigplan.org/profile/nobukoyoshida" class="navigate">POPL 2021 profile</a></li><li><a href="https://ppopp22.sigplan.org/profile/nobukoyoshida" class="navigate">PPoPP 2022 profile</a></li><li><a href="https://2013.splashcon.org/profile/nobukoyoshida" class="navigate">SPLASH 2013 profile</a></li><li><a href="https://2015.splashcon.org/profile/nobukoyoshida" class="navigate">SPLASH 2015 profile</a></li><li><a href="https://2019.splashcon.org/profile/nobukoyoshida" class="navigate">SPLASH 2019 profile</a></li><li><a href="https://2020.splashcon.org/profile/nobukoyoshida" class="navigate">SPLASH 2020 profile</a></li></ul></div></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Nobuko Yoshida" src="https://conf.researchr.org/getProfileImage/nobukoyoshida/bce5d83a-6a71-4dad-bb16-526afd7ca7d8/small.jpg?1728220340000" class="outputimage thumbnail"/><p><small>Registered user since Sat 8 Aug 2015</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Nobuko Yoshida</div><div class="profile-item"><span class="profile-item-heading">Country:</span>United Kingdom</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>University of Oxford, UK</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="https://mrg.cs.ox.ac.uk/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> https://mrg.cs.ox.ac.uk/</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>Concurrency Theory, Programming Languages, Distributed Systems, Concurrent and Parallel Systems, Session Types</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2024</h3><div><h4>PLAID</h4><ul class="block"><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="1d17a0f8-18be-4469-a51c-a49a6f7a1e77">Less is More Revisited: Global Specification and Local Verification Approaches</a></li><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://conf.researchr.org/committee/issta-ecoop-2024/plaid-2024-papers-organizing-committee" class="small navigate" style="margin-left: 0.2em;">Organizing Committee in Organizing Committee within the PLAID 2024-track</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/nobukoyoshida" target="_blank" class="navigate">Show activities from other conferences</a></p><div id="embedWidget" class="webdsl-placeholder"><div class="panel-group"><div class="panel"><div class="panel-heading clearfix"><span class="panel-title"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/profile","embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42", [{"name":"context", "value":"issta-ecoop-2024"},{"name":"pers", "value":"nobukoyoshida"},],"", this.nextSibling, true,"1"); return false;'></button><a submitid="embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="small btn btn-default"><span class="glyphicon glyphicon-share"></span> Share</a></span></div></div></div></div></div></div><div class="row"><div class="col-sm-12"><span class="pull-right"><span title="You're viewing a conference-specific profile, last updated Sun 6 Oct 2024" class="label-default label"><span class="glyphicon glyphicon-time"></span> ISSTA/ECOOP 2024-profile</span><br><small><a href="https://conf.researchr.org/profile/nobukoyoshida" target="_blank" class="navigate">View general profile</a></small></span></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 16 Feb 15:37</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-ecoop-2024" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"issta-ecoop-2024"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="issta-ecoop-2024" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"issta-ecoop-2024"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://conf.researchr.org/home/issta-ecoop-2024" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA/ECOOP 2024</a></h3><div><a href="https://conf.researchr.org/contact/issta-ecoop-2024" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://conf.researchr.org/support/issta-ecoop-2024" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-diversity" class="navigate">Diversity</a><br/><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-sponsorship" class="navigate">Sponsorship</a><br/><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-tool-demonstrations" class="navigate">Tool Demonstrations</a><br/><a href="https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a><br/><a href="https://2024.issta.org" class="navigate">ISSTA 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/mplr-2024" class="navigate">MPLR 2024</a><br/><h4>Workshops</h4><a href="https://conf.researchr.org/home/issta-ecoop-2024/a-test-2024" class="navigate">A-TEST 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/debt-2024" class="navigate">DEBT 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/FTfJP-2024" class="navigate">FTfJP 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/fuzzing-2024" class="navigate">FUZZING 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/gamify-2024" class="navigate">Gamify 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/ICOOOLPS-2024" class="navigate">ICOOOLPS 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/met-2024" class="navigate">MET 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/plaid-2024" class="navigate">PLAID 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/plf-2024" class="navigate">PLF 2024</a><br/><a href="https://conf.researchr.org/home/issta-ecoop-2024/vortex-2024" class="navigate">VORTEX 2024</a><br/><h4>Tutorials</h4><a href="https://conf.researchr.org/home/issta-ecoop-2024/cakc-2024" class="navigate">CAKC 2024</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/issta-ecoop-2024/ecoop-issta-2024-venue" class="navigate">Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus</a><br><a href="https://conf.researchr.org/venue/issta-ecoop-2024/issta-ecoop-2024-venue" class="navigate">Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz</a><br><a href="https://conf.researchr.org/venue/issta-ecoop-2024/issta-ecoop-2024-venue2" class="navigate">Banquet: Fuhrgassl-Huber</a><br><a href="https://conf.researchr.org/attending/issta-ecoop-2024/diversity-and-inclusion" class="navigate">Equity, Diversity and Inclusion</a><br><a href="https://conf.researchr.org/attending/issta-ecoop-2024/conduct" class="navigate">Code of Conduct</a><br><a href="https://conf.researchr.org/attending/issta-ecoop-2024/visa-support-letters" class="navigate">Visa Support Letters</a><br><a href="https://conf.researchr.org/attending/issta-ecoop-2024/accomodation" class="navigate">Accomodation</a><br><a href="https://conf.researchr.org/attending/issta-ecoop-2024/registration" class="navigate">Registration</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/issta-ecoop-2024" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>