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>Jan Vitek - 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?d8ff81ab1f2387936557f525e4e8eb20" 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/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/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">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) is the premier conference at the intersection of programming, languages, and software engineering. Embracing all aspects of software construction and delivery, this year SPLASH includes OOPSLA, Onward!, DLS, GPCE, SLE, PLoP, and DBPL. SPLASH 2015 will take place October 25-30, 2015 in Pittsburgh, Pennsylvania, United States. The conference is now over see you in Amsterdam, Netherlands for SPLASH 2016!'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) is the premier conference at the intersection of programming, languages, and software engineering. Embracing all aspects of software construction and delivery, this year SPLASH includes OOPSLA, Onward!, DLS, GPCE, SLE, PLoP, and DBPL. SPLASH 2015 will take place October 25-30, 2015 in Pittsburgh, Pennsylvania, United States. The conference is now over see you in Amsterdam, Netherlands for SPLASH 2016!'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2015.splashcon.org/getImage/carousel/Pittsburgh_skyline_dawn.jpg?1422289583000'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Jan Vitek - SPLASH 2015'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="profile"><div class="frame"><div class="logobar"><div class="container"><a href="https://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><a href="https://2015.splashcon.org/venue/sheraton-station-square-hotel" class="navigate">Conference Venue: Sheraton Station Square Hotel</a></li><li><a href="https://2015.splashcon.org/venue/carnegie-museum" class="navigate">Conference Banquet: Carnegie Museum of Natural History</a></li><li><a href="https://2015.splashcon.org/attending/about" class="navigate">About</a></li><li><a href="https://2015.splashcon.org/attending/accommodation" class="navigate">Accommodation</a></li><li><a href="https://2015.splashcon.org/attending/anti-harrasment" class="navigate">Anti-Harassment Policy</a></li><li><a href="https://2015.splashcon.org/attending/dining" class="navigate">Dining</a></li><li><a href="https://2015.splashcon.org/attending/downloads" class="navigate">Downloads</a></li><li><a href="https://2015.splashcon.org/attending/pittsburgh-guide" class="navigate">Insider's Guide to Pittsburgh</a></li><li><a href="https://2015.splashcon.org/attending/maps" class="navigate">Maps</a></li><li><a href="https://2015.splashcon.org/attending/mobileapp" class="navigate">Mobile App</a></li><li><a href="https://2015.splashcon.org/attending/registration" class="navigate">Registration</a></li><li><a href="https://2015.splashcon.org/attending/students" class="navigate">Students</a></li><li><a href="https://2015.splashcon.org/attending/support-program" class="navigate">Support Program</a></li><li><a href="https://2015.splashcon.org/attending/supporters" class="navigate">Supporters</a></li><li><a href="https://2015.splashcon.org/attending/travel" class="navigate">Travel</a></li><li><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><a href="https://2015.splashcon.org/program/program-splash2015/" class="navigate">SPLASH Program</a></li><li><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><a href="https://2015.splashcon.org/info/program-overview" class="navigate">Program Overview</a></li><li><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="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li><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><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><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><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><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><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><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><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="dropdown-header">SPLASH 2015</li><li><a href="https://2015.splashcon.org/track/splash2015-demos" class="navigate">Demos</a></li><li><a href="https://2015.splashcon.org/track/splash2015-ds" class="navigate">Doctoral Symposium</a></li><li><a href="https://2015.splashcon.org/track/splash2015-keynotes" class="navigate">Keynotes</a></li><li><a href="https://2015.splashcon.org/track/oopsla2015" class="navigate">OOPSLA</a></li><li><a href="https://2015.splashcon.org/track/splash2015-artifacts" class="navigate">OOPSLA Artifacts</a></li><li><a href="https://2015.splashcon.org/track/splash2015-panels" class="navigate">Panels</a></li><li><a href="https://2015.splashcon.org/track/splash2015-posters" class="navigate">Posters</a></li><li><a href="https://2015.splashcon.org/track/splash2015-plmw" class="navigate">PLMW</a></li><li><a href="https://2015.splashcon.org/track/splash2015-rpg" class="navigate">RPG</a></li><li><a href="https://2015.splashcon.org/track/splash2015-splash-e" class="navigate">SPLASH-E</a></li><li><a href="https://2015.splashcon.org/track/splash2015-splash-i" class="navigate">SPLASH-I</a></li><li><a href="https://2015.splashcon.org/track/splash2015-social" class="navigate">Social Events</a></li><li><a href="https://2015.splashcon.org/track/splash2015-src" class="navigate">Student Research Competition</a></li><li><a href="https://2015.splashcon.org/track/splash2015-sv" class="navigate">Student Volunteers</a></li><li><a href="https://2015.splashcon.org/track/splash2015-tutorials" class="navigate">Tutorials</a></li><li><a href="https://2015.splashcon.org/track/splash2015-wavefront" class="navigate">Wavefront</a></li><li><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="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><a href="https://conf.researchr.org/home/gpce2015" class="navigate"><span class="glyphicon glyphicon-home"></span> GPCE</a></li><li><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><a href="https://2015.onward-conference.org" class="navigate"><span class="glyphicon glyphicon-home"></span> Onward!</a></li><li><a href="https://2015.onward-conference.org/track/onward2015-essays" class="navigate"><strong>Onward!</strong> Essays</a></li><li><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><a href="https://conf.researchr.org/home/plop2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PLoP</a></li><li><a href="https://conf.researchr.org/track/plop2015/plop2015" class="navigate"><strong>PLoP</strong> </a></li></ul></li><li><a href="https://2015.splashcon.org/track/sle2015" class="navigate"><strong>SLE</strong> </a></li><li class="dropdown-header">Workshops</li><li><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><a href="https://conf.researchr.org/home/dsm2015" class="navigate"><span class="glyphicon glyphicon-home"></span> DSM</a></li><li><a href="https://2015.splashcon.org/track/dsm2015" class="navigate"><strong>DSM</strong> </a></li></ul></li><li><a href="https://2015.splashcon.org/track/etx2015" class="navigate"><strong>ETX</strong> </a></li><li><a href="https://2015.splashcon.org/track/fpw2015" class="navigate"><strong>Future Programming Workshop</strong> </a></li><li><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><a href="https://conf.researchr.org/home/nool2015" class="navigate"><span class="glyphicon glyphicon-home"></span> NOOL</a></li><li><a href="https://2015.splashcon.org/track/nool2015" class="navigate"><strong>NOOL</strong> </a></li></ul></li><li><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><a href="https://conf.researchr.org/home/promoto2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PROMOTO</a></li><li><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><a href="https://conf.researchr.org/home/ParsingAtSLE2015" class="navigate"><span class="glyphicon glyphicon-home"></span> Parsing@SLE</a></li><li><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><a href="https://conf.researchr.org/home/rebls-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> REBLS</a></li><li><a href="https://2015.splashcon.org/track/rebls2015" class="navigate"><strong>REBLS</strong> </a></li></ul></li><li><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><a href="https://conf.researchr.org/home/SmartSoftwareStrategies2015" class="navigate"><span class="glyphicon glyphicon-home"></span> Smart Software Strategies</a></li><li><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><a href="https://conf.researchr.org/home/woda2015" class="navigate"><span class="glyphicon glyphicon-home"></span> WODA</a></li><li><a href="https://2015.splashcon.org/track/woda2015" class="navigate"><strong>WODA</strong> </a></li></ul></li><li class="dropdown-header">Co-hosted Symposia</li><li><a href="https://2015.splashcon.org/track/dbpl2015" class="navigate"><strong>DBPL</strong> </a></li><li><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="dropdown-header">SPLASH 2015 Committees</li><li><a href="https://2015.splashcon.org/committee/splash2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/splash2015-steering-committee" class="navigate">Steering Committee</a></li><li class="dropdown-header">Track Committees </li><li><a href="https://2015.splashcon.org/committee/splash2015-demos-program-committee" class="navigate"><strong>Demos</strong></a></li><li><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><a href="https://2015.splashcon.org/committee/oopsla-program-committee" class="navigate">Program Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/splash2015-artifacts-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/splash2015-artifacts-program-committee" class="navigate">Program Committee</a></li></ul></li><li><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><a href="https://2015.splashcon.org/committee/splash2015-posters-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/splash2015-posters-program-committee" class="navigate">Program Committee</a></li></ul></li><li><a href="https://2015.splashcon.org/committee/splash2015-inspirations-organizing-committee" class="navigate"><strong>PLMW</strong></a></li><li><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><a href="https://2015.splashcon.org/committee/splash2015-splash-e-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/splash2015-splash-e-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2015.splashcon.org/committee/splash2015-splash-e-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li><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><a href="https://2015.splashcon.org/committee/splash2015-src-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/splash2015-src-program-committee" class="navigate">Program Committee</a></li></ul></li><li><a href="https://2015.splashcon.org/committee/splash2015-student-volunteers-organizing-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li><a href="https://2015.splashcon.org/committee/tutorials-organizing-committee" class="navigate"><strong>Tutorials</strong></a></li><li><a href="https://2015.splashcon.org/committee/splash2015-wavefront-organizing-committee" class="navigate"><strong>Wavefront</strong></a></li><li><a href="https://2015.splashcon.org/committee/splash2015-workshops-program-committee" class="navigate"><strong>Workshops</strong></a></li><li class="dropdown-header">Contributors</li><li><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="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><a href="https://conf.researchr.org/committee/gpce2015/gpce2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/gpce2015/gpce2015-steering-committee" class="navigate">Steering Committee</a></li><li><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><a href="https://2015.onward-conference.org/committee/onward2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.onward-conference.org/committee/onward2015-steering-committee" class="navigate">Steering Committee</a></li><li><a href="https://2015.onward-conference.org/committee/onward2015-essays-program-committee" class="navigate"><strong>Onward! Essays</strong></a></li><li><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><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><a href="https://2015.splashcon.org/committee/sle2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/sle2015-steering-committee" class="navigate">Steering Committee</a></li><li><a href="https://2015.splashcon.org/committee/sle2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AGERE!</strong></a><ul class="block dropdown-menu"><li><a href="https://2015.splashcon.org/committee/agere-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/dsm-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/etx-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/etx-2015-program-committee" class="navigate">Program Committee</a></li><li><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><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><a href="https://2015.splashcon.org/committee/mobiledeli-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/mobiledeli-2015-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2015.splashcon.org/committee/mobiledeli-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/nool-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/plateau-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/plateau-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/promoto-2015-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/promoto-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/parsingatsle-2015-organizers" class="navigate">Organizers</a></li><li><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><a href="https://2015.splashcon.org/committee/rebls-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/seps-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/smartsoftwarestrategies-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><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><a href="https://2015.splashcon.org/committee/woda-2015-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2015.splashcon.org/committee/woda-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DBPL</strong></a><ul class="block dropdown-menu"><li><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><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><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><a href="https://2015.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></li><li><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2015</span></li><li><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li><a href="https://conf.researchr.org/signin/splash2015/https%3A%5Es%5Es2015.splashcon.org%5Esprofile%5Esjanvitek" rel="nofollow" class="navigate">Sign in</a></li><li><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="profile-page"><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>Jan Vitek<span class="pull-right profile-context"><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">SPLASH 2015 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/conf/janvitek" class="navigate">conf.research.org general profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2018/janvitek" class="navigate">* ICSE 2018 * profile</a></li><li><a href="https://conf.researchr.org/profile/CC-2021/janvitek" class="navigate">CC 2021 profile</a></li><li><a href="https://2015.ecoop.org/profile/janvitek" class="navigate">ECOOP 2015 profile</a></li><li><a href="https://2016.ecoop.org/profile/janvitek" class="navigate">ECOOP 2016 profile</a></li><li><a href="https://2019.ecoop.org/profile/janvitek" class="navigate">ECOOP 2019 profile</a></li><li><a href="https://2022.ecoop.org/profile/janvitek" class="navigate">ECOOP 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2018/janvitek" class="navigate">ECOOP and ISSTA 2018 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2021/janvitek" class="navigate">ECOOP and ISSTA 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/esop-2015/janvitek" class="navigate">ESOP 2015 profile</a></li><li><a href="https://conf.researchr.org/profile/etaps-2019/janvitek" class="navigate">ETAPS 2019 profile</a></li><li><a href="https://icfp16.sigplan.org/profile/janvitek" class="navigate">ICFP 2016 profile</a></li><li><a href="https://icfp17.sigplan.org/profile/janvitek" class="navigate">ICFP 2017 profile</a></li><li><a href="https://icfp20.sigplan.org/profile/janvitek" class="navigate">ICFP 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/icfp-splash-2025/janvitek" class="navigate">ICFP/SPLASH 2025 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2022/janvitek" class="navigate">ICSE 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/ismm-2015/janvitek" class="navigate">ISMM 2015 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-ecoop-2024/janvitek" class="navigate">ISSTA/ECOOP 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/oopsla-2009/janvitek" class="navigate">OOPSLA 2009 profile</a></li><li><a href="https://conf.researchr.org/profile/oopsla-pc-2016/janvitek" class="navigate">OOPSLA 2016 PC Meeting profile</a></li><li><a href="https://pldi15.sigplan.org/profile/janvitek" class="navigate">PLDI 2015 profile</a></li><li><a href="https://pldi16.sigplan.org/profile/janvitek" class="navigate">PLDI 2016 profile</a></li><li><a href="https://pldi18.sigplan.org/profile/janvitek" class="navigate">PLDI 2018 profile</a></li><li><a href="https://pldi19.sigplan.org/profile/janvitek" class="navigate">PLDI 2019 profile</a></li><li><a href="https://pldi20.sigplan.org/profile/janvitek" class="navigate">PLDI 2020 profile</a></li><li><a href="https://pldi22.sigplan.org/profile/janvitek" class="navigate">PLDI 2022 profile</a></li><li><a href="https://pldi24.sigplan.org/profile/janvitek" class="navigate">PLDI 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/pldi-ecoop-2017/janvitek" class="navigate">PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile</a></li><li><a href="https://popl16.sigplan.org/profile/janvitek" class="navigate">POPL 2016 profile</a></li><li><a href="https://popl17.sigplan.org/profile/janvitek" class="navigate">POPL 2017 profile</a></li><li><a href="https://popl18.sigplan.org/profile/janvitek" class="navigate">POPL 2018 profile</a></li><li><a href="https://popl19.sigplan.org/profile/janvitek" class="navigate">POPL 2019 profile</a></li><li><a href="https://popl20.sigplan.org/profile/janvitek" class="navigate">POPL 2020 profile</a></li><li><a href="https://popl21.sigplan.org/profile/janvitek" class="navigate">POPL 2021 profile</a></li><li><a href="https://popl22.sigplan.org/profile/janvitek" class="navigate">POPL 2022 profile</a></li><li><a href="https://ppopp16.sigplan.org/profile/janvitek" class="navigate">PPoPP 2016 profile</a></li><li><a href="https://conf.researchr.org/profile/rebase-2020/janvitek" class="navigate">Rebase::Berlin profile</a></li><li><a href="https://conf.researchr.org/profile/splash-2010/janvitek" class="navigate">SPLASH 2010 profile</a></li><li><a href="https://2011.splashcon.org/profile/janvitek" class="navigate">SPLASH 2011 profile</a></li><li><a href="https://2012.splashcon.org/profile/janvitek" class="navigate">SPLASH 2012 profile</a></li><li><a href="https://2013.splashcon.org/profile/janvitek" class="navigate">SPLASH 2013 profile</a></li><li><a href="https://2014.splashcon.org/profile/janvitek" class="navigate">SPLASH 2014 profile</a></li><li><a href="https://2016.splashcon.org/profile/janvitek" class="navigate">SPLASH 2016 profile</a></li><li><a href="https://2017.splashcon.org/profile/janvitek" class="navigate">SPLASH 2017 profile</a></li><li><a href="https://2018.splashcon.org/profile/janvitek" class="navigate">SPLASH 2018 profile</a></li><li><a href="https://2019.splashcon.org/profile/janvitek" class="navigate">SPLASH 2019 profile</a></li><li><a href="https://2020.splashcon.org/profile/janvitek" class="navigate">SPLASH 2020 profile</a></li><li><a href="https://2021.splashcon.org/profile/janvitek" class="navigate">SPLASH 2021 profile</a></li><li><a href="https://2022.splashcon.org/profile/janvitek" class="navigate">SPLASH 2022 profile</a></li><li><a href="https://2023.splashcon.org/profile/janvitek" class="navigate">SPLASH 2023 profile</a></li><li><a href="https://2024.splashcon.org/profile/janvitek" class="navigate">SPLASH 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/staf-2023/janvitek" class="navigate">STAF 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/staf-2024/janvitek" class="navigate">STAF 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/vee-2018/janvitek" class="navigate">VEE 2018 profile</a></li><li><a href="https://conf.researchr.org/profile/vee-2019/janvitek" class="navigate">VEE 2019 profile</a></li><li><a href="https://2021.programming-conference.org/profile/janvitek" class="navigate">‹Programming› 2021 profile</a></li></ul></div></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Jan Vitek" src="https://2015.splashcon.org/getProfileImage/janvitek/f57489a2-618e-48bd-86b2-65112bf4cdbf/small.jpg?1711458593000" class="outputimage thumbnail"/><p><small>Registered user since Wed 30 Apr 2014</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Jan Vitek</div><div class="profile-item"><span class="profile-item-heading">Bio:</span><p>Bio: Jan Vitek is a Professor of Computer Science at Northeastern University. Dr. Vitek was born in Czechoslovakia and educated in Switzerland. Over the years, he worked on topics related to programming languages, their design, use, and implementation. With Noble and Potter, he proposed the notion of flexible alias control which became know as Ownership Types. He led the Ovm project which produced the first real-time Java virtual machine to be flight tested on a ScanEagle drone (he claims no one was harmed). Outcomes of this project include the Schism real-time garbage collector and the FijiVM – a production VM for embedded systems. More recently, he worked on dynamic languages, trying to make sense of JavaScript and to design a new language called, Thorn. Nowadays, he spends his time with statisticians and data scientists. Jan believes that his 2012 election as Chair of SIGPLAN was an accident; since has been busy trying to rock the boat to ensure this does not happen again. In his spare time, Jan enjoys organizing conferences and sitting on PCs (over 25 in the last decade). He founded the MOS (mobile objects), IWACO (alias control), STOP (gradual typing), and TRANSACT (transactional memory) workshop series. He was the first program chair of VEE and chaired ESOP, ECOOP, Coordination and TOOLS. He was the general chair of PLDI (in Beijing!), ISMM and LCTES. He may still be sitting on the steering committees of ECOOP, JTRES, ICFP, OOPLSA, POPL, PLDI, LCTES, ESOP.</p></div><div class="profile-item"><span class="profile-item-heading">Country:</span>Switzerland</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>Northeastern University</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://janvitek.org" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://janvitek.org</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>Programming Languages</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2015</h3><div><h4>SPLASH</h4><ul class="block"><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2015.splashcon.org/committee/splash2015-splash-i-organizers" class="small navigate" style="margin-left: 0.2em;">Committee Member in Organizers within the SPLASH-I-track</a></li><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2015.splashcon.org/committee/splash2015-organizing-committee" class="small navigate" style="margin-left: 0.2em;">SPLASH-I Co-Chair in Organizing Committee</a></li><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2015.splashcon.org/committee/splash2015-steering-committee" class="small navigate" style="margin-left: 0.2em;">SIGPLAN Chair in Steering Committee</a></li><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="0e661829-60c9-4e95-b04d-eb7702917750">Repeatability, Reproducibility and Rigor in CS Research</a></li></ul></div><div><h4>DLS</h4><ul class="block"><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2015.splashcon.org/committee/dls-2015-papers-program-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Program Committee within the DLS-track</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/janvitek" target="_blank" class="navigate">Show activities from other conferences</a></p><div id="embedWidget" class="webdsl-placeholder"><div class="panel-group"><div class="panel"><div class="panel-heading clearfix"><span class="panel-title"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2015.splashcon.org/profile","embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42", [{"name":"context", "value":"splash2015"},{"name":"pers", "value":"janvitek"},],"", this.nextSibling, true,"1"); return false;'></button><a submitid="embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="small btn btn-default"><span class="glyphicon glyphicon-share"></span> Share</a></span></div></div></div></div></div></div><div class="row"><div class="col-sm-12"><span class="pull-right"><span title="You're viewing a conference-specific profile, last updated Thu 22 Jan 2015" class="label-default label"><span class="glyphicon glyphicon-time"></span> SPLASH 2015-profile</span><br><small><a href="https://conf.researchr.org/profile/conf/janvitek" target="_blank" class="navigate">View general profile</a></small></span></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 21 Feb 16:50</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.69.0</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; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>