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>Konstantin Läufer - 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?e0c92ee5f52769e04d268b7588469bfe" 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:title' content='Konstantin Läufer - ECOOP 2019'> <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> </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%5Eskonstantinlaufer" 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="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>Konstantin Läufer<span class="pull-right"><small><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/konstantinlaufer" class="navigate">conf.research.org general profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2022/konstantinlaufer" class="navigate">ASE 2022 profile</a></li><li><a href="https://2021.splashcon.org/profile/konstantinlaufer" class="navigate">SPLASH 2021 profile</a></li></ul></div></small></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Konstantin Läufer" src="https://2019.ecoop.org/getProfileImage/konstantinlaufer/e83f450a-b3c4-49ce-aeaa-726fb1280a8b/small.jpg?1711519205000" class="outputimage thumbnail"/><p><small>Registered user since Tue 16 Jul 2019</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Konstantin Läufer</div><div class="profile-item"><span class="profile-item-heading">Bio:</span><p>Konstantin Läufer is a professor of computer science at Loyola University Chicago. He earned a PhD in computer science from the Courant Institute at New York University in 1992. His research interests include programming languages, software architecture, and distributed and pervasive computing, with applications in bioinformatics, environmental science, and digital humanities. Konstantin’s research has been funded by government agencies and corporations, and he is a co-inventor on two Lucent Technologies patents.</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>Loyola University Chicago</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://laufer.cs.luc.edu" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://laufer.cs.luc.edu</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>programming languages and systems, software architecture, distributed and pervasive computing, cyber-physical systems</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2019</h3><div><h4>Scala</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="3d755faf-4bc4-4b1e-be68-0cb13f357389">Tests as Maintainable Assets Via Auto-generated Spies</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/konstantinlaufer" 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_loadWidget1d78b0351177db9cad4bb6f06b7a0b837", [{"name":"context", "value":"ecoop-2019"},{"name":"pers", "value":"konstantinlaufer"},],"", this.nextSibling, true,"1"); return false;'></button><a submitid="embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="small btn btn-default"><span class="glyphicon glyphicon-share"></span> Share</a></span></div></div></div></div></div></div><div class="row"><div class="col-sm-12"><span class="pull-right"><span title="You're viewing a conference-specific profile, last updated Sun 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/konstantinlaufer" target="_blank" class="navigate">View general profile</a></small></span></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 11 Dec 10:38</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.68.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; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el); var $parent=$e.parent();$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: $parent.hasClass('btn-group') || $parent.hasClass('input-group') ? $parent.parent() : false}) } ); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>