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://2020.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Jonathan Bell - SPLASH 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.splashcon.org";</script> <link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/getFile/ff776645-fe0c-41bc-a5f3-d351459352e4/header.css?1605369652019" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.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://2020.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams h ...'> <style> .facet-placeholder.past-facets>div { font-size: 0px ; } .facet-placeholder.past-facets>div:after { content: "Hide past days/events"; font-size: 12px; } </style> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Jonathan Bell - SPLASH 2020'> <meta name='description' content='Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams h ...'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000'> <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://2020.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2020</span></a><div class="place">Sun 15 - Sat 21 November 2020 <a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Online Conference</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://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a></li><li><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a></li><li><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a></li><li><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Info <span class="caret"></span></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/info/author-instructions" class="navigate">Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS</a></li><li><a href="https://2020.splashcon.org/info/presenter-instructions-sas" class="navigate">Presenter Instructions for SAS 2020</a></li><li><a href="https://2020.splashcon.org/info/presenter-instructions-for-rebase-2020" class="navigate">Presenter Instructions for REBASE 2020</a></li><li><a href="https://2020.splashcon.org/info/session-chair-instructions" class="navigate">Session Chair Instructions</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://2020.splashcon.org/program/program-splash-2020/" class="navigate">SPLASH Program</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" 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://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Wed 18 Nov 2020" class="navigate">Wed 18 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Thu 19 Nov 2020" class="navigate">Thu 19 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Fri 20 Nov 2020" class="navigate">Fri 20 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sat 21 Nov 2020" class="navigate">Sat 21 Nov</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="dropdown-header">SPLASH 2020</li><li><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="dropdown-header">Co-hosted Conferences</li><li><a href="https://conf.researchr.org/home/dls-2020" class="navigate"><strong>DLS</strong> </a></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://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate"><strong>ECOOP</strong> Research Papers</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate"><strong>ECOOP</strong> Artifacts</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate"><strong>ECOOP</strong> Student Volunteers</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate"><strong>ECOOP</strong> Doctoral Symposium</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate"><strong>ECOOP</strong> Tutorials</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate"><strong>ECOOP</strong> Posters</a></li></ul></li><li><a href="https://conf.researchr.org/home/gpce-2020" class="navigate"><strong>GPCE</strong> </a></li><li><a href="https://conf.researchr.org/home/sas-2020" class="navigate"><strong>SAS</strong> </a></li><li><a href="https://conf.researchr.org/home/sle-2020" class="navigate"><strong>SLE</strong> </a></li><li class="dropdown-header">Workshops</li><li><a href="https://2020.splashcon.org/home/agere-2020" class="navigate"><strong>AGERE</strong> </a></li><li><a href="https://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate"><strong>HATRA</strong> </a></li><li><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate"><strong>HILT</strong> </a></li><li><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li><a href="https://2020.splashcon.org/home/live-2020" class="navigate"><strong>LIVE</strong> </a></li><li><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate"><strong>LPOP</strong> </a></li><li><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate"><strong>NSAD</strong> </a></li><li><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate"><strong>PLATEAU</strong> </a></li><li><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate"><strong>REBLS</strong> </a></li><li><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate"><strong>TAPAS</strong> </a></li><li><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate"><strong>VMIL</strong> </a></li><li><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="dropdown-header">Co-hosted Symposia</li><li><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</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="dropdown-header">SPLASH 2020 Committees</li><li><a href="https://2020.splashcon.org/committee/splash-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-steering-committee" class="navigate">Steering Committee</a></li><li class="dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-review-committee" class="navigate">Review Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Essays</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Onward-Essays-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Papers</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Onward-papers-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>REBASE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-rebase-organizing-committee" class="navigate">REBASE Chicago</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-rebase-rebase-berlin" class="navigate">REBASE Berlin</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLMW</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Posters-organising-committee" class="navigate"><strong>Posters</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SPLASH-E</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-SPLASH-E-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-SRC-organizers" class="navigate">Organizers</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-SRC-reviewers" class="navigate">Reviewers/Judges</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://2020.splashcon.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DLS</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-steering-committee" class="navigate">Steering Committee</a></li></ul></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://2020.ecoop.org/committee/ecoop-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate"><strong>Research Papers</strong> <small>External Review Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate"><strong>Doctoral Symposium</strong> <small>Academic Panel</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Organizing Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Program Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/gpce-2020/gpc-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation 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>AGERE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/agere-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/agere-2020-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>COP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/COP-2020-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://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>HATRA</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/hatra-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/hatra-2020-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>HILT</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/hilt-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/hilt-2020-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>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-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>IWACO</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/iwaco-2020-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>JSTools</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/JSTools-2020-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>LIVE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/live-2020-papers-organizing-committee" class="navigate">Organising Committee</a></li><li><a href="https://2020.splashcon.org/committee/live-2020-papers-program-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LPOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-organizing-committee" class="navigate">General Chairs</a></li><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-chairs" class="navigate">Program Chair</a></li><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-publicity-chair" class="navigate">Publicity Chair</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NSAD</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/nsad-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/nsad-2020-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>PLATEAU</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/plateau-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PRIDE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/pride-2020-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>REBLS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/rebls-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/rebls-2020-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/soop-2020-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>SySEPL</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/sysepl-2020-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>TAPAS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/tapas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/tapas-2020-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>VMIL</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/vmil-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/vmil-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/vmil-2020-papers-steering-committee" class="navigate">Steering 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://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/vortex-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li><a href="https://2020.splashcon.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2020</span></li><li><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li><a href="https://conf.researchr.org/signin/splash-2020/https%3A%5Es%5Es2020.splashcon.org%5Esprofile%5Esjonathanbell" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://2020.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.splashcon.org/series/splash" class="navigate">series</a>) / </span>Jonathan Bell<span class="pull-right"><small><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">SPLASH 2020 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/conf/jonathanbell" class="navigate">conf.research.org general profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2018/jonathanbell" class="navigate">* ICSE 2018 * profile</a></li><li><a href="https://2019.ase-conferences.org/profile/jonathanbell" class="navigate">ASE 2019 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2020/jonathanbell" class="navigate">ASE 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2021/jonathanbell" class="navigate">ASE 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2022/jonathanbell" class="navigate">ASE 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2023/jonathanbell" class="navigate">ASE 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2024/jonathanbell" class="navigate">ASE 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2018/jonathanbell" class="navigate">ECOOP and ISSTA 2018 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2021/jonathanbell" class="navigate">ECOOP and ISSTA 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2023/jonathanbell" class="navigate">ECOOP and ISSTA 2023 profile</a></li><li><a href="https://2018.fseconference.org/profile/jonathanbell" class="navigate">ESEC/FSE 2018 profile</a></li><li><a href="https://2020.esec-fse.org/profile/jonathanbell" class="navigate">ESEC/FSE 2020 profile</a></li><li><a href="https://2022.esec-fse.org/profile/jonathanbell" class="navigate">ESEC/FSE 2022 profile</a></li><li><a href="https://2023.esec-fse.org/profile/jonathanbell" class="navigate">ESEC/FSE 2023 profile</a></li><li><a href="https://icfp20.sigplan.org/profile/jonathanbell" class="navigate">ICFP 2020 profile</a></li><li><a href="https://2019.icse-conferences.org/profile/jonathanbell" class="navigate">ICSE 2019 profile</a></li><li><a href="https://2020.icse-conferences.org/profile/jonathanbell" class="navigate">ICSE 2020 profile</a></li><li><a href="https://2021.icse-conferences.org/profile/jonathanbell" class="navigate">ICSE 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2022/jonathanbell" class="navigate">ICSE 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2023/jonathanbell" class="navigate">ICSE 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2024/jonathanbell" class="navigate">ICSE 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2025/jonathanbell" class="navigate">ICSE 2025 profile</a></li><li><a href="https://conf.researchr.org/profile/icst-2020/jonathanbell" class="navigate">ICST 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/icst-2023/jonathanbell" class="navigate">ICST 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/icst-2024/jonathanbell" class="navigate">ICST 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-2019/jonathanbell" class="navigate">ISSTA 2019 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-2020/jonathanbell" class="navigate">ISSTA 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-2022/jonathanbell" class="navigate">ISSTA 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-ecoop-2024/jonathanbell" class="navigate">ISSTA/ECOOP 2024 profile</a></li><li><a href="https://pldi18.sigplan.org/profile/jonathanbell" class="navigate">PLDI 2018 profile</a></li><li><a href="https://pldi20.sigplan.org/profile/jonathanbell" class="navigate">PLDI 2020 profile</a></li><li><a href="https://sigcse2025.sigcse.org/profile/jonathanbell" class="navigate">SIGCSE TS 2025 profile</a></li><li><a href="https://2013.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2013 profile</a></li><li><a href="https://2014.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2014 profile</a></li><li><a href="https://2015.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2015 profile</a></li><li><a href="https://2016.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2016 profile</a></li><li><a href="https://2017.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2017 profile</a></li><li><a href="https://2018.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2018 profile</a></li><li><a href="https://2019.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2019 profile</a></li><li><a href="https://2024.splashcon.org/profile/jonathanbell" class="navigate">SPLASH 2024 profile</a></li></ul></div></small></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Jonathan Bell" src="https://2020.splashcon.org/getProfileImage/jonathanbell/2a358d37-c5d4-43ba-9a56-74cdb05f039c/small.jpg?1711551152000" class="outputimage thumbnail"/><p><small>Registered user since Thu 3 Apr 2014</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Jonathan Bell</div><div class="profile-item"><span class="profile-item-heading">Bio:</span><p>Jon is an Assistant Professor directing research in Software Engineering and Software Systems at Northeastern University. His research makes it easier for developers to create reliable and secure software by improving software testing and program analysis. Jon’s work on accelerating software testing has been recognized with an ACM SIGSOFT Distinguished Paper Award (ICSE ’14 – Unit Test Virtualization with VMVM), and was the basis for an industrial collaboration with Electric Cloud. His program analysis research has resulted in several widely adopted runtime systems for the JVM, including the Phosphor taint tracking system (OOPSLA ’14) and CROCHET checkpoint/rollback tool (ECOOP ’18). His research has been funded by the NSA and the NSF, and he is the recipient of the NSF CAREER award. At George Mason, Jon taught courses in distributed systems, web development, and program analysis. His teaching at GMU has been recognized with a departmental award. Jon serves on a variety of program committees and was recently co-chair of the PLDI 2020 Artifact Evaluation Committee. As part of his efforts to broaden the participation of underrepresented groups in computing, Jon co-organizes the PL/SE mentoring workshop at SPLASH (in 2017, 2018, 2019 and 2020).</p></div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>Northeastern University</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://jonbell.net/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://jonbell.net/</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>Software Testing, Software Engineering, Program Analysis</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2020</h3><div><h4>SPLASH</h4><ul class="block"><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://2020.splashcon.org/committee/splash-2020-PLMW-organizing-committee" class="small navigate" style="margin-left: 0.2em;">PLMW Co-Chair in Organizing Committee within the PLMW-track</a></li><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="48b85f95-7161-4225-83e8-da63006ee69c">Catching More Bugs with Fewer False Alarms</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://2020.splashcon.org/committee/splash-2020-organizing-committee" class="small navigate" style="margin-left: 0.2em;">PLMW Co-Chair in Organizing Committee</a></li><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="93f41bfd-9988-4002-8de8-22ce8bf00c55">A Large-Scale Longitudinal Study of Flaky Tests</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/jonathanbell" 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://2020.splashcon.org/profile","embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837", [{"name":"context", "value":"splash-2020"},{"name":"pers", "value":"jonathanbell"},],"", this.nextSibling, true,"1"); return false;'></button><a submitid="embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837" 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 Dec 2020" class="label-default label"><span class="glyphicon glyphicon-time"></span> SPLASH 2020-profile</span><br><small><a href="https://conf.researchr.org/profile/conf/jonathanbell" target="_blank" class="navigate">View general profile</a></small></span></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 11 Dec 09:58</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://2020.splashcon.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="splash-2020" /><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://2020.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2020"},],"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://2020.splashcon.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="splash-2020" /><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://2020.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2020"},],"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://2020.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2020</a></h3><div><a href="https://2020.splashcon.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.68.0</a>)<br/><small><a href="https://2020.splashcon.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a><br/><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a><br/><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a><br/><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a><br/><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a><br/><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/dls-2020" class="navigate">DLS 2020</a><br/><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a><br/><a href="https://conf.researchr.org/home/gpce-2020" class="navigate">GPCE 2020</a><br/><a href="https://conf.researchr.org/home/sas-2020" class="navigate">SAS 2020</a><br/><a href="https://conf.researchr.org/home/sle-2020" class="navigate">SLE 2020</a><br/><h4>Workshops</h4><a href="https://2020.splashcon.org/home/agere-2020" class="navigate">AGERE 2020</a><br/><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate">HATRA 2020</a><br/><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate">HILT 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.splashcon.org/home/live-2020" class="navigate">LIVE 2020</a><br/><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate">LPOP 2020</a><br/><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate">NSAD 2020</a><br/><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate">PLATEAU 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate">REBLS 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate">TAPAS 2020</a><br/><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate">VMIL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><script> //move ecoop track items into main column var ecoopSubMenu = $('#tracks-in-navbar .dropdown-submenu:has(a:contains("ECOOP"))').remove(); var ecoopItems = ecoopSubMenu.find('ul li'); var trackMainMenu = $('#tracks-in-navbar .col-sm-5 ul'); var ecoopHeader = '<li class="block dropdown-header">ECOOP 2020</li>'; if(ecoopItems.length){ trackMainMenu.append(ecoopHeader).append(ecoopItems); } //remove postponed workshops from tracks/org menu var toHideRegex = RegExp('COP|FTfJP|ICOOOLPS|IWACO|JSTools|PRIDE|SOOP|SySEPL|VORTEX', 'i'); $('.navbar-nav ul.multi-column-dropdown>li>a').filter( function() { return toHideRegex.test( this.innerText ); } ).parent().remove(); </script></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el); var $parent=$e.parent();$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: $parent.hasClass('btn-group') || $parent.hasClass('input-group') ? $parent.parent() : 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>