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://2019.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2019.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Jan Vitek - ECOOP 2019</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2019.ecoop.org";</script> <link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.org/getFile/4178e8be-c93e-442c-92af-6438620e66f0/logo.006.css?1563342595374" type="text/css" /><link rel="stylesheet" href="https://2019.ecoop.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://2019.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2019.ecoop.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2019.ecoop.org/getImage/carousel/5604439246_08fb0350fe_o.jpg?1528908239000'> <meta name='description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.'> <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> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Jan Vitek - ECOOP 2019'> </head> <body id="profile"><div class="frame"><div class="logobar"><div class="container"><a href="https://2019.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2019</span></a><div class="place">Mon 15 - Fri 19 July 2019 <a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Hammersmith, London, United Kingdom</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://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a></li><li><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></li><li><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a></li><li><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a></li><li><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a></li><li><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a></li><li><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Socials</a></li><li><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a></li><li><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</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://2019.ecoop.org/program/program-ecoop-2019/" class="navigate">ECOOP Program</a></li><li><a href="https://2019.ecoop.org/program/program-ecoop-2019/" 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://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Mon 15 Jul 2019" class="navigate">Mon 15 Jul</a></li><li><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Tue 16 Jul 2019" class="navigate">Tue 16 Jul</a></li><li><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Wed 17 Jul 2019" class="navigate">Wed 17 Jul</a></li><li><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Thu 18 Jul 2019" class="navigate">Thu 18 Jul</a></li><li><a href="https://2019.ecoop.org/program/program-ecoop-2019/" data-fltr-type="date" data-fltr-val="Fri 19 Jul 2019" class="navigate">Fri 19 Jul</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="dropdown-header">ECOOP 2019</li><li><a href="https://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a></li><li><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a></li><li><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a></li><li><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a></li><li><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a></li><li><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a></li><li><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="dropdown-header">Workshops</li><li><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate"><strong>AORTA</strong> </a></li><li><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate"><strong>BenchWork</strong> </a></li><li><a href="https://2019.ecoop.org/home/COP-2019" class="navigate"><strong>COP</strong> </a></li><li><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate"><strong>FTfJP</strong> </a></li><li><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate"><strong>ICOOOLPS</strong> </a></li><li><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate"><strong>PASS</strong> (CANCELED)</a></li><li><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate"><strong>Panathon</strong> </a></li><li><a href="https://2019.ecoop.org/home/scala-2019" class="navigate"><strong>Scala</strong> </a></li><li><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate"><strong>VORTEX</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">ECOOP 2019 Committees</li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-organizing-committee" class="navigate">Organizing Committee</a></li><li class="dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Research Papers</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-artifacts" class="navigate"><strong>Artifacts</strong></a></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-student-volunteers-alisa-maas" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doctoral Symposium</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-academic-panel" class="navigate">Academic Panel</a></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-docsymp-program-committee" class="navigate">Program Committee</a></li></ul></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li><a href="https://2019.ecoop.org/committee/ecoop-2019-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li><a href="https://2019.ecoop.org/committee/curry-on-organization-committee" class="navigate"><strong>Curry On</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://2019.ecoop.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">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AORTA</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/aorta-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/aorta-2019-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>BenchWork</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/benchwork-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/cop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/cop-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2019.ecoop.org/committee/ftfjp-2019-papers-steering-commitee" class="navigate">Steering Commitee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/icooolps-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/icooolps-2019-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>PASS</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/pass-ecoop-2019-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>Panathon</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/panathon-2019-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>Scala</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/scala-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/scala-2019-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2019.ecoop.org/committee/scala-2019-papers-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li><a href="https://2019.ecoop.org/committee/vortex-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2019.ecoop.org/committee/vortex-2019-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li><a href="https://2019.ecoop.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://2019.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2019</span></li><li><a href="https://2018.ecoop.org" class="navigate">ECOOP 2018</a></li><li><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li><a href="http://2014.ecoop.org" target="_blank" class="navigate">2014: Uppsala <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://2013.ecoop.org" target="_blank" class="navigate">2013: Montpellier <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://ecoop12.cs.purdue.edu" target="_blank" class="navigate">2012: Beijing <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://scc-sentinel.lancs.ac.uk/ecoop11/" target="_blank" class="navigate">2011: Lancaster <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://ecoop2010.uni-mb.si" target="_blank" class="navigate">2010: Maribor <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://ecoop09.disi.unige.it" target="_blank" class="navigate">2009: Genova <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="https://ecoop08.cs.ucy.ac.cy" target="_blank" class="navigate">2008: Cyprus <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://ecoop07.swt.cs.tu-berlin.de" target="_blank" class="navigate">2007: Berlin <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.emn.fr/z-info/ecoop2006/" target="_blank" class="navigate">2006: Nice <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://2005.ecoop.org/" target="_blank" class="navigate">2005: Glasgow <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/ecoop-2019/https%3A%5Es%5Es2019.ecoop.org%5Esprofile%5Esjanvitek" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://2019.ecoop.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://2019.ecoop.org" class="navigate">ECOOP 2019</a> (<a href="https://2019.ecoop.org/series/ecoop" 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">ECOOP 2019 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://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://2015.splashcon.org/profile/janvitek" class="navigate">SPLASH 2015 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://2019.ecoop.org/getProfileImage/janvitek/853168aa-38dc-4795-a62b-f625c668978c/small.jpg?1711454624000" 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>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>United States</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>2019</h3><div><h4>ICOOOLPS</h4><ul class="block"><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="3f98f744-d6f2-4297-bf63-5e4a50ac0044">Towards a Type System for R</a></li></ul></div><div><h4>ECOOP</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://2019.ecoop.org/committee/curry-on-organization-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Organization Committee within the Curry On-track</a></li><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="61ae746c-ed3a-4666-814f-3b02e353dbb0">On Julia’s efficient algorithm for subtyping union types and covariant tuples</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://2019.ecoop.org/committee/ecoop-2019-organizing-committee" class="small navigate" style="margin-left: 0.2em;">Summer School Co-Chair in Organizing Committee</a></li><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="1aada058-2417-4a5b-9b6b-7d8132ba8bc6">A tribute to Laurie Hendren</a></li><li><small title="Chaired Session" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="small navigate" style="margin-left: 0.2em;">Session Chair of Summer School M1 (part of Summer School)</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="578cb72c-bebd-4282-9620-7c56760ee7ab">Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data</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="79d8f4e1-1328-4246-b3e7-5b813b172e05">Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples</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://2019.ecoop.org/profile","embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42", [{"name":"context", "value":"ecoop-2019"},{"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 Sun 4 Aug 2019" class="label-default label"><span class="glyphicon glyphicon-time"></span> ECOOP 2019-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>Thu 20 Feb 13:00</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://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><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://2019.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2019"},],"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://2019.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2019" /><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://2019.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2019"},],"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://2019.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2019</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://2019.ecoop.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://2019.ecoop.org/track/ecoop-2019-papers" class="navigate">Research Papers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-artifacts" class="navigate">Artifacts</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-docsymp" class="navigate">Doctoral Symposium</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-summer-school" class="navigate">Summer School</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-workshops" class="navigate">Workshops</a><br/><a href="https://2019.ecoop.org/track/ecoop-2019-Posters" class="navigate">Posters</a><br/><a href="https://2019.ecoop.org/track/curry-on" class="navigate">Curry On</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://2019.ecoop.org/home/aorta-2019" class="navigate">AORTA 2019</a><br/><a href="https://2019.ecoop.org/home/benchwork-2019" class="navigate">BenchWork 2019</a><br/><a href="https://2019.ecoop.org/home/COP-2019" class="navigate">COP 2019</a><br/><a href="https://2019.ecoop.org/home/FTfJP-2019" class="navigate">FTfJP 2019</a><br/><a href="https://2019.ecoop.org/home/ICOOOLPS-2019" class="navigate">ICOOOLPS 2019</a><br/><a href="https://2019.ecoop.org/home/PASS-ECOOP-2019" class="navigate">PASS 2019</a><br/><a href="https://2019.ecoop.org/home/panathon-2019" class="navigate">Panathon 2019</a><br/><a href="https://2019.ecoop.org/home/scala-2019" class="navigate">Scala 2019</a><br/><a href="https://2019.ecoop.org/home/vortex-2019" class="navigate">VORTEX 2019</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2019.ecoop.org/venue/ecoop-2019-venue" class="navigate">Venue: Novotel London West</a><br><a href="https://2019.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a><br><a href="https://2019.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2019.ecoop.org/attending/Students" class="navigate">Students</a><br><a href="https://2019.ecoop.org/attending/Visa" class="navigate">Visa</a><br><a href="https://2019.ecoop.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2019.ecoop.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2019.ecoop.org/attending/curry-on-banquet" class="navigate">Social Events</a><br><a href="https://2019.ecoop.org/attending/Online+participation" class="navigate">Live</a><br><a href="https://2019.ecoop.org/attending/awards" class="navigate">Awards</a></div><div class="col-sm-2"><a href="https://2019.ecoop.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>