CINXE.COM

<!DOCTYPE html> <html lang="en" dir="ltr" class="no-js"> <head> <meta charset="utf-8" /> <title>Research Statement [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="start"/> <link rel="search" type="application/opensearchdescription+xml" href="/lib/exe/opensearch.php" title="IPADS"/> <link rel="start" href="/"/> <link rel="contents" href="/start?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="/> <link rel="alternate" type="text/html" title="Plain HTML" href="/_export/xhtml/start"/> <link rel="alternate" type="text/plain" title="Wiki Markup" href="/_export/raw/start"/> <link rel="canonical" href="https://ipads.se.sjtu.edu.cn/"/> <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/start"/>  <script >/*<![CDATA[*/var NS='';var JSINFO = {"ga":{"trackingId":"UA-4903827-1","gtagId":"","anonymizeIp":true,"action":"show","trackOutboundLinks":false,"options":[],"pageview":"\/start","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":"start","namespace":"","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>  <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 home showSidebar hasSidebar">  <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">  <div id="dokuwiki__usertools"> <h3 class="a11y">User Tools</h3> <ul> <li class="action login"><a href="/start?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>  <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="start" /><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="start" /><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="/start?do=recent" title="Recent Changes [r]" rel="nofollow" accesskey="r">Recent Changes</a></li><li class="action media"><a href="/start?do=media&ns=" title="Media Manager" rel="nofollow">Media Manager</a></li><li class="action index"><a href="/start?do=index" title="Sitemap [x]" rel="nofollow" accesskey="x">Sitemap</a></li> </ul> </div> </div>  <hr class="a11y" /> </div></header> <div class="wrapper group">  <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>  </div></div> </div></nav>  <main id="dokuwiki__content"><div class="pad group"> <div class="pageId"><span>start</span></div> <div class="page group">   <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="#research_statement">Research Statement</a></div></li> <li class="level1"><div class="li"><a href="#group_information">Group Information</a></div></li> <li class="level1"><div class="li"><a href="#recent_news">Recent News</a></div></li> </ul> </div> </div>  <h1 class="sectionedit1" id="research_statement">Research Statement</h1> <div class="level1"> <p> The institute of parallel and distributed systems (IPADS) conducts research in all aspects of computer systems, with a primary focus on operating systems, distributed systems, database systems, system virtualization, programming model and runtime for multicore systems. Our research also involves other disciplines such as computer architecture, languages and compilers. The research themes of IPADS are improving the performance scalability, energy efficiency and dependability of centralized and distributed computer systems. </p> <p> We have built a number of systems to address the scalability and dependability issues of computer systems. Examples include a trusted cloud platform that addresses the trustworthiness of multi-tenant cloud (CloudVisor), a reader-writer lock that provides scalable read-side performance and small writer latency (Prwlock), a portable parallel full-system emulator for several hundreds of cores (COREMU), fast graph query and processing frameworks (Wukong and PowerLyra), an in-memory transaction processing framework supported by hardware features such as HTM, RDMA and NVM (DrTM), and a dependable and hardened hypervisor with small TCB (Nexen). </p> <p> Our current research focus is in providing system support for large-scale computing systems, scaling existing software stack to future computing platforms with ultra-low latency, high-bandwidth networking and non-volatile memory, and providing hardware and software solutions to dependable computing environments in both mobile and cloud platforms. </p> </div> <h1 class="sectionedit2" id="group_information">Group Information</h1> <div class="level1"> <ul> <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"> Our Past and Current Projects</a></div> </li> <li class="level1"><div class="li"> <a href="/pub/publication" class="wikilink1" title="pub:publication" data-wiki-id="pub:publication"> Papers by Our Members</a></div> </li> <li class="level1"><div class="li"> <a href="/pub/teambuilding" class="wikilink1" title="pub:teambuilding" data-wiki-id="pub:teambuilding"> Funs and Lifes in Our Institute</a></div> </li> </ul> </div> <h1 class="sectionedit3" id="recent_news">Recent News</h1> <div class="level1"> <ul> <li class="level1"><div class="li"> [Impact] February, 2025. Rong was named 2024 <strong>ACM Distinguished Member</strong> for his contributions to improving the performance and scalability of distributed systems. Congratulations to Rong.</div> </li> <li class="level1"><div class="li"> [Publication] January, 2025. Our paper “Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency” was accepted by 2025 ACM SIGMOD International Conference on Management of Data (<strong>SIGMOD 2025</strong>). Congratulations to Yicun, Yu, Zhuoran and Haoran.</div> </li> <li class="level1"><div class="li"> [Publication] January, 2025. Our paper “A Hardware-Software Co-Design for Efficient Secure Containers” was accepted by 20th ACM European Conference on Computer Systems (<strong>EuroSys 2025</strong>). Congratulations to Jiacheng.</div> </li> <li class="level1"><div class="li"> [Publication] January, 2025. Our paper “Serverless Functions Made Confidential and Efficient with Split Containers” was accepted by The 34st Usenix Security Symposium (<strong>Usenix Security 2025</strong>). Congratulations to Jiacheng.</div> </li> <li class="level1"><div class="li"> [Impact] December, 2024. Haibo was elevated to <strong>CCF Fellow</strong> for his contributions to operating systems. Congratulations to Haibo.</div> </li> <li class="level1"><div class="li"> [Publication] December, 2024. Our papers, “Liquid-State Drive: A Case for DNA Block Device for Enormous Data” was accepted by The 23rd USENIX Conference on File and Storage Technologies (<strong>FAST 2025</strong>). Congratulations to Jiahao and Jingyao.</div> </li> <li class="level1"><div class="li"> [Contest] October, 2024. Yankui's <a href="https://www.hackster.io/team-creeper/powersheet-powerful-ai-synthesizer-for-spreadsheets-637c74" class="urlextern" target="_tab" title="https://www.hackster.io/team-creeper/powersheet-powerful-ai-synthesizer-for-spreadsheets-637c74" rel="ugc nofollow noopener">PowerSheet</a> won <strong>PC AI 1st Place</strong> of <a href="https://www.hackster.io/contests/amd2023/" class="urlextern" target="_tab" title="https://www.hackster.io/contests/amd2023/" rel="ugc nofollow noopener">AMD Pervasive AI Developer Contest</a>. </div> </li> <li class="level1"><div class="li"> [Publication] September, 2024. Two papers, “D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics”, and “PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption” were accepted by <strong>ASPLOS 2025</strong> in the summer cycle. Congratulations to Yuanpei, and Yifan.</div> </li> <li class="level1"><div class="li"> [Award] September, 2024, Mo was awarded <strong>2024 ACM ChinaSys Doctoral Dissertation Award</strong>. Congratulations to Mo.</div> </li> <li class="level1"><div class="li"> [Publication] Aug, 2024. “PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU”, and “VPRI: Optimized I/O Page Fault in Public IaaS” were accepted by 30th ACM Symposium on Operating Systems Principles (<strong>SOSP 2024</strong>). Congratulations to Yixin, Haotong, and Dingji.</div> </li> <li class="level1"><div class="li"> [Award] July, 2024. Binyu was awarded <strong>2024 CCF Outstanding Education Award</strong>. Congratulations to Binyu.</div> </li> <li class="level1"><div class="li"> [Publication] May, 2024. Two papers, “Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu”, and “Flexible, Secure and Efficient CVM Maintenance with Confidential Procedure Calls” were accepted by <strong>USENIX ATC 2024</strong>. Congratulations to Qingyuan, Yanning, and Jiahao.</div> </li> <li class="level1"><div class="li"> [Award] Apr, 2024. Our paper “Serialization/Deserialization-free State Transfer in Serverless Workflows”, has received the <strong>Best Paper Award</strong> from the 19th ACM European Conference on Computer Systems (<strong>EuroSys 2024</strong>). Congratulations to Fangming and Zhuobin.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2024. Two papers, “Fast and Scalable In-network Lock Management Using Lock Fission”, and “Using Dynamically Layered Definite Releases for Verifying the RefFS File System” were accepted by <strong>OSDI 2024</strong>. Congratulations to Hanze, Ke, and Mo.</div> </li> <li class="level1"><div class="li"> [Publication] February, 2024. Our paper Jade: A High-throughput Concurrent Copying Garbage Collector” was accepted by 19th ACM European Conference on Computer Systems (<strong>EuroSys 2024</strong>). Congratulations to Zhe and Hongtao.</div> </li> <li class="level1"><div class="li"> [Impact] January, 2024. Haibo was elevated to <strong>ACM fellow</strong> for his contributions to improving the scalability and security of operating systems and distributed systems. Congratulations to Haibo.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2023. Our paper “WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications” was accepted by 2024 ACM SIGMOD International Conference on Management of Data (<strong>SIGMOD 2024</strong>). Congratulations to Gansen, Chuzhe, Zhiyuan, Jiahuan, Yaosheng.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2023. Our paper “sIOPMP: Scalable and Efficient I/O Protection for TEEs” was accepted by <strong>ASPLOS 2024</strong> in the summer cycle. Congratulations to Erhu.</div> </li> <li class="level1"><div class="li"> [Award] October, 2023. Our paper “TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM”, has won the <strong>Best Paper Award</strong> from the 29th ACM Symposium on Operating Systems Principles (<strong>SOSP 2023</strong>). Congratulations to Fangnuo and Gequan. </div> </li> <li class="level1"><div class="li"> [Publication] September, 2023. Two papers, “Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads”, and “Serialization/Deserialization-free State Transfer in Serverless Workflows with RDMA-based Remote Memory Map” were accepted by 19th ACM European Conference on Computer Systems (<strong>EuroSys 2024</strong>). Congratulations to Ziming, Fangming, and Zhuobin.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2023. Our paper “Accelerating Extra Dimensional Page Walks for Confidential Computing” was accepted by 56th IEEE/ACM International Symposium on Microarchitecture (<strong>MICRO 2023</strong>). Congratulations to Bicheng.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2023. Two papers, “TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM”, and “UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems” were accepted by 29th ACM Symposium on Operating Systems Principles (<strong>SOSP 2023</strong>). Congratulations to Fangnuo, Gequan, Xiaoniu, and Yiwen.</div> </li> <li class="level1"><div class="li"> [Publication] June, 2023. Our paper “Proving Query Equivalence Using Linear Integer Arithmetic” was accepted by 2024 ACM SIGMOD International Conference on Management of Data (<strong>SIGMOD 2024</strong>). Congratulations to Haoran, Yicun, Dexin, Zhenglin.</div> </li> <li class="level1"><div class="li"> [Impact] June, 2023. Haibo was elected as <strong>Chair of ACM SIGOPS</strong> for the term 2023-2025. </div> </li> <li class="level1"><div class="li"> [Impact] May, 2023. Haibo was invited to serve on the PC co-chair of 2025 ACM European Conference on Computer Systems (<strong>EuroSys 2025</strong>). </div> </li> <li class="level1"><div class="li"> [Publication] April, 2023. Two papers, “Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines”, and “Bridging the Gap between Relational OLTP and Graph-based OLAP” were accepted by <strong>USENIX ATC 2023</strong>. Congratulations to Dingji, Chenhui, Yifan, Sijie, Zihang, and Lin.</div> </li> <li class="level1"><div class="li"> [Publication] April, 2023. Our paper “CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines” was accepted by <strong>ASPLOS 2024</strong> in the spring cycle. Congratulations to Yuxuan and Tianqiang.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2023. Four papers (in addition to a previously accepted one) were accepted by <strong>OSDI 2023</strong>. Congratulations to folks in IPADS and thank our collaborators.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2023. Our paper “Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions” was accepted by <strong>VLDB 2023</strong>. Congratulations to Zhiyuan, Xiaodong, and Xian.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2023. Our paper “ISA-grid: Architecture of Fine-grained Privilege Control for Instructions and Registers.” was accepted by <strong>ISCA 2023</strong>. Congratulations to Shulin. </div> </li> <li class="level1"><div class="li"> [Award] December, 2022, Haibo was awarded <strong>Tan Kah Kee Young Scientist Award</strong>. Congratulations to Haibo. </div> </li> <li class="level1"><div class="li"> [Award] December, 2022, Dong was awarded <strong>2022 ACM ChinaSys Doctoral Dissertation Award</strong>. Congratulations to Dong. </div> </li> <li class="level1"><div class="li"> [Award] November, 2022, Yubin was awarded the <strong>NASAC Youth Software Innovation Award</strong> by China Computer Federation. Congratulations to Yubin. </div> </li> <li class="level1"><div class="li"> [Impact] November, 2022. Binyu was elevated to <strong>CCF fellow</strong>. Congratulations to Binyu. </div> </li> <li class="level1"><div class="li"> [Impact] November, 2022. Haibo was elevated to <strong>IEEE fellow</strong>. Congratulations to Haibo. </div> </li> <li class="level1"><div class="li"> [Publication] October, 2022. Our paper “Efficient Distributed Secure Memory with Migratable Merkle Tree” was accepted by <strong>HPCA 2023</strong>. Congratulations to Erhu. </div> </li> <li class="level1"><div class="li"> [Publication] September, 2022. Our paper “BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution” was accepted by <strong>ASPLOS 2023</strong> in the summer cycle. Congratulations to Ziming and Jiawei. </div> </li> <li class="level1"><div class="li"> [Publication] August, 2022. Our paper “No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing” was accepted by <strong>OSDI 2023</strong> via the Revise & Resubmit phase. Congratulations to Fangming, Tianxia, and Yuhan.</div> </li> <li class="level1"><div class="li"> [Award] Jun, 2022. Our paper “CFIMon: Detecting violation of control flow integrity using performance counters” won the Test-of-Time Award in <strong>DSN 2022</strong>. Congratulations! </div> </li> <li class="level1"><div class="li"> [Award] May, 2022. Our paper “Ad Hoc Transactions for Web Applications: The Good, the Bad, and the Ugly” has received an <strong>Honorable Mention</strong> in <strong>ACM SIGMOD 2022</strong>. Congratulations to Chuzhe, Xiaodong, and Qianmian. </div> </li> <li class="level1"><div class="li"> [Publication] April, 2022. Three papers, “KRCORE: a microsecond-scale RDMA control plane for elastic computing”, “Zero-Change Object Transmission for Distributed Big Data Analytics”, and “EPK: Scalable and Efficient Memory Protection Key” were accepted by <strong>USENIX ATC 2022</strong>. Congratulations to Fangming, Shuaiwei, Hao, and Wentai.</div> </li> <li class="level1"><div class="li"> [Award] April, 2022. Our paper “GNNLab: A Factored System for Sample-based GNN Training over GPUs” received the <strong>Gilles Muller Best Artifact Award (Honorable Mention)</strong> from <strong>EuroSys 2022</strong>. Congratulations to Jianbang, Dahai, Xiaoniu and thanks to our collaborators Lei, Qiang, Wenyuan, and Jingren.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2022. Our paper “Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences” was accepted by 16th USENIX Symposium on Operating Systems Design and Implementation (<strong>OSDI 2022</strong>). Congratulations to Mingcong and Hanze. </div> </li> <li class="level1"><div class="li"> [Publication] March, 2022. Our paper “A Hardware-Software Co-design for Efficient Intra-Enclave Isolation” was accepted by The 31st Usenix Security Symposium (<strong>Usenix Security 2022</strong>). Congratulations to Bojun, Mingyu, and Wentai. </div> </li> <li class="level1"><div class="li"> [Publication] March, 2022. Two papers, “Ad Hoc Transactions for Web Applications: The Good, the Bad, and the Ugly” and “WeTune: Automatic Discovery and Verification of Query Rewrite Rules” were accepted by 2022 ACM SIGMOD International Conference on Management of Data (<strong>SIGMOD 2022</strong>). Congratulations to Chuzhe, Xiaodong, Qianmian, Zhou, Yicun, Haoran, and Ding.</div> </li> <li class="level1"><div class="li"> [Publication] January, 2022. Our paper “FGNN: A Factored System for Sample-based GNN Training over GPUs” was accepted by ACM European Symposium on Systems (<strong>EuroSys 2022</strong>). Congratulations to Jianbang, Dahai and Xiaoniu.</div> </li> <li class="level1"><div class="li"> [Publication] December, 2021. Our paper “Asymmetry-aware Scalable Locking” was accepted by The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (<strong>PPoPP 2022</strong>). Congratulations to Nian and Dahai.</div> </li> <li class="level1"><div class="li"> [Publication] December, 2021. Two papers, “MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms” and “ HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory Files Systems” were accepted by The 20th USENIX Conference on File and Storage Technologies (<strong>FAST 2022</strong>). Congratulations to Jifei, Benchao, Ruizhe, and Fangnuo.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2021. Our paper “Serverless Computing on Heterogeneous Computers” was accepted by The 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (<strong>ASPLOS 2022</strong>). Congratulations to Dong, Qingyuan and Xueqiang. </div> </li> <li class="level1"><div class="li"> [Award] October, 2021. Congratulations to Xingda Wei on winning the ACM SIGOPS <strong>Dennis M. Ritchie Doctoral Dissertation Award Honorable Mention</strong>! <a href="https://www.sigops.org/awards/dmr/" class="urlextern" target="_tab" title="https://www.sigops.org/awards/dmr/" rel="ugc nofollow noopener">Link</a></div> </li> <li class="level1"><div class="li"> [Publication] August, 2021. Our paper “Fast and Accurate Optimizer for Query Processing over Knowledge Graphs” was accepted by ACM Symposium on Cloud Computing (<strong>SoCC 2021</strong>). Congratulations to Jingqi.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2021. Our paper “TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM” was accepted by 28th ACM Symposium on Operating Systems Principles (<strong>SOSP 2021</strong>). Congratulations to Dingji.</div> </li> <li class="level1"><div class="li"> [Publication] April, 2021. Our paper, “Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM”, was accepted by <strong>Usenix ATC 2021</strong>. Congratulations to Xingda and Xiating.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2021. <strong>4 papers (out of 31 in total)</strong> were accepted by 15th USENIX Symposium on Operating Systems Design and Implementation (<strong>OSDI 2021</strong>). Congratulations to folks in IPADS and thank our collaborators.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2021. Our paper, “PIE: Confidential Serverless Made Efficient with Plug-In Enclaves”, was accepted by The IEEE/ACM International Symposium on Computer Architecture (<strong>ISCA</strong>). Congratulations to Mingyu.</div> </li> <li class="level1"><div class="li"> [Award] February, 2021. Our textbook, “Modern Operating Systems: Principles and Implementation”, has been awarded <strong>2020 the most favorite IT books</strong> by the publisher union organized by 51CTO, just after its publication in three months. </div> </li> <li class="level1"><div class="li"> [Publication] January, 2021. Our paper “Bridging the Performance Gap for Copy-based Garbage Collectors atop Non-Volatile Memory” has been accepted by ACM European Symposium on Systems (<strong>EuroSys 2021</strong>). Congratulations to Yanfei. </div> </li> <li class="level1"><div class="li"> [Award] October, 2020. Haibo was awarded with <strong>China Youth Science and Technology Award</strong>, only 100 awardees among all disciplines across China were selected to get this award biennially. </div> </li> <li class="level1"><div class="li"> [Award] September, 2020. Our research achievement “Efficient Data Processing System based on New Heterogeneous Hardware” received Huawei <strong>OlympusMons Pioneer Award</strong>. Congratulations to Rong, Zhaoguo, Binyu, Xingda, and Mingkai. <a href="https://e.huawei.com/topic/olympus-mons-awards-2020/en/index.html" class="urlextern" target="_tab" title="https://e.huawei.com/topic/olympus-mons-awards-2020/en/index.html" rel="ugc nofollow noopener">Link</a></div> </li> <li class="level1"><div class="li"> [Publication] August, 2020. Our paper “Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache” was accepted by 14th USENIX Symposium on Operating Systems Design and Implementation (<strong>OSDI 2020</strong>). Congratulations to Xingda.</div> </li> <li class="level1"><div class="li"> [Publication] August, 2020. Our paper “Characterizing Serverless Platforms with ServerlessBench” was accepted by 2020 ACM Symposium on Cloud Computing (<strong>SoCC 2020</strong>). Congratulations to Tianyi, Qingyuan and Dong.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2020. Our paper “Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp” was accepted by 2021 USENIX Symposium on Networked Systems Design and Implementation (<strong>NSDI 2021</strong>). Congratulations to Xingda and Zhenhan.</div> </li> <li class="level1"><div class="li"> [Publication] April, 2020. Two papers, “Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication” and “Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services”, were accepted by <strong>Usenix ATC 2020</strong>. Congratulations to Jinyu, Xinyue, Wentai, Nian, Zeyu, and Mingyu, Ziming, Yanfei, Haoyu. </div> </li> <li class="level1"><div class="li"> [Award] April, 2020. Haibo has been presented the <strong>Presidential Award of SJTU</strong> at the 124th anniversary of SJTU. Only 8 individuals among all SJTU faculties, doctors, and staffs. Congratulations to Haibo. </div> </li> <li class="level1"><div class="li"> [Publication] November, 2019. Our paper “(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization” have been accepted by The 29th Usenix Security Symposium (<strong>Usenix Security 2020</strong>). Congratulations to Zeyu and Dingji.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2019. Two papers “No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers” and “XIndex: A Scalable Learned Index for Multicore Data Storage” have been accepted by The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (<strong>PPoPP 2020</strong>). Congratulations to Nian, Chuzhe,Youyun and Gansen and thanks our collaborator Mingzhe for collaborating on the second paper.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2019. Our paper “Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting” has been accepted by The 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (<strong>ASPLOS 2020</strong>). Congratulations to Dong and Tianyi and thanks our collaborators from Ant Financial.</div> </li> <li class="level1"><div class="li"> [Impact] October, 2019. Haibo was named 2019 ACM Distinguished Scientist.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2019. Two papers “Performance and Protection in the ZoFS User-space NVM File System” and “Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System”, have been accepted by 27th ACM Symposium on Operating System Principles (<strong>SOSP 2019</strong>). Congratulations to Mingkai, Heng, Jifei and Benchao for the ZoFS paper and Mo, Haoran and Dong for the AtomFS paper. Thank also our collaborators Ming and Ronghui for help on the AtomFS paper.</div> </li> <li class="level1"><div class="li"> [Publication] May, 2019. Our paper “On the parallels between Paxos and Raft” has been accepted by 38th Annual ACM Symposium on Principles of Distributed Computing (<strong>PODC 2019</strong>). Congratulations to Zhaoguo and thanks to our collaborators Changgeng, Jinyang and Shuai.</div> </li> <li class="level1"><div class="li"> [Award] April, 2019. Our paper “TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms” received the <strong>Best Paper Award</strong> from <strong>VEE 2019</strong>. </div> </li> <li class="level1"><div class="li"> [Publication] March, 2019. Our paper “XPC: Architectural Support for Secure and Efficient Cross Process Call” has been accepted by The 46th International Symposium on Computer Architecture (<strong>ISCA 2019</strong>). Congratulations to Dong and Zhichao.</div> </li> <li class="level1"><div class="li"> [Impact] March, 2019. Haibo Chen was invited to join the Editorial Board of <strong>«Communications of the ACM»</strong> and serves as the Co-chair of the Special Sections. </div> </li> <li class="level1"><div class="li"> [Publication] February, 2019. Two papers, “ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection” and “TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms” were accepted by ACM Conference on Virtual Execution Environments (<strong>VEE 2019</strong>). Congratulations to Haoyu, Mingyu and Wenhao.</div> </li> <li class="level1"><div class="li"> [Publication] December, 2018. Our paper “SkyBridge: Fast and Secure Inter-Process Communication for Microkernels” was accepted by the 14th European Conference on Computer Systems (<strong>EuroSys 2019</strong>). Congratulations to Zeyu, Dingji, Zihan, and Xinran.</div> </li> <li class="level1"><div class="li"> [Award] September, 2018. Congratulations to Xingda Wei on winning the 2018 Microsoft Research Asia Fellowship Award! Only 11 Ph.D students got this prestigious fellows among 102 distinguished Ph.D. candidates from 40 leading research universities/institutions.</div> </li> <li class="level1"><div class="li"> [Award] August, 2018. Our paper “Analysis and Optimization of Java Full Garbage Collection” received the <strong>Best Paper Award Nominee</strong> from ACM APSys 2018. Congratulations to Haoyu and Mingyu. </div> </li> <li class="level1"><div class="li"> [Publication] July, 2018. Our paper “Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better!” was accepted by the 13th USENIX Symposium on Operating Systems Design and Implementation (<strong>OSDI 2018</strong>). Congratulations to Xingda and Zhiyuan.</div> </li> <li class="level1"><div class="li"> [Publication] April, 2018. Two papers of us were accepted by 2018 USENIX Annual Technical Conference (<strong>USENIX ATC 2018</strong>). Congratulations to Zhichao, Dong, Siyuan, and Chang.</div> </li> <li class="level1"><div class="li"> [Publication] February, 2018, our paper “VButton: Practical Attestation of User-driven Operations in Mobile Apps” was accepted by the 16th Annual International Conference on Mobile Systems, Applications, and Services (<strong>MobiSys 2018</strong>). Congratulations to Wenhao and Shiyu.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2017, our paper “Espresso: Brewing Java For More Non-Volatility With Non-Volatile Memory” was accepted by The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (<strong>ASPLOS 2018</strong>). Congratulations to Mingyu, Ziming, Haoyu and Heting.</div> </li> <li class="level1"><div class="li"> [Award] November, 2017, Haibo was awarded the NASAC-Neusoft Software Innovation Award by China Computer Federation.</div> </li> <li class="level1"><div class="li"> [Publication] October, 2017, our paper “Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption” was accepted by 2018 IEEE Symposium on High Performance Computer Architecture (<strong>HPCA</strong>). Congratulations to Yuming, Yutao and Ruifeng.</div> </li> <li class="level1"><div class="li"> [Award] September, 2017, our paper “ Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads” received the <strong>Best Paper Award</strong> from ACM APSys 2017. Congratulations to Xiaozhou and thanks to our collaborators Zhaoguo and Jinyang.</div> </li> <li class="level1"><div class="li"> [Publication] August, 2017, our paper “Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data” was accepted by 2017 ACM Symposium on Operating System Principles (<strong>SOSP</strong>). Congratulations to Yunhao.</div> </li> <li class="level1"><div class="li"> [Impact] June, 2017, Haibo was invited to join the ACM SIGSAC Award Committee* with other 8 international experts to select the Outstanding Innovation Award and Outstanding Contributions Award of ACM SIGSAC.</div> </li> <li class="level1"><div class="li"> [Publication] May, 2017, our paper “vTZ: Virtualizing ARM TrustZone” has been accepted by 2017 Usenix Security Symposium (<strong>Usenix Security</strong>). Congratulations to Zhichao and Jinyu.</div> </li> <li class="level1"><div class="li"> [Publication] April, 2017, our paper “Fast In-memory Transaction Processing using RDMA and HTM” was accepted by ACM Transactions on Computer Systems (<strong>TOCS</strong>). This is the first all Chinese authors paper in TOCS.</div> </li> <li class="level1"><div class="li"> [Publication] April, 2017, two papers were accepted by Usenix Annual Technical Conference (<strong>Usenix ATC 2017</strong>). Congratulations to Mingkai, Xingda and Sijie.</div> </li> <li class="level1"><div class="li"> [Publication] February, 2017, our paper “Secure Live Migration of SGX Enclaves on Untrusted Cloud” was accepted by the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (<strong>DSN 2017</strong>). Congratulations to Jinyu and Zhichao.</div> </li> <li class="level1"><div class="li"> [Publication] October, 2016, our paper “Deconstructing Xen” was accepted by The Network and Distributed System Security Symposium 2017 (<strong>NDSS 2017</strong>). Congratulations to Lei and Yuming and thanks to our collaborator Nathan.</div> </li> <li class="level1"><div class="li"> [Publication] October, 2016, our paper “Transparent and Efficient CFI Enforcement with Intel Processor Trace” was accepted by 23rd IEEE Symposium on High Performance Computer Architecture (<strong>HPCA 2017</strong>). Congratulations to Yutao, Peitao and Xinran.</div> </li> <li class="level1"><div class="li"> [Award] September, 2016, congratulations to Wenhao Li on winning the 2016 Microsoft Research Asia Fellowship Award! Only 10 Ph.D students got this prestigious fellows among 110 distinguished Ph.D. candidates from 40 leading research universities/institutions.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2016, our paper “Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration” was accepted by 2016 Usenix Symposium on Operating System Design and Implementation (<strong>OSDI 2016</strong>). Congratulations to Jiaxin and Youyang and thanks to our collaborator Feifei.</div> </li> <li class="level1"><div class="li"> [Impact] June, 2016, Haibo was invited to join the Award Committee of CCF/IEEE CS Young Computer Scientist Award with other 5 international experts to select the awardees.</div> </li> <li class="level1"><div class="li"> [Publication] July, 2016, our paper “A Case for Virtualizing Persistent Memory” was accepted by 2016 ACM Symposium on Cloud Computing (<strong>ACM SoCC 2016</strong>). Congratulations to Liang and Rong.</div> </li> <li class="level1"><div class="li"> [Publication] January, 2016, our paper “Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments” was accepted by 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (<strong>VEE 2016</strong>). The <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> has already been integrated into OpenJDK as a major enhancement of functionality. Congratulations to Yang and Tianyang.</div> </li> <li class="level1"><div class="li"> [Award] January, 2016, Haibo was named as “<strong>The Young Computer Scientist Award</strong>” by China Computer Federation. </div> </li> <li class="level1"><div class="li"> [Publication] January, 2016, our paper “Fast and General Distributed Transactions Using RDMA and HTM” was accepted by 11th ACM European Conference on Computer Systems (<strong>EuroSys 2016</strong>). Congratulations to Yanzhe, Xingda and Jiaxin.</div> </li> <li class="level1"><div class="li"> [Publication] December, 2015, two papers were accepted by USENIX Conference on File and Storage Technologies (<strong>FAST '16</strong>), only 27 papers accepted in total. Congratulations to Heng, Mingkai, Qingshu and Liang.</div> </li> <li class="level1"><div class="li"> [Award] November, 2015, our paper, “A Decoupled Storage Model for Java Objects” won the <strong>Best Student Paper Award</strong> from NASAC 2015. Congratulations to Tianyang.</div> </li> <li class="level1"><div class="li"> [Award] August, 2015, Haibo was selected into the “<strong>National Youth Top-notch Talent Support Program of China</strong>” (only 7 awardees across all disciplines in SJTU)</div> </li> <li class="level1"><div class="li"> [Impact] August, 2015, Haibo was elected as the <strong>Steering Committee Co-Chair</strong> of ACM APSys (with <a href="http://www.cs.utexas.edu/~lorenzo" class="urlextern" target="_tab" title="http://www.cs.utexas.edu/~lorenzo" rel="ugc nofollow noopener">Prof. Lorenzo Alvisi</a>).</div> </li> <li class="level1"><div class="li"> [Publication] July, 2015, our paper on using hypervisor-enforced intra-domain isolation was accepted by <strong> 2015 ACM Conference on Computer and Communication Security</strong>. Congratulations to Yutao, Tianyu and Kexin.</div> </li> <li class="level1"><div class="li"> [Award] July, 2015, Haibo was named a <strong>Distinguished Member</strong> of China Computer Federation.</div> </li> <li class="level1"><div class="li"> [Award] June, 2015, Xingda Wei won the Outstanding Undergraduate Thesis Award of Shanghai Jiao Tong University.</div> </li> <li class="level1"><div class="li"> [Publication] June, 2015, one paper on scalable in-memory transaction processing using RTM and RDMA was accepted by <strong> 2015 ACM Symposium on Operating System Principles</strong>. Well done, IPADSers!</div> </li> <li class="level1"><div class="li"> [Publication] May, 2015, one paper on mobile IME security accepted by <strong>Usenix Security Symposium 2015</strong>. </div> </li> <li class="level1"><div class="li"> [Award] April, 2015, our paper “PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs” won the <strong>Best Paper Award</strong> from <strong>EuroSys 2015</strong>.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2015, our paper “Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls” was accepted by <strong>ISCA'15</strong>. Congratulations to Wenhao Li!</div> </li> <li class="level1"><div class="li"> [Publication] February, 2015, our paper “AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone” was accepted by <strong>MobiSys 2015</strong> (29 accepted out of 219), Congratulations to Wenhao Li and Haibo Li.</div> </li> <li class="level1"><div class="li"> [Award] January, 2015, Haibo got the <strong>faculty award</strong> from <strong>Microsoft Research Asia</strong>. Thanks a lot to MSRA's generosity. </div> </li> <li class="level1"><div class="li"> [Publication] January, 2015, two papers were accepted by <strong>EuroSys 2015</strong> (32 accepted in total), Congratulations to Rong and Yubin. </div> </li> <li class="level1"><div class="li"> [Publication] November, 2014, two papers were accepted by <strong>PPoPP 2015</strong> (23 accepted in total), Congratulations to Chenning and Kaiyuan. </div> </li> <li class="level1"><div class="li"> [Award] September, 2014, Yutao was selected to the <strong>Microsoft Research Asia Ph.D Fellowship Program</strong>, as one of 12 awardees across Asia. </div> </li> <li class="level1"><div class="li"> [Award] July, 2014, Haibo was named as a <strong>Distinguished Speaker</strong> for China Computer Federation.</div> </li> <li class="level1"><div class="li"> [Publication] May, 2014, our paper “Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks” was accepted by <strong>Usenix ATC 2014</strong>. Congratulations to Ran and Heng. </div> </li> <li class="level1"><div class="li"> [Award] June, 2014, Jiaxin Shi won the <strong>Outstanding Undergraduate Thesis Award</strong> of Shanghai Jiao Tong University.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2014, our paper “Computation and Communication Efficient Graph Processing with Distributed Immutable View” was accepted by <strong>HPDC 2014</strong>.</div> </li> <li class="level1"><div class="li"> [Publication] February, 2014, our paper “Replication-based Fault-tolerance for Large-scale Graph Processing” was accepted by <strong>DSN 2014</strong>.Congratulations to Peng and Kaiyuan. </div> </li> <li class="level1"><div class="li"> [Award], February, 2014, our paper “Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory” received the “Best Paper Nominee” of <strong>HPCA'14</strong>.</div> </li> <li class="level1"><div class="li"> [Publication] January, 2014, our paper on using RTM to build database was accepted by <strong>EuroSys 2014</strong>. Congratulations to Zhaoguo and Hao.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2013, our paper was accepted by <strong>HPCA 2014</strong>, Congratulations to Yutao. </div> </li> <li class="level1"><div class="li"> [Contest] November, 2013, our contest program submission “Point-Polygon Topological Relationship Query Using Hierarchical Indices” won the <strong>Champion</strong> (1/29) of <strong>ACM SIGSPATIAL GIS CUP 2013</strong>. Congs to Tianyu and Heng. </div> </li> <li class="level1"><div class="li"> [Award] July, 2013, Our paper, “Schedule Processing, not VCPUs” won the <strong>Best Paper Award</strong> of ACM APSys 2013, Congs to Xiang, Jicheng.</div> </li> <li class="level1"><div class="li"> [Award] June, 2013, Heng Zhang won the <strong>Outstanding Undergraduate Thesis Award</strong> of Shanghai Jiao Tong University.</div> </li> <li class="level1"><div class="li"> [Award] June, 2013, our visiting student, Mingzhe Zhang won <strong>Outstanding Undergraduate Thesis Award</strong> of Fudan University.</div> </li> <li class="level1"><div class="li"> [Publication] June 2013, two papers were accepted by <strong>ACM APSys 2013</strong>.</div> </li> <li class="level1"><div class="li"> [Publication] March, 2013, our paper “Tiled-MapReduce: Efficient and Flexible MapReduce Processing on Multicore with Tiling” was published by <strong>ACM Transaction on Architecture and Code Optimization</strong>.</div> </li> <li class="level1"><div class="li"> [Publication] February, 2013, our paper “Parallelizing Live Migration of Virtual Machines” was accepted by <strong>VEE 2013</strong>.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2012, our paper “Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks” was accepted by <strong>HPCA 2013</strong>. Congs to Yubin Xia and Yutao Liu.</div> </li> <li class="level1"><div class="li"> [Publication] November, 2012, our paper “Scalable Deterministic Replay in a Parallel Full-system Emulator” was accepted by <strong>PPoPP 2013</strong>. Congs to Yufei Chen.</div> </li> <li class="level1"><div class="li"> [Award] July, 2012 Haibo Chen received the 2012 <strong>Google Research Award</strong>, thanks for the generosity of Google Inc.</div> </li> <li class="level1"><div class="li"> [Award] Feburary, 2012 Haibo Chen was awarded with <strong>NetApp Faculty Fellowship</strong>, thanks for the generosity of NetApp Inc.</div> </li> <li class="level1"><div class="li"> [Award] January, 2012, our former member Fengzhe Zhang was awarded the <strong>Outstanding Ph.D Thesis Award from China Computer Federation</strong>. </div> </li> <li class="level1"><div class="li"> [Award] November 2011, Haibo Chen was awarded a “<strong>Distinguished Ph.D Thesis Award from China Ministry of Education</strong>”. This award gives only one or two Ph.Ds each year among all disciplines of computer science in China. </div> </li> <li class="level1"><div class="li"> [Publication] June, 2011, our Paper “CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization” has been accepted by <strong>23rd ACM Symposium on Operating Systems Principles (SOSP 2011)</strong>. </div> </li> <li class="level1"><div class="li"> [Publication] January, 2011, our Paper “A Case for Scaling Applications to Many-core Platforms with <abbr title="Operating System">OS</abbr> Clustering”, has been accepted by 2011 European Conference on Computer Systems (<strong>Eurosys 2011</strong>). </div> </li> <li class="level1"><div class="li"> [Publication] October, 2010, our Paper “COREMU: a Scalable and Portable Parallel Full-system Emulator”, has been accepted by 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (<strong>PPoPP 2011</strong>). </div> </li> <li class="level1"><div class="li"> [Software] July 2010, <strong>COREMU</strong>, a scalable and portable full-system emulator developed by our team, has been released to public. Refer to <a href="http://ipads.se.sjtu.edu.cn/coremu" class="urlextern" target="_tab" title="http://ipads.se.sjtu.edu.cn/coremu" rel="ugc nofollow noopener">coremu</a> page for further information. </div> </li> <li class="level1"><div class="li"> [Publication] May 2010, Our paper “Tiled MapReduce: Optimizing Resource Usages of Data-parallel Applications on Multicore with Tiling” has been accepted by the Nineteenth International Conference on Parallel Architectures and Compilation Techniques (<strong>PACT 2010</strong>) </div> </li> <li class="level1"><div class="li"> [Award] January, 2010, Haibo won the “<strong>Outstanding Ph.D Award from China Computer Federation</strong>”.</div> </li> </ul> </div>  </div> <div class="docInfo"><bdi>start.txt</bdi> · Last modified: 2025/02/22 19:46 by <bdi>root</bdi></div> <hr class="a11y" /> </div></main>  <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="/start?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="/start?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="/start?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>  <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> </div></div> <div class="no"><img src="/lib/exe/taskrunner.php?id=start&1742494636" width="2" height="1" alt="" /></div> <div id="screen__mode" class="no"></div></body> </html>