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://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Program Committee - SAS 2020</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/df0b28e0-1083-46b1-b506-f5a76ada8e82/sas.css?1602147040838" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.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://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.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 prefix='og: http://ogp.me/ns#' property='og:title' content='Program Committee - SAS 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 name='description' content='Welcome to the 27th Static Analysis Symposium (SAS 2020)! Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the 27th Static Analysis Symposium (SAS 2020)! Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.'> <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="committee"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/sas-2020" class="navbar-brand navigate"><span class="brand-text">SAS 2020</span></a><div class="place">Wed 18 - Fri 20 November 2020 <a href="https://conf.researchr.org/venue/sas-2020/splash-2020-venue" class="navigate">Online Conference</a></div><div class="place2">co-located with <a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</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 class="block"><a href="https://conf.researchr.org/venue/sas-2020/splash-2020-venue" class="navigate">Venue: Online</a></li><li class="block dropdown-header">SPLASH 2020</li><li class="block"><a href="https://conf.researchr.org/attending/sas-2020/Students" class="indent navigate">Students</a></li><li class="block"><a href="https://conf.researchr.org/attending/sas-2020/Registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/sas-2020/awards" class="indent navigate">Awards</a></li><li class="block"><a href="https://conf.researchr.org/attending/sas-2020/sponsoring" class="indent navigate">Sponsoring</a></li><li class="block"><a href="https://conf.researchr.org/attending/sas-2020/Conduct" class="indent navigate">Code of conduct</a></li><li class="block"><a href="https://conf.researchr.org/attending/sas-2020/Certificate+of+Attendance" class="indent navigate">Certificate of Attendance</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 class="block"><a href="https://conf.researchr.org/program/sas-2020/program-sas-2020/" class="navigate">SAS Program</a></li><li class="block"><a href="https://conf.researchr.org/program/sas-2020/program-sas-2020/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/program/sas-2020/program-sas-2020/" data-fltr-type="date" data-fltr-val="Wed 18 Nov 2020" class="navigate">Wed 18 Nov</a></li><li class="block"><a href="https://conf.researchr.org/program/sas-2020/program-sas-2020/" data-fltr-type="date" data-fltr-val="Thu 19 Nov 2020" class="navigate">Thu 19 Nov</a></li><li class="block"><a href="https://conf.researchr.org/program/sas-2020/program-sas-2020/" data-fltr-type="date" data-fltr-val="Fri 20 Nov 2020" class="navigate">Fri 20 Nov</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/home/sas-2020" class="navigate">Track/Call</a></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-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">SAS 2020 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/sas-2020/sas-2020-papers-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/sas-2020" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li class="block"><a href="https://conf.researchr.org/search/sas-2020//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 class="block"><a href="https://conf.researchr.org/series/sas" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.splashcon.org/home/sas-2025" class="navigate">SAS 2025</a></li><li class="block"><a href="https://2024.splashcon.org/home/sas-2024" class="navigate">SAS 2024</a></li><li class="block"><a href="https://conf.researchr.org/home/sas-2023" class="navigate">SAS 2023</a></li><li class="block"><a href="https://conf.researchr.org/home/sas-2022" class="navigate">SAS 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/sas-2021" class="navigate">SAS 2021</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SAS 2020</span></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/sas-2020/https%3A%5Es%5Esconf.researchr.org%5Escommittee%5Essas-2020%5Essas-2020-papers-program-committee" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/sas-2020" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><script type="text/javascript">$( "a[data-hashtab]" ).each(function() { var _href = $(this).attr("href"); var _hash = "#" + $(this).attr("data-hashtab").replace(/(\W|\s)+/g, "-"); $(this).attr("href", _href + _hash); }); </script><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://conf.researchr.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">SAS 2020 (<a href="https://conf.researchr.org/series/sas" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-road"></span> <a href="https://conf.researchr.org/home/sas-2020" class="navigate">SAS 2020 - 27th Static Analysis Symposium</a> / </span><h1>Program Committee <small>SAS</small><span class="pull-right"></span></h1></div><div class="row"><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/joshberdine" class="navigate"><div class="media"><span class="pull-left"><img alt="Josh Berdine" src="https://conf.researchr.org/getProfileImage/joshberdine/7e716eb0-ca8a-4ce8-983d-fec36d1172ab/small-avatar.jpg?1711474941000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Josh Berdine <small></small></h3><h4 class="media-heading"><span class="text-black">Facebook</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/boryuhevanchang" class="navigate"><div class="media"><span class="pull-left"><img alt="Bor-Yuh Evan Chang" src="https://conf.researchr.org/getProfileImage/boryuhevanchang/c4831a56-b89c-4033-80f0-3ad80d6c8651/small-avatar.jpg?1711457148000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Bor-Yuh Evan Chang <small></small></h3><h4 class="media-heading"><span class="text-black">University of Colorado Boulder & Amazon</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/patrickcousot" class="navigate"><div class="media"><span class="pull-left"><img alt="Patrick Cousot" src="https://conf.researchr.org/getProfileImage/patrickcousot/42f5b16b-b574-4d75-a3b1-902508060f2a/small-avatar.jpg?1711458417000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Patrick Cousot <small></small></h3><h4 class="media-heading"><span class="text-black">New York University</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/jeromeferet" class="navigate"><div class="media"><span class="pull-left"><img alt="Jerome Feret" src="https://conf.researchr.org/getProfileImage/jeromeferet/084e0e3e-2d05-4de1-8645-7e5f687ed6b3/small-avatar.jpg?1711466741000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Jerome Feret <small></small></h3><h4 class="media-heading"><span class="text-black">INRIA Paris</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/samirgenaim" class="navigate"><div class="media"><span class="pull-left"><img alt="small-avatar" src="https://conf.researchr.org/getDefaultImage/small-avatar?1403689208000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Samir Genaim <small></small></h3><h4 class="media-heading"><span class="text-black"> Universidad Complutense de Madrid</span></h4><h4 class="media-heading"><small>Spain</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/ariegurfinkel" class="navigate"><div class="media"><span class="pull-left"><img alt="Arie Gurfinkel" src="https://conf.researchr.org/getProfileImage/ariegurfinkel/5449f693-15ec-4148-8fea-2dcc3c47ca0b/small-avatar.jpg?1711456665000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Arie Gurfinkel <small></small></h3><h4 class="media-heading"><span class="text-black">University of Waterloo</span></h4><h4 class="media-heading"><small>Canada</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/sureshjagannathan" class="navigate"><div class="media"><span class="pull-left"><img alt="Suresh Jagannathan" src="https://conf.researchr.org/getProfileImage/sureshjagannathan/d5f44989-0719-41e5-8621-afc35ba95b11/small-avatar.jpg?1730130234000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Suresh Jagannathan <small></small></h3><h4 class="media-heading"><span class="text-black">Purdue University</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/muralikrishnaramanathan" class="navigate"><div class="media"><span class="pull-left"><img alt="Murali Krishna Ramanathan" src="https://conf.researchr.org/getProfileImage/muralikrishnaramanathan/53a28835-9d02-4557-b0bb-87aee36aa127/small-avatar.jpg?1711486379000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Murali Krishna Ramanathan <small></small></h3><h4 class="media-heading"><span class="text-black">Uber Technologies Inc.</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/francescologozzo" class="navigate"><div class="media"><span class="pull-left"><img alt="Francesco Logozzo" src="https://conf.researchr.org/getProfileImage/francescologozzo/cf450fd0-dcc8-4915-925a-726f3d09bf47/small-avatar.jpg?1727104558000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Francesco Logozzo <small></small></h3><h4 class="media-heading"><span class="text-black">Facebook</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/antoinemine" class="navigate"><div class="media"><span class="pull-left"><img alt="Antoine Miné" src="https://conf.researchr.org/getProfileImage/antoinemine/4424847a-feb4-4b4a-b1db-ffbad821591a/small-avatar.jpg?1711478750000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Antoine Min茅 <small></small></h3><h4 class="media-heading"><span class="text-black">Sorbonne Universit茅</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/andersmoller" class="navigate"><div class="media"><span class="pull-left"><img alt="Anders Møller" src="https://conf.researchr.org/getProfileImage/andersmoller/ea720bf4-03f4-41fd-9eec-f86ff595bb07/small-avatar.jpg?1717150136000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Anders M酶ller <small></small></h3><h4 class="media-heading"><span class="text-black">Aarhus University</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/kedarnamjoshi" class="navigate"><div class="media"><span class="pull-left"><img alt="Kedar Namjoshi" src="https://conf.researchr.org/getProfileImage/kedarnamjoshi/7b9baf21-1f82-4669-b5e0-7dba78744dc1/small-avatar.jpg?1711499756000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Kedar Namjoshi <small></small></h3><h4 class="media-heading"><span class="text-black">Nokia Bell Labs</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/davidpichardie" class="navigate"><div class="media"><span class="pull-left"><img alt="David Pichardie" src="https://conf.researchr.org/getProfileImage/davidpichardie/f2df7034-e1e9-4852-8bd4-f9a5c056b9f8/small-avatar.jpg?1711469140000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">David Pichardie <small>Co-chair</small></h3><h4 class="media-heading"><span class="text-black">Univ Rennes, ENS Rennes, IRISA</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/sylvieputot" class="navigate"><div class="media"><span class="pull-left"><img alt="small-avatar" src="https://conf.researchr.org/getDefaultImage/small-avatar?1403689208000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Sylvie Putot <small></small></h3><h4 class="media-heading"><span class="text-black">脡cole Polytechnique</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/francescoranzato" class="navigate"><div class="media"><span class="pull-left"><img alt="Francesco Ranzato" src="https://conf.researchr.org/getProfileImage/francescoranzato/2fbf9dd4-0854-41bd-8e9b-1dc90841ed24/small-avatar.jpg?1731447975000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Francesco Ranzato <small></small></h3><h4 class="media-heading"><span class="text-black">University of Padova</span></h4><h4 class="media-heading"><small>Italy</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/xavierrival" class="navigate"><div class="media"><span class="pull-left"><img alt="Xavier Rival" src="https://conf.researchr.org/getProfileImage/xavierrival/5ae9a144-0731-441e-a16a-6fd3ce949ef8/small-avatar.jpg?1721417977000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Xavier Rival <small></small></h3><h4 class="media-heading"><span class="text-black">INRIA/CNRS/ENS Paris</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/helmutseidl" class="navigate"><div class="media"><span class="pull-left"><img alt="Helmut Seidl" src="https://conf.researchr.org/getProfileImage/helmutseidl/76decea3-9f3f-46b0-88d7-e2e322518907/small-avatar.jpg?1711469140000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Helmut Seidl <small></small></h3><h4 class="media-heading"><span class="text-black">Technische Universit盲t M眉nchen</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/mihaelasighireanu" class="navigate"><div class="media"><span class="pull-left"><img alt="Mihaela Sighireanu" src="https://conf.researchr.org/getProfileImage/mihaelasighireanu/8a15d1c3-bf93-4e81-98bb-e903aa08b0d2/small-avatar.jpg?1724243743000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Mihaela Sighireanu <small>Co-chair</small></h3><h4 class="media-heading"><span class="text-black">LSV, ENS Paris-Saclay</span></h4><h4 class="media-heading"><small>France</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/caterinaurban" class="navigate"><div class="media"><span class="pull-left"><img alt="Caterina Urban" src="https://conf.researchr.org/getProfileImage/caterinaurban/a945f9bd-bc13-4fe2-945a-59528d7d7e2a/small-avatar.jpg?1711458377000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Caterina Urban <small></small></h3><h4 class="media-heading"><span class="text-black">脡cole normale sup茅rieure</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/tomasvojnar" class="navigate"><div class="media"><span class="pull-left"><img alt="Tomá&scaron; Vojnar" src="https://conf.researchr.org/getProfileImage/tomasvojnar/35b6810e-3f2d-4b1b-9877-0f90997ef54f/small-avatar.jpg?1711486121000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Tom谩拧 Vojnar <small></small></h3><h4 class="media-heading"><span class="text-black">Brno University of Technology</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/kwangkeunyi" class="navigate"><div class="media"><span class="pull-left"><img alt="Kwangkeun Yi" src="https://conf.researchr.org/getProfileImage/kwangkeunyi/92875e1f-e893-466a-9e8f-aa5ca6b032db/small-avatar.jpg?1711509353000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Kwangkeun Yi <small></small></h3><h4 class="media-heading"><span class="text-black">Seoul National University, South Korea</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/eneazaffanella" class="navigate"><div class="media"><span class="pull-left"><img alt="Enea Zaffanella" src="https://conf.researchr.org/getProfileImage/eneazaffanella/5bbfe08f-57e7-4a26-bc6d-71d30e0d90d6/small-avatar.jpg?1711489154000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Enea Zaffanella <small></small></h3><h4 class="media-heading"><span class="text-black">University of Parma, Italy</span></h4><h4 class="media-heading"><small>Italy</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/sas-2020/florianzuleger" class="navigate"><div class="media"><span class="pull-left"><img alt="Florian Zuleger" src="https://conf.researchr.org/getProfileImage/florianzuleger/e21b6ed7-bd3d-4e00-8d8a-3d3640881327/small-avatar.jpg?1711498761000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Florian Zuleger <small></small></h3><h4 class="media-heading"><span class="text-black">TU Vienna</span></h4><h4 class="media-heading"><small>Austria</small></h4></div></div></a></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Tue 21 Jan 06:24</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://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="sas-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://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"sas-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://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="sas-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://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"sas-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://conf.researchr.org/home/sas-2020" class="navigate"><span class="glyphicon glyphicon-home"></span> SAS 2020</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://conf.researchr.org/support/sas-2020" 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://conf.researchr.org/home/sas-2020" class="navigate">SAS</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/sas-2020/splash-2020-venue" class="navigate">Venue: Online</a><br><a href="https://conf.researchr.org/attending/sas-2020/Students" class="navigate">Students</a><br><a href="https://conf.researchr.org/attending/sas-2020/Registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/sas-2020/awards" class="navigate">Awards</a><br><a href="https://conf.researchr.org/attending/sas-2020/sponsoring" class="navigate">Sponsoring</a><br><a href="https://conf.researchr.org/attending/sas-2020/Conduct" class="navigate">Code of conduct</a><br><a href="https://conf.researchr.org/attending/sas-2020/Certificate+of+Attendance" class="navigate">Certificate of Attendance</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/sas-2020" 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>