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://2020.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2020.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Maria I. Gorinova - SPLASH 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2020.splashcon.org";</script> <link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2020.splashcon.org/getFile/ff776645-fe0c-41bc-a5f3-d351459352e4/header.css?1605369652019" type="text/css" /><link rel="stylesheet" href="https://2020.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://2020.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2020.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Maria I. Gorinova - SPLASH 2020'> <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:description' content='Welcome to SPLASH 2020, the ACM SIGPLAN 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鈥攁t the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams h ...'> <style> .facet-placeholder.past-facets>div { font-size: 0px ; } .facet-placeholder.past-facets>div:after { content: "Hide past days/events"; font-size: 12px; } </style> <meta name='description' content='Welcome to SPLASH 2020, the ACM SIGPLAN 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鈥攁t the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams h ...'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2020.splashcon.org/getImage/carousel/chocago.jpg?1602657013000'> <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://2020.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2020</span></a><div class="place">Sun 15 - Sat 21 November 2020 <a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Online Conference</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://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a></li><li><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a></li><li><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a></li><li><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a></li><li><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a></li><li><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a></li><li><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Info <span class="caret"></span></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/info/author-instructions" class="navigate">Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS</a></li><li><a href="https://2020.splashcon.org/info/presenter-instructions-sas" class="navigate">Presenter Instructions for SAS 2020</a></li><li><a href="https://2020.splashcon.org/info/presenter-instructions-for-rebase-2020" class="navigate">Presenter Instructions for REBASE 2020</a></li><li><a href="https://2020.splashcon.org/info/session-chair-instructions" class="navigate">Session Chair Instructions</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://2020.splashcon.org/program/program-splash-2020/" class="navigate">SPLASH Program</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" 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://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sun 15 Nov 2020" class="navigate">Sun 15 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Mon 16 Nov 2020" class="navigate">Mon 16 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Tue 17 Nov 2020" class="navigate">Tue 17 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Wed 18 Nov 2020" class="navigate">Wed 18 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Thu 19 Nov 2020" class="navigate">Thu 19 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Fri 20 Nov 2020" class="navigate">Fri 20 Nov</a></li><li><a href="https://2020.splashcon.org/program/program-splash-2020/" data-fltr-type="date" data-fltr-val="Sat 21 Nov 2020" class="navigate">Sat 21 Nov</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 2020</li><li><a href="https://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a></li><li><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</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://conf.researchr.org/home/dls-2020" class="navigate"><strong>DLS</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-papers" class="navigate"><strong>ECOOP</strong> Research Papers</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-artifacts" class="navigate"><strong>ECOOP</strong> Artifacts</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-Student-Volunteers" class="navigate"><strong>ECOOP</strong> Student Volunteers</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-doctoral-symposium" class="navigate"><strong>ECOOP</strong> Doctoral Symposium</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-tutorials" class="navigate"><strong>ECOOP</strong> Tutorials</a></li><li><a href="https://2020.ecoop.org/track/ecoop-2020-Posters" class="navigate"><strong>ECOOP</strong> Posters</a></li></ul></li><li><a href="https://conf.researchr.org/home/gpce-2020" class="navigate"><strong>GPCE</strong> </a></li><li><a href="https://conf.researchr.org/home/sas-2020" class="navigate"><strong>SAS</strong> </a></li><li><a href="https://conf.researchr.org/home/sle-2020" class="navigate"><strong>SLE</strong> </a></li><li class="dropdown-header">Workshops</li><li><a href="https://2020.splashcon.org/home/agere-2020" class="navigate"><strong>AGERE</strong> </a></li><li><a href="https://2020.ecoop.org/home/COP-2020" class="navigate"><strong>COP</strong> </a></li><li><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate"><strong>FTfJP</strong> </a></li><li><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate"><strong>HATRA</strong> </a></li><li><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate"><strong>HILT</strong> </a></li><li><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate"><strong>ICOOOLPS</strong> </a></li><li><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate"><strong>IWACO</strong> </a></li><li><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate"><strong>JSTools</strong> </a></li><li><a href="https://2020.splashcon.org/home/live-2020" class="navigate"><strong>LIVE</strong> </a></li><li><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate"><strong>LPOP</strong> </a></li><li><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate"><strong>NSAD</strong> </a></li><li><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate"><strong>PLATEAU</strong> </a></li><li><a href="https://2020.ecoop.org/home/pride-2020" class="navigate"><strong>PRIDE</strong> </a></li><li><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate"><strong>REBLS</strong> </a></li><li><a href="https://2020.ecoop.org/home/soop-2020" class="navigate"><strong>SOOP</strong> </a></li><li><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate"><strong>SySEPL</strong> </a></li><li><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate"><strong>TAPAS</strong> </a></li><li><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate"><strong>VMIL</strong> </a></li><li><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate"><strong>VORTEX</strong> </a></li><li class="dropdown-header">Co-hosted Symposia</li><li><a href="https://2020.ecoop.org/home/scala-2020" class="navigate"><strong>Scala</strong> </a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="dropdown-header">SPLASH 2020 Committees</li><li><a href="https://2020.splashcon.org/committee/splash-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-steering-committee" class="navigate">Steering Committee</a></li><li class="dropdown-header">Track Committees </li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-review-committee" class="navigate">Review Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-oopsla-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-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://2020.splashcon.org/committee/splash-2020-Onward-Essays-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-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://2020.splashcon.org/committee/splash-2020-Onward-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Onward-papers-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>REBASE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/splash-2020-rebase-organizing-committee" class="navigate">REBASE Chicago</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-rebase-rebase-berlin" class="navigate">REBASE Berlin</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Doctoral-Symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></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://2020.splashcon.org/committee/splash-2020-PLMW-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-speakers---panelists" class="navigate">Speakers & Panelists</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-PLMW-mentors" class="navigate">Mentors</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Posters-organising-committee" class="navigate"><strong>Posters</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://2020.splashcon.org/committee/splash-2020-SPLASH-E-program-commitee" class="navigate">Program Commitee</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-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://2020.splashcon.org/committee/splash-2020-SRC-organizers" class="navigate">Organizers</a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-SRC-reviewers" class="navigate">Reviewers/Judges</a></li></ul></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Student-Volunteers-organizers" class="navigate"><strong>Student Volunteers</strong></a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-Workshops-organizing-committee-" class="navigate"><strong>Workshops</strong></a></li><li><a href="https://2020.splashcon.org/committee/splash-2020-cares-program-committe" class="navigate"><strong>CARES</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://2020.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>DLS</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/dls-2020/dls-2020-DLS-2019-1-steering-committee" class="navigate">Steering Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ECOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/ecoop-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-papers-external-review-committee" class="navigate"><strong>Research Papers</strong> <small>External Review Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-artifacts-artifact-evaluation-committee" class="navigate"><strong>Artifacts</strong></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-Student-Volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-academic-panel" class="navigate"><strong>Doctoral Symposium</strong> <small>Academic Panel</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-organizing-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Organizing Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong> <small>Program Committee</small></a></li><li><a href="https://2020.ecoop.org/committee/ecoop-2020-Posters-posters-committee" class="navigate"><strong>Posters</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>GPCE</strong></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/gpce-2020/gpce-2020-GPCE-2019-18th-International-Conference-on-Generative-Programming-Concepts-Experiences-1-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/gpce-2020/gpc-steering-committee" class="navigate">Steering Committee</a></li></ul></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://conf.researchr.org/committee/sas-2020/sas-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation 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://conf.researchr.org/committee/sle-2020/sle-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://conf.researchr.org/committee/sle-2020/sle-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li></ul></li><li class="dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AGERE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/agere-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/agere-2020-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://2020.ecoop.org/committee/COP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/COP-2020-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://2020.ecoop.org/committee/FTfJP-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.ecoop.org/committee/FTfJP-2020-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>HATRA</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/hatra-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/hatra-2020-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>HILT</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/hilt-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/hilt-2020-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>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/ICOOOLPS-2020-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://2020.ecoop.org/committee/iwaco-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/iwaco-2020-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>JSTools</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/JSTools-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/JSTools-2020-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://2020.splashcon.org/committee/live-2020-papers-organizing-committee" class="navigate">Organising Committee</a></li><li><a href="https://2020.splashcon.org/committee/live-2020-papers-program-committee" class="navigate">Programme Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LPOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-organizing-committee" class="navigate">General Chairs</a></li><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-chairs" class="navigate">Program Chair</a></li><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/lpop-2020-papers-publicity-chair" class="navigate">Publicity Chair</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://2020.splashcon.org/committee/nsad-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/nsad-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLATEAU</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/plateau-2020-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>PRIDE</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/pride-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/pride-2020-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>REBLS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/rebls-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/rebls-2020-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>SOOP</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/soop-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/soop-2020-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>SySEPL</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/sysepl-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/sysepl-2020-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>TAPAS</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.splashcon.org/committee/tapas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/tapas-2020-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://2020.splashcon.org/committee/vmil-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.splashcon.org/committee/vmil-2020-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://2020.splashcon.org/committee/vmil-2020-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://2020.ecoop.org/committee/vortex-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/vortex-2020-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>Scala</strong></a><ul class="block dropdown-menu"><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-invited-speakers" class="navigate">Keynote</a></li><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://2020.ecoop.org/committee/scala-2020-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li><a href="https://2020.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://2020.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2020</span></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-2020/https%3A%5Es%5Es2020.splashcon.org%5Esprofile%5Esmariaigorinova" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://2020.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a> (<a href="https://2020.splashcon.org/series/splash" class="navigate">series</a>) / </span>Maria I. Gorinova<span class="pull-right"><small><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">SPLASH 2020 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/conf/mariaigorinova" class="navigate">conf.research.org general profile</a></li><li><a href="https://icfp22.sigplan.org/profile/mariaigorinova" class="navigate">ICFP 2022 profile</a></li><li><a href="https://popl18.sigplan.org/profile/mariaigorinova" class="navigate">POPL 2018 profile</a></li><li><a href="https://popl19.sigplan.org/profile/mariaigorinova" class="navigate">POPL 2019 profile</a></li><li><a href="https://popl21.sigplan.org/profile/mariaigorinova" class="navigate">POPL 2021 profile</a></li><li><a href="https://popl22.sigplan.org/profile/mariaigorinova" class="navigate">POPL 2022 profile</a></li><li><a href="https://popl24.sigplan.org/profile/mariaigorinova" class="navigate">POPL 2024 profile</a></li></ul></div></small></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Maria I. Gorinova" src="https://2020.splashcon.org/getProfileImage/mariaigorinova/d9555ab1-6d7e-4631-bcc7-2f6ed701a677/small.jpg?1714856968000" class="outputimage thumbnail"/><p><small>Registered user since Sun 17 Dec 2017</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Maria I. Gorinova</div><div class="profile-item"><span class="profile-item-heading">Bio:</span><p>Maria is a Data Science PhD student at the University of Edinburgh, where she works on improving the expressivity and efficiency of probabilistic programming languages. In particular, she is interested in applying program-analysis techniques to existing probabilistic languages, such as Stan, and she is also part of Stan鈥檚 development team. Previously, Maria worked as a Research Assistant in the Graphics and Interaction Group at the University of Cambridge, where she also received her BA, developing an interactive development environment for probabilistic programming for her final year project.</p></div><div class="profile-item"><span class="profile-item-heading">Country:</span>United Kingdom</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>The University of Edinburgh</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://homepages.inf.ed.ac.uk/s1207807/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://homepages.inf.ed.ac.uk/s1207807/</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>Probabilistic programming</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2020</h3><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="bc103573-47f7-44f0-b8e7-b629c50d6e17">Probabilistic Programming: The What, Why and How</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/mariaigorinova" 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://2020.splashcon.org/profile","embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837", [{"name":"context", "value":"splash-2020"},{"name":"pers", "value":"mariaigorinova"},],"", 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 Tue 22 Sep 2020" class="label-default label"><span class="glyphicon glyphicon-time"></span> SPLASH 2020-profile</span><br><small><a href="https://conf.researchr.org/profile/conf/mariaigorinova" 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:06</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://2020.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-2020" /><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://2020.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2020"},],"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://2020.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-2020" /><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://2020.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2020"},],"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://2020.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2020</a></h3><div><a href="https://2020.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.68.0</a>)<br/><small><a href="https://2020.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://2020.splashcon.org/track/splash-2020-oopsla" class="navigate">OOPSLA</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-Essays" class="navigate">Onward! Essays</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Onward-papers" class="navigate">Onward! Papers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-rebase" class="navigate">REBASE</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2020.splashcon.org/track/splash-2020-PLMW" class="navigate">PLMW</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Posters" class="navigate">Posters</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2020.splashcon.org/track/splash-2020-SRC" class="navigate">Student Research Competition</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2020.splashcon.org/track/splash-2020-Workshops" class="navigate">Workshops</a><br/><a href="https://2020.splashcon.org/track/splash-2020-splash-keynotes" class="navigate">Keynotes</a><br/><a href="https://2020.splashcon.org/track/splash-2020-meet-someone-new--msn-" class="navigate">Meet The Speakers (MTS)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-ask-me-anything--ama-" class="navigate">Ask Me Anything (AMA)</a><br/><a href="https://2020.splashcon.org/track/splash-2020-cares" class="navigate">CARES</a><br/><a href="https://2020.splashcon.org/track/splash-2020-awards" class="navigate">Awards</a><br/><a href="https://2020.splashcon.org/track/splash-2020-opening" class="navigate">Opening</a><br/><a href="https://2020.splashcon.org/track/splash-2020-closing" class="navigate">Closing</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/dls-2020" class="navigate">DLS 2020</a><br/><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a><br/><a href="https://conf.researchr.org/home/gpce-2020" class="navigate">GPCE 2020</a><br/><a href="https://conf.researchr.org/home/sas-2020" class="navigate">SAS 2020</a><br/><a href="https://conf.researchr.org/home/sle-2020" class="navigate">SLE 2020</a><br/><h4>Workshops</h4><a href="https://2020.splashcon.org/home/agere-2020" class="navigate">AGERE 2020</a><br/><a href="https://2020.ecoop.org/home/COP-2020" class="navigate">COP</a><br/><a href="https://2020.ecoop.org/track/FTfJP-2020-papers" class="navigate">FTfJP 2020</a><br/><a href="https://2020.splashcon.org/home/hatra-2020" class="navigate">HATRA 2020</a><br/><a href="https://2020.splashcon.org/home/hilt-2020" class="navigate">HILT 2020</a><br/><a href="https://2020.ecoop.org/home/ICOOOLPS-2020" class="navigate">ICOOOLPS 2020</a><br/><a href="https://2020.ecoop.org/home/iwaco-2020" class="navigate">IWACO 2020</a><br/><a href="https://2020.ecoop.org/home/JSTools-2020" class="navigate">JSTools 2020</a><br/><a href="https://2020.splashcon.org/home/live-2020" class="navigate">LIVE 2020</a><br/><a href="https://2020.splashcon.org/home/lpop-2020" class="navigate">LPOP 2020</a><br/><a href="https://2020.splashcon.org/home/nsad-2020" class="navigate">NSAD 2020</a><br/><a href="https://2020.splashcon.org/home/plateau-2020" class="navigate">PLATEAU 2020</a><br/><a href="https://2020.ecoop.org/home/pride-2020" class="navigate">PRIDE 2020</a><br/><a href="https://2020.splashcon.org/home/rebls-2020" class="navigate">REBLS 2020</a><br/><a href="https://2020.ecoop.org/home/soop-2020" class="navigate">SOOP'20</a><br/><a href="https://2020.ecoop.org/home/sysepl-2020" class="navigate">SySEPL 2020</a><br/><a href="https://2020.splashcon.org/home/tapas-2020" class="navigate">TAPAS 2020</a><br/><a href="https://2020.splashcon.org/home/vmil-2020" class="navigate">VMIL 2020</a><br/><a href="https://2020.ecoop.org/home/vortex-2020" class="navigate">VORTEX 2020</a><br/><h4>Co-hosted Symposia</h4><a href="https://2020.ecoop.org/home/scala-2020" class="navigate">Scala 2020</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2020.splashcon.org/venue/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://2020.splashcon.org/attending/Students" class="navigate">Students</a><br><a href="https://2020.splashcon.org/attending/Registration" class="navigate">Registration</a><br><a href="https://2020.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2020.splashcon.org/attending/sponsoring" class="navigate">Sponsoring</a><br><a href="https://2020.splashcon.org/attending/Conduct" class="navigate">Code of conduct</a><br><a href="https://2020.splashcon.org/attending/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><script> //move ecoop track items into main column var ecoopSubMenu = $('#tracks-in-navbar .dropdown-submenu:has(a:contains("ECOOP"))').remove(); var ecoopItems = ecoopSubMenu.find('ul li'); var trackMainMenu = $('#tracks-in-navbar .col-sm-5 ul'); var ecoopHeader = '<li class="block dropdown-header">ECOOP 2020</li>'; if(ecoopItems.length){ trackMainMenu.append(ecoopHeader).append(ecoopItems); } //remove postponed workshops from tracks/org menu var toHideRegex = RegExp('COP|FTfJP|ICOOOLPS|IWACO|JSTools|PRIDE|SOOP|SySEPL|VORTEX', 'i'); $('.navbar-nav ul.multi-column-dropdown>li>a').filter( function() { return toHideRegex.test( this.innerText ); } ).parent().remove(); </script></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>