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://2024.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2024.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Aleksander Boruch-Gruszecki - SPLASH 2024</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2024.splashcon.org";</script> <link rel="stylesheet" href="https://2024.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2024.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2024.splashcon.org/getFile/86adcb95-8c58-4878-a999-676c6b69e20b/logobar-splash24-new.css?1722450045831" type="text/css" /><link rel="stylesheet" href="https://2024.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://2024.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2024.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2024.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> <meta name='description' content='The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. SPLASH 2024 will be held in Pasadena, California, close to Los Angeles and all that southern California has to offer. SPLASH 2024 will include the co-located OOPSLA, Onward!, SAS, GPCE, and SLE conferences, SPLASH-E, and other exciting workshops and events. ...'> <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://2024.splashcon.org/getImage/carousel/PasadenaDowntown_Skyline.jpg?1695093957000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. SPLASH 2024 will be held in Pasadena, California, close to Los Angeles and all that southern California has to offer. SPLASH 2024 will include the co-located OOPSLA, Onward!, SAS, GPCE, and SLE conferences, SPLASH-E, and other exciting workshops and events. ...'> <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='Aleksander Boruch-Gruszecki - SPLASH 2024'> </head> <body id="profile"><div class="frame"><div class="logobar"><div class="container"><a href="https://2024.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2024</span></a><div class="place">Sun 20 - Fri 25 October 2024 <a href="https://2024.splashcon.org/venue/splash-2024-venue" class="navigate">Pasadena, California, 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://2024.splashcon.org/venue/splash-2024-venue" class="navigate">Venue: Hilton Pasadena</a></li><li><a href="https://2024.splashcon.org/attending/Students" class="navigate">Students</a></li><li><a href="https://2024.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li><a href="https://2024.splashcon.org/attending/visa-support-letters" class="navigate">Visa Support Letters</a></li><li><a href="https://2024.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li><a href="https://2024.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a></li><li><a href="https://2024.splashcon.org/attending/instructions-for-speakers" class="navigate">Instructions for Presenters</a></li><li><a href="https://2024.splashcon.org/attending/splash-chair-welcome" class="navigate">Chair's Welcome</a></li><li><a href="https://2024.splashcon.org/attending/how-to-splash" class="navigate">How to SPLASH (Quick Attendee Guide)</a></li><li><a href="https://2024.splashcon.org/attending/mt.-baldy-bicycle-trip" class="navigate">Mt. Baldy Bicycle Trip</a></li><li><a href="https://2024.splashcon.org/attending/attractions-around-pasadena" class="navigate">Attractions Around Pasadena</a></li><li><a href="https://2024.splashcon.org/attending/virtual-live-streams" class="navigate">Live Stream</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://2024.splashcon.org/program/program-splash-2024/" class="navigate">SPLASH Program</a></li><li><a href="https://2024.splashcon.org/program/program-splash-2024/" 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://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Sun 20 Oct 2024" class="navigate">Sun 20 Oct</a></li><li><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Mon 21 Oct 2024" class="navigate">Mon 21 Oct</a></li><li><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Tue 22 Oct 2024" class="navigate">Tue 22 Oct</a></li><li><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Wed 23 Oct 2024" class="navigate">Wed 23 Oct</a></li><li><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Thu 24 Oct 2024" class="navigate">Thu 24 Oct</a></li><li><a href="https://2024.splashcon.org/program/program-splash-2024/" data-fltr-type="date" data-fltr-val="Fri 25 Oct 2024" class="navigate">Fri 25 Oct</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="dropdown-header">SPLASH 2024</li><li><a href="https://2024.splashcon.org/track/splash-2024-dei-activities" class="navigate">DEI Activities</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-keynotes" class="navigate">Keynotes</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-oopsla" class="navigate">OOPSLA 2024</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-oopsla-artifacts" class="navigate">OOPSLA Artifacts</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-Onward-Essays" class="navigate">Onward! Essays</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-Onward-papers" class="navigate">Onward! Papers</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-PLMW" class="navigate">PLMW</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-Posters" class="navigate">Posters</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-rebase" class="navigate">REBASE</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-SPLASH-E" class="navigate">SPLASH-E</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-SRC" class="navigate">Student Research Competition</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-Volunteers" class="navigate">Volunteers</a></li><li><a href="https://2024.splashcon.org/track/splash-2024-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><a href="https://2024.splashcon.org/home/gpce-2024" class="navigate"><strong>GPCE</strong> </a></li><li><a href="https://2024.splashcon.org/track/sle-2024" class="navigate"><strong>SLE</strong> </a></li><li class="dropdown-header">Workshops</li><li><a href="https://2024.splashcon.org/home/hatra-2024" class="navigate"><strong>HATRA</strong> </a></li><li><a href="https://2024.splashcon.org/home/iwaco-2024" class="navigate"><strong>IWACO</strong> </a></li><li><a href="https://2024.splashcon.org/home/jensfest-2024" class="navigate"><strong>JENSFEST</strong> </a></li><li><a href="https://2024.splashcon.org/home/live-2024" class="navigate"><strong>LIVE</strong> </a></li><li><a href="https://2024.splashcon.org/home/nsad-2024" class="navigate"><strong>NSAD</strong> </a></li><li><a href="https://2024.splashcon.org/home/paint-2024" class="navigate"><strong>PAINT</strong> </a></li><li><a href="https://2024.splashcon.org/home/prolala-2024" class="navigate"><strong>ProLaLa</strong> </a></li><li><a href="https://2024.splashcon.org/home/unsound-2024" class="navigate"><strong>UNSOUND</strong> </a></li><li><a href="https://2024.splashcon.org/home/vivekfest-2024" class="navigate"><strong>VIVEKFEST</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/home/vmil-2024" class="navigate"><strong>VMIL</strong> </a></li><li><a href="https://2024.splashcon.org/details/vmil-2024-papers/1/A-tour-of-CPython-s-runtime" class="small menu-advertised-event navigate">- A tour of CPython's runtime</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>SAS</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/home/sas-2024" class="navigate"><strong>SAS</strong> </a></li><li><a href="https://2024.splashcon.org/track/sas-2024-artifacts" class="navigate"><strong>SAS</strong> Artifacts</a></li></ul></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 2024 Committees</li><li><a href="https://2024.splashcon.org/committee/splash-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-steering-committee" class="navigate">Steering Committee</a></li><li class="dropdown-header">Track Committees </li><li><a href="https://2024.splashcon.org/committee/splash-2024-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-papers-review-committee" class="navigate"><strong>OOPSLA 2024</strong></a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-oopsla-artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Essays</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/splash-2024-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-Onward-Essays-onward--steering-committee" class="navigate">Onward! Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward! Papers</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/splash-2024-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-Onward-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>PLMW</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/splash-2024-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li><a href="https://2024.splashcon.org/committee/splash-2024-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-rebase-rebase" class="navigate"><strong>REBASE</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://2024.splashcon.org/committee/splash-2024-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-SPLASH-E-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Student Research Competition</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/splash-2024-SRC-organizers" class="navigate">Organizers</a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-SRC-reviewers" class="navigate">Reviewers</a></li></ul></li><li><a href="https://2024.splashcon.org/committee/splash-2024-Volunteers-organizers" class="navigate"><strong>Volunteers</strong></a></li><li><a href="https://2024.splashcon.org/committee/splash-2024-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://2024.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://2024.splashcon.org/committee/gpce-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/gpce-2024-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2024.splashcon.org/committee/gpce-2024-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>SLE</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/sle-2024-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/sle-2024-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2024.splashcon.org/committee/sle-2024-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li><li><a href="https://2024.splashcon.org/committee/sle-2024-steering-committee" class="navigate">Steering 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>HATRA</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/hatra-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/hatra-2024-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>IWACO</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/iwaco-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/iwaco-2024-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>JENSFEST</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/jensfest-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/jensfest-2024-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LIVE</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/live-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/live-2024-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>NSAD</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/nsad-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/nsad-2024-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>PAINT</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/paint-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/paint-2024-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>ProLaLa</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/prolala-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/prolala-2024-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>UNSOUND</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/unsound-2024-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>VIVEKFEST</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/vivekfest-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/vivekfest-2024-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/vmil-2024-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2024.splashcon.org/committee/vmil-2024-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>SAS</strong></a><ul class="block dropdown-menu"><li><a href="https://2024.splashcon.org/committee/sas-2024-papers-organizing-committee" class="navigate"><strong>SAS 2024</strong> <small>Organizing Committee</small></a></li><li><a href="https://2024.splashcon.org/committee/sas-2024-papers-program-committee" class="navigate"><strong>SAS 2024</strong> <small>Program Committee</small></a></li><li><a href="https://2024.splashcon.org/committee/sas-2024-sas-2024-artifacts-artifact-evaluation-committee" class="navigate"><strong>SAS Artifacts</strong></a></li></ul></li></ul></div></div></ul></li><li><a href="https://2024.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://2024.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><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2024</span></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><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li><a href="https://conf.researchr.org/signin/splash-2024/https%3A%5Es%5Es2024.splashcon.org%5Esprofile%5Esaleksanderboruchgruszecki" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://2024.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://2024.splashcon.org" class="navigate">SPLASH 2024</a> (<a href="https://2024.splashcon.org/series/splash" class="navigate">series</a>) / </span>Aleksander Boruch-Gruszecki<span class="pull-right profile-context"><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">SPLASH 2024 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/conf/aleksanderboruchgruszecki" class="navigate">conf.research.org general profile</a></li><li><a href="https://2019.ecoop.org/profile/aleksanderboruchgruszecki" class="navigate">ECOOP 2019 profile</a></li><li><a href="https://icfp21.sigplan.org/profile/aleksanderboruchgruszecki" class="navigate">ICFP 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-ecoop-2024/aleksanderboruchgruszecki" class="navigate">ISSTA/ECOOP 2024 profile</a></li><li><a href="https://popl24.sigplan.org/profile/aleksanderboruchgruszecki" class="navigate">POPL 2024 profile</a></li><li><a href="https://2021.splashcon.org/profile/aleksanderboruchgruszecki" class="navigate">SPLASH 2021 profile</a></li><li><a href="https://2022.splashcon.org/profile/aleksanderboruchgruszecki" class="navigate">SPLASH 2022 profile</a></li><li><a href="https://2023.splashcon.org/profile/aleksanderboruchgruszecki" class="navigate">SPLASH 2023 profile</a></li></ul></div></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Aleksander Boruch-Gruszecki" src="https://2024.splashcon.org/getProfileImage/aleksanderboruchgruszecki/55de1b82-ae2c-425b-805a-6fc9659a309f/small.jpg?1731244339000" class="outputimage thumbnail"/><p><small>Registered user since Mon 12 Sep 2022</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Aleksander Boruch-Gruszecki</div><div class="profile-item"><span class="profile-item-heading">Country:</span>Czechia</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>Charles University</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="https://abgruszecki.github.io/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> https://abgruszecki.github.io/</a></div><div class="profile-item"><span class="profile-item-heading">X (Twitter):</span><a href="https://x.com/abgruszecki" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> https://x.com/abgruszecki</a></div><div class="profile-item"><span class="profile-item-heading">GitHub:</span><a href="https://github.com/abgruszecki" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> https://github.com/abgruszecki</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>Type systems, programming languages</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2024</h3><div><h4>IWACO</h4><ul class="block"><li><small title="Chaired Session" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://2024.splashcon.org/home/iwaco-2024" class="small navigate" style="margin-left: 0.2em;">Session Chair of Session 1 (part of IWACO'24)</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="3ba57e3d-a6c6-4935-8507-ea4bf28a281d">Welcome and goals of IWACO 2024</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://2024.splashcon.org/committee/iwaco-2024-papers-organizing-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Organizing Committee within the IWACO'24-track</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://2024.splashcon.org/home/iwaco-2024" class="small navigate" style="margin-left: 0.2em;">Session Chair of Session 3 (part of IWACO'24)</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://2024.splashcon.org/committee/iwaco-2024-papers-program-committee" class="small navigate" style="margin-left: 0.2em;">Co-chair in Program Committee within the IWACO'24-track</a></li></ul></div><div><h4>SPLASH</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="529241a7-aec3-4050-b4ca-29902edd3017">Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types</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="469f2209-d45d-4c01-bcaf-302bfa559a85">Degrees of Separation: A Flexible Type System for Safe Concurrency</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/aleksanderboruchgruszecki" 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://2024.splashcon.org/profile","embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42", [{"name":"context", "value":"splash-2024"},{"name":"pers", "value":"aleksanderboruchgruszecki"},],"", 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 10 Nov 2024" class="label-default label"><span class="glyphicon glyphicon-time"></span> SPLASH 2024-profile</span><br><small><a href="https://conf.researchr.org/profile/conf/aleksanderboruchgruszecki" 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>Sun 16 Feb 14:08</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://2024.splashcon.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="splash-2024" /><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://2024.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2024"},],"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://2024.splashcon.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="splash-2024" /><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://2024.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2024"},],"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://2024.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2024</a></h3><div><a href="https://2024.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://2024.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://2024.splashcon.org/track/splash-2024-dei-activities" class="navigate">DEI Activities</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2024.splashcon.org/track/splash-2024-keynotes" class="navigate">Keynotes</a><br/><a href="https://2024.splashcon.org/track/splash-2024-oopsla" class="navigate">OOPSLA 2024</a><br/><a href="https://2024.splashcon.org/track/splash-2024-oopsla-artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2024.splashcon.org/track/splash-2024-PLMW" class="navigate">PLMW</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Posters" class="navigate">Posters</a><br/><a href="https://2024.splashcon.org/track/splash-2024-rebase" class="navigate">REBASE</a><br/><a href="https://2024.splashcon.org/track/splash-2024-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2024.splashcon.org/track/splash-2024-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Volunteers" class="navigate">Volunteers</a><br/><a href="https://2024.splashcon.org/track/splash-2024-Workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://2024.splashcon.org/home/gpce-2024" class="navigate">GPCE 2024</a><br/><a href="https://2024.splashcon.org/track/sle-2024" class="navigate">SLE 2024</a><br/><h4>Workshops</h4><a href="https://2024.splashcon.org/home/hatra-2024" class="navigate">HATRA</a><br/><a href="https://2024.splashcon.org/home/iwaco-2024" class="navigate">IWACO 2024</a><br/><a href="https://2024.splashcon.org/home/jensfest-2024" class="navigate">JENSFEST 2024</a><br/><a href="https://2024.splashcon.org/home/live-2024" class="navigate">LIVE 2024</a><br/><a href="https://2024.splashcon.org/home/nsad-2024" class="navigate">NSAD 2024</a><br/><a href="https://2024.splashcon.org/home/paint-2024" class="navigate">PAINT 2024</a><br/><a href="https://2024.splashcon.org/home/prolala-2024" class="navigate">ProLaLa 2024</a><br/><a href="https://2024.splashcon.org/home/unsound-2024" class="navigate">UNSOUND 2024</a><br/><a href="https://2024.splashcon.org/home/vivekfest-2024" class="navigate">VIVEKFEST</a><br/><a href="https://2024.splashcon.org/home/vmil-2024" class="navigate">VMIL 2024</a><br/><h4>Co-hosted Symposia</h4><a href="https://2024.splashcon.org/home/sas-2024" class="navigate">SAS 2024</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2024.splashcon.org/venue/splash-2024-venue" class="navigate">Venue: Hilton Pasadena</a><br><a href="https://2024.splashcon.org/attending/Students" class="navigate">Students</a><br><a href="https://2024.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2024.splashcon.org/attending/visa-support-letters" class="navigate">Visa Support Letters</a><br><a href="https://2024.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2024.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2024.splashcon.org/attending/instructions-for-speakers" class="navigate">Instructions for Presenters</a><br><a href="https://2024.splashcon.org/attending/splash-chair-welcome" class="navigate">Chair's Welcome</a><br><a href="https://2024.splashcon.org/attending/how-to-splash" class="navigate">How to SPLASH (Quick Attendee Guide)</a><br><a href="https://2024.splashcon.org/attending/mt.-baldy-bicycle-trip" class="navigate">Mt. Baldy Bicycle Trip</a><br><a href="https://2024.splashcon.org/attending/attractions-around-pasadena" class="navigate">Attractions Around Pasadena</a><br><a href="https://2024.splashcon.org/attending/virtual-live-streams" class="navigate">Live Stream</a></div><div class="col-sm-2"><a href="https://2024.splashcon.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>