CINXE.COM
Publications [IPADS]
<!DOCTYPE html> <html lang="en" dir="ltr" class="no-js"> <head> <meta charset="utf-8" /> <title>Publications [IPADS]</title> <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <meta name="generator" content="DokuWiki"/> <meta name="theme-color" content="#008800"/> <meta name="robots" content="index,follow"/> <meta name="keywords" content="pub,publication"/> <link rel="search" type="application/opensearchdescription+xml" href="/lib/exe/opensearch.php" title="IPADS"/> <link rel="start" href="/"/> <link rel="contents" href="/pub/publication?do=index" title="Sitemap"/> <link rel="manifest" href="/lib/exe/manifest.php"/> <link rel="alternate" type="application/rss+xml" title="Recent Changes" href="/feed.php"/> <link rel="alternate" type="application/rss+xml" title="Current namespace" href="/feed.php?mode=list&ns=pub"/> <link rel="alternate" type="text/html" title="Plain HTML" href="/_export/xhtml/pub/publication"/> <link rel="alternate" type="text/plain" title="Wiki Markup" href="/_export/raw/pub/publication"/> <link rel="canonical" href="https://ipads.se.sjtu.edu.cn/pub/publication"/> <link rel="stylesheet" href="/lib/exe/css.php?t=dokuwiki&tseed=323e9fe9e254a750ecba911793cf3fbb"/> <link rel="alternate" hreflang="x-default" href="https://ipads.se.sjtu.edu.cn/pub/publication"/> <!--[if gte IE 9]><!--> <script >/*<![CDATA[*/var NS='pub';var JSINFO = {"ga":{"trackingId":"UA-4903827-1","gtagId":"","anonymizeIp":true,"action":"show","trackOutboundLinks":false,"options":[],"pageview":"\/pub\/publication","debug":false},"move_renameokay":false,"move_allowrename":false,"plugins":{"vshare":{"youtube":"youtube\\.com\/.*[&?]v=([a-z0-9_\\-]+)","vimeo":"vimeo\\.com\\\/(\\d+)","slideshare":"slideshare.*id=(\\d+)","dailymotion":"dailymotion\\.com\/video\/([a-z0-9]+)","archiveorg":"archive\\.org\/(?:embed|details)\/([a-zA-Z0-9_\\-]+)","soundcloud":"soundcloud\\.com\/([\\w-]+\/[\\w-]+)","niconico":"nicovideo\\.jp\/watch\/(sm[0-9]+)","bitchute":"bitchute\\.com\\\/video\\\/([a-zA-Z0-9_\\-]+)","coub":"coub\\.com\\\/view\\\/([a-zA-Z0-9_\\-]+)","odysee":"odysee\\.com\/\\$\/(?:embed|download)\/([-%_?=\/a-zA-Z0-9]+)","youku":"v\\.youku\\.com\/v_show\/id_([0-9A-Za-z=]+)\\.html","bilibili":"bilibili\\.com\\\/video\\\/(BV[0-9A-Za-z]+)","msoffice":"(?:office\\.com.*[&?]videoid=([a-z0-9\\-]+))","msstream":"microsoftstream\\.com\\\/video\\\/([a-f0-9\\-]{36})","rutube":"rutube\\.ru\\\/video\\\/([a-z0-9]+)\\\/"}},"id":"pub:publication","namespace":"pub","ACT":"show","useHeadingNavigation":1,"useHeadingContent":0}; /*!]]>*/</script> <script src="/lib/exe/jquery.php?tseed=f0349b609f9b91a485af8fd8ecd4aea4" defer="defer">/*<![CDATA[*/ /*!]]>*/</script> <script src="/lib/exe/js.php?t=dokuwiki&tseed=323e9fe9e254a750ecba911793cf3fbb" defer="defer">/*<![CDATA[*/ /*!]]>*/</script> <!--<![endif]--> <meta name="viewport" content="width=device-width,initial-scale=1" /> <link rel="shortcut icon" href="/lib/tpl/dokuwiki/images/favicon.ico" /> <link rel="apple-touch-icon" href="/lib/tpl/dokuwiki/images/apple-touch-icon.png" /> </head> <body> <div id="dokuwiki__site"><div id="dokuwiki__top" class="site dokuwiki mode_show tpl_dokuwiki showSidebar hasSidebar"> <!-- ********** HEADER ********** --> <header id="dokuwiki__header"><div class="pad group"> <div class="headings group"> <ul class="a11y skip"> <li><a href="#dokuwiki__content">skip to content</a></li> </ul> <h1 class="logo"><a href="/start" accesskey="h" title="Home [h]"><img src="/lib/tpl/dokuwiki/images/logo.png" width="64" height="64" alt="" /><span>IPADS</span></a></h1> </div> <div class="tools group"> <!-- USER TOOLS --> <div id="dokuwiki__usertools"> <h3 class="a11y">User Tools</h3> <ul> <li class="action login"><a href="/pub/publication?do=login&sectok=" title="Log In" rel="nofollow"><span>Log In</span><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10 17.25V14H3v-4h7V6.75L15.25 12 10 17.25M8 2h9a2 2 0 0 1 2 2v16a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2v-4h2v4h9V4H8v4H6V4a2 2 0 0 1 2-2z"/></svg></a></li> </ul> </div> <!-- SITE TOOLS --> <div id="dokuwiki__sitetools"> <h3 class="a11y">Site Tools</h3> <form action="/start" method="get" role="search" class="search doku_form" id="dw__search" accept-charset="utf-8"><input type="hidden" name="do" value="search" /><input type="hidden" name="id" value="pub:publication" /><div class="no"><input name="q" type="text" class="edit" title="[F]" accesskey="f" placeholder="Search" autocomplete="on" id="qsearch__in" value="" /><button value="1" type="submit" title="Search">Search</button><div id="qsearch__out" class="ajax_qsearch JSpopup"></div></div></form> <div class="mobileTools"> <form action="/doku.php" method="get" accept-charset="utf-8"><div class="no"><input type="hidden" name="id" value="pub:publication" /><select name="do" class="edit quickselect" title="Tools"><option value="">Tools</option><optgroup label="Page Tools"><option value="edit">Show pagesource</option><option value="revisions">Old revisions</option><option value="backlink">Backlinks</option></optgroup><optgroup label="Site Tools"><option value="recent">Recent Changes</option><option value="media">Media Manager</option><option value="index">Sitemap</option></optgroup><optgroup label="User Tools"><option value="login">Log In</option></optgroup></select><button type="submit">></button></div></form> </div> <ul> <li class="action recent"><a href="/pub/publication?do=recent" title="Recent Changes [r]" rel="nofollow" accesskey="r">Recent Changes</a></li><li class="action media"><a href="/pub/publication?do=media&ns=pub" title="Media Manager" rel="nofollow">Media Manager</a></li><li class="action index"><a href="/pub/publication?do=index" title="Sitemap [x]" rel="nofollow" accesskey="x">Sitemap</a></li> </ul> </div> </div> <!-- BREADCRUMBS --> <hr class="a11y" /> </div></header><!-- /header --> <div class="wrapper group"> <!-- ********** ASIDE ********** --> <nav id="dokuwiki__aside" aria-label="Sidebar"><div class="pad aside include group"> <h3 class="toggle">Sidebar</h3> <div class="content"><div class="group"> <h1 class="sectionedit1" id="ipads">IPADS</h1> <div class="level1"> <ul> <li class="level1"><div class="li"> <a href="/start" class="wikilink1" title="start" data-wiki-id="start"> Index</a></div> </li> <li class="level1"><div class="li"> <a href="/start#recent_news" class="wikilink1" title="start" data-wiki-id="start"> News</a></div> </li> <li class="level1"><div class="li"> <a href="/pub/members" class="wikilink1" title="pub:members" data-wiki-id="pub:members"> Members</a></div> </li> <li class="level1"><div class="li"> <a href="/pub/projects" class="wikilink1" title="pub:projects" data-wiki-id="pub:projects"> Projects</a></div> </li> <li class="level1"><div class="li"> <a href="/pub/publication" class="wikilink1" title="pub:publication" data-wiki-id="pub:publication"> Publications</a></div> </li> <li class="level1"><div class="li"> <a href="/pub/courses" class="wikilink1" title="pub:courses" data-wiki-id="pub:courses"> Courses</a></div> </li> <li class="level1"><div class="li"> <a href="https://ipads.se.sjtu.edu.cn/zh/activities/" class="urlextern" target="_tab" title="https://ipads.se.sjtu.edu.cn/zh/activities/" rel="ugc nofollow noopener"> Life @ IPADS</a></div> </li> <li class="level1"><div class="li"> <a href="https://ipads.se.sjtu.edu.cn:1312/ipads-ops/internal-wiki/wikis/home" class="urlextern" target="_tab" title="https://ipads.se.sjtu.edu.cn:1312/ipads-ops/internal-wiki/wikis/home" rel="ugc nofollow noopener"> Wiki</a></div> </li> <li class="level1"><div class="li"> <a href="https://ipads.se.sjtu.edu.cn/zh" class="urlextern" target="_tab" title="https://ipads.se.sjtu.edu.cn/zh" rel="ugc nofollow noopener"> 中文主页</a></div> </li> </ul> </div> <!-- EDIT{"target":"section","name":"IPADS","hid":"ipads","codeblockOffset":0,"secid":1,"range":"13-"} --> </div></div> </div></nav><!-- /aside --> <!-- ********** CONTENT ********** --> <main id="dokuwiki__content"><div class="pad group"> <div class="pageId"><span>pub:publication</span></div> <div class="page group"> <!-- wikipage start --> <!-- TOC START --> <div id="dw__toc" class="dw__toc"> <h3 class="toggle">Table of Contents</h3> <div> <ul class="toc"> <li class="level1"><div class="li"><a href="#publications">Publications</a></div> <ul class="toc"> <li class="clear"> <ul class="toc"> <li class="level3"><div class="li"><a href="#section2025">2025</a></div></li> <li class="level3"><div class="li"><a href="#section2024">2024</a></div></li> <li class="level3"><div class="li"><a href="#section2023">2023</a></div></li> <li class="level3"><div class="li"><a href="#section2022">2022</a></div></li> <li class="level3"><div class="li"><a href="#section2021">2021</a></div></li> <li class="level3"><div class="li"><a href="#section2020">2020</a></div></li> <li class="level3"><div class="li"><a href="#section2019">2019</a></div></li> <li class="level3"><div class="li"><a href="#section2018">2018</a></div></li> <li class="level3"><div class="li"><a href="#section2017">2017</a></div></li> <li class="level3"><div class="li"><a href="#section2016">2016</a></div></li> <li class="level3"><div class="li"><a href="#section2015">2015</a></div></li> <li class="level3"><div class="li"><a href="#section2014">2014</a></div></li> <li class="level3"><div class="li"><a href="#section2013">2013</a></div></li> <li class="level3"><div class="li"><a href="#section2012">2012</a></div></li> <li class="level3"><div class="li"><a href="#prior">Prior</a></div></li> </ul></li> </ul></li> </ul> </div> </div> <!-- TOC END --> <h1 class="sectionedit1" id="publications">Publications</h1> <div class="level1"> </div> <h3 class="sectionedit2" id="section2025">2025</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SIGMOD</strong>] Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency. Yicun Yang, Zhaoguo Wang, Yu Xia, Zhuoran Wei, Haoran Ding, Ruzica Piskac, Haibo Chen, Jinyang Li. In Proceedings of the 2025 ACM SIGMOD International Conference on Management of Data.</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] Jiacheng Shi, Yang Yu, Jinyu Gu, Yubin Xia. A Hardware-Software Co-Design for Efficient Secure Containers. Proceedings of the 20th European Conference on Computer Systems, Rotterdam, Netherlands, April, 2025.</div> </li> <li class="level1"><div class="li"> [<strong>USENIX Security</strong>] Jiacheng Shi, Jinyu Gu, Yubin Xia, Haibo Chen. Serverless Functions Made Confidential and Efficient with Split Containers. The 34th USENIX Security Symposium, Seattle, WA, USA, 2025.</div> </li> <li class="level1"><div class="li"> [<strong>FAST</strong>] Liquid-State Drive: A Case for DNA Block Device for Enormous Data. Jiahao Zhou, Mingkai Dong, Fei Wang, Jingyao Zeng, Lei Zhao, Chunhai Fan, Haibo Chen. The 23rd USENIX Conference on File and Storage Technologies, February, 2025.</div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption. Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen. The 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2025.</div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen. The 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2025.</div> </li> <li class="level1"><div class="li"> [<strong>NSDI</strong>] ODRP: On-Demand Remote Paging with Programmable RDMA. Zixuan Wang, Xingda Wei, Jinyu Gu, Hongrui Xie, Rong Chen, and Haibo Chen. The 22nd USENIX Symposium on Networked Systems Design and Implementation, Philadelphia, PA, US, April 2025.</div> </li> </ul> </div> <h3 class="sectionedit3" id="section2024">2024</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SoCC</strong>] On-demand and Parallel Checkpoint/Restore for GPU Applications. Yanning Yang, Dong Du, Haitao Song, Yubin Xia. The 15th ACM Symposium on Cloud Computing (SoCC'24), Redmond, WA, USA. Nov 2024.<a href="/_media/publications/yang-socc24.pdf" class="media mediafile mf_pdf" title="publications:yang-socc24.pdf (979.8 KB)">paper</a> </div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen. The 30th ACM Symposium on Operating Systems Principles, Texas, USA, November 2024.<a href="/_media/publications/song-sosp24.pdf" class="media mediafile mf_pdf" title="publications:song-sosp24.pdf (963.7 KB)">paper</a><a href="/_media/talk/sosp2024_powerinfer_slides.pdf" class="media mediafile mf_pdf" title="talk:sosp2024_powerinfer_slides.pdf (2.7 MB)">ppt</a></div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] VPRI: Optimized I/O Page Fault in Public IaaS. Kaijie Guo, Dingji Li, Ben Luo, Yibin Shen, Kaihuan Peng, Ning Luo, Shengdong Dai, Chen Liang, Jianming Song, Hang Yang, Xiantao Zhang, Zeyu Mi. The 30th ACM Symposium on Operating Systems Principles, Texas, USA, November 2024.<a href="/_media/publications/li-sosp24.pdf" class="media mediafile mf_pdf" title="publications:li-sosp24.pdf (1.2 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James Larus, Haibo Chen. USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2024.<a href="/_media/publications/liu-atc24.pdf" class="media mediafile mf_pdf" title="publications:liu-atc24.pdf (1020.4 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Flexible, Secure and Efficient CVM Maintenance with Confidential Procedure Calls. Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen. USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2024. <a href="/_media/publications/chen-atc24.pdf" class="media mediafile mf_pdf" title="publications:chen-atc24.pdf (721.3 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. Haibo Chen, Xie Miao, Ning Jia, Nan Wang, Yu Li, Nian Liu, Yutao Liu, Fei Wang, Qiang Huang, Kun Li, Hongyang Yang, Hui Wang, Jie Yin, Yu Peng, and Fengwei Xu. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.<a href="/_media/publications/chen-osdi24.pdf" class="media mediafile mf_pdf" title="publications:chen-osdi24.pdf (1008.2 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Using Dynamically Layered Definite Releases for Verifying the RefFS File System. Mo Zou, Dong Du, Mingkai Dong, Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.<a href="/_media/publications/zou-osdi24.pdf" class="media mediafile mf_pdf" title="publications:zou-osdi24.pdf (752.3 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Fast and Scalable In-network Lock Management Using Lock Fission. Hanze Zhang, Ke Cheng, Rong Chen, and Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.<a href="/_media/publications/zhang-osdi24.pdf" class="media mediafile mf_pdf" title="publications:zhang-osdi24.pdf (1.4 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ISCA</strong>] sNPU: Trusted Execution Environments on Integrated NPUs. Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen. The 51st International Symposium on Computer Architecture (ISCA'24), 2024.<a href="/_media/publications/feng-isca24.pdf" class="media mediafile mf_pdf" title="publications:feng-isca24.pdf (759.2 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] Jade: A High-throughput Concurrent Copying Garbage Collector. Mingyu Wu, Liang Mao, Yude Lin, Yifeng Jin, Zhe Li, Hongtao Lyu, Jiawei Tang, Xiaowei Lu, Hao Tang, Denghui Dong, Haibo Chen, Binyu Zang. Proceedings of the 19th European Conference on Computer Systems, Athens, Greece, April, 2024.<a href="/_media/publications/wu-eurosys24.pdf" class="media mediafile mf_pdf" title="publications:wu-eurosys24.pdf (315 KB)">paper</a> </div> </li> <li class="level1"><div class="li"> [<strong>VLDB</strong>] XGNN: Boosting Multi-GPU GNN Training via Global GNN Memory Store. Dahai Tang, Jiali Wang, Rong Chen, Lei Wang, Wenyuan Yu, Jingren Zhou, and Kenli Li. The 50th International Conference on Very Large Databases, Guangzhou, China, August 2024.<a href="/_media/publications/tang-vldb24.pdf" class="media mediafile mf_pdf" title="publications:tang-vldb24.pdf (608.3 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] sIOPMP: Scalable and Efficient I/O Protection for TEEs. Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024.<a href="/_media/publications/feng-asplos24.pdf" class="media mediafile mf_pdf" title="publications:feng-asplos24.pdf (1.6 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. Ziming Zhao, Mingyu Wu, Haibo Chen, Binyu Zang. Proceedings of the 19th European Conference on Computer Systems, Athens, Greece, April, 2024.<a href="/_media/publications/zhao-eurosys24.pdf" class="media mediafile mf_pdf" title="publications:zhao-eurosys24.pdf (537.3 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] Serialization/Deserialization-free State Transfer in Serverless Workflows. Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen. Proceedings of the 19th European Conference on Computer Systems (<strong>Best Paper Award</strong>), Athens, Greece, April, 2024.<a href="/_media/publications/lu-eurosys24.pdf" class="media mediafile mf_pdf" title="publications:lu-eurosys24.pdf (1.4 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>SIGMOD</strong>] WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications. Gansen Hu, Zhaoguo Wang, Chuzhe Tang, Jiahuan Shen, Zhiyuan Dong, Sheng Yao, and Haibo Chen. In Proceedings of the 2024 ACM SIGMOD International Conference on Management of Data. 2024.<a href="/_media/publications/hu-sigmod24.pdf" class="media mediafile mf_pdf" title="publications:hu-sigmod24.pdf (1.1 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>SIGMOD</strong>] Proving Query Equivalence Using Linear Integer Arithmetic. Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li. In Proceedings of the 2024 ACM SIGMOD International Conference on Management of Data. 2024.<a href="/_media/publications/ding-sigmod24.pdf" class="media mediafile mf_pdf" title="publications:ding-sigmod24.pdf (648.5 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>FAST</strong>] Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. Yubo Liu, Yuxin Ren, Mingrui Liu, Hongbo Li, Hanjun Guo, Xie Miao, Xinwei Hu, and Haibo Chen. The 22nd USENIX Conference on File and Storage Technologies, February, 2024.<a href="/_media/publications/liu-fast24.pdf" class="media mediafile mf_pdf" title="publications:liu-fast24.pdf (765.8 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024.<a href="/_media/publications/liu-asplos23.pdf" class="media mediafile mf_pdf" title="publications:liu-asplos23.pdf (1.1 MB)">paper</a></div> </li> </ul> </div> <h3 class="sectionedit4" id="section2023">2023</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>Nature</strong>] DNA-based programmable gate arrays for general-purpose DNA computing. Hui Lv, Nuli Xie, Mingqiang Li, Mingkai Dong, Chenyun Sun, Qian Zhang, Lei Zhao, Jiang Li, Xiaolei Zuo, Haibo Chen, Fei Wang & Chunhai Fan. Nature (2023). September, 2023.<a href="/_media/publications/nature23.pdf" class="media mediafile mf_pdf" title="publications:nature23.pdf (13 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>SoCC</strong>] The Gap Between Serverless Research and Real-world Systems. Qingyuan Liu, Dong Du, Yubin Xia, Ping Zhang, Haibo Chen. ACM Symposium on Cloud Computing, 2023.<a href="https://ipads.se.sjtu.edu.cn/zh/publications/LiuSoCC23.pdf" class="urlextern" target="_tab" title="https://ipads.se.sjtu.edu.cn/zh/publications/LiuSoCC23.pdf" rel="ugc nofollow noopener">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>MICRO</strong>] Accelerating Extra Dimensional Page Walks for Confidential Computing. Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen. The 56th IEEE/ACM International Symposium on Microarchitecture (MICRO), Toronto, Canada. 2023.<a href="/_media/publications/micro23-du-preprint.pdf" class="media mediafile mf_pdf" title="publications:micro23-du-preprint.pdf (1.1 MB)">paper-preprint</a></div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM. Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. The 29th ACM Symposium on Operating Systems Principles (<strong>Best Paper Award</strong>), Koblenz, Germany, October 2023.<a href="/_media/publications/wu-sosp23.pdf" class="media mediafile mf_pdf" title="publications:wu-sosp23.pdf (894 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems. Xiaoniu Song, Yiwen Zhang, Rong Chen, and Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.</div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. Dingji Li, Zeyu Mi, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2023.<a href="/_media/publications/liatc23.pdf" class="media mediafile mf_pdf" title="publications:liatc23.pdf (407.6 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Bridging the Gap between Relational OLTP and Graph-based OLAP. Sijie Shen, Zihang Yao, Lin Shi, Lei Wang, Longbin Lai, Qian Tao, Li Su, Rong Chen, Wenyuan Yu, Haibo Chen, Binyu Zang, Jingren Zhou. USENIX Annual Technical Conference, Boston, MA, USA, July 2023. <a href="/_media/publications/shen-atc23.pdf" class="media mediafile mf_pdf" title="publications:shen-atc23.pdf (2.8 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Security and Performance in the Delegated User-level Virtualization. Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.<a href="/_media/publications/chenosdi23.pdf" class="media mediafile mf_pdf" title="publications:chenosdi23.pdf (570.6 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Characterizing Off-path SmartNIC for Accelerating Distributed Systems. Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.<a href="/_media/publications/wei-osdi23.pdf" class="media mediafile mf_pdf" title="publications:wei-osdi23.pdf (1.2 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Automated Verification of Idempotence for Stateful Serverless Applications. Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.<a href="/_media/publications/ding-osdi23.pdf" class="media mediafile mf_pdf" title="publications:ding-osdi23.pdf (845.8 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Encrypted Databases Made Secure Yet Maintainable. Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.<a href="/_media/publications/li-osdi23.pdf" class="media mediafile mf_pdf" title="publications:li-osdi23.pdf (980.3 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig and Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.<a href="/_media/publications/bwos-osdi23.pdf" class="media mediafile mf_pdf" title="publications:bwos-osdi23.pdf (1.7 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, and Haibo Chen. 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023. <a href="https://arxiv.org/pdf/2203.10225.pdf" class="urlextern" target="_tab" title="https://arxiv.org/pdf/2203.10225.pdf" rel="ugc nofollow noopener">preprint</a></div> </li> <li class="level1"><div class="li"> [<strong>VLDB</strong>] Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions. Zhiyuan Dong, Zhaoguo Wang, Xiaodong Zhang, Xian Xu, Changgeng Zhao, Haibo Chen, Aurojit Panda, Jinyang Li. The 49th International Conference on Very Large Data Bases (VLDB '23), Vancouver, Canada, 2023.<a href="/_media/publications/vldb23.pdf" class="media mediafile mf_pdf" title="publications:vldb23.pdf (976 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ICDE</strong>] Database Deadlock Diagnosis for Large-scale ORM-based Web Applications. Zhiyuan Dong, Zhaoguo Wang, Chuanwei Yi, Xian Xu, Jinyuan Zhang, Jinyang Li, Haibo Chen. The 39th IEEE International Conference on Data Engineering. Anaheim, CA, USA, April, 2023. <a href="/_media/publications/icde23.pdf" class="media mediafile mf_pdf" title="publications:icde23.pdf (1 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ISCA</strong>] ISA-grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, and Binyu Zang. The 50th International Symposium on Computer Architecture, 2023.<a href="/_media/publications/isca23.pdf" class="media mediafile mf_pdf" title="publications:isca23.pdf (928 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>HPCA</strong>] Efficient Distributed Secure Memory with Migratable Merkle Tree. Erhu Feng, Dong Du, Yubin Xia, Haibo Chen. The 29th IEEE International Symposium on High-Performance Computer Architecture, February, 2023. <a href="/_media/publications/hpca23.pdf" class="media mediafile mf_pdf" title="publications:hpca23.pdf (460.9 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>IEEE TC</strong>] Jinyu Gu, Jiacheng Shi, Haoran Su, Wentai Li, Binyu Zang, Haibin Guan, Haibo Chen. Understanding and Mitigating Twin Function Misuses in Operating System Kernel[J]. IEEE Transactions on Computers, 2023.</div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] BeeHive: Sub-second elasticity for web services with Semi-FaaS execution. Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2023.<a href="/_media/publications/beehive-asplos23.pdf" class="media mediafile mf_pdf" title="publications:beehive-asplos23.pdf (817.2 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. Martin Beck, Koustubha Bhat, Lazar Stričević, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen and Hermann Härtig. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2023.<a href="https://dl.acm.org/doi/10.1145/3575693.3579849" class="urlextern" target="_tab" title="https://dl.acm.org/doi/10.1145/3575693.3579849" rel="ugc nofollow noopener">paper</a></div> </li> </ul> </div> <h3 class="sectionedit5" id="section2022">2022</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Zero-Change Object Transmission for Distributed Big Data Analytics. Mingyu Wu, Shuaiwei Wang, Haibo Chen and Binyu Zang. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. <a href="/_media/publications/wuatc22.pdf" class="media mediafile mf_pdf" title="publications:wuatc22.pdf (739.1 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] KRCORE: a microsecond-scale RDMA control plane for elastic computing. Xingda Wei, Fangming Lu, Rong Chen and Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. <a href="/_media/publications/weiatc22.pdf" class="media mediafile mf_pdf" title="publications:weiatc22.pdf (1.2 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] EPK: Scalable and Efficient Memory Protection Key. Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. <a href="/_media/publications/guatc22.pdf" class="media mediafile mf_pdf" title="publications:guatc22.pdf (1.5 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. <a href="/_media/publications/wangatc22.pdf" class="media mediafile mf_pdf" title="publications:wangatc22.pdf (12.7 MB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ACM TOCS</strong>] Boosting Inter-Process Communication with Architectural Support. Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan. ACM Transactions on Computer Systems. Accepted. 2022.</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. Mingcong Han, Hanze Zhang, Rong Chen, and Haibo Chen. The 16th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, July 2022. <a href="/_media/publications/hanosdi22.pdf" class="media mediafile mf_pdf" title="publications:hanosdi22.pdf (785.7 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX Security</strong>] Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, and Haibo Chen. A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. The 31st USENIX Security Symposium, Boston, MA, USA, 2022.</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TDSC</strong>] Zeyu Mi, Zhi Guo, Fuqian Huang, Haibo Chen.Hawkeye: Eliminating Kernel Address Leakage in Normal Data Flows. IEEE Transactions on Dependable and Secure Computing. 2022. (Early Access) <a href="https://ieeexplore.ieee.org/document/9837461" class="urlextern" target="_tab" title="https://ieeexplore.ieee.org/document/9837461" rel="ugc nofollow noopener">link</a></div> </li> <li class="level1"><div class="li"> [<strong>SIGMOD</strong>] WeTune: Automatic Discovery and Verification of Query Rewrite Rules. Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li. In Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. 2022. <a href="/_media/publications/wtune_extend.pdf" class="media mediafile mf_pdf" title="publications:wtune_extend.pdf (991 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>SIGMOD</strong>] Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen. In Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. 2022. <a href="/_media/publications/concerto-sigmod22.pdf" class="media mediafile mf_pdf" title="publications:concerto-sigmod22.pdf (809.3 KB)">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ACM TOS</strong>] The Concurrent Learned Indexes for Multicore Data Storage. Zhaoguo Wang, Haibo Chen, Youyun Wang, Chuzhe Tang, and Huan Wang. ACM Trans. Storage 18, 1.(<a href="/_media/publications/xindex-tos.pdf" class="media mediafile mf_pdf" title="publications:xindex-tos.pdf (1.4 MB)">paper</a>, <a href="https://ipads.se.sjtu.edu.cn:1312/opensource/xindex/-/tree/master" class="urlextern" target="_tab" title="https://ipads.se.sjtu.edu.cn:1312/opensource/xindex/-/tree/master" rel="ugc nofollow noopener">code</a>)</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] DrTM+B: Replication-driven Live Reconfiguration for Fast and General Distributed Transaction Processing. Sijie Shen, Xingda Wei, Rong Chen, Haibo Chen, and Binyu Zang. IEEE Transactions on Parallel and Distributed Systems, 33(10), pp. 2628-2643, October 2022. <a href="https://doi.org/10.1109/TPDS.2022.3148251" class="urlextern" target="_tab" title="https://doi.org/10.1109/TPDS.2022.3148251" rel="ugc nofollow noopener">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] GNNLab: A Factored System for Sample-based GNN Training over GPUs. Jianbang Yang, Dahai Tang, Xiaoniu Song, Lei Wang, Qiang Yin, Rong Chen, Wenyuan Yu and Jingren Zhou. The 17th ACM SIGOPS European Conference on Computer Systems, Rennes, France, April 2022. <a href="https://dl.acm.org/doi/10.1145/3492321.3519557" class="urlextern" target="_tab" title="https://dl.acm.org/doi/10.1145/3492321.3519557" rel="ugc nofollow noopener">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Asymmetry-aware Scalable Locking. Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen. The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2022), April 2-6, 2022 in Seoul, Korea. [<a href="/_media/publications/libasl-final.pdf" class="media mediafile mf_pdf" title="publications:libasl-final.pdf (1.1 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>FAST</strong>] MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms. Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies (FAST '22). February 22–24, 2022, in Santa Clara, CA, USA. <a href="/_media/publications/yijfast22.pdf" class="media mediafile mf_pdf" title="publications:yijfast22.pdf (603.7 KB)">pdf</a></div> </li> <li class="level1"><div class="li"> [<strong>FAST</strong>] HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies (FAST '22). February 22–24, 2022, in Santa Clara, CA, USA. <a href="/_media/publications/yifast22.pdf" class="media mediafile mf_pdf" title="publications:yifast22.pdf (567.5 KB)">pdf</a></div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] Serverless Computing on Heterogeneous Computers. Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. The 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22). <a href="/_media/publications/duasplos22.pdf" class="media mediafile mf_pdf" title="publications:duasplos22.pdf (827.4 KB)">pdf</a></div> </li> <li class="level1"><div class="li"> [<strong>IEEE TC</strong>] General and Fast Inter-Process Communication via Bypassing Privileged Software. Zeyu Mi, Haoqi Zhuang, Binyu Zang, Haibo Chen. To appear in IEEE Transactions on Computers. 2021. <a href="https://ieeexplore.ieee.org/document/9627571" class="urlextern" target="_tab" title="https://ieeexplore.ieee.org/document/9627571" rel="ugc nofollow noopener">link</a></div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] Wukong+G: Fast and Concurrent RDF Query Processing Using RDMA-assisted GPU Graph Exploration. Zihang Yao, Rong Chen, Binyu Zang, and Haibo Chen. IEEE Transactions on Parallel and Distributed Systems, 33(7), pp. 1619-1635, July 2022. <a href="https://doi.org/10.1109/TPDS.2021.3121568" class="urlextern" target="_tab" title="https://doi.org/10.1109/TPDS.2021.3121568" rel="ugc nofollow noopener">paper</a></div> </li> </ul> </div> <h3 class="sectionedit6" id="section2021">2021</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SOCC</strong>] Fast and Accurate Optimizer for Query Processing over Knowledge Graphs. Jingqi Wu, Rong Chen, Yubin Xia. The 12th ACM Symposium on Cloud Computing, November 2021. [<a href="/_media/publications/gpl-socc21.pdf" class="media mediafile mf_pdf" title="publications:gpl-socc21.pdf (752.4 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. The 28th ACM Symposium on Operating System Principles. October 25-28, 2021. [<a href="/lib/exe/fetch.php?tok=815b9e&media=https%3A%2F%2Fipads.se.sjtu.edu.cn%2Fzh%2Fpublications%2FLiSOSP21.pdf" class="media mediafile mf_pdf" title="https://ipads.se.sjtu.edu.cn/zh/publications/LiSOSP21.pdf">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. Rafael Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen. The 28th ACM Symposium on Operating System Principles. October 25-28, 2021. [<a href="/_media/publications/clof-sosp21.pdf" class="media mediafile mf_pdf" title="publications:clof-sosp21.pdf (1.9 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ACM TOS</strong>] XStore: A Fast RDMA-based Ordered Key-Value Store with Remote Learned Cache. Xingda Wei, Rong Chen, Haibo Chen, and Binyu Zang. ACM Transactions on Storage, 17(3), Article No. 18, August 2021. <a href="https://dl.acm.org/doi/10.1145/3468520" class="urlextern" target="_tab" title="https://dl.acm.org/doi/10.1145/3468520" rel="ugc nofollow noopener">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ACM SIGOPS OSR</strong>] Wukong: A Distributed Framework for Fast and Concurrent Graph Querying. Rong Chen and Haibo Chen. ACM SIGOPS Operating Systems Review, 55(1), pp. 77-83, July 2021. <a href="https://dl.acm.org/doi/10.1145/3469379.3469388" class="urlextern" target="_tab" title="https://dl.acm.org/doi/10.1145/3469379.3469388" rel="ugc nofollow noopener">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. Xingda Wei, Xiating Xie, Rong Chen, Haibo Chen, Binyu Zang. 2021 USENIX Annual Technical Conference, July 2021.</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. Scalable Memory Protection in the PENGLAI Enclave. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang. Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021. [<a href="/_media/publications/vegito-osdi21.pdf" class="media mediafile mf_pdf" title="publications:vegito-osdi21.pdf (833 KB)">paper</a>]</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Mingyu Li, Tianxu Zhang, Jinhao Zhu, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen. Bringing Decentralized Search to Decentralized Services. 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Jiachen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li. Polyjuice: High-Performance Transactions via Learned Concurrency Control. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.</div> </li> <li class="level1"><div class="li"> [<strong>ISCA</strong>] PIE: Confidential Serverless Made Efficient with Plug-In Enclaves. Mingyu Li, Yubin Xia, Haibo Chen. The IEEE/ACM International Symposium on Computer Architecture. 2021.</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] Bridging the Performance Gap for Copy-based Garbage Collectors atop Non-Volatile Memory. Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang. 2021 ACM European Conference on Computer Systems. Edinburgh, Scotland, UK, April 2021.</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] FlexGraph: A flexible and efficient distributed framework for GNN training. Lei Wang, Qiang Yin, Chao Tian, Jianbang Yang, Rong Chen, Wenyuan Yu, Zihang Yao, and Jingren Zhou. The 16th ACM SIGOPS European Conference on Computer Systems, Edinburgh, Scotland, UK, April 2021. <a href="https://dl.acm.org/doi/10.1145/3447786.3456229" class="urlextern" target="_tab" title="https://dl.acm.org/doi/10.1145/3447786.3456229" rel="ugc nofollow noopener">paper</a></div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. J. Oberhauser, R. Chehab, D. Behrens, M. Fu, A. Paolillo, L. Oberhauser, K. Bhat, Y. Wen, H. Chen, J. Kim, V. Vafeiadis. The 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (<strong>Distinguished Paper Award</strong>), April, 2021.</div> </li> <li class="level1"><div class="li"> [<strong>NSDI</strong>] Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, and Binyu Zang. Proceedings of 18th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, US, April 2021. [<a href="/_media/publications/dst-nsdi21.pdf" class="media mediafile mf_pdf" title="publications:dst-nsdi21.pdf (907.7 KB)">paper</a>]</div> </li> <li class="level1"><div class="li"> [<strong>JCST</strong>] Jinyu Gu, Hao Li, Yubin Xia, Haibo Chen, Cheng-gang Qin, and Zheng-yu He. Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous TEE Architectures. Journal of Computer Science and Technology, 2021.</div> </li> </ul> </div> <h3 class="sectionedit7" id="section2020">2020</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>IEEE TC</strong>] Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, and Haibo Chen. Enclavisor: A Hardware-software Co-design for Enclaves on Untrusted Cloud. IEEE Transactions on Computers, 2020.</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. Xingda Wei, Rong Chen, and Haibo Chen. 14th USENIX Symposium on Operating Systems Design and Implementation, Banff, Alberta, Canada, November 2020. [<a href="/_media/publications/xstore-osdi20.pdf" class="media mediafile mf_pdf" title="publications:xstore-osdi20.pdf (962.5 KB)">paper</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] On the precision of precise event based sampling. Jifei Yi, Benchao Dong, Mingkai Dong, Haibo Chen. APSys 2020: 98-105. [<a href="/_media/pub/perf-apsys20.pdf" class="media mediafile mf_pdf" title="pub:perf-apsys20.pdf (571 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SoCC</strong>] Characterizing Serverless Platforms with ServerlessBench. Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen. ACM Symposium on Cloud Computing, October 19-21, 2020. [<a href="/_media/publications/yusocc20.pdf" class="media mediafile mf_pdf" title="publications:yusocc20.pdf (671 KB)">preprint</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. Mingyu Wu, Ziming Zhao, Yanfei Yang, Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang. USENIX Annual Technical Conference, Boston, MA, USA, July 2020. [<a href="/_media/publications/wuatc20.pdf" class="media mediafile mf_pdf" title="publications:wuatc20.pdf (1.1 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2020. [<a href="/_media/publications/guatc20.pdf" class="media mediafile mf_pdf" title="publications:guatc20.pdf (546.9 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix Security</strong>] Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan. (Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. In Proceedings of 29th Usenix Security Symposium. Boston, MA, USA. August 12–14, 2020. [<a href="/_media/publications/misecurity20-final.pdf" class="media mediafile mf_pdf" title="publications:misecurity20-final.pdf (585.4 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM. Mingyu Wu, Haibo Chen, Hao Zhu, Binyu Zang, Haibo Chen. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), 2020. [<a href="/_media/publications/wuvee20.pdf" class="media mediafile mf_pdf" title="publications:wuvee20.pdf (368.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen. The 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Accepted), Lausanne, Switzerland, March, 2020. [<a href="/_media/publications/duasplos20.pdf" class="media mediafile mf_pdf" title="publications:duasplos20.pdf (1.6 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Nian Liu, Binyu Zang, Haibo Chen. No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers. In The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, USA, Feburary, 2020. [<a href="/_media/publications/liuppopp20.pdf" class="media mediafile mf_pdf" title="publications:liuppopp20.pdf (1.4 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Chuzhe Tang, Youyun Wang, Gansen Hu, Zhiyuan Dong, Zhaoguo Wang, Minjie Wang, Haibo Chen. XIndex: A Scalable Learned Index for Multicore Data Storage. In The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, USA, February, 2020. [<a href="/_media/publications/tangppopp20.pdf" class="media mediafile mf_pdf" title="publications:tangppopp20.pdf (919.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TC</strong>] Secure and Efficient Control Data Isolation with Register-based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. Volume 69, Issue 2, Pages 226 - 238, 2020. [<a href="/lib/exe/fetch.php?tok=82b601&media=https%3A%2F%2Fieeexplore.ieee.org%2Fabstract%2Fdocument%2F8865621" class="media mediafile mf_org_abstract_document_8865621" title="https://ieeexplore.ieee.org/abstract/document/8865621">link</a>] </div> </li> </ul> </div> <h3 class="sectionedit8" id="section2019">2019</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SOSP</strong>] Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019. [<a href="/_media/publications/zousosp19.pdf" class="media mediafile mf_pdf" title="publications:zousosp19.pdf (864.9 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] Performance and Protection in the ZoFS User-space NVM File System. Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019. [<a href="/_media/publications/dongsosp19-rev.pdf" class="media mediafile mf_pdf" title="publications:dongsosp19-rev.pdf (612.2 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PODC</strong>] On the parallels between Paxos and Raft. Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen and Jinyang Li. 38th Annual ACM Symposium on Principles of Distributed Computing. July 29–August 2, 2019, Toronto, Canada. [<a href="/_media/publications/wang_podc19.pdf" class="media mediafile mf_pdf" title="publications:wang_podc19.pdf (777.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] EROFS: A Compression-friendly Readonly File System for Resource-scarce Device. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. [<a href="/_media/publications/gaoatc19.pdf" class="media mediafile mf_pdf" title="publications:gaoatc19.pdf (587.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Pisces: A Scalable and Efficient Persistent Transactional Memory. Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. [<a href="/_media/publications/gu_atc19.pdf" class="media mediafile mf_pdf" title="publications:gu_atc19.pdf (376.7 KB)">pdf</a>][<a href="/_media/publications/guatc19_proof.pdf" class="media mediafile mf_pdf" title="publications:guatc19_proof.pdf (44.6 KB)">proof</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Pragh: Locality-preserving Graph Traversal with Split Live Migration. Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. [<a href="/_media/publications/xieatc19.pdf" class="media mediafile mf_pdf" title="publications:xieatc19.pdf (1.6 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ISCA</strong>] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th ACM/IEEE International Symposium on Computer Architecture, Phoenix, Arizona, USA. June 22-26, 2019. [<a href="/_media/publications/duisca19.pdf" class="media mediafile mf_pdf" title="publications:duisca19.pdf (838.5 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection. Haoyu Li, Mingyu Wu, Binyu Zang, and Haibo Chen. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Providence, RI, USA, April 2019. [<a href="/_media/publications/scissorgc-vee2019.pdf" class="media mediafile mf_pdf" title="publications:scissorgc-vee2019.pdf (787 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (<strong>Best Paper Award</strong>), Providence, RI, USA, April 2019. [<a href="/_media/publications/vee2019_teev.pdf" class="media mediafile mf_pdf" title="publications:vee2019_teev.pdf (605 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen. In Proceedings of 14th ACM European Conference on Computer Systems, Dresden, Germany, March, 2019. [<a href="/_media/publications/skybridge-eurosys19.pdf" class="media mediafile mf_pdf" title="publications:skybridge-eurosys19.pdf (412.4 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ACM TOPC</strong>] PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibing Guan, Binyu Zang and Haibo Chen. ACM Transactions on Parallel Computing, 5(3), Article No. 13, January 2019. <a href="https://dl.acm.org/citation.cfm?id=3298989" class="urlextern" target="_tab" title="https://dl.acm.org/citation.cfm?id=3298989" rel="ugc nofollow noopener">paper</a></div> </li> </ul> </div> <h3 class="sectionedit9" id="section2018">2018</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better!, Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen, 2018 Usenix Symposium on Operating System Design and Implementation, Carlsbad, CA, USA, October, 2018. [<a href="/_media/publications/drtm_h-osdi18.pdf" class="media mediafile mf_pdf" title="publications:drtm_h-osdi18.pdf (448.3 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] Analysis and Optimization of Java Full Garbage Collection, Haoyu Li, Mingyu Wu, and Haibo Chen, Proceedings of 9th ACM Asia-Pacific Workshop on Systems (<strong>Best Paper Runner-up Award</strong>), Jeju Island, South Korea, Aug 2018. [<a href="/_media/publications/li_apsys18.pdf" class="media mediafile mf_pdf" title="publications:li_apsys18.pdf (522.4 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration, Siyuan Wang, Chang Lou, Rong Chen, and Haibo Chen, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018. [<a href="/_media/publications/wukong_g-atc18.pdf" class="media mediafile mf_pdf" title="publications:wukong_g-atc18.pdf (1.3 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018 [<a href="/_media/publications/epti-atc18.pdf" class="media mediafile mf_pdf" title="publications:epti-atc18.pdf (651.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TDSC</strong>] CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. Zeyu Mi, Haibo Chen, Yinqian Zhang, Shuanghe Peng, Xiaofeng Wang, Michael Reiter, IEEE Transactions on Dependable and Secure Computing, DOI: 10.1109/TDSC.2018.2846742, June 13, 2018. [<a href="/_media/publications/mitdsc18.pdf" class="media mediafile mf_pdf" title="publications:mitdsc18.pdf (1.8 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>MobiSys</strong>] VButton: Practical Attestation of User-driven Operations in Mobile Apps. Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan, The 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, Jun 2018. [<a href="/_media/publications/vbutton-mobisys18.pdf" class="media mediafile mf_pdf" title="publications:vbutton-mobisys18.pdf (2.8 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ASPLOS</strong>] Espresso: Brewing Java For More Non-Volatility. Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA, March 2018. [<a href="/_media/publications/espresso_asplos18.pdf" class="media mediafile mf_pdf" title="publications:espresso_asplos18.pdf (490.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>HPCA</strong>] Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption. Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang and Haibing Guan. The 24th IEEE International Symposium on High-Performance Computer Architecture, Vienna, Austria. Feb 2018. [<a href="/_media/publications/fidelius_hpca18.pdf" class="media mediafile mf_pdf" title="publications:fidelius_hpca18.pdf (848.6 KB)">pdf</a>]</div> </li> </ul> </div> <h3 class="sectionedit10" id="section2017">2017</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SOSP</strong>] Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. Yunhao Zhang, Rong Chen, and Haibo Chen. Proceedings of the 26th ACM Symposium on Operating Systems Principles, Shanghai, China, October, 2017. [<a href="/_media/publications/wukong-s-sosp17.pdf" class="media mediafile mf_pdf" title="publications:wukong-s-sosp17.pdf (809.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads. Xiaozhou Zhou, Zhaoguo Wang, Rong Chen, Haibo Chen, and Jinyang Li. Proceedings of 8th ACM Asia-Pacific Workshop on Systems (<strong>Best Paper Award</strong>). Bombay, India, Sep, 2017. [<a href="/_media/publications/zhou_apsys17.pdf" class="media mediafile mf_pdf" title="publications:zhou_apsys17.pdf (184.3 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] Scaling Concurrent Index Structures under Contention Using HTM. Weihua Zhang, Xin Wang, Shiyu Ji, Ziyun Wei, Zhaoguo Wang, Haibo Chen. IEEE Transactions on Parallel and Distributed Systems. Accepted, 2017. [<a href="/_media/publications/eunomia_tpds18.pdf" class="media mediafile mf_pdf" title="publications:eunomia_tpds18.pdf (1.5 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix Security</strong>] vTZ: Virtualizing ARM TrustZone. Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang and Haibing Guan. Usenix Security Symposium 2017. Vancouver, Canada, August, 2017. [<a href="/_media/publications/vtz-security17.pdf" class="media mediafile mf_pdf" title="publications:vtz-security17.pdf (561 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] Replication-based Fault-tolerance for Large-scale Graph Processing. Rong Chen, Youyang Yao, Peng Wang, Kaiyuan Zhang, Zhaoguo Wang, Haibing Guan, Binyu Zang, Haibo Chen. IEEE Transactions on Parallel and Distributed Systems. Accepted, 2017. [<a href="/_media/publications/chen_tpds18.pdf" class="media mediafile mf_pdf" title="publications:chen_tpds18.pdf (1 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ACM TOCS</strong>] Fast In-memory Transaction Processing using RDMA and HTM. Haibo Chen, Rong Chen, Xingda Wei, Jiaxin Shi, Yanzhe Chen, Zhaoguo Wang, Binyu Zang, Haibing Guan. ACM Transactions on Computer Systems, Vol. 35, No. 1, Article 3, July, 2017. [<a href="/_media/publications/drtm_tocs17.pdf" class="media mediafile mf_pdf" title="publications:drtm_tocs17.pdf (2.4 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Soft Updates Made Simple and Fast for Non-volatile Memories. Mingkai Dong, Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Santa Clara, CA, USA. July, 2017. [<a href="/_media/publications/soupfs_atc17.pdf" class="media mediafile mf_pdf" title="publications:soupfs_atc17.pdf (557.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing. Xingda Wei, Sijie Shen, Rong Chen, Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Santa Clara, CA, USA. July, 2017. [<a href="/_media/publications/drtm3-atc17.pdf" class="media mediafile mf_pdf" title="publications:drtm3-atc17.pdf (477.4 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ACM ToS</strong>] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Haibo Chen, Heng Zhang, Mingkai Dong, Zhaoguo Wang, Yubin Xia, Haibing Guan, and Binyu Zang. ACM Transactions on Storage, Volume 13, Issue 3, Article No. 25, Oct. 2017. [<a href="/_media/publications/cocytus_tos17.pdf" class="media mediafile mf_pdf" title="publications:cocytus_tos17.pdf (2 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>DSN</strong>] Secure Live Migration of SGX Enclaves on Untrusted Cloud. Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, June 26-29, 2017. Denver, CO, USA. [<a href="/_media/publications/sgxmigration-dsn17.pdf" class="media mediafile mf_pdf" title="publications:sgxmigration-dsn17.pdf (587.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] Fence-Free Synchronization with Dynamically Serialized Synchronization Variables. Yang Hong, Yang Zheng, Haibing Guan, Binyu Zang, Haibo Chen. IEEE Transactions on Parallel and Distributed Systems, Volume 28, Issue 12, Page(s) 3486-3500, Dec. 2017. [<a href="/_media/publications/syncorder_tpds17.pdf" class="media mediafile mf_pdf" title="publications:syncorder_tpds17.pdf (1.8 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>NDSS</strong>] Deconstructing Xen. Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibing Guan, Jingming Li. The Network and Distributed System Security Symposium 2017. San Diego, California. March, 2017. [<a href="/_media/publications/nexen-ndss17.pdf" class="media mediafile mf_pdf" title="publications:nexen-ndss17.pdf (343.8 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] Scalable Adaptive NUMA-aware Lock. Mingzhe Zhang, Haibo Chen, Luwei Cheng, Francis C.M. Lau, and Cho-Li Wang. IEEE Transactions on Parallel and Distributed Systems, 2017. [<a href="/_media/publications/sanl_tpds17.pdf" class="media mediafile mf_pdf" title="publications:sanl_tpds17.pdf (3.5 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. The 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, Feb 2017. [<a href="/_media/publications/eunomia_ppopp17.pdf" class="media mediafile mf_pdf" title="publications:eunomia_ppopp17.pdf (644.4 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>HPCA</strong>] Transparent and Efficient CFI Enforcement with Intel Processor Trace. Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd IEEE Symposium on High Performance Computer Architecture, Austin, TX, USA, Feb 2017. [<a href="/_media/publications/flowguard_hpca17.pdf" class="media mediafile mf_pdf" title="publications:flowguard_hpca17.pdf (344.4 KB)">pdf</a>]</div> </li> </ul> </div> <h3 class="sectionedit11" id="section2016">2016</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>OSDI</strong>] Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. 2016 Usenix Symposium on Operating System Design and Implementation. [<a href="/_media/publications/wukong-osdi16.pdf" class="media mediafile mf_pdf" title="publications:wukong-osdi16.pdf (899 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SoCC</strong>] A Case for Virtualizing Persistent Memory. Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, Haibing Guan, and Binyu Zang. 2016 ACM Symposium on Cloud Computing (ACM SoCC 2016). [<a href="/_media/publications/vpm-socc16.pdf" class="media mediafile mf_pdf" title="publications:vpm-socc16.pdf (948.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] Rethinking Benchmarking for NVM-based File Systems. Mingkai Dong, Qianqian Yu, Xiaozhou Zhou, Yang Hong, Haibo Chen, and Binyu Zang. ACM APSys 2016. [<a href="/_media/publications/dong_apsys16.pdf" class="media mediafile mf_pdf" title="publications:dong_apsys16.pdf (137.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SIGMOD</strong>] Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. ACM SIGMOD 2016. [<a href="/_media/publications/ic3_sigmod16.pdf" class="media mediafile mf_pdf" title="publications:ic3_sigmod16.pdf (419.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>JPDC</strong>] Parallelizing Image Feature Extraction Algorithms on Multi-core Platforms. Yunping Lu, Bo Song, Yi Li, Weihua Zhang, Haibo Chen, Lu Peng, Wenyun Zhao. Journal of Parallel and Distributed Computing (Accepted), 2016. [<a href="/_media/publications/adpipe_jpdc16.pdf" class="media mediafile mf_pdf" title="publications:adpipe_jpdc16.pdf (1.5 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>TPDS</strong>] Fast Consensus Using Bounded Staleness for Scalable Read-mostly Synchronization. Haibo Chen, Heng Zhang, Ran Liu, Binyu Zang, and Haibing Guan. IEEE Transactions on Parallel and Distributed Systems (Accepted), 2016. [<a href="/_media/publications/prwlock_tpds16.pdf" class="media mediafile mf_pdf" title="publications:prwlock_tpds16.pdf (1.9 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>TPDS</strong>] Performance Analysis of Multimedia Retrieval Workloads Running on Multicore. Yunping Lu, Xin Wang, Weihua Zhang, Haibo Chen, Lu Peng, Wenyun Zhao. IEEE Transactions on Parallel and Distributed Systems (Accepted), 2016. [<a href="/_media/publications/mmrbench_tpds16.pdf" class="media mediafile mf_pdf" title="publications:mmrbench_tpds16.pdf (1.9 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency. Mingzhe Zhang, Francis C. M. Lau, Cho-Li Wang, Luwei Cheng, Haibo Chen. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Poster), Feburary, 2016. [<a href="/_media/publications/sanl_ppopp16.pdf" class="media mediafile mf_pdf" title="publications:sanl_ppopp16.pdf (129.9 KB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang. 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Atlanta, GA, USA. April 2016. [<a href="/_media/publications/iq_vee16.pdf" class="media mediafile mf_pdf" title="publications:iq_vee16.pdf (844.4 KB)">pdf</a>] <a href="https://bugs.openjdk.java.net/browse/JDK-8146987" class="urlextern" target="_tab" title="https://bugs.openjdk.java.net/browse/JDK-8146987" rel="ugc nofollow noopener">patch</a></div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] Fast and General Distributed Transactions Using RDMA and HTM. Yanzhe Chen, Xinda Wei, Jiaxin Shi, Rong Chen and Haibo Chen. In Proceedings of 11th ACM European Conference on Computer Systems, London UK, April, 2016.[<a href="/_media/publications/drtm2-eurosys16.pdf" class="media mediafile mf_pdf" title="publications:drtm2-eurosys16.pdf (594.5 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TC</strong>] Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures. Weihua Zhang, Shiqiang Yu, Haojun Wang, Zhuofang Dai, Haibo Chen. To appear in IEEE Transactions on Computers. [<a href="/_media/publications/hydra_tc16.pdf" class="media mediafile mf_pdf" title="publications:hydra_tc16.pdf (1.1 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>FAST</strong>] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Heng Zhang, Mingkai Dong, Haibo Chen. 14th USENIX Conference on File and Storage Technologies, Santa Clara, CA, February, 2016.[<a href="/_media/publications/cocytus_fast16.pdf" class="media mediafile mf_pdf" title="publications:cocytus_fast16.pdf (2.3 MB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [<strong>FAST</strong>] Mitigating Sync Amplification for Copy-on-write Virtual Disk. Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen. 14th USENIX Conference on File and Storage Technologies, Santa Clara, CA, February, 2016. [<a href="/_media/publications/syncshrink-fast16.pdf" class="media mediafile mf_pdf" title="publications:syncshrink-fast16.pdf (2 MB)">pdf</a>]</div> </li> </ul> </div> <h3 class="sectionedit12" id="section2015">2015</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>IEEE TCC</strong>] Secure Outsourcing of Virtual Appliance. Yubin Xia, Yutao Liu, Haibing Guan, Yunji Chen, Tianshi Chen, Binyu Zang, Haibo Chen. IEEE Transactions on Cloud Computing. Accepted, 2015. [<a href="/_media/publications/kite-tcc15.pdf" class="media mediafile mf_pdf" title="publications:kite-tcc15.pdf (3.8 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TPDS</strong>] A Loosely-Coupled Full-System Multicore Simulation Framework. Weihua Zhang, Haojun Wang, Yunping Lu, Haibo Chen, Wenyun Zhao. IEEE Transactions on Parallel and Distributed Systems. Accepted, 2015. Doi. 10.1109/TPDS.2015.2455499. [<a href="/_media/publications/zhang_tpds15.pdf" class="media mediafile mf_pdf" title="publications:zhang_tpds15.pdf (1.6 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>CCS</strong>] Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia. Proceedings of the 22th ACM Conference on Computer and Communications Security, Denver, Colorado, US, October, 2015. [<a href="/_media/publications/secage-ccs15.pdf" class="media mediafile mf_pdf" title="publications:secage-ccs15.pdf (602.3 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>SOSP</strong>] Fast In-memory Transaction Processing using RDMA and HTM. Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen. In Proceedings of 2015 ACM Symposium on Operating System Principles (to appear), Monterey, CA, October 2015. [<a href="/_media/publications/drtm-sosp15.pdf" class="media mediafile mf_pdf" title="publications:drtm-sosp15.pdf (762 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix Security</strong>] You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps. Jin Chen, Haibo Chen, Erick Bauman, Zhiqiang Lin, Binyu Zang, Haibing Guan. USENIX Security Symposium, Washington DC, USA, July, 2015. [<a href="/_media/publications/i-box-sec15.pdf" class="media mediafile mf_pdf" title="publications:i-box-sec15.pdf (565.5 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ISCA</strong>] Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls. Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. In the 42nd International Symposium on Computer Architecture, Portland, Oregon, USA. June 2015. [<a href="/_media/publications/crossover-isca15.pdf" class="media mediafile mf_pdf" title="publications:crossover-isca15.pdf (372 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>MobiSys</strong>] AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone. Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia. In Proceedings of the 13th International Conference on Mobile Systems, Applications, and Services, Florence, Italy. May 2015. [<a href="/_media/publications/adattester-mobisys15.pdf" class="media mediafile mf_pdf" title="publications:adattester-mobisys15.pdf (724 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibo Chen. In Proceedings of the 10th European Conference on Computer Systems (<strong>Best Paper Award</strong>), Bordeaux, France, April 2015. [<a href="/_media/publications/powerlyra-eurosys15.pdf" class="media mediafile mf_pdf" title="publications:powerlyra-eurosys15.pdf (1 MB)">pdf</a>][<a href="/_media/publications/powerlyra-eurosys15-slides.pptx" class="media mediafile mf_pptx" title="publications:powerlyra-eurosys15-slides.pptx (5.1 MB)">slides</a>]</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading. Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen. In Proceedings of the 10th European Conference on Computer Systems, France, April 2015.[<a href="/_media/publications/tinman-eurosys15.pdf" class="media mediafile mf_pdf" title="publications:tinman-eurosys15.pdf (715.8 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Kaiyuan Zhang, Rong Chen and Haibo Chen. NUMA-aware Graph-structured Analytics. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015. [<a href="/_media/publications/polymer-ppopp15.pdf" class="media mediafile mf_pdf" title="publications:polymer-ppopp15.pdf (657.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang and Haibo Chen. SYNC or ASYNC: Time to Fuse for Distributed Graph-parallel Computation. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015. [<a href="/_media/publications/powerswitch-ppopp15.pdf" class="media mediafile mf_pdf" title="publications:powerswitch-ppopp15.pdf (396.9 KB)">pdf</a>][<a href="/_media/publications/powerswitch-apsys14-poster.pdf" class="media mediafile mf_pdf" title="publications:powerswitch-apsys14-poster.pdf (1.5 MB)">poster</a>]</div> </li> <li class="level1"><div class="li"> [<strong>JCST</strong>] Bipartite-oriented Distributed Graph Partitioning for Big Learning. Rong Chen, Jiaxin Shi, Haibo Chen and Binyu Zang. Journal of Computer Science and Technology. 30(1), pp. 20-29. January, 2015. [<a href="/_media/publications/bigraph-jcst.pdf" class="media mediafile mf_pdf" title="publications:bigraph-jcst.pdf (2.8 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>IEEE CAL</strong>] Persistent Transactional Memory. Zhaoguo Wang, Han Yi, Ran Liu, Mingkai Dong and Haibo Chen. IEEE Computer Architecture Letters. VOL. 14, NO. 1, JANUARY-JUNE 2015. [<a href="/_media/publications/ptm-cal15.pdf" class="media mediafile mf_pdf" title="publications:ptm-cal15.pdf (433.4 KB)">pdf</a>]</div> </li> </ul> </div> <h3 class="sectionedit13" id="section2014">2014</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [SIGSPATIAL Cup]Greedy Map Generalization by Iterative Point Removal, Yanzhe Chen, Yin Wang, Rong Chen, Haibo Chen and Binyu Zang. ACM SIGSPATIAL Cup 2014. [<a href="/_media/publications/sigspatialcup14.pdf" class="media mediafile mf_pdf" title="publications:sigspatialcup14.pdf (1.3 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] Building Trusted Path on Untrusted Device Drivers for Mobile Devices. Wenhao Li, Mingyang Ma, Jinchen Han, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li. Asia-Pacific Workshop on Systems, Beijing, China, June, 2014. </div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] Bipartite-oriented Distributed Graph Partitioning for Big Learning. Rong Chen, Jiaxin Shi, Binyu Zang and Haibing Guan. Asia-Pacific Workshop on Systems, Beijing, China, June, 2014. [<a href="/_media/publications/bigraph-apsys14.pdf" class="media mediafile mf_pdf" title="publications:bigraph-apsys14.pdf (339 KB)">pdf</a>][<a href="/_media/publications/bigraph-poster-apsys14.pdf" class="media mediafile mf_pdf" title="publications:bigraph-poster-apsys14.pdf (1.1 MB)">poster</a>]</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Ran Liu, Heng Zhang and Haibo Chen.Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks. In Proceedings of Usenix Annual Technical Conference, Philadelphia, PA, USA. June, 2014. [<a href="/_media/publications/prwlock-atc14.pdf" class="media mediafile mf_pdf" title="publications:prwlock-atc14.pdf (315.8 KB)">pdf</a>] <a href="https://lwn.net/Articles/620338/" class="urlextern" target="_tab" title="https://lwn.net/Articles/620338/" rel="ugc nofollow noopener">Linux Weekly News</a></div> </li> <li class="level1"><div class="li"> [<strong>HPDC</strong>] Computation and Communication Efficient Graph Processing with Distributed Immutable View. Rong Chen, Xin Ding, Peng Wang, Haibo Chen and Binyu Zang. ACM Symposium on High-Performance Parallel and Distributed Computing, Vancouver, Canada, June, 2014. [<a href="/_media/publications/cyclops-hpdc14.pdf" class="media mediafile mf_pdf" title="publications:cyclops-hpdc14.pdf (816.3 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>DSN</strong>] Replication-based Fault-tolerance for Large-scale Graph Processing. Peng Wang, Kaiyuan Zhang, Rong Chen, Haibo Chen, Haibing Guan. The Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Atlanta, Georgia USA, June 2014. [<a href="/_media/publications/imitator-dsn14.pdf" class="media mediafile mf_pdf" title="publications:imitator-dsn14.pdf (280 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>]Using Restricted Transactional Memory to Build a Scalable In-Memory Database. Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen. The European Conference on Computer Systems, Amsterdam, The Netherlands, 2014. [<a href="/_media/publications/dbx.pdf" class="media mediafile mf_pdf" title="publications:dbx.pdf (328.8 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>HPCA</strong>] Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory. Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen. In Proceedings of the 20th IEEE International Symposium On High Performance Computer Architecture (<strong>Best Paper Nominee</strong>), Orlando, Florida, 2014. [<a href="/_media/publications/txintro-hpca14.pdf" class="media mediafile mf_pdf" title="publications:txintro-hpca14.pdf (536 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ParCo</strong>]] X10-FT: Transparent Fault Tolerance for APGAS Language and Runtime. Zhijun Hao, Chenning Xie, Haibo Chen. Parallel Computing, 2014. [<a href="/lib/exe/fetch.php?tok=bf1608&media=http%3A%2F%2Fwww.sciencedirect.com%2Fscience%2Farticle%2Fpii%2FS0167819113001440" class="media mediafile mf_com_science_article_pii_s0167819113001440" title="http://www.sciencedirect.com/science/article/pii/S0167819113001440">paper</a>]</div> </li> </ul> </div> <h3 class="sectionedit14" id="section2013">2013</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SIGSPATIAL Cup</strong>] Point-Polygon Topological Relationship Query Using Hierarchical Indices. Tianyu Zhou, Hong Wei, Heng Zhang, Yin Wang, Yanmin Zhu, Haibing Guan, Haibo Chen. ACM SIGSPATIAL Cup 2013. [<a href="/_media/pub/sigspatial-gis-cup-2013.pdf" class="media mediafile mf_pdf" title="pub:sigspatial-gis-cup-2013.pdf (645.8 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [HPCC] X10-PM: Transparent and Efficient Place Migration for APGAS Language. Zhijun Hao, Chenning Xie and Haibo Chen. 15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013).</div> </li> <li class="level1"><div class="li"> [<strong>IEEE CAL</strong>] Architecting Flash-based Solid-State Drive for High-performance I/O Virtualization. Xiang Song, Jian Yang, Haibo Chen. IEEE Computer Architecture Letter. Issue No.02 - July-Dec. (2014 vol.13). pp: 61-64.</div> </li> <li class="level1"><div class="li"> [<strong>APsys</strong>] Schedule Processes, Not VCPUs. Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang. In Proceedings of Asia-Pacific Workshop on Systems (<strong>Best Paper Award</strong>), Singapore, 2013. [<a href="/_media/publications/vcpu-bal-apsys13.pdf" class="media mediafile mf_pdf" title="publications:vcpu-bal-apsys13.pdf (128.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APsys</strong>] Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory. Zhaoguo Wang, Hao Qian, Haibo Chen, Jinyang Li. In Proceedings of Asia-Pacific Workshop on Systems, Singapore, 2013. [<a href="/_media/publications/rtm-apsys13.pdf" class="media mediafile mf_pdf" title="publications:rtm-apsys13.pdf (162.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] Parallelizing Live Migration of Virtual Machines. Xiang Song, Jicheng Shi, Ran Liu, Jian Yang, Haibo Chen. In Proceedings of 2013 ACM International Conference on Virtual Execution Environments, March, 2013. [<a href="/_media/publications/parallel-migration.pdf" class="media mediafile mf_pdf" title="publications:parallel-migration.pdf (331.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>HPCA</strong>] Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. Yubin Xia, Yutao Liu and Haibo Chen. In Proceedings of 2013 Internal Symposium on High Performance Computer Architecture, February, 2013. [<a href="/_media/publications/hypercoffer-hpca13.pdf" class="media mediafile mf_pdf" title="publications:hypercoffer-hpca13.pdf (430.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] Scalable Deterministic Replay in a Parallel Full-system Emulator. Yufei Chen and Haibo Chen. In Proceedings of 2013 ACM Symposium on Principles and Practice of Parallel Programming, February, 2013. [<a href="/_media/publications/reemu-ppopp13-fix.pdf" class="media mediafile mf_pdf" title="publications:reemu-ppopp13-fix.pdf (325.8 KB)">pdf (fix some mistakes)</a>] [<a href="/_media/publications/reemu-ppopp13.pdf" class="media mediafile mf_pdf" title="publications:reemu-ppopp13.pdf (327.9 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ACM TACO</strong>] Rong Chen and Haibo Chen. Tiled-MapReduce: Efficient and Flexible MapReduce Processing on Multicore with Tiling. ACM Transactions on Architecture and Code Optimization. Volume 10, Issue 1, Article No.3. April, 2013. [<a href="/_media/publications/ostrich-taco13.pdf" class="media mediafile mf_pdf" title="publications:ostrich-taco13.pdf (11 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>JNSM</strong>] Security-preserving Live Migration of Virtual Machines in the Cloud. Fengzhe Zhang and Haibo Chen. Journal of Network and Systems Management, December 2013, Volume 21, Issue 4, pp 562-587.</div> </li> </ul> </div> <h3 class="sectionedit15" id="section2012">2012</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>APSys</strong>] SSMalloc: A Low-latency, Locality-conscious Memory Allocator with Stable Performance Scalability. Ran Liu and Haibo Chen. In Proceedings of 3rd ACM SIGOPS Asia-Pacific Workshop on Systems, Seoul, Korea. [<a href="/_media/publications/ssmalloc-apsys2012.pdf" class="media mediafile mf_pdf" title="publications:ssmalloc-apsys2012.pdf (145.3 KB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [<strong>ICPP</strong>] Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms. Peng Chen, Donglei Yang, Weihua Zhang, Yi Li, Haibo Chen and Binyu Zang. The 41st International Conference on Parallel Processing. PA, USA, September, 2012.</div> </li> <li class="level1"><div class="li"> [<strong>LCTES</strong>] Improving Dynamic Prediction Accuracy Through Multi-level Phase Analysis. Zhenman Fang, Jiaxin Li, Weihua Zhang, Yi Li, Haibo Chen, Binyu Zang. In Proceedings of the 2012 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. Beijing, China, June, 2012.</div> </li> <li class="level1"><div class="li"> [<strong>Usenix ATC</strong>] Revisiting Software Zero-Copy for Web-caching Applications with Twin Allocators. Xiang Song, Jicheng Shi, Haibo Chen and Binyu Zang. Proceedings of 2012 Usenix Annual Technical Conference (short paper). Boston, Massachusetts USA, June, 2012. <a href="/_media/publications/zcopy-atc12.pdf" class="media mediafile mf_pdf" title="publications:zcopy-atc12.pdf (363.5 KB)">pdf</a></div> </li> <li class="level1"><div class="li"> [<strong>DSN</strong>] CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. Yubin Xia, Yutao Liu, Haibo Chen and Binyu Zang. In Proceedings of The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Boston, Massachusetts USA, June, 2012. [<a href="/_media/publications/cfimon-dsn12.pdf" class="media mediafile mf_pdf" title="publications:cfimon-dsn12.pdf (264.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>DAC</strong>] Transformer: An Extensible, Fast and Cycle-Accurate Full-system Multi-core Simulator. Zhenman Fang, Qinghao Min, Yibin Hu, Yi Lu, Keyong Zhou, Weihua Zhang, Haibo Chen, Binyu Zang and Jian Li. In the 49th Design Automation Conference . San Francisco, USA, June, 2012.</div> </li> <li class="level1"><div class="li"> [GPGPU] A GPU-based High-throughput Image Retrieval Algorithm. Feiwen Zhu, Peng Chen, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang. In the Fifth Workshop on General Purpose Processing on Graphics Processing Units, collocated with ASPLOS 2012. London, United Kingdom.</div> </li> <li class="level1"><div class="li"> [PMAM] A Case for Secure and Scalable Hypervisor using Safe Language. Haibo Chen, Binyu Zang. International Workshop on Programming Models and Applications for Multicores and Manycores, February, 2012, New Orleans, Louisiana, USA. [<a href="/_media/publications/safehype-pmam12.pdf" class="media mediafile mf_pdf" title="publications:safehype-pmam12.pdf (191.5 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [JCST] Mercury: Combining Performance with Dependability Using Self-Virtualization. Haibo Chen, Fengzhe Zhang, Rong Chen, Binyu Zang and Pen-chung Yew. Journal of Computer Science and Technology. Volume 27, Issue 1. Pages 92-104. [<a href="/_media/publications/mercury-jcst.pdf" class="media mediafile mf_pdf" title="publications:mercury-jcst.pdf (742.1 KB)">pdf</a>]</div> </li> </ul> </div> <h3 class="sectionedit16" id="prior">Prior</h3> <div class="level3"> <ul> <li class="level1"><div class="li"> [<strong>SOSP</strong>] CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization. Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang. In 23rd ACM Symposium on Operating Systems Principles. [<a href="/_media/publications/cloudvisor-sosp2011.pdf" class="media mediafile mf_pdf" title="publications:cloudvisor-sosp2011.pdf (484.5 KB)">pdf</a>].</div> </li> <li class="level1"><div class="li"> [<strong>IEEE TSE</strong>]Dynamic Software Updating Using a Relaxed Consistency Model. Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang and Pen-chung Yew. IEEE Transactions on Software Engineering, 2011. [<a href="/_media/publications/polus-tse.pdf" class="media mediafile mf_pdf" title="publications:polus-tse.pdf (1.3 MB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>APSys</strong>] Security Breaches as PMU Deviation: Detecting and Identifying Security Attacks Using Performance Counters. Liwei Yuan, Weichao Xing, Haibo Chen, and Binyu Zang. 2011 ACM SIGOPS Asia-pacific Workshop on Systems ([<a href="/_media/publications/perf-apsys.pdf" class="media mediafile mf_pdf" title="publications:perf-apsys.pdf (225.6 KB)">pdf</a>]).</div> </li> <li class="level1"><div class="li"> [<strong>HotDep</strong>] Limiting Cache-based Side-Channel in Multi-tenant Cloud using Dynamic Page Coloring. Jichen Shi, Xiang Song, Haibo Chen, Binyu Zang. In the 7th Workshop on Hot Topics in System Dependability ([<a href="/_media/publications/color-hotdep.pdf" class="media mediafile mf_pdf" title="publications:color-hotdep.pdf (1021.3 KB)">pdf</a>]).</div> </li> <li class="level1"><div class="li"> [<strong>PACT</strong>] A Hierarchical Approach to Maximizing MapReduce Efficiency. Zhiwei Xiao, Haibo Chen, Binyu Zang. The 20th International Conference on Parallel Architectures and Compilation Techniques (POSTER), Page 167-168, Galveston Island, Texas, USA, 2011. [<a href="/_media/publications/chadoop-pact11.pdf" class="media mediafile mf_pdf" title="publications:chadoop-pact11.pdf (94.5 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>USENIX ATC</strong>] Zhemin Yang, Min Yang, Lvcai Xu, Haibo Chen, Binyu Zang. ORDER: Object centRic DEterministic Replay for Java. The 2011 USENIX Annual Technical Conference. Portland, Oregon, USA, June 2011. [<a href="/_media/publications/order-usenix-atc11.pdf" class="media mediafile mf_pdf" title="publications:order-usenix-atc11.pdf (405.3 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>EuroSys</strong>] A Case for Scaling Applications to Many-core Platforms with <abbr title="Operating System">OS</abbr> Clustering. Xiang Song, Haibo Chen, Rong Chen, Yuanxun Wang, Binyu Zang. In 2011 ACM SIGOPS European Conference on Computer Systems. Salzburg, Austria. April, 2011. [<a href="/_media/publications/cerberus-eurosys11.pdf" class="media mediafile mf_pdf" title="publications:cerberus-eurosys11.pdf (302.9 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>ISPASS</strong>] A Comprehensive Analysis and Parallelization of an Image Retrieval Algorithm. Zhenman Fang, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang. In IEEE International Symposium on Performance Analysis of Systems and Software (<strong>ISPASS 2011</strong>). Austin TX, USA, April, 2011. [<a href="/_media/publications/surf-ispass11.pdf" class="media mediafile mf_pdf wikilink2" title="publications:surf-ispass11.pdf">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PPoPP</strong>] COREMU: a Scalable and Portable Parallel Full-system Emulator. Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. San Antonio, USA, February, 2011. [<a href="/_media/publications/coremu-ppopp11.pdf" class="media mediafile mf_pdf" title="publications:coremu-ppopp11.pdf (524.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>PACT</strong>]Tiled MapReduce: Optimizing Resource Usages of Data-parallel Applications on Multicore with Tiling. Rong Chen, Haibo Chen, Binyu Zang. The Nineteenth International Conference on Parallel Architectures and Compilation Techniques. Vienna, Austria, September, 2010. [<a href="/_media/publications/ostrich-pact10.pdf" class="media mediafile mf_pdf" title="publications:ostrich-pact10.pdf (527.8 KB)">pdf</a>][<a href="/_media/publications/ostrich-pact10-chen-slides.pdf" class="media mediafile mf_pdf" title="publications:ostrich-pact10-chen-slides.pdf (3.5 MB)">slides</a>]</div> </li> <li class="level1"><div class="li"> [<strong>DSN</strong>] Why Software Hangs and What can be done with it? Xiang Song, Haibo Chen, Binyu Zang. In The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (Practical Experience Report). pp. 311-316. Chicago, Illinois, USA, June, 2010. [<a href="/_media/publications/hang-survey.pdf" class="media mediafile mf_pdf" title="publications:hang-survey.pdf (92.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] Optimizing Crash Dump in Virtualized Environments. Yijian Huang, Haibo Chen, Binyu Zang. In The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. pp. 25–36. Pittsburgh, PA, USA. March, 2010. [<a href="/_media/publications/vee25-core-dump.pdf" class="media mediafile mf_pdf" title="publications:vee25-core-dump.pdf (347.9 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>MICRO</strong>] Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Pen-chung Yew and Binyu Zang. In 42nd international Conference on Microarchitecture. pp. 391-400. New York, USA. December, 2009.[<a href="/_media/publications/bosh-micro09.pdf" class="media mediafile mf_pdf" title="publications:bosh-micro09.pdf (309.1 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [APPT] Evaluating SPLASH-2 benchmarks using Hadoop MapReduce. Shengkai Zhu, Zhiwei Xiao, Haibo Chen, Rong Chen, Weihua Zhang and Binyu Zang. In the 8th international Conference on Advanced Parallel Processing Technologies. Rapperswil, Switzerland. August, 2009. [<a href="/_media/publications/mr-splash2.pdf" class="media mediafile mf_pdf" title="publications:mr-splash2.pdf (281.5 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [<strong>OSDI</strong>]Corey: An Operating System for Many Cores. Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandog Mao, Frans Kashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang. In 8th USENIX Symposium on Operating Systems Design and Implementation. San Diego, CA, USA. December, 2008.[<a href="/_media/publications/corey-osdi08.pdf" class="media mediafile mf_pdf" title="publications:corey-osdi08.pdf (264.6 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [IWVT] Heterogenous Live Migration of Virtual Machines. Pengcheng Liu, Ziye Yang, Xiang Song, Yixun Zhou, Haibo Chen and Binyu Zang. In the 2008 International Workshop on Virtualization Techniques (Co-located with ISCA'08). Beijing China, June, 2008. [<a href="/_media/publications/vagrant-iwvt.pdf" class="media mediafile mf_pdf" title="publications:vagrant-iwvt.pdf (194.2 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [SPW] TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing. Haibo Chen, Jun Li and Wenbo Mao. In the 16th International Workshop on Security Protocols. Cambridge England,April,2008. [<a href="/_media/publications/tpm-spw08.pdf" class="media mediafile mf_pdf" title="publications:tpm-spw08.pdf (235 KB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [<strong>ISCA</strong>] Practical and Efficient Information Flow Tracking Using Speculative Hardware. Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-chung Yew and Frederic Chong. In Proceedings of 35th International Symposium on Computer Architecture (<strong>ISCA'08</strong>), Beijing China, June, 2008. [<a href="/_media/publications/shift-isca.pdf" class="media mediafile mf_pdf" title="publications:shift-isca.pdf (574.3 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [TR] VMM-based Process Shepherding.Haibo Chen, Pengcheng Liu, Rong Chen and Binyu Zang. Parallel Processing Institute Technical Report, Number: FDUPPITR-2007-08002, Fudan University, August, 2007. [<a href="/_media/publications/shepherd-ppi-tr.pdf" class="media mediafile mf_pdf" title="publications:shepherd-ppi-tr.pdf (1.8 MB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [TR] Tamper-Resistant Execution in an Untrusted Operating System Using A Virtual Machine Monitor. Haibo Chen, Fengzhe Zhang, Cheng Chen, Ziye Yang, Rong Chen, Binyu Zang, Pen-chung Yew and Wenbo Mao. Parallel Processing Institute Technical Report, Number: FDUPPITR-2007-08001, Fudan University, August, 2007. [<a href="/_media/publications/chaos-ppi-tr.pdf" class="media mediafile mf_pdf" title="publications:chaos-ppi-tr.pdf (400.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [ICPP] Mercury: Combining Performance with Dependability Using Self-virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew. In Proceedings of 36th International Conference on Parallel Processing (<strong>Best Paper Award</strong>), XiAn China, September, 2007. [<a href="/_media/publications/chen-mercury.pdf" class="media mediafile mf_pdf" title="publications:chen-mercury.pdf (180.5 KB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [<strong>ICSE</strong>]POLUS: A POwerful Live Updating System. Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, and Pen-chung Yew. In Proceedings of 29th International Conference on Software Engineering, pp. 271-281. Minneapolis, MN, USA, May 2007. [<a href="/_media/publications/chen-polus.pdf" class="media mediafile mf_pdf" title="publications:chen-polus.pdf (192.7 KB)">pdf</a>]</div> </li> <li class="level1"><div class="li"> [ISTR] Daonity-Grid Security from Two Levels of Virtualization. Haibo Chen Jieyun Chen, Wenbo Mao, and Fei Yan. Elsevier Information Security Technical Report. (<strong>Invited Paper</strong>), Volumn 12, Issue 3, pp. 123–138. June 2007. [<a href="/_media/publications/daonity-istr.pdf" class="media mediafile mf_pdf" title="publications:daonity-istr.pdf (521.8 KB)">pdf</a>] </div> </li> <li class="level1"><div class="li"> [<strong>VEE</strong>] Live Updating Operating Systems Using Virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew. In SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 35-44, Ottawa, Canada, June 2006. [<a href="/_media/publications/fp04-chen.pdf" class="media mediafile mf_pdf" title="publications:fp04-chen.pdf (109.6 KB)">pdf</a>] </div> </li> </ul> </div> <!-- wikipage stop --> </div> <div class="docInfo"><bdi>pub/publication.txt</bdi> · Last modified: 2025/02/17 20:09 by <bdi>realstolz</bdi></div> <hr class="a11y" /> </div></main><!-- /content --> <!-- PAGE ACTIONS --> <nav id="dokuwiki__pagetools" aria-labelledby="dokuwiki__pagetools__heading"> <h3 class="a11y" id="dokuwiki__pagetools__heading">Page Tools</h3> <div class="tools"> <ul> <li class="source"><a href="/pub/publication?do=edit" title="Show pagesource [v]" rel="nofollow" accesskey="v"><span>Show pagesource</span><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M13 9h5.5L13 3.5V9M6 2h8l6 6v12a2 2 0 0 1-2 2H6a2 2 0 0 1-2-2V4c0-1.11.89-2 2-2m.12 13.5l3.74 3.74 1.42-1.41-2.33-2.33 2.33-2.33-1.42-1.41-3.74 3.74m11.16 0l-3.74-3.74-1.42 1.41 2.33 2.33-2.33 2.33 1.42 1.41 3.74-3.74z"/></svg></a></li><li class="revs"><a href="/pub/publication?do=revisions" title="Old revisions [o]" rel="nofollow" accesskey="o"><span>Old revisions</span><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M11 7v5.11l4.71 2.79.79-1.28-4-2.37V7m0-5C8.97 2 5.91 3.92 4.27 6.77L2 4.5V11h6.5L5.75 8.25C6.96 5.73 9.5 4 12.5 4a7.5 7.5 0 0 1 7.5 7.5 7.5 7.5 0 0 1-7.5 7.5c-3.27 0-6.03-2.09-7.06-5h-2.1c1.1 4.03 4.77 7 9.16 7 5.24 0 9.5-4.25 9.5-9.5A9.5 9.5 0 0 0 12.5 2z"/></svg></a></li><li class="backlink"><a href="/pub/publication?do=backlink" title="Backlinks" rel="nofollow"><span>Backlinks</span><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10.59 13.41c.41.39.41 1.03 0 1.42-.39.39-1.03.39-1.42 0a5.003 5.003 0 0 1 0-7.07l3.54-3.54a5.003 5.003 0 0 1 7.07 0 5.003 5.003 0 0 1 0 7.07l-1.49 1.49c.01-.82-.12-1.64-.4-2.42l.47-.48a2.982 2.982 0 0 0 0-4.24 2.982 2.982 0 0 0-4.24 0l-3.53 3.53a2.982 2.982 0 0 0 0 4.24m2.82-4.24c.39-.39 1.03-.39 1.42 0a5.003 5.003 0 0 1 0 7.07l-3.54 3.54a5.003 5.003 0 0 1-7.07 0 5.003 5.003 0 0 1 0-7.07l1.49-1.49c-.01.82.12 1.64.4 2.43l-.47.47a2.982 2.982 0 0 0 0 4.24 2.982 2.982 0 0 0 4.24 0l3.53-3.53a2.982 2.982 0 0 0 0-4.24.973.973 0 0 1 0-1.42z"/></svg></a></li><li class="top"><a href="#dokuwiki__top" title="Back to top [t]" rel="nofollow" accesskey="t"><span>Back to top</span><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8v12z"/></svg></a></li> </ul> </div> </nav> </div><!-- /wrapper --> <!-- ********** FOOTER ********** --> <footer id="dokuwiki__footer"><div class="pad"> <div class="license">Except where otherwise noted, content on this wiki is licensed under the following license: <bdi><a href="https://creativecommons.org/licenses/by-sa/4.0/deed.en" rel="license" class="urlextern" target="_tab">CC Attribution-Share Alike 4.0 International</a></bdi></div> <div class="buttons"> <a href="https://creativecommons.org/licenses/by-sa/4.0/deed.en" rel="license" target="_tab"><img src="/lib/images/license/button/cc-by-sa.png" alt="CC Attribution-Share Alike 4.0 International" /></a> <a href="https://www.dokuwiki.org/donate" title="Donate" target="_tab"><img src="/lib/tpl/dokuwiki/images/button-donate.gif" width="80" height="15" alt="Donate" /></a> <a href="https://php.net" title="Powered by PHP" target="_tab"><img src="/lib/tpl/dokuwiki/images/button-php.gif" width="80" height="15" alt="Powered by PHP" /></a> <a href="//validator.w3.org/check/referer" title="Valid HTML5" target="_tab"><img src="/lib/tpl/dokuwiki/images/button-html5.png" width="80" height="15" alt="Valid HTML5" /></a> <a href="//jigsaw.w3.org/css-validator/check/referer?profile=css3" title="Valid CSS" target="_tab"><img src="/lib/tpl/dokuwiki/images/button-css.png" width="80" height="15" alt="Valid CSS" /></a> <a href="https://dokuwiki.org/" title="Driven by DokuWiki" target="_tab"><img src="/lib/tpl/dokuwiki/images/button-dw.png" width="80" height="15" alt="Driven by DokuWiki" /></a> </div> 沪交ICP备20250065 </div></footer><!-- /footer --> </div></div><!-- /site --> <div class="no"><img src="/lib/exe/taskrunner.php?id=pub%3Apublication&1743235250" width="2" height="1" alt="" /></div> <div id="screen__mode" class="no"></div></body> </html>