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://2015.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2015.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>WODA 2015 - 13th International Workshop on Dynamic Analysis - SPLASH 2015</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2015.splashcon.org";</script> <link rel="stylesheet" href="https://2015.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2015.splashcon.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2015.splashcon.org/getFile/dc9fe21d-87f9-4e2e-b090-a8fcb17b337f/logobarsplash.css?1445932920708" type="text/css" /><link rel="stylesheet" href="https://2015.splashcon.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2015.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://2015.splashcon.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2015.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2015.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2015.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2015.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2015.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2015.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the website of the 13th International Workshop on Dynamic Analysis. WODA 2015 is sponsored by ACM SIGPLAN. A subset of the WODA’15 attendees: WODA’15 was a great success. Thanks to all authors and participants! Koushik Sen delivered the WODA’15 keynote on “Concolic Testing: A Decade Later” Nine papers were accepted to appear in the proceedings of WODA’15 Previous WODAs: WODA’14 (Co-located with ISSTA) WODA’13 (Co-located with ASPLOS) WODA’12 (Co-located with ISSTA) WODA’11 (Co-located with ISSTA) WODA’10 (Co-located with ISSTA) WODA’09 (Co-located with ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='WODA 2015 - 13th International Workshop on Dynamic Analysis - SPLASH 2015'>  <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2015.splashcon.org/getImage/carousel/Pittsburgh_skyline_dawn.jpg?1422289583000'> <meta name='description' content='Welcome to the website of the 13th International Workshop on Dynamic Analysis. WODA 2015 is sponsored by ACM SIGPLAN. A subset of the WODA’15 attendees: WODA’15 was a great success. Thanks to all authors and participants! Koushik Sen delivered the WODA’15 keynote on “Concolic Testing: A Decade Later” Nine papers were accepted to appear in the proceedings of WODA’15 Previous WODAs: WODA’14 (Co-located with ISSTA) WODA’13 (Co-located with ASPLOS) WODA’12 (Co-located with ISSTA) WODA’11 (Co-located with ISSTA) WODA’10 (Co-located with ISSTA) WODA’09 (Co-located with ...'> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2015.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2015</span></a><div class="place">Fri 23 - Fri 30 October 2015 <a href="https://2015.splashcon.org/venue/sheraton-station-square-hotel" class="navigate">Pittsburgh, Pennsylvania, United States</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/venue/sheraton-station-square-hotel" class="navigate">Conference Venue: Sheraton Station Square Hotel</a></li><li class="block"><a href="https://2015.splashcon.org/venue/carnegie-museum" class="navigate">Conference Banquet: Carnegie Museum of Natural History</a></li><li class="block"><a href="https://2015.splashcon.org/attending/about" class="navigate">About</a></li><li class="block"><a href="https://2015.splashcon.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://2015.splashcon.org/attending/anti-harrasment" class="navigate">Anti-Harassment Policy</a></li><li class="block"><a href="https://2015.splashcon.org/attending/dining" class="navigate">Dining</a></li><li class="block"><a href="https://2015.splashcon.org/attending/downloads" class="navigate">Downloads</a></li><li class="block"><a href="https://2015.splashcon.org/attending/pittsburgh-guide" class="navigate">Insider's Guide to Pittsburgh</a></li><li class="block"><a href="https://2015.splashcon.org/attending/maps" class="navigate">Maps</a></li><li class="block"><a href="https://2015.splashcon.org/attending/mobileapp" class="navigate">Mobile App</a></li><li class="block"><a href="https://2015.splashcon.org/attending/registration" class="navigate">Registration</a></li><li class="block"><a href="https://2015.splashcon.org/attending/students" class="navigate">Students</a></li><li class="block"><a href="https://2015.splashcon.org/attending/support-program" class="navigate">Support Program</a></li><li class="block"><a href="https://2015.splashcon.org/attending/supporters" class="navigate">Supporters</a></li><li class="block"><a href="https://2015.splashcon.org/attending/travel" class="navigate">Travel</a></li><li class="block"><a href="https://2015.splashcon.org/attending/visa" class="navigate">Visas</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" class="navigate">SPLASH Program</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://2015.splashcon.org/info/program-overview" class="navigate">Program Overview</a></li><li class="block"><a href="https://2015.splashcon.org/info/proceedings" class="navigate"><span class="text-muted"><span class="glyphicon glyphicon-lock"></span> </span>SPLASH Proceedings</a></li><li class="block divider"></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Fri 23 Oct 2015" class="navigate">Fri 23 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Sat 24 Oct 2015" class="navigate">Sat 24 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Sun 25 Oct 2015" class="navigate">Sun 25 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Mon 26 Oct 2015" class="navigate">Mon 26 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Tue 27 Oct 2015" class="navigate">Tue 27 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Wed 28 Oct 2015" class="navigate">Wed 28 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Thu 29 Oct 2015" class="navigate">Thu 29 Oct</a></li><li class="block"><a href="https://2015.splashcon.org/program/program-splash2015/" data-fltr-type="date" data-fltr-val="Fri 30 Oct 2015" class="navigate">Fri 30 Oct</a></li></ul></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2015</li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-demos" class="navigate">Demos</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-ds" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2015.splashcon.org/track/oopsla2015" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-panels" class="navigate">Panels</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-posters" class="navigate">Posters</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-plmw" class="navigate">PLMW</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-rpg" class="navigate">RPG</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-splash-e" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-splash-i" class="navigate">SPLASH-I</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-social" class="navigate">Social Events</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-src" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-sv" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-wavefront" class="navigate">Wavefront</a></li><li class="block"><a href="https://2015.splashcon.org/track/splash2015-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/gpce2015" class="navigate"><span class="glyphicon glyphicon-home"></span> GPCE</a></li><li class="block"><a href="https://conf.researchr.org/track/gpce2015/gpce2015" class="navigate"><strong>GPCE</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.onward-conference.org" class="navigate"><span class="glyphicon glyphicon-home"></span> Onward!</a></li><li class="block"><a href="https://2015.onward-conference.org/track/onward2015-essays" class="navigate"><strong>Onward!</strong> Essays</a></li><li class="block"><a href="https://2015.onward-conference.org/track/onward2015-papers" class="navigate"><strong>Onward!</strong> Papers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLoP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/plop2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PLoP</a></li><li class="block"><a href="https://conf.researchr.org/track/plop2015/plop2015" class="navigate"><strong>PLoP</strong> </a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/track/sle2015" class="navigate"><strong>SLE</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2015.splashcon.org/track/agere2015" class="navigate"><strong>AGERE!</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DSM</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/dsm2015" class="navigate"><span class="glyphicon glyphicon-home"></span> DSM</a></li><li class="block"><a href="https://2015.splashcon.org/track/dsm2015" class="navigate"><strong>DSM</strong> </a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/track/etx2015" class="navigate"><strong>ETX</strong> </a></li><li class="block"><a href="https://2015.splashcon.org/track/fpw2015" class="navigate"><strong>Future Programming Workshop</strong> </a></li><li class="block"><a href="https://2015.splashcon.org/track/mobiledeli2015" class="navigate"><strong>MobileDeLi</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NOOL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/nool2015" class="navigate"><span class="glyphicon glyphicon-home"></span> NOOL</a></li><li class="block"><a href="https://2015.splashcon.org/track/nool2015" class="navigate"><strong>NOOL</strong> </a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/track/plateau2015" class="navigate"><strong>PLATEAU</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PROMOTO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/promoto2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PROMOTO</a></li><li class="block"><a href="https://2015.splashcon.org/track/promoto2015" class="navigate"><strong>PROMOTO</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Parsing@SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/ParsingAtSLE2015" class="navigate"><span class="glyphicon glyphicon-home"></span> Parsing@SLE</a></li><li class="block"><a href="https://2015.splashcon.org/track/ParsingAtSLE2015" class="navigate"><strong>Parsing@SLE</strong> </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 class="block"><a href="https://conf.researchr.org/home/rebls-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> REBLS</a></li><li class="block"><a href="https://2015.splashcon.org/track/rebls2015" class="navigate"><strong>REBLS</strong> </a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/track/seps2015" class="navigate"><strong>SEPS</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Smart Software Strategies</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/SmartSoftwareStrategies2015" class="navigate"><span class="glyphicon glyphicon-home"></span> Smart Software Strategies</a></li><li class="block"><a href="https://2015.splashcon.org/track/SmartSoftwareStrategies2015" class="navigate"><strong>Smart Software Strategies</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>WODA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/woda2015" class="navigate"><span class="glyphicon glyphicon-home"></span> WODA</a></li><li class="block"><a href="https://2015.splashcon.org/track/woda2015" class="navigate"><strong>WODA</strong> </a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://2015.splashcon.org/track/dbpl2015" class="navigate"><strong>DBPL</strong> </a></li><li class="block"><a href="https://2015.splashcon.org/track/dls2015" class="navigate"><strong>DLS</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SPLASH 2015 Committees</li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-demos-program-committee" class="navigate"><strong>Demos</strong></a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-ds-organizing-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/oopsla-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/oopsla-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA Artifacts</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-artifacts-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-artifacts-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-panels-organizing-committee" class="navigate"><strong>Panels</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Posters</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-posters-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-posters-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-inspirations-organizing-committee" class="navigate"><strong>PLMW</strong></a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-rpg-organization" class="navigate"><strong>RPG</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 class="block"><a href="https://2015.splashcon.org/committee/splash2015-splash-e-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-splash-e-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-splash-e-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-splash-i-organizers" class="navigate"><strong>SPLASH-I</strong></a></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 class="block"><a href="https://2015.splashcon.org/committee/splash2015-src-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-src-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-student-volunteers-organizing-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2015.splashcon.org/committee/tutorials-organizing-committee" class="navigate"><strong>Tutorials</strong></a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-wavefront-organizing-committee" class="navigate"><strong>Wavefront</strong></a></li><li class="block"><a href="https://2015.splashcon.org/committee/splash2015-workshops-program-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2015.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="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/gpce2015/gpce2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce2015/gpce2015-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce2015/gpce2015-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>Onward!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.onward-conference.org/committee/onward2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.onward-conference.org/committee/onward2015-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://2015.onward-conference.org/committee/onward2015-essays-program-committee" class="navigate"><strong>Onward! Essays</strong></a></li><li class="block"><a href="https://2015.onward-conference.org/committee/onward2015-papers-program-committee" class="navigate"><strong>Onward! Papers</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLoP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/plop2015/plop2015-organizing-committee" class="navigate">Organizing 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 class="block"><a href="https://2015.splashcon.org/committee/sle2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/sle2015-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/sle2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AGERE!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/agere-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/agere-2015-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>DSM</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/dsm-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/dsm-2015-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>ETX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/etx-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/etx-2015-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/etx2015-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Future Programming Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/fpw-2015-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>MobileDeLi</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/mobiledeli-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/mobiledeli-2015-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/mobiledeli-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/mobiledeli-2015-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>NOOL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/nool-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/nool-2016-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 class="block"><a href="https://2015.splashcon.org/committee/plateau-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/plateau-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/plateau-2015-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>PROMOTO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/promoto-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/promoto-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/promoto-2015-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>Parsing@SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/parsingatsle-2015-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://2015.splashcon.org/committee/parsingatsle-2015-papers-organizing-committee" class="navigate">Organizers</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 class="block"><a href="https://2015.splashcon.org/committee/rebls-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/rebls-2015-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>SEPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/seps-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/seps-2015-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>Smart Software Strategies</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/smartsoftwarestrategies-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/smartsoftwarestrategies-2015-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>WODA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/woda-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2015.splashcon.org/committee/woda-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DBPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/dbpl-2015-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>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2015.splashcon.org/committee/dls-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2015.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 class="block"><a href="https://2015.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></li><li class="block"><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li class="block"><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li class="block"><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li class="block"><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2015</span></li><li class="block"><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li class="block"><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li class="block"></li><li class="block"><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 class="block"></li><li class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><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 class="block"><a href="https://conf.researchr.org/signin/splash2015/https%3A%5Es%5Es2015.splashcon.org%5Estrack%5Eswoda2015" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2015.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://2015.splashcon.org" class="navigate">SPLASH 2015</a> (<a href="https://2015.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/woda2015" class="navigate">WODA 2015</a> (<a href="https://2015.splashcon.org/series/woda" class="navigate">series</a>) / </span><h1>13th International Workshop on Dynamic Analysis<span class="pull-right small h1">WODA 2015</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Accepted Papers</a></li><li><a href="#Call-for-Papers" data-toggle="tab">Call for Papers</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "><p>Welcome to the website of the 13th International Workshop on Dynamic Analysis. WODA 2015 is sponsored by ACM SIGPLAN.</p> <p>A subset of the WODA’15 attendees: <img src="http://www.ics.uci.edu/~guoqingx/pic/woda-15.jpg" alt="group picture" title="A subset of the WODA'15 attendees"></p> <ul> <li>WODA’15 was a great success. Thanks to all authors and participants!</li> <li><a href="http://www.cs.berkeley.edu/~ksen/">Koushik Sen</a> delivered the WODA’15 keynote on “<strong>Concolic Testing: A Decade Later</strong>”</li> <li>Nine papers were accepted to appear in the proceedings of WODA’15</li> </ul> <p><strong>Previous WODAs</strong>:</p> <ul> <li><a href="http://woda14.cs.rutgers.edu/">WODA’14</a> (Co-located with ISSTA)</li> <li><a href="http://woda13.eecs.umich.edu/">WODA’13</a> (Co-located with ASPLOS)</li> <li><a href="http://woda2012.ec-spride.de/">WODA’12</a> (Co-located with ISSTA)</li> <li><a href="https://www.cs.purdue.edu/woda11/">WODA’11</a> (Co-located with ISSTA)</li> <li><a href="http://isr.uci.edu/woda10/Welcome.html">WODA’10</a> (Co-located with ISSTA)</li> <li><a href="http://research.cs.wisc.edu/woda-2009//">WODA’09</a> (Co-located with ISSTA)</li> <li><a href="http://research.cs.wisc.edu/woda-2008/">WODA’08</a> (Co-located with ISSTA)</li> <li><a href="https://www.st.cs.uni-saarland.de/woda/">WODA’07</a> (Co-located with ICSE)</li> <li><a href="http://www.cs.arizona.edu/~ngupta/WODA06/">WODA’06</a> (Co-located with ICSE)</li> <li><a href="http://www.csd.uwo.ca/woda2005/">WODA’05</a> (Co-located with ICSE)</li> <li><a href="http://www.cs.virginia.edu/woda2004/">WODA’04</a> (Co-located with ICSE)</li> <li><a href="http://www.cs.nmsu.edu/~jcook/woda2003/">WODA’03</a> (Co-located with ICSE)</li> </ul> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2015.splashcon.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="splash2015" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT-04:00) Eastern Time (US & Canada)</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-05:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:30) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-03:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-03:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-02:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+02:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+03:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+06:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+10:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+11:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+11:00) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+10:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+13:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+13:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2015.splashcon.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"splash2015"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != -300){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 26 Oct</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Eastern Time (US & Canada)</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-10"><table data-facet-date="Mon 26 Oct 2015" data-facet-date-order="151026" data-facet-room="Haselton 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">10:30 - 11:30</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://2015.splashcon.org/track/woda2015" target="_blank" class="text-muted navigate">WODA </a></span> at <a href="https://2015.splashcon.org/room/sheraton-station-square-hotel-haselton-1" target="_blank" class="room-link navigate">Haselton 1</a><br/> <small>Chair(s): <a href="https://2015.splashcon.org/profile/guoqingharryxu" target="_blank" class="navigate">Harry Xu</a><span class="prog-aff"> University of California, Irvine</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="80cfaa26-f582-4ff7-ad86-aa50d6fee5b1" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:30</div><strong>60m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="9059a7cf-a639-4520-88cd-305327f3fe23" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9059a7cf-a639-4520-88cd-305327f3fe23">Concolic Testing: A Decade Later</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/koushiksen" class="navigate">Koushik Sen</a><span class="prog-aff"> University of California, Berkeley</span></div></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Mon 26 Oct 2015" data-facet-date-order="151026" data-facet-room="Haselton 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">11:30 - 12:00</div></td><td colspan="2"><div class="session-info-in-table">Research Reports 1<span class="pull-right"><a href="https://2015.splashcon.org/track/woda2015" target="_blank" class="text-muted navigate">WODA </a></span> at <a href="https://2015.splashcon.org/room/sheraton-station-square-hotel-haselton-1" target="_blank" class="room-link navigate">Haselton 1</a><br/> <small>Chair(s): <a href="https://2015.splashcon.org/profile/yudavidliu" target="_blank" class="navigate">Yu David Liu</a><span class="prog-aff"> State University of New York (SUNY) Binghamton</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="79724544-f4a8-494a-8ad0-e6a860fa1472" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="5c98b39b-e5ab-43b6-a90a-a956a423f3f1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="5c98b39b-e5ab-43b6-a90a-a956a423f3f1">SQL for Deep Dynamic Analysis?</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/mohammadrezaazadmanesh" class="navigate">Mohammad Reza Azadmanesh</a><span class="prog-aff"> University of Lugano</span>, <a href="https://2015.splashcon.org/profile/matthiashauswirth" class="navigate">Matthias Hauswirth</a><span class="prog-aff"> University of Lugano, Switzerland</span></div></td></tr></table></div><div class="hidable band hour-13"><table data-facet-date="Mon 26 Oct 2015" data-facet-date-order="151026" data-facet-room="Haselton 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">13:30 - 15:00</div></td><td colspan="2"><div class="session-info-in-table">Research Reports 2<span class="pull-right"><a href="https://2015.splashcon.org/track/woda2015" target="_blank" class="text-muted navigate">WODA </a></span> at <a href="https://2015.splashcon.org/room/sheraton-station-square-hotel-haselton-1" target="_blank" class="room-link navigate">Haselton 1</a><br/> <small>Chair(s): <a href="https://2015.splashcon.org/profile/juliandolby" target="_blank" class="navigate">Julian Dolby</a><span class="prog-aff"> IBM Research</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="d83fd789-e8fb-4c5f-9d6e-d2fd6ab52cd9" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">13:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="07a7ef17-f56b-4b77-abbe-52882f67ee7d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="07a7ef17-f56b-4b77-abbe-52882f67ee7d">Ayudante: Identifying Undesired Variable Interactions</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/irfanulhaq" class="navigate">Irfan Ul Haq</a><span class="prog-aff"> IMDEA Software Institute</span>, <a href="https://2015.splashcon.org/profile/juancaballero" class="navigate">Juan Caballero</a><span class="prog-aff"> IMDEA Software Institute</span>, <a href="https://2015.splashcon.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a><span class="prog-aff"> University of Washington</span></div></td></tr><tr data-slot-id="3662d7df-1f87-456b-b508-c05e7bd6e45e" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="bebed1e0-f3ce-43f0-94b2-4434f1d73b96" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="bebed1e0-f3ce-43f0-94b2-4434f1d73b96">Efficient Dynamic Analysis of the Synchronization Performance of Java Applications</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/peterhofer" class="navigate">Peter Hofer</a><span class="prog-aff"> Christian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz</span>, <a href="https://2015.splashcon.org/profile/davidgnedt" class="navigate">David Gnedt</a><span class="prog-aff"> Christian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz</span>, <a href="https://2015.splashcon.org/profile/hanspetermossenbock" class="navigate">Hanspeter Mössenböck</a><span class="prog-aff"> Johannes Kepler University Linz</span></div></td></tr><tr data-slot-id="5891db12-5403-47ad-9a4d-8cb420581b65" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="c10bb4f1-d040-42b2-8e8a-6a2ccd0ba321" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c10bb4f1-d040-42b2-8e8a-6a2ccd0ba321">Recovering Execution Data from Incomplete Observations</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/peterohmann" class="navigate">Peter Ohmann</a><span class="prog-aff"> University of Wisconsin - Madison</span>, <a href="https://2015.splashcon.org/profile/davidbinghambrown" class="navigate">David Bingham Brown</a><span class="prog-aff"> University of Wisconsin - Madison</span>, <a href="https://2015.splashcon.org/profile/benliblit" class="navigate">Ben Liblit</a><span class="prog-aff"> University of Wisconsin–Madison</span>, <a href="https://2015.splashcon.org/profile/thomasreps" class="navigate">Thomas Reps</a><span class="prog-aff"> University of Wisconsin - Madison and Grammatech Inc.</span></div><a href="http://pages.cs.wisc.edu/~liblit/woda-2015/woda-2015.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-15"><table data-facet-date="Mon 26 Oct 2015" data-facet-date-order="151026" data-facet-room="Haselton 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">15:30 - 16:00</div></td><td colspan="2"><div class="session-info-in-table">Research Reports 3<span class="pull-right"><a href="https://2015.splashcon.org/track/woda2015" target="_blank" class="text-muted navigate">WODA </a></span> at <a href="https://2015.splashcon.org/room/sheraton-station-square-hotel-haselton-1" target="_blank" class="room-link navigate">Haselton 1</a><br/> <small>Chair(s): <a href="https://2015.splashcon.org/profile/matthiashauswirth" target="_blank" class="navigate">Matthias Hauswirth</a><span class="prog-aff"> University of Lugano, Switzerland</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="8b4adaee-b7a3-432a-b54a-7cddedfe16c7" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="cd0a717b-d449-4fb5-a0d7-e3febb7d6e12" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cd0a717b-d449-4fb5-a0d7-e3febb7d6e12">A Formal Foundation for Trace-Based JIT Compilers</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/maartenvandercammen" class="navigate">Maarten Vandercammen</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2015.splashcon.org/profile/jensnicolay" class="navigate">Jens Nicolay</a><span class="prog-aff"> </span>, <a href="https://2015.splashcon.org/profile/stefanmarr" class="navigate">Stefan Marr</a><span class="prog-aff"> INRIA, France</span>, <a href="https://2015.splashcon.org/profile/joeridekoster" class="navigate">Joeri De Koster</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2015.splashcon.org/profile/theodhondt" class="navigate">Theo D'Hondt</a><span class="prog-aff"> Vrije Universiteit Brussel</span>, <a href="https://2015.splashcon.org/profile/coenderoover" class="navigate">Coen De Roover</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div><a href="https://doi.org/10.1145/2823363.2823369" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://soft.vub.ac.be/Publications/2015/vub-soft-tr-15-10.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Mon 26 Oct 2015" data-facet-date-order="151026" data-facet-room="Haselton 1" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c29"></td><td><div class="slot-label">16:00 - 17:00</div></td><td colspan="2"><div class="session-info-in-table">Extended Abstracts<span class="pull-right"><a href="https://2015.splashcon.org/track/woda2015" target="_blank" class="text-muted navigate">WODA </a></span> at <a href="https://2015.splashcon.org/room/sheraton-station-square-hotel-haselton-1" target="_blank" class="room-link navigate">Haselton 1</a><br/> <small>Chair(s): <a href="https://2015.splashcon.org/profile/guoqingharryxu" target="_blank" class="navigate">Harry Xu</a><span class="prog-aff"> University of California, Irvine</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="594193a4-39d9-474d-938d-e24208b32da0" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="31b6593b-b36f-450f-9536-38f0c4472e83" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="31b6593b-b36f-450f-9536-38f0c4472e83">Infection Size as a Measure of Bug Severity</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/mohammadrezaazadmanesh" class="navigate">Mohammad Reza Azadmanesh</a><span class="prog-aff"> University of Lugano</span>, <a href="https://2015.splashcon.org/profile/matthiashauswirth" class="navigate">Matthias Hauswirth</a><span class="prog-aff"> University of Lugano, Switzerland</span></div></td></tr><tr data-slot-id="e660e528-8b4e-494c-a282-d2ffeebe12f8" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:15</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="e9b3d2bb-9670-4d9f-83a9-16e7aa7056a8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e9b3d2bb-9670-4d9f-83a9-16e7aa7056a8">Just-in-Time Data Structures: Towards Declarative Swap Rules</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/mattiasdewael" class="navigate">Mattias De Wael</a><span class="prog-aff"> Vrije Universiteit Brussel</span></div></td></tr><tr data-slot-id="1b0d6f32-e61b-4ae2-b80e-802857b1aba9" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:30</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="dd9dc60b-a841-440d-8b08-149355dd7fa9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="dd9dc60b-a841-440d-8b08-149355dd7fa9">Towards Deployment-Time Dynamic Analysis of Server Applications</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/luispina" class="navigate">Luís Pina</a><span class="prog-aff"> Imperial College London, UK</span>, <a href="https://2015.splashcon.org/profile/cristiancadar" class="navigate">Cristian Cadar</a><span class="prog-aff"> Imperial College London</span></div></td></tr><tr data-slot-id="659fad1f-74dc-40f9-8c2b-554c272f222b" class="hidable"><td class="track-color c29"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:45</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="WODA "></span></td><td><span data-event-star="66c3b3f8-5c0a-4d86-bcba-649286b8803c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="66c3b3f8-5c0a-4d86-bcba-649286b8803c">Supporting PHP Dynamic Analysis in PHP AiR</a></strong><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/markhills" class="navigate">Mark Hills</a><span class="prog-aff"> East Carolina University</span></div></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="cd0a717b-d449-4fb5-a0d7-e3febb7d6e12" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cd0a717b-d449-4fb5-a0d7-e3febb7d6e12">A Formal Foundation for Trace-Based JIT Compilers</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/maartenvandercammen" class="navigate">Maarten Vandercammen</a>, <a href="https://2015.splashcon.org/profile/jensnicolay" class="navigate">Jens Nicolay</a>, <a href="https://2015.splashcon.org/profile/stefanmarr" class="navigate">Stefan Marr</a>, <a href="https://2015.splashcon.org/profile/joeridekoster" class="navigate">Joeri De Koster</a>, <a href="https://2015.splashcon.org/profile/theodhondt" class="navigate">Theo D'Hondt</a>, <a href="https://2015.splashcon.org/profile/coenderoover" class="navigate">Coen De Roover</a></div><a href="https://doi.org/10.1145/2823363.2823369" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> DOI</a><a href="http://soft.vub.ac.be/Publications/2015/vub-soft-tr-15-10.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="07a7ef17-f56b-4b77-abbe-52882f67ee7d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="07a7ef17-f56b-4b77-abbe-52882f67ee7d">Ayudante: Identifying Undesired Variable Interactions</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/irfanulhaq" class="navigate">Irfan Ul Haq</a>, <a href="https://2015.splashcon.org/profile/juancaballero" class="navigate">Juan Caballero</a>, <a href="https://2015.splashcon.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a></div></td></tr><tr><td><span data-event-star="bebed1e0-f3ce-43f0-94b2-4434f1d73b96" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="bebed1e0-f3ce-43f0-94b2-4434f1d73b96">Efficient Dynamic Analysis of the Synchronization Performance of Java Applications</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/peterhofer" class="navigate">Peter Hofer</a>, <a href="https://2015.splashcon.org/profile/davidgnedt" class="navigate">David Gnedt</a>, <a href="https://2015.splashcon.org/profile/hanspetermossenbock" class="navigate">Hanspeter Mössenböck</a></div></td></tr><tr><td><span data-event-star="31b6593b-b36f-450f-9536-38f0c4472e83" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="31b6593b-b36f-450f-9536-38f0c4472e83">Infection Size as a Measure of Bug Severity</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/mohammadrezaazadmanesh" class="navigate">Mohammad Reza Azadmanesh</a>, <a href="https://2015.splashcon.org/profile/matthiashauswirth" class="navigate">Matthias Hauswirth</a></div></td></tr><tr><td><span data-event-star="e9b3d2bb-9670-4d9f-83a9-16e7aa7056a8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e9b3d2bb-9670-4d9f-83a9-16e7aa7056a8">Just-in-Time Data Structures: Towards Declarative Swap Rules</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/mattiasdewael" class="navigate">Mattias De Wael</a></div></td></tr><tr><td><span data-event-star="c10bb4f1-d040-42b2-8e8a-6a2ccd0ba321" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c10bb4f1-d040-42b2-8e8a-6a2ccd0ba321">Recovering Execution Data from Incomplete Observations</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/peterohmann" class="navigate">Peter Ohmann</a>, <a href="https://2015.splashcon.org/profile/davidbinghambrown" class="navigate">David Bingham Brown</a>, <a href="https://2015.splashcon.org/profile/benliblit" class="navigate">Ben Liblit</a>, <a href="https://2015.splashcon.org/profile/thomasreps" class="navigate">Thomas Reps</a></div><a href="http://pages.cs.wisc.edu/~liblit/woda-2015/woda-2015.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="5c98b39b-e5ab-43b6-a90a-a956a423f3f1" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="5c98b39b-e5ab-43b6-a90a-a956a423f3f1">SQL for Deep Dynamic Analysis?</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/mohammadrezaazadmanesh" class="navigate">Mohammad Reza Azadmanesh</a>, <a href="https://2015.splashcon.org/profile/matthiashauswirth" class="navigate">Matthias Hauswirth</a></div></td></tr><tr><td><span data-event-star="66c3b3f8-5c0a-4d86-bcba-649286b8803c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="66c3b3f8-5c0a-4d86-bcba-649286b8803c">Supporting PHP Dynamic Analysis in PHP AiR</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/markhills" class="navigate">Mark Hills</a></div></td></tr><tr><td><span data-event-star="dd9dc60b-a841-440d-8b08-149355dd7fa9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="dd9dc60b-a841-440d-8b08-149355dd7fa9">Towards Deployment-Time Dynamic Analysis of Server Applications</a><div class="prog-track">WODA </div><div class="performers"><a href="https://2015.splashcon.org/profile/luispina" class="navigate">Luís Pina</a>, <a href="https://2015.splashcon.org/profile/cristiancadar" class="navigate">Cristian Cadar</a></div></td></tr></table></div><div id="Call-for-Papers" class="tab-pane "><h2>Call for Papers</h2><p><p>Dynamic analysis is widely used in software development to understand various run-time properties of a program. Dynamic analysis includes both offline techniques, which operate on some captured representation of the program’s behavior (e.g., a trace), and run-time techniques, which analyze the behavior on the fly, while the system is executing. Although inherently incomplete, dynamic analyses can be more precise than their static counterparts and show promise in aiding the understanding, development, and maintenance of robust and reliable large scale systems. Moreover, the data they provide enable statistical inferences to be made about program behavior. Dynamic analysis is playing a central role in the understanding of applications and systems as we grapple with emerging challenges such as systemic runtime bloat, high energy consumption, and the explosion of Big Data. The overall goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new issues, share results and ongoing work, and foster collaborations.</p> <p>This workshop is a forum for researchers and practitioners interested in the intersection of compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning, and data mining for addressing software and system performance. The workshop focuses on developing and studying analytic technologies (e.g., program analysis, statistical analysis, machine learning, data mining, visualization) applied on various software or system artifacts (e.g., production systems, tests, program traces, system logs) to address issues in software and system reliability, dependability, performance, and scalability.</p> <p><strong>Submissions to WODA should be in one of the following two categories</strong>:</p> <ul> <li>A four to six page position/idea paper describing an issue in the field, and arguing for a specific stance or approach to that issue</li> <li>A two-page extended abstract describing an ongoing project</li> </ul> <p>All submissions will be peer-reviewed by at least three members of the program committee. During the workshop, extended abstracts will receive a shorter presentation and discussion period.</p> <p>WODA welcomes submissions that propose dynamic analysis techniques for solving all kinds of problems in software and systems; typical areas of interest that WODA covers are:</p> <ul> <li>Development of dynamic analysis tools and frameworks</li> <li>Efficient instrumentation techniques</li> <li>Novel applications of dynamic analysis</li> <li>Program security and penetration testing</li> <li>Fault detection, debugging, and tolerance</li> <li>Performance analysis and optimization techniques</li> <li>Remote analysis and measurement of software systems</li> <li>Runtime monitoring</li> <li>Software and systems testing</li> <li>Statistical reasoning techniques</li> <li>Visualization and classification of program behavior</li> <li>Relating user feedback to execution dynamics</li> <li>Dynamic analysis for efficient memory management</li> <li>Dynamic analysis on embedded and mobile systems</li> </ul> <p>Submissions addressing an emerging problem are especially welcome. The workshop will be structured to encourage discussion and develop research collaborations.</p> <p><strong>Submission Instructions</strong></p> <p>Submissions must be in ACM SIGPLAN proceedings format, 10-point type, and may not exceed 6 pages. Word and LaTeX templates for this format are available <a href="http://www.sigplan.org/authorInformation.htm">here</a>. Submissions must be in PDF, printable on US Letter.</p> <p>Submissions should be made via the workshop <a href="https://www.easychair.org/conferences/?conf=woda15">EasyChair submission site</a>.</p> <p>Each informal short paper submission is evaluated based on relevance and interest to the workshop audience along with significance and clarity.</p> </p></div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates</div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2015.splashcon.org/track/woda2015" class="clickable-row past"><td>Mon 26 Oct 2015<br/>Workshop Date</td></tr><tr href="https://2015.splashcon.org/track/woda2015" class="clickable-row past"><td>Mon 14 Sep 2015<br/>Camera Ready</td></tr><tr href="https://2015.splashcon.org/track/woda2015" class="clickable-row past"><td>Mon 7 Sep 2015<br/>Notifications</td></tr><tr href="https://2015.splashcon.org/track/woda2015" class="clickable-row past"><td><strong>Fri 14 Aug 2015</strong><br/><strong>Submissions [Extended]</strong></td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2015.splashcon.org/committee/woda-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2015.splashcon.org/profile/walterbinder" class="navigate"><div class="media"><span class="pull-left"><img alt="Walter Binder" src="https://2015.splashcon.org/getProfileImage/walterbinder/ee4763e2-7a02-4b2d-8fb1-dd91177f22a1/micro-avatar.jpg?1711472552000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Walter Binder<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Lugano</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/guoqingharryxu" class="navigate"><div class="media"><span class="pull-left"><img alt="Harry Xu" src="https://2015.splashcon.org/getProfileImage/guoqingharryxu/5acd1882-84ef-45d9-aea5-d3de81ad4f14/micro-avatar.jpg?1711456029000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Harry Xu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California, Irvine</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/yudizheng" class="navigate"><div class="media"><span class="pull-left"><img alt="Yudi Zheng" src="https://2015.splashcon.org/getProfileImage/yudizheng/62aa01dd-9746-4e41-aa7a-b0fbae5b72b0/micro-avatar.jpg?1711515285000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yudi Zheng<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Lugano</span></h5><h5 class="media-heading"><small>China</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2015.splashcon.org/committee/woda-2015-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2015.splashcon.org/profile/shigeruchiba" class="navigate"><div class="media"><span class="pull-left"><img alt="Shigeru Chiba" src="https://2015.splashcon.org/getProfileImage/shigeruchiba/258ebf71-a922-4098-9466-b118a3634a44/micro-avatar.jpg?1711596240000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Shigeru Chiba<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Tokyo</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/briandemsky" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2015.splashcon.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Brian Demsky<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California at Irvine, USA</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/juliandolby" class="navigate"><div class="media"><span class="pull-left"><img alt="Julian Dolby" src="https://2015.splashcon.org/getProfileImage/juliandolby/c96e66d0-2d1d-4881-a39a-8a804df1e99d/micro-avatar.jpg?1711556395000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Julian Dolby<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IBM Research</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/irenefinocchi" class="navigate"><div class="media"><span class="pull-left"><img alt="Irene Finocchi" src="https://2015.splashcon.org/getProfileImage/irenefinocchi/9ed4eddb-9e21-4141-9c12-88d31f7b30fe/micro-avatar.jpg?1711558235000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Irene Finocchi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Sapienza University of Rome, Italy</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/thomasgross" class="navigate"><div class="media"><span class="pull-left"><img alt="Thomas Gross" src="https://2015.splashcon.org/getProfileImage/thomasgross/fe53deed-29f9-4397-9d4c-564a835f161a/micro-avatar.jpg?1711514613000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Thomas Gross<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">ETH Zurich, Switzerland</span></h5><h5 class="media-heading"><small></small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/rajivgupta" class="navigate"><div class="media"><span class="pull-left"><img alt="Rajiv Gupta" src="https://2015.splashcon.org/getProfileImage/rajivgupta/3df8c1ce-a214-4189-b81d-36593b9d9be2/micro-avatar.jpg?1723662297000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Rajiv Gupta<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California at Riverside, USA</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/matthiashauswirth" class="navigate"><div class="media"><span class="pull-left"><img alt="Matthias Hauswirth" src="https://2015.splashcon.org/getProfileImage/matthiashauswirth/1d0c2342-20b0-48a3-a9d6-f73280d38b79/micro-avatar.jpg?1711506581000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Matthias Hauswirth<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Lugano, Switzerland</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/yudavidliu" class="navigate"><div class="media"><span class="pull-left"><img alt="Yu David Liu" src="https://2015.splashcon.org/getProfileImage/yudavidliu/69c66efb-e2fe-4234-964d-20b8cc777b21/micro-avatar.jpg?1711486768000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yu David Liu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">State University of New York (SUNY) Binghamton</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/yilu" class="navigate"><div class="media"><span class="pull-left"><img alt="Yi Lu" src="https://2015.splashcon.org/getProfileImage/yilu/78ffe81d-275b-4047-8f7f-08b29b566229/micro-avatar.jpg?1711486767000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yi Lu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Oracle Labs</span></h5><h5 class="media-heading"><small>Australia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/hanspetermossenbock" class="navigate"><div class="media"><span class="pull-left"><img alt="Hanspeter Mössenböck" src="https://2015.splashcon.org/getProfileImage/hanspetermossenbock/a831efcb-d210-4f98-9b18-0123b5677f18/micro-avatar.jpg?1711458275000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hanspeter Mössenböck<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Johannes Kepler University Linz</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/atanasrountev" class="navigate"><div class="media"><span class="pull-left"><img alt="Atanas Rountev" src="https://2015.splashcon.org/getProfileImage/atanasrountev/57ea0ee0-eebe-48f0-91fe-1ed3a28b5d92/micro-avatar.jpg?1711471266000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Atanas Rountev<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Ohio State University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/petrtuma" class="navigate"><div class="media"><span class="pull-left"><img alt="Petr Tuma" src="https://2015.splashcon.org/getProfileImage/petrtuma/61f05db2-19ce-4996-90d3-f9594bb55819/micro-avatar.jpg?1711459707000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Petr Tuma<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Charles University, Czech Republic</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2015.splashcon.org/profile/jianjunzhao" class="navigate"><div class="media"><span class="pull-left"><img alt="Jianjun Zhao" src="https://2015.splashcon.org/getProfileImage/jianjunzhao/3b02f31e-c109-42dd-82cb-423520409179/micro-avatar.jpg?1711459316000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jianjun Zhao<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Shanghai Jiao Tong University</span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 1 Dec 12:32</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://2015.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="splash2015" /><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://2015.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash2015"},],"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://2015.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="splash2015" /><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://2015.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash2015"},],"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://2015.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2015</a></h3><div><a href="https://2015.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.67.1</a>)<br/><small><a href="https://2015.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://2015.splashcon.org/track/splash2015-demos" class="navigate">Demos</a><br/><a href="https://2015.splashcon.org/track/splash2015-ds" class="navigate">Doctoral Symposium</a><br/><a href="https://2015.splashcon.org/track/splash2015-keynotes" class="navigate">Keynotes</a><br/><a href="https://2015.splashcon.org/track/oopsla2015" class="navigate">OOPSLA</a><br/><a href="https://2015.splashcon.org/track/splash2015-artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2015.splashcon.org/track/splash2015-panels" class="navigate">Panels</a><br/><a href="https://2015.splashcon.org/track/splash2015-posters" class="navigate">Posters</a><br/><a href="https://2015.splashcon.org/track/splash2015-plmw" class="navigate">PLMW</a><br/><a href="https://2015.splashcon.org/track/splash2015-rpg" class="navigate">RPG</a><br/><a href="https://2015.splashcon.org/track/splash2015-splash-e" class="navigate">SPLASH-E</a><br/><a href="https://2015.splashcon.org/track/splash2015-splash-i" class="navigate">SPLASH-I</a><br/><a href="https://2015.splashcon.org/track/splash2015-social" class="navigate">Social Events</a><br/><a href="https://2015.splashcon.org/track/splash2015-src" class="navigate">Student Research Competition</a><br/><a href="https://2015.splashcon.org/track/splash2015-sv" class="navigate">Student Volunteers</a><br/><a href="https://2015.splashcon.org/track/splash2015-tutorials" class="navigate">Tutorials</a><br/><a href="https://2015.splashcon.org/track/splash2015-wavefront" class="navigate">Wavefront</a><br/><a href="https://2015.splashcon.org/track/splash2015-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/gpce2015" class="navigate">GPCE 2015</a><br/><a href="https://2015.onward-conference.org" class="navigate">Onward! 2015</a><br/><a href="https://conf.researchr.org/home/plop2015" class="navigate">PLoP 2015</a><br/><a href="https://2015.splashcon.org/track/sle2015" class="navigate">SLE 2015</a><br/><h4>Workshops</h4><a href="https://2015.splashcon.org/track/agere2015" class="navigate">AGERE! 2015</a><br/><a href="https://conf.researchr.org/home/dsm2015" class="navigate">DSM 2015</a><br/><a href="https://2015.splashcon.org/track/etx2015" class="navigate">ETX 2015</a><br/><a href="https://2015.splashcon.org/track/fpw2015" class="navigate">Future Programming Workshop 2015</a><br/><a href="https://2015.splashcon.org/track/mobiledeli2015" class="navigate">MobileDeLi 2015</a><br/><a href="https://conf.researchr.org/home/nool2015" class="navigate">NOOL 2015</a><br/><a href="https://2015.splashcon.org/track/plateau2015" class="navigate">PLATEAU 2015</a><br/><a href="https://conf.researchr.org/home/promoto2015" class="navigate">PROMOTO 2015</a><br/><a href="https://conf.researchr.org/home/ParsingAtSLE2015" class="navigate">Parsing@SLE 2015</a><br/><a href="https://conf.researchr.org/home/rebls-2015" class="navigate">REBLS 2015</a><br/><a href="https://2015.splashcon.org/track/seps2015" class="navigate">SEPS 2015</a><br/><a href="https://conf.researchr.org/home/SmartSoftwareStrategies2015" class="navigate">Smart Software Strategies 2015</a><br/><a href="https://conf.researchr.org/home/woda2015" class="navigate">WODA 2015</a><br/><h4>Co-hosted Symposia</h4><a href="https://2015.splashcon.org/track/dbpl2015" class="navigate">DBPL 2015</a><br/><a href="https://2015.splashcon.org/track/dls2015" class="navigate">DLS 2015</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2015.splashcon.org/venue/sheraton-station-square-hotel" class="navigate">Conference Venue: Sheraton Station Square Hotel</a><br><a href="https://2015.splashcon.org/venue/carnegie-museum" class="navigate">Conference Banquet: Carnegie Museum of Natural History</a><br><a href="https://2015.splashcon.org/attending/about" class="navigate">About</a><br><a href="https://2015.splashcon.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2015.splashcon.org/attending/anti-harrasment" class="navigate">Anti-Harassment Policy</a><br><a href="https://2015.splashcon.org/attending/dining" class="navigate">Dining</a><br><a href="https://2015.splashcon.org/attending/downloads" class="navigate">Downloads</a><br><a href="https://2015.splashcon.org/attending/pittsburgh-guide" class="navigate">Insider's Guide to Pittsburgh</a><br><a href="https://2015.splashcon.org/attending/maps" class="navigate">Maps</a><br><a href="https://2015.splashcon.org/attending/mobileapp" class="navigate">Mobile App</a><br><a href="https://2015.splashcon.org/attending/registration" class="navigate">Registration</a><br><a href="https://2015.splashcon.org/attending/students" class="navigate">Students</a><br><a href="https://2015.splashcon.org/attending/support-program" class="navigate">Support Program</a><br><a href="https://2015.splashcon.org/attending/supporters" class="navigate">Supporters</a><br><a href="https://2015.splashcon.org/attending/travel" class="navigate">Travel</a><br><a href="https://2015.splashcon.org/attending/visa" class="navigate">Visas</a></div><div class="col-sm-2"><h4>Social Media</h4> <a href="https://www.facebook.com/SPLASHCon"><img src="http://2014.splashcon.org/getImage/orig/facebook.png" border="0"></a>  <a href="https://twitter.com/splashcon"><img src="http://2014.splashcon.org/getImage/orig/twitter.png" border="0"></a> <a href="http://www.linkedin.com/groups/SPLASH-Conference-2487082"><img src="http://2014.splashcon.org/getImage/orig/linked-in.png" border="0"></a> <br><br> <h4>Sponsors</h4> <a href="http://www.acm.org"><img src="https://2015.splashcon.org/getImage/small/acm.png" border="0"></a><br><br> <a href="http://www.sigplan.org"><img src="https://2015.splashcon.org/getImage/small/sigplan.png" border="0"></a> </div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>