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://popl21.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://popl21.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Zhenjiang Hu - POPL 2021</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://popl21.sigplan.org";</script> <link rel="stylesheet" href="https://popl21.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://popl21.sigplan.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://popl21.sigplan.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://popl21.sigplan.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://popl21.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://popl21.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://popl21.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://popl21.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://popl21.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://popl21.sigplan.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:description' content='POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 17–22, 2021 as a virtual meeting. Here’s How to POPL 2021. Video pre-publication is coming! The POPL 2021 Program is up! POPL 2021 Accepted Papers'> <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:title' content='Zhenjiang Hu - POPL 2021'> <meta name='description' content='POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 17–22, 2021 as a virtual meeting. Here’s How to POPL 2021. Video pre-publication is coming! The POPL 2021 Program is up! POPL 2021 Accepted Papers'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://popl21.sigplan.org/getImage/carousel/Winter13_Photo_Thomas_H%C3%B8yrup_Christensen-1600px.jpg?1606914947000'> <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"><a href="https://popl21.sigplan.org/blogposts" class="blog-link btn btn-xs btn-default navigate">Write a Blog >></a><div class="logobar"><div class="container"><a href="https://popl21.sigplan.org" class="navbar-brand navigate"><span class="brand-text">POPL 2021</span></a><div class="place">Sun 17 - Fri 22 January 2021 <a href="https://popl21.sigplan.org/venue/POPL-2021-venue" class="navigate">Online</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://popl21.sigplan.org/venue/POPL-2021-venue" class="navigate">Venue: Online (How to POPL in 2021)</a></li><li><a href="https://popl21.sigplan.org/attending/supporting-POPL" class="navigate">Supporting POPL</a></li><li><a href="https://popl21.sigplan.org/attending/students" class="navigate">Student Volunteers</a></li><li><a href="https://popl21.sigplan.org/attending/Code+of+Conduct" class="navigate">Code of Conduct</a></li><li><a href="https://popl21.sigplan.org/attending/Registration" class="navigate">Registration</a></li><li><a href="https://popl21.sigplan.org/attending/FAQ" class="navigate">FAQ</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://popl21.sigplan.org/program/program-POPL-2021/" class="navigate">POPL Program</a></li><li><a href="https://popl21.sigplan.org/program/program-POPL-2021/" 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://popl21.sigplan.org/program/program-POPL-2021/" data-fltr-type="date" data-fltr-val="Sun 17 Jan 2021" class="navigate">Sun 17 Jan</a></li><li><a href="https://popl21.sigplan.org/program/program-POPL-2021/" data-fltr-type="date" data-fltr-val="Mon 18 Jan 2021" class="navigate">Mon 18 Jan</a></li><li><a href="https://popl21.sigplan.org/program/program-POPL-2021/" data-fltr-type="date" data-fltr-val="Tue 19 Jan 2021" class="navigate">Tue 19 Jan</a></li><li><a href="https://popl21.sigplan.org/program/program-POPL-2021/" data-fltr-type="date" data-fltr-val="Wed 20 Jan 2021" class="navigate">Wed 20 Jan</a></li><li><a href="https://popl21.sigplan.org/program/program-POPL-2021/" data-fltr-type="date" data-fltr-val="Thu 21 Jan 2021" class="navigate">Thu 21 Jan</a></li><li><a href="https://popl21.sigplan.org/program/program-POPL-2021/" data-fltr-type="date" data-fltr-val="Fri 22 Jan 2021" class="navigate">Fri 22 Jan</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">POPL 2021</li><li><a href="https://popl21.sigplan.org/track/POPL-2021-research-papers" class="navigate">POPL</a></li><li><a href="https://popl21.sigplan.org/track/POPL-2021-Artifact-Evaluation" class="navigate">Artifact Evaluation</a></li><li><a href="https://popl21.sigplan.org/track/POPL-2021-workshops-and-co-located-events" class="navigate">Workshops and Co-located Events</a></li><li><a href="https://popl21.sigplan.org/track/POPL-2021-tutorialfest" class="navigate">TutorialFest</a></li><li><a href="https://popl21.sigplan.org/track/POPL-2021-student-research-competition" class="navigate">Student Research Competition</a></li><li><a href="https://popl21.sigplan.org/track/POPL-2021-student-volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://popl21.sigplan.org/track/POPL-2021-popl-meetups" class="navigate">POPL Meetups</a></li></ul></div><div class="col-sm-7"><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>CPP</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/home/CPP-2021" class="navigate"><strong>CPP</strong> </a></li><li><a href="https://popl21.sigplan.org/track/CPP-2021-certified-programs-and-proofs-lightning-talks" class="navigate"><strong>CPP</strong> Lightning Talks</a></li></ul></li><li><a href="https://popl21.sigplan.org/home/PLMW-2021" class="navigate"><strong>PLMW</strong> </a></li><li><a href="https://popl21.sigplan.org/home/VMCAI-2021" class="navigate"><strong>VMCAI</strong> </a></li><li class="dropdown-header">Workshops</li><li><a href="https://popl21.sigplan.org/home/CoqPL-2021" class="navigate"><strong>CoqPL</strong> </a></li><li><a href="https://popl21.sigplan.org/home/lafi-2021" class="navigate"><strong>LAFI</strong> </a></li><li><a href="https://popl21.sigplan.org/home/pepm-2021" class="navigate"><strong>PEPM</strong> </a></li><li><a href="https://popl21.sigplan.org/home/prisc-2021" class="navigate"><strong>PriSC</strong> </a></li><li class="dropdown-header">Co-hosted Symposia</li><li><a href="https://popl21.sigplan.org/home/PADL-2021" class="navigate"><strong>PADL</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">POPL 2021 Committees</li><li><a href="https://popl21.sigplan.org/committee/POPL-2021-organizing-committee" class="navigate">Organizing Committee</a></li><li class="dropdown-header">Track Committees </li><li><a href="https://popl21.sigplan.org/committee/POPL-2021-research-papers-program-committee" class="navigate"><strong>POPL</strong></a></li><li><a href="https://popl21.sigplan.org/committee/POPL-2021-artifact-evaluation-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li><a href="https://popl21.sigplan.org/committee/POPL-2021-tutorialfest-tutorials-evaluation-committee" class="navigate"><strong>TutorialFest</strong></a></li><li><a href="https://popl21.sigplan.org/committee/POPL-2021-student-research-competition-selection-committee" class="navigate"><strong>Student Research Competition</strong></a></li><li><a href="https://popl21.sigplan.org/committee/POPL-2021-student-volunteers-student-volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://popl21.sigplan.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>CPP</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/CPP-2021-organization-committee" class="navigate">Organization Committee</a></li><li><a href="https://popl21.sigplan.org/committee/CPP-2021-program-committee" class="navigate">Program Committee</a></li><li><a href="https://popl21.sigplan.org/committee/CPP-2021-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://popl21.sigplan.org/committee/PLMW-2021-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li><a href="https://popl21.sigplan.org/committee/PLMW-2021-papers-panelists" class="navigate">Panelists</a></li><li><a href="https://popl21.sigplan.org/committee/PLMW-2021-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>VMCAI</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/VMCAI-2021-papers-invited-speakers" class="navigate">Invited Speakers</a></li><li><a href="https://popl21.sigplan.org/committee/VMCAI-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://popl21.sigplan.org/committee/VMCAI-2021-papers-program-committee-" class="navigate">Program Committee </a></li><li><a href="https://popl21.sigplan.org/committee/VMCAI-2021-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>CoqPL</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/CoqPL-2021-papers-invited-speaker" class="navigate">Invited speaker</a></li><li><a href="https://popl21.sigplan.org/committee/CoqPL-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://popl21.sigplan.org/committee/CoqPL-2021-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>LAFI</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/lafi-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://popl21.sigplan.org/committee/lafi-2021-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://popl21.sigplan.org/committee/lafi-2021-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>PEPM</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/pepm-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li><a href="https://popl21.sigplan.org/committee/pepm-2021-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://popl21.sigplan.org/committee/pepm-2021-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>PriSC</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/prisc-2021-papers-program-committee" class="navigate">Program Committee</a></li><li><a href="https://popl21.sigplan.org/committee/prisc-2021-papers-steering-committee" class="navigate">Steering 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>PADL</strong></a><ul class="block dropdown-menu"><li><a href="https://popl21.sigplan.org/committee/PADL-2021-papers-chairs" class="navigate">Programme Chairs</a></li><li><a href="https://popl21.sigplan.org/committee/PADL-2021-papers-program-committee" class="navigate">Programme Committee</a></li></ul></li></ul></div></div></ul></li><li><a href="https://popl21.sigplan.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://popl21.sigplan.org/series/POPL" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://popl25.sigplan.org" class="navigate">POPL 2025</a></li><li><a href="https://popl24.sigplan.org" class="navigate">POPL 2024</a></li><li><a href="https://popl23.sigplan.org" class="navigate">POPL 2023</a></li><li><a href="https://popl22.sigplan.org" class="navigate">POPL 2022</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> POPL 2021</span></li><li><a href="https://popl20.sigplan.org" class="navigate">POPL 2020</a></li><li><a href="https://popl19.sigplan.org" class="navigate">POPL 2019</a></li><li><a href="https://popl18.sigplan.org" class="navigate">POPL 2018</a></li><li><a href="https://popl17.sigplan.org" class="navigate">POPL 2017</a></li><li><a href="https://popl16.sigplan.org" class="navigate">POPL 2016</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li><a href="https://conf.researchr.org/signin/POPL-2021/https%3A%5Es%5Espopl21.sigplan.org%5Esprofile%5Eszhenjianghu" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://popl21.sigplan.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://popl21.sigplan.org" class="navigate">POPL 2021</a> (<a href="https://popl21.sigplan.org/series/POPL" class="navigate">series</a>) / </span>Zhenjiang Hu<span class="pull-right"><small><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">POPL 2021 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/conf/zhenjianghu" class="navigate">conf.research.org general profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2018/zhenjianghu" class="navigate">* ICSE 2018 * profile</a></li><li><a href="https://conf.researchr.org/profile/aplas-2019/zhenjianghu" class="navigate">APLAS 2019 profile</a></li><li><a href="https://conf.researchr.org/profile/aplas-2020/zhenjianghu" class="navigate">APLAS 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2020/zhenjianghu" class="navigate">ASE 2020 profile</a></li><li><a href="https://2016.ecoop.org/profile/zhenjianghu" class="navigate">ECOOP 2016 profile</a></li><li><a href="https://2018.fseconference.org/profile/zhenjianghu" class="navigate">ESEC/FSE 2018 profile</a></li><li><a href="https://conf.researchr.org/profile/flops-2022/zhenjianghu" class="navigate">FLOPS 2022 profile</a></li><li><a href="https://icfp16.sigplan.org/profile/zhenjianghu" class="navigate">ICFP 2016 profile</a></li><li><a href="https://icfp17.sigplan.org/profile/zhenjianghu" class="navigate">ICFP 2017 profile</a></li><li><a href="https://icfp18.sigplan.org/profile/zhenjianghu" class="navigate">ICFP 2018 profile</a></li><li><a href="https://icfp21.sigplan.org/profile/zhenjianghu" class="navigate">ICFP 2021 profile</a></li><li><a href="https://icfp23.sigplan.org/profile/zhenjianghu" class="navigate">ICFP 2023 profile</a></li><li><a href="https://icfp24.sigplan.org/profile/zhenjianghu" class="navigate">ICFP 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/icfp-splash-2025/zhenjianghu" class="navigate">ICFP/SPLASH 2025 profile</a></li><li><a href="https://2019.icse-conferences.org/profile/zhenjianghu" class="navigate">ICSE 2019 profile</a></li><li><a href="https://2020.icse-conferences.org/profile/zhenjianghu" class="navigate">ICSE 2020 profile</a></li><li><a href="https://2021.icse-conferences.org/profile/zhenjianghu" class="navigate">ICSE 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2022/zhenjianghu" class="navigate">ICSE 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/models-2020/zhenjianghu" class="navigate">MODELS 2020 profile</a></li><li><a href="https://conf.researchr.org/profile/models-2021/zhenjianghu" class="navigate">MODELS 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/models-2022/zhenjianghu" class="navigate">MODELS 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/models-2023/zhenjianghu" class="navigate">MODELS 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/models-2024/zhenjianghu" class="navigate">MODELS 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/pepm2015/zhenjianghu" class="navigate">PEPM 2015 profile</a></li><li><a href="https://pldi20.sigplan.org/profile/zhenjianghu" class="navigate">PLDI 2020 profile</a></li><li><a href="https://pldi24.sigplan.org/profile/zhenjianghu" class="navigate">PLDI 2024 profile</a></li><li><a href="https://popl16.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2016 profile</a></li><li><a href="https://popl17.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2017 profile</a></li><li><a href="https://popl18.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2018 profile</a></li><li><a href="https://popl19.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2019 profile</a></li><li><a href="https://popl20.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2020 profile</a></li><li><a href="https://popl22.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2022 profile</a></li><li><a href="https://popl23.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2023 profile</a></li><li><a href="https://popl24.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2024 profile</a></li><li><a href="https://popl25.sigplan.org/profile/zhenjianghu" class="navigate">POPL 2025 profile</a></li><li><a href="https://2015.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2015 profile</a></li><li><a href="https://2016.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2016 profile</a></li><li><a href="https://2020.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2020 profile</a></li><li><a href="https://2021.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2021 profile</a></li><li><a href="https://2022.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2022 profile</a></li><li><a href="https://2023.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2023 profile</a></li><li><a href="https://2024.splashcon.org/profile/zhenjianghu" class="navigate">SPLASH 2024 profile</a></li><li><a href="https://2018.programming-conference.org/profile/zhenjianghu" class="navigate">‹Programming› 2018 profile</a></li></ul></div></small></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Zhenjiang Hu" src="https://popl21.sigplan.org/getProfileImage/zhenjianghu/dbe1805a-6a17-4e82-b514-29aa4d8bf382/small.jpg?1731471809000" class="outputimage thumbnail"/><p><small>Registered user since Wed 10 Dec 2014</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Zhenjiang Hu</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>Peking University</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://sei.pku.edu.cn/~hu/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://sei.pku.edu.cn/~hu/</a></div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2021</h3><div><h4>PEPM</h4><ul class="block"><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://popl21.sigplan.org/committee/pepm-2021-papers-steering-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Steering Committee within the PEPM 2021-track</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/conf/zhenjianghu" 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://popl21.sigplan.org/profile","embedProfileWidgetProfile_loadWidget1d78b0351177db9cad4bb6f06b7a0b837", [{"name":"context", "value":"POPL-2021"},{"name":"pers", "value":"zhenjianghu"},],"", 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 Wed 5 May 2021" class="label-default label"><span class="glyphicon glyphicon-time"></span> POPL 2021-profile</span><br><small><a href="https://conf.researchr.org/profile/conf/zhenjianghu" 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>Thu 28 Nov 22:44</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://popl21.sigplan.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="POPL-2021" /><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://popl21.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"POPL-2021"},],"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://popl21.sigplan.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="POPL-2021" /><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://popl21.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"POPL-2021"},],"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://popl21.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> POPL 2021</a></h3><div><a href="https://popl21.sigplan.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.67.1</a>)<br/><small><a href="https://popl21.sigplan.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://popl21.sigplan.org/track/POPL-2021-research-papers" class="navigate">POPL</a><br/><a href="https://popl21.sigplan.org/track/POPL-2021-Artifact-Evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://popl21.sigplan.org/track/POPL-2021-workshops-and-co-located-events" class="navigate">Workshops and Co-located Events</a><br/><a href="https://popl21.sigplan.org/track/POPL-2021-tutorialfest" class="navigate">TutorialFest</a><br/><a href="https://popl21.sigplan.org/track/POPL-2021-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://popl21.sigplan.org/track/POPL-2021-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://popl21.sigplan.org/track/POPL-2021-popl-meetups" class="navigate">POPL Meetups</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://popl21.sigplan.org/home/CPP-2021" class="navigate">CPP 2021</a><br/><a href="https://popl21.sigplan.org/home/PLMW-2021" class="navigate">PLMW 2021</a><br/><a href="https://popl21.sigplan.org/home/VMCAI-2021" class="navigate">VMCAI 2021</a><br/><h4>Workshops</h4><a href="https://popl21.sigplan.org/home/CoqPL-2021" class="navigate">CoqPL 2021</a><br/><a href="https://popl21.sigplan.org/home/lafi-2021" class="navigate">LAFI 2021</a><br/><a href="https://popl21.sigplan.org/home/pepm-2021" class="navigate">PEPM 2021</a><br/><a href="https://popl21.sigplan.org/home/prisc-2021" class="navigate">PriSC 2021</a><br/><h4>Co-hosted Symposia</h4><a href="https://popl21.sigplan.org/home/PADL-2021" class="navigate">PADL 2021</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://popl21.sigplan.org/venue/POPL-2021-venue" class="navigate">Venue: Online (How to POPL in 2021)</a><br><a href="https://popl21.sigplan.org/attending/supporting-POPL" class="navigate">Supporting POPL</a><br><a href="https://popl21.sigplan.org/attending/students" class="navigate">Student Volunteers</a><br><a href="https://popl21.sigplan.org/attending/Code+of+Conduct" class="navigate">Code of Conduct</a><br><a href="https://popl21.sigplan.org/attending/Registration" class="navigate">Registration</a><br><a href="https://popl21.sigplan.org/attending/FAQ" class="navigate">FAQ</a></div><div class="col-sm-2"><a href="https://popl21.sigplan.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: 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>