Yanyan Jiang | Institute of Computer Software

<html lang="en"> <head profile="http://www.w3.org/2005/10/profile"> <meta charset="utf-8"/> <meta http-equiv="X-UA-Compatible" content="IE=edge"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> <title> Yanyan Jiang | Institute of Computer Software</title>  <link href="../../static/font-awesome/css/font-awesome.min.css" rel="stylesheet" type="text/css"/> <link href="../../static/js/dropdown-menu/dropdown-menu.css" rel="stylesheet" type="text/css"/> <link href="../../static/bootstrap/css/bootstrap.min.css" rel="stylesheet" type="text/css"/> <link href="../../static/css/style.css" rel="stylesheet" type="text/css"/> <link href="../../static/css/bibtex.css" rel="stylesheet" type="text/css"/> <link href="../../static/css/pygments.css" rel="stylesheet" type="text/css"/> <link href="../../static/css/moon.css" rel="stylesheet" type="text/css"/> <link rel="shortcut icon" type="image/png" href="../../static/img/favicon.png"/> <link rel="icon" type="image/png" href="../../static/img/favicon.png"/> </head> <body role="document"> <div id="k-head" class="container"> <div class="row"> <div class="col-lg-12"> <div id="k-site-logo" class="pull-left" style="padding:5pt;"> <h1 class="k-logo"> <a href="../../index.html" title="首页"> <img src="../../static/img/ICS_LOGO_left.png" width="170" alt="Site Logo" class="img-responsive"/> </a> </h1> <div id="mobile-nav-switch" class="dropdown" style="padding-right: 50px"> <button class="btn btn-secondary dropdown-toggle" type="button" id="dropdownMenuButton" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> <span class="alter-menu-icon"/> </button> <div class="dropdown-menu dropdown-left" aria-labelledby="dropdownMenuButton" style="min-width: 64px;"> <ul class="dropdown-list"> <li class="dropdown-item"><a href="../../index.html">首页</a></li> <li class="dropdown-item"><a href="../../centers/index.html">组织</a> </li><li class="dropdown-item"><a href="../../events">活动</a> </li><li class="dropdown-item"><a href="../../courses/index.html">课程</a> </li><li class="dropdown-item"><a href="../../recruit/index.html">招生</a> </li><li class="dropdown-item"><a href="../../ad/index.html">资源</a> </li></ul> </div> </div> </div> <div id="k-site-logo" class="hidden-xs hidden-sm hidden-md" style="padding:5pt;float:right!important;"> <h1 class="k-logo"> <a href="../../index.html" title="首页"> <img src="../../static/img/ICS_LOGO_right.png" width="170" alt="Site Logo" class="img-responsive"/> </a> </h1> </div> <nav id="k-menu" class="k-main-navig"> <ul id="drop-down-left" class="k-dropdown-menu"> <li class="dropdown-item"> <a href="../../index.html" title="">首页</a> </li> <li class="dropdown-item"> <a href="../../centers/index.html" title="">组织</a> </li> <li class="dropdown-item"> <a href="../../allpeople/index.html" title="">成员</a> </li> <li class="dropdown-item"> <a href="../../courses/index.html" title="">课程</a> </li> <li class="dropdown-item"> <a href="../../recruit/index.html" title="">招生</a> </li> <li class="dropdown-item"> <a href="../../ad/index.html" title="">资源</a> </li> </ul> </nav> </div> </div> </div> <div id="k-body"> <div class="container"> <div class="row"> <div class="k-breadcrumbs col-lg-12 clearfix"> <ol class="breadcrumb"> <li><a href="../../index.html">Home</a></li> <li><a href="../../people/index.html">People</a></li> <li class="active">Yanyan Jiang</li> </ol> </div> </div> <div class="row no-gutter fullwidth"> <div class="col-lg-12 col-md-12"> <div class="col-padded"> <h1 id="yanyan-jiang">Yanyan Jiang 蒋炎岩 <img alt="" src="img/email.png"/></h1> <p/> <div class="row gutter"> <div class="col-lg-3 col-md-3 col-sm-4 col-xs-5"> <p/><center> <img alt="" id="frog" src="img/frog-head.jpg" width="300px"/> </center> </div> <p>(Tenure-track) Associate Professor,<br/><a href="../../spar/index.html">SPAR <img alt="" src="../../static/img/logo-spar-small.png"/></a> - <a href="http://sccpu2.cse.ust.hk/castle/index.html">CASTLE <img alt="" src="../../static/img/logo-castle-small.png"/></a> Joint Group,<br/> School of Computer Science and Technology,<br/>Nanjing University.<br/> <br/> Room <span title="1023">0b1111111111</span>, CST Building,<br/> Nanjing University Xianlin Campus.</p> </div> <h2 id="research">Research</h2> <p>I'm interested in fun stuffs on constructing and torturing software systems: validation, verification, and synthesis. Selected publications:</p> <p><img alt="" class="pull-right" src="img/sosp23.jpg" width="360px"/></p> <ul> <li><span class="bibtex author"><span class="bibtex author hl">Yanyan Jiang</span>, </span><span class="bibtex title">“The hitchhiker's guide to operating systems”, </span><span class="bibtex pages">in </span><span class="bibtex booktitle">Proceedings of the 2023 USENIX Annual Technical Conference (USENIX ATC)</span><span>, </span><span class="bibtex pages">929–943, </span><span class="bibtex year">2023.</span><span class="bibtex"><a href="https://www.usenix.org/conference/atc23/presentation/jiang-yanyan"> <i class="fa fa-external-link" aria-hidden="true"> </i></a></span> <span class="bibtex"><a href="https://github.com/jiangyy/mosaic" target="_blank" title="Code of this paper"> <i class="fa fa-code-fork" aria-hidden="true"> </i></a></span></li> <li><span class="bibtex author">Cong Li, <span class="bibtex author hl">Yanyan Jiang</span>, Chang Xu, and Zhendong Su, </span><span class="bibtex title">“Validating JIT compilers via compilation space exploration”, </span><span class="bibtex pages">in </span><span class="bibtex booktitle">Proceedings of the 29th Symposium on Operating Systems Principles (SOSP)</span><span>, </span><span class="bibtex pages">66–79, </span><span class="bibtex year">2023 (Best Paper Award 🏅).</span><span class="bibtex"><a href="https://dl.acm.org/doi/10.1145/3600006.3613140"> <i class="fa fa-external-link" aria-hidden="true"> </i></a></span> </li> <li><span class="bibtex author">Zelin Zhao, <span class="bibtex author hl">Yanyan Jiang</span>, Chang Xu, Tianxiao Gu, and Xiaoxing Ma, </span><span class="bibtex title">“Synthesizing object state transformers for dynamic software updates”, </span><span class="bibtex pages">in </span><span class="bibtex booktitle">Proceedings of the 43rd International Conference on Software Engineering (ICSE)</span><span>, </span><span class="bibtex pages">1111–1122, </span><span class="bibtex year">2021 (ACM SIGSOFT Distinguished Paper Award 🏅 and ACM Europe Council Best Paper Award 🏅).</span><span class="bibtex"><a href="https://zelinzhao.github.io/pasta/artifact/pasta-icse2021.pdf" target="_blank" title="Local copy of this paper"> <i class="fa fa-file-pdf-o" aria-hidden="true"> </i></a> </span><span class="bibtex"><a href="https://zelinzhao.github.io/pasta/" target="_blank" title="Code of this paper"> <i class="fa fa-code-fork" aria-hidden="true"> </i></a></span> <small><a href="https://zhuanlan.zhihu.com/p/425845057"><img alt="" src="img/zhihu.png"/> “软件动态更新技术”</a></small></li> <li>And the <a href="publications.html">full publication list</a>.</li> </ul> <h2 id="teaching">Teaching</h2> <ul> <li><img class="pull-right" style="margin-left:15px" width="200px" src="img/projectn.jpg"/> <a href="https://jyywiki.cn/">Yanyan's Wiki</a> and “<a href="https://space.bilibili.com/202224425">The Green Advisor</a>”<ul> <li><a href="https://space.bilibili.com/202224425/channel/collectiondetail?sid=192498">Operating Systems</a>; <a href="https://zhuanlan.zhihu.com/p/130318023">test case design <img alt="" src="img/zhihu.png"/></a> and plagiarism detection (Needle <a href="http://zhuanlan.zhihu.com/p/40568346"><img alt="" src="img/zhihu.png"/></a> [<a href="pubs/needle">SIGCSE-China18</a>]).</li> <li><em>Project-N</em> <img alt="" src="img/logo-n.png"/> (with <a href="https://sashimi-yzh.github.io">Zihao Yu 余子濠</a>) in which undergraduate students build a complete computer system (SoC, full-system emulator, operating system, etc.) from scratch.</li> </ul> </li> </ul> <h2 id="students">Students</h2> <p><img class="pull-right" width="125px" style="margin-right: 15px" src="img/yuju-cake.jpg"/></p> <ul> <li> <p>Current (<a href="https://jyywiki.cn/Letter.md">劝退信</a>)</p> <ul> <li>PhD: 欧先飞 (2018), <a href="https://jm233333.github.io/">刘瀚之</a> (2020), 周意可 (2021), 王加益 (2021), 高培立 (2023), 赵超懿 (2023), 曹云帆 (2024), 谭森琪 (2024)</li> <li>Master: 刘泽森 (2023), 臧子健 (2024)</li> </ul> </li> <li> <p><a href="students.html">Past students</a></p> </li> </ul> <h2 id="services">Services</h2> <ul> <li>Program Committee Member: <a href="https://2025.eurosys.org/index.html">EuroSys'25</a>, <a href="https://conf.researchr.org/profile/ase-2023/yanyanjiang">ASE'23</a>, <a href="https://conf.researchr.org/profile/ase-2021/yanyanjiang">ASE'21</a>, <a href="https://saner2023.must.edu.mo/">SANER'23</a>, <a href="https://saner2022.uom.gr">SANER'22</a>, Internetware, ChinaSoft, ChinaSys.</li> <li><img alt="" src="img/noi.png"/> Steering Committee Member of Jiangsu Olympiad in Informatics; Technical Committee Member of APIO'22—24.</li> </ul> <h2 id="honors-and-awards">Honors and Awards</h2> <ul> <li>2024 The Favorite Teacher at Nanjing University (我最喜爱的老师, Nominated by Students).</li> <li>2024 ACM ChinaSys Rising Star Award.</li> <li>2023 Best Paper Award of the 29th ACM Symposium on Operating Systems Principles (SOSP'23).</li> <li>2022 Xiaomi Youth Innovation Award (小米青年学者科技创新奖).</li> <li>2021 NASAC Youth Software Innovation Award (NASAC 青年软件创新奖).</li> <li>2021 ACM SIGSOFT Distinguished Paper Award and ACM European Best Paper Award (ICSE'21).</li> <li>2018-2020 CCF Elite Youth Scientists Sponsorship Program (CCF 青年人才托举计划; Top 6 in China).</li> <li>2018 ACM SIGSOFT Distinguished Paper Award (ASE'18).</li> <li>2018 CCF Docotral Disseration Award (Top 5 in China), ACM China Doctoral Dissertation Award Nomination (Top 5 in China).</li> <li>2016 Distinguished Student of Nanjing University (南京大学学生年度人物; the only PhD student out of ten winners).</li> <li>2014 MSRA Fellowship Award (微软学者奖学金; Top 12 in Asia Region); 2015 and 2010 National Scholarship;</li> <li>First Place in 2014 Huawei Cup Regional Programming Contest; Second Place in 2012 Tencent Hackathon.</li> <li>I competed in ICPC regional contests for two Gold Medals and earned 49th Place in the 2009 World Finals.</li> </ul> <hr/> <p>Last Update: Nov 6, 2024</p> <p/> </div> </div> </div> </div> </div> <div id="k-subfooter"> <div class="container"> <div class="row"> <div class="col-lg-12"> <p class="copy-text text-inverse"> © 2021 Institute of Computer Software, Nanjing University. All rights reserved. </p> </div> </div> </div> </div> <script src="../../static/jQuery/jquery-2.1.1.min.js"> </script> <script src="../../static/bootstrap/js/bootstrap.min.js"> </script> <script src="../../static/js/dropdown-menu/dropdown-menu.js"> </script> <script> $('#frog').hover( function() { $(this).attr('src', 'img/yanyan-portrait.jpg'); }, function() { $(this).attr('src', 'img/frog-head.jpg'); } ); </script> <script> $('ul').css('margin-left', '-15px'); $('h2').css('margin-top', '15px'); $('h2').css('margin-bottom', '5px'); </script> </body> </html>

CINXE.COM

Yanyan Jiang | Institute of Computer Software