<!DOCTYPE html> <html> <head> <meta charset='utf-8'> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1">  <link rel="stylesheet" type="text/css" href="https://ipads.se.sjtu.edu.cn/zh/css/bootstrap.min.css" />    <link rel="stylesheet" type="text/css" href="https://ipads.se.sjtu.edu.cn/zh/css/main.css" /> </head> <body> <header class="navbar navbar-fixed-top" role="banner"> <div class="container"> <div class="navbar-header"> <button class="navbar-toggle collapsed" type="button" data-toggle="collapse" data-target=".bs-navbar-collapse"> <span class="sr-only">导航</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a href="https://ipads.se.sjtu.edu.cn/zh/index.html" class="navbar-brand">IPADS</a> <span class="hidden-sm hidden-xs navbar-split"></span> <span class="hidden-sm hidden-xs navbar-subtitle">并行与分布式系统研究所</span> </div> <nav class="collapse navbar-collapse bs-navbar-collapse"> <ul class="nav navbar-nav navbar-right">  <li><a href="https://ipads.se.sjtu.edu.cn/zh/publications">论文</a></li> <li><a href="https://ipads.se.sjtu.edu.cn/zh/projects">项目</a></li> <li><a href="https://ipads.se.sjtu.edu.cn/zh/members">成员</a></li> <li><a href="https://ipads.se.sjtu.edu.cn/zh/news">新闻</a></li> <li><a href="https://ipads.se.sjtu.edu.cn/zh/activities">活动</a></li> </ul> </nav> </div> </header> <div id="publications-page" class="page container">  <h1>论文</h1><hr/><a class="col-xs-6" href="https://ipads.se.sjtu.edu.cn/pub/publication">完整列表</a> <br/><br/> <label class="col-xs-4" style="color: #2291cd;"><input name="System_Virtualization" type="checkbox" value="System_Virtualization" checked="checked" onclick="checkboxOnclick(this)" />System Virtualization</label> <label class="col-xs-4" style="color: #2291cd;"><input style="color: #2291cd;"name="Distributed_Systems" type="checkbox" value="Distributed_Systems" checked="checked" onclick="checkboxOnclick(this)" />Distributed Systems</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Multicore_Systems" type="checkbox" value="Multicore_Systems" checked="checked" onclick="checkboxOnclick(this)" />Multicore Systems</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Security_and_Privacy" type="checkbox" value="Security_and_Privacy" checked="checked" onclick="checkboxOnclick(this)" />Security and Privacy</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Programming_Languages" type="checkbox" value="Programming_Languages" checked="checked" onclick="checkboxOnclick(this)" />Programming Languages</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Verification" type="checkbox" value="Verification" checked="checked" onclick="checkboxOnclick(this)" />Verification</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Cloud_Computing" type="checkbox" value="Cloud_Computing" checked="checked" onclick="checkboxOnclick(this)" />Cloud Computing</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Operating_Systems" type="checkbox" value="Operating_Systems" checked="checked" onclick="checkboxOnclick(this)" />Operating Systems</label> <label class="col-xs-4" style="color: #2291cd;"><input name="Mobile_Systems" type="checkbox" value="Mobile_Systems" checked="checked" onclick="checkboxOnclick(this)" />Mobile Systems</label> <br/><br/><br/><br/> <div> <hr /></div><div class="year"> <h3 class="publications-year">2025</h3> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiacheng_shi">Jiacheng Shi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Serverless Functions Made Confidential and Efficient with Split Containers</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>USENIX Security'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <div class="row publications-group tag-Verification"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yicun_yang">Yicun Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , Yu Xia , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhuoran_wei">Zhuoran Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoran_ding">Haoran Ding</a> , Ruzica Piskac , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SIGMOD'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zixuan_wang">Zixuan Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , Hongrui Xie , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>ODRP: On-Demand Remote Paging with Programmable RDMA</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>NSDI'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiacheng_shi">Jiacheng Shi</a> , Yang Yu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>A Hardware-Software Co-Design for Efficient Secure Containers</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Eurosys'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yifan_tan">Yifan Tan</a> , Cheng Tan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <div class="row publications-group tag-Mobile Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuanpei_wu">Yuanpei Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , Chao Xu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Ming Fu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiahao_zhou">Jiahao Zhou</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , Jingyao Zeng , Lei Zhao , Chunhai Fan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Liquid-State Drive: A Case for DNA Block Device for Enormous Data</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>FAST'25</strong></div> <div class="col-xs-6 col-sm-2 text-right"> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2024</h3> <div class="row publications-group tag-"> <div class="col-xs-12 col-sm-2"> Yanning Yang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , Haitao Song , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>On-demand and Parallel Checkpoint/Restore for GPU Applications</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SoCC'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/_media/publications/yang-socc24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> Kaijie Guo , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dingji_li">Dingji Li</a> , Ben Luo , Yibin Shen , Kaihuan Peng , Ning Luo , Shengdong Dai , Chen Liang , Jianming Song , Hang Yang , Xiantao Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/_media/publications/li-sosp24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-ML Serving"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yixin_song">Yixin Song</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haotong_xie">Haotong Xie</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/_media/publications/song-sosp24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/qingyuan_liu">Qingyuan Liu</a> , Yanning Yang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Ping Zhang , Jia Feng , James Larus , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/_media/publications/liu-atc24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiahao_chen">Jiahao Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Haibing Guan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Flexible, Secure and Efficient CVM Maintenance with Confidential Procedure Calls</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/_media/publications/chen-atc24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , 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 , Fengwei Xu </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenOSDI24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Verification"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mo_zou">Mo Zou</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Using Dynamically Layered Definite Releases for Verifying the RefFS File System</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZouOSDI24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/hanze_zhang">Hanze Zhang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ke_cheng">Ke Cheng</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fast and Scalable In-network Lock Management Using Lock Fission</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhangOSDI24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/gansen_hu">Gansen Hu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/chuzhe_tang">Chuzhe Tang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiahuan_shen">Jiahuan Shen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhiyuan_dong">Zhiyuan Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/sheng_yao">Sheng Yao</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SIGMOD'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/HuSIGMOD24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dahai_tang">Dahai Tang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiali_tang">Jiali Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , Lei Wang , Wenyuan Yu , Jingren Zhou , Kenli Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>XGNN: Boosting Multi-GPU GNN Training via Global GNN Memory Store</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>VLDB'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/TangVLDB24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/erhu_feng">Erhu Feng</a> , Dahu Feng , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Wenbin Zheng , Siqi Zhao , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>sIOPMP: Scalable and Efficient I/O Protection for TEEs</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/FengASPLOS24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , Liang Mao , Yude Lin , Yifeng Jin , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhe_li">Zhe Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/hongtao_lyu">Hongtao Lyu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiawei_tang">Jiawei Tang</a> , Xiaowei Lu , Hao Tang , Denghui Dong , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Jade: A High-throughput Concurrent Copying Garbage Collector</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Eurosys'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuEurosys24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/fangming_lu">Fangming Lu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingdai_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhuobin_huang">Zhuobin Huang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Serialization/Deserialization-free State Transfer in Serverless Workflows</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Eurosys'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LuEurosys24.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ziming_zhao">Ziming Zhao</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Binyu Zang </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Eurosys'24</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhaoEurosys24.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2023</h3> <div class="row publications-group tag-Verification"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoran_ding">Haoran Ding</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yicun_yang">Yicun Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dexin_zhang">Dexin Zhang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhenglin_xu">Zhenglin Xu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Ruzica Piskac , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Proving Query Equivalence Using Linear Integer Arithmetic</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SIGMOD'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DingSIGMOD23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuxuan_liu">Yuxuan Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/tianqiang_xu">Tianqiang Xu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhichao_hua">Zhichao Hua</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuASPLOS23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> Hui Lv , Nuli Xie , Mingqiang Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , Chenyun Sun , Qian Zhang , Lei Zhao , Jiang Li , Xiaolei Zuo , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Fei Wang & Chunhai Fan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>DNA-based programmable gate arrays for general-purpose DNA computing</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Nature'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/nature23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xiaoniu_song">Xiaoniu Song</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yiwen_zhang">Yiwen Zhang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/SongSOSP23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/fangnuo_wu">Fangnuo Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , Gequan Mo , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuSOSP23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/qingyuan_liu">Qingyuan Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Ping Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>The Gap Between Serverless Research and Real-world Systems</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SoCC'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuSoCC23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/sijie_shen">Sijie Shen</a> , Zihang Yao , Lin Shi , Lei Wang , Longbin Lai , Qian Tao , Li Su , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , Wenyuan Yu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Jingren Zhou </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Bridging the Gap between Relational OLTP and Graph-based OLAP</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ShenATC23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dingji_li">Dingji Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/chenhui_ji">Chenhui Ji</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yifan_tan">Yifan Tan</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiATC23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiahao_chen">Jiahao Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dingji_li">Dingji Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuxuan_liu">Yuxuan Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Security and Performance in the Delegated User-level Virtualization</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenOSDI23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rongxin_cheng">Rongxin Cheng</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuhan_yang">Yuhan Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Characterizing Off-path SmartNIC for Accelerating Distributed Systems</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/Wei_OSDI23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Verification"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoran_ding">Haoran Ding</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhuohao_shen">Zhuohao Shen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Automated verification of idempotence for stateful serverless applications</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DingOSDI23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_li">Mingyu Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xuyang_zhao">Xuyang Zhao</a> , Le Chen , Cheng Tan , Huorong Li , Sheng Wang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Feifei Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Encrypted Databases Made Secure Yet Maintainable</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiOSDI23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> Jiawei Wang , Bohdan Trach , Ming Fu , Diogo Behrens , Jonathan Schwender , Yutao Liu , Jitang Lei , Viktor Vafeiadis , Hermann Härtig , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>BWoS: Formally Verified Block-based Work Stealing for Parallel Processing</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangOSDI23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhiyuan_dong">Zhiyuan Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/chuanwei_yi">Chuanwei Yi</a> , Xian Xu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyuan_zhang">Jinyuan Zhang</a> , Jinyang Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Database Deadlock Diagnosis for Large-scale ORM-based Web Applications</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ICDE'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DongICDE23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhiyuan_dong">Zhiyuan Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xiaodong_zhang">Xiaodong Zhang</a> , Xian Xu , Changgeng Zhao , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Aurojit Panda , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>VLDB'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DongVLDB23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xinghda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/fangming_lu">Fangming Lu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/tianxia_wang">Tianxia Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuhan_yang">Yuhan Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiOSDI23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/shulin_fan">Shulin Fan</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhichao_hua">Zhichao Hua</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ISCA'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/FanISCA23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-VerificationMulticore Systems"> <div class="col-xs-12 col-sm-2"> Martin Beck , Koustubha Bhat , Lazar Stričević , Geng Chen , Diogo Behrens , Ming Fu , Viktor Vafeiadis , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Hermann Härtig </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenASPLOS23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming LanguagesCloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ziming_zhao">Ziming Zhao</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiawei_tang">Jiawei Tang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>BeeHive: Sub-second elasticity for web services with Semi-FaaS execution</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhaoASPLOS23.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/erhu_feng">Erhu Feng</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Efficient Distributed Secure Memory with Migratable Merkle Tree</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>HPCA'23</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/FengHPCA23.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2022</h3> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/shuaiwei_wang">Shuaiwei Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Zero-Change Object Transmission for Distributed Big Data Analytics</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuATC22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/fangming_lu">Fangming Lu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiATC22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/hao_li">Hao Li</a> , Wentai Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>EPK: Scalable and Efficient Memory Protection Keys</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/GuATC22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingcong_han">Mingcong Han</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/hanze_zhang">Hanze Zhang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/HanOSDI22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhou_zhou">Zhou Zhou</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yicun_yang">Yicun Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoran_ding">Haoran Ding</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/gansen_hu">Gansen Hu</a> , Ding Ding , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/chuzhe_tang">Chuzhe Tang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/nhaibo_chen">Haibo Chen</a> , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>WeTune: Automatic Discovery and Verification of Query Rewrite Rules</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SIGMOD'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangSIGMOD22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/chuzhe_tang">Chuzhe Tang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xiaodong_zhang">Xiaodong Zhang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/qianmian_yu">Qianmian Yu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/nhaibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SIGMOD'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/TangSIGMOD22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jianbang_yang">Jianbang Yang</a> , Dahai Tang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xiaoniu_song">Xiaoniu Song</a> , Lei Wang , Qiang Yin , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , Wenyuan Yu , Jingren Zhou </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>GNNLab: A Factored System for Sample-based GNN Training over GPUs</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/YangEuroSys22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/nian_liu">Nian Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , Dahai Tang , Kenli Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Asymmetry-aware Scalable Locking</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>PPoPP'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuPPoPP22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/qingyuan_liu">Qingyuan Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xueqiang_jiang">Xueqiang Jiang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Serverless Computing on Heterogeneous Computers</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DuASPLOS22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jifei_yi">Jifei Yi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/benchao_dong">Benchao Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ruizhe_tong">Ruizhe Tong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>FAST'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/YiJFAST22.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jifei_yi">Jifei Yi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/fangnuo_wu">Fangnuo Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>FAST'22</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/YiFAST22.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2021</h3> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> Dingji Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM (preprint)</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiSOSP21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xiating_xie">Xiating Xie</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiATC21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/sijie_shen">Sijie Shen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ShenOSDI21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiachen_wang">Jiachen Wang</a> , Ding Ding , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/huan_wang">Huan Wang</a> , Conrad Christensen , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Polyjuice: High-Performance Transactions via Learned Concurrency Control</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangOSDI21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_li">Mingyu Li</a> , Jinhao Zhu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/tianxu_zhang">Tianxu Zhang</a> , Cheng Tan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Sebastian Angel , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Bringing Decentralized Search to Decentralized Services</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiOSDI21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/erhu_feng">Erhu Feng</a> , Xu Lu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/bicheng_yang">Bicheng Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xueqiang_jiang">Xueqiang Jiang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Scalable Memory Protection in the PENGLAI Enclave</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/FengOSDI21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_li">Mingyu Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Confidential Serverless Made Efficient with Plug-In Enclaves</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ISCA'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiISCA21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> Lei Wang , Qiang Yin , Chao Tian , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jianbang_yang">Jianbang Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , Wenyuan Yu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zihang_yao">Zihang Yao</a> , Jingren Zhou </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>FlexGraph: A flexible and efficient distributed framework for GNN training</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangEuroSys21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yanfei_yang">Yanfei Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Bridging the Performance Gap for Copy-based Garbage Collectors atop Non-Volatile Memory</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/YangEuroSys21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Verification"> <div class="col-xs-12 col-sm-2"> Jonas Oberhauser , Rafael Lourenco de Lima Chehab , Diogo Behrens , Ming Fu , Antonio Paolillo , Lilith Oberhauser , Koustubha Bhat , Yuzhong Wen , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Jaeho Kim , Viktor Vafeiadis </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/OberhauserASPLOS21.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhenhan_gong">Zhenhan Gong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>NSDI'21</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiNSDI21.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2020</h3> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiOSDI20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/tianyi_yu">Tianyi Yu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/qingyuan_liu">Qingyuan Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Ziqiang Lu , Pingchao Yang , Chenggang Qin , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Characterizing Serverless Platforms with ServerlessBench</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SoCC'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/YuSoCC20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dingji_li">Dingji Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Security'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/MiSecurity20-final.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , Xinyue Wu , Wentai Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/nian_liu">Nian Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/GuATC20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ziming_zhao">Ziming Zhao</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yanfei_yang">Yanfei Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoyu_li">Haoyu Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibing_guan">Haibing Guan</a> , Sanhong Li , Chuansheng Lu , Tongbao Zhang </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuATC20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Lanugages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Hao Zhu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibing_guan">Haibing Guan</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>GCPersist: An Efficient GC-assisted Lazy Persistency Framework for Resilient Java Applications on NVM</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>VEE'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuVEE20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Cloud Computing"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/tianyi_yu">Tianyi Yu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Guanglu Yan , Chenggang Qin , Qixuan Wu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DuASPLOS20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/nian_liu">Nian Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>PPoPP'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuPPoPP20.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/chuzhe_tang">Chuzhe Tang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/youyun_wang">Youyun Wang</a> , Gansen Hu , Zhiyuan Dong , Minjie Wang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>XIndex: A Scalable Learned Index for Multicore Data Storage</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>PPoPP'20</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/TangPPoPP20.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2019</h3> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/heng_bu">Heng Bu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jifei_yi">Jifei Yi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/benchao_dong">Benchao Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Performance and Protection in the ZoFS User-space NVM File System</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DongSOSP19-rev.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Verification"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mo_zou">Mo Zou</a> , Haoran Ding , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , Ming Fu , Ronghui Gu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZouSOSP19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , Changgeng Zhao , Shuai Mu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>On the Parallels between Paxos and Raft, and how to Port Optimizations</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>PODC'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangPODC19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Mobile Systems"> <div class="col-xs-12 col-sm-2"> Xiang Gao , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , Xie Miao , Wei Du , Chao Yu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/GaoATC19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> Xiating Xie , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Pragh: Locality-preserving Graph Traversal with Split Live Migration</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/XieATC19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/qianqian_yu">Qianqian Yu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xiayang_wang">Xiayang Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhaoguo_wang">Zhaoguo Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Pisces: A Scalable and Efficient Persistent Transactional Memory</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/GuATC19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhichao_hua">Zhichao Hua</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>XPC: Architectural Support for Secure and Efficient Cross Process Call</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ISCA'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DuISCA19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/wenhao_li">Wenhao Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Long Lu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>VEE'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiVEE19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoyu_li">Haoyu Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>VEE'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiHVEE19.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Operating Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zeyu_mi">Zeyu Mi</a> , Dingji Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zihan_yang">Zihan Yang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xinran_wang">Xinran Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>SkyBridge: Fast and Secure Inter-Process Communication for Microkernels</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'19</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/MiEuroSys19.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2018</h3> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhiyuan_dong">Zhiyuan Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiOSDI18.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoyu_li">Haoyu Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Analysis and Optimizations of Java Full Garbage Collection</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>APSys'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiAPSys18.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/siyuan_wang">Siyuan Wang</a> , Chang Lou , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangATC18.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhichao_hua">Zhichao Hua</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/dong_du">Dong Du</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/HuaATC18.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Mobile Systems"> <div class="col-xs-12 col-sm-2"> Wenhao Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/shiyu_luo">Shiyu Luo</a> , Zhichuang Sun , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Long Lu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>VButton: Practical Attestation of User-driven Operations in Mobile Apps</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>MobiSys'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiMobiSys18.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingyu_wu">Mingyu Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ziming_zhao">Ziming Zhao</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haoyu_li">Haoyu Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/heting_li">Heting Li</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ASPLOS'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuASPLOS18.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuming_wu">Yuming Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yutao_liu">Yutao Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/ruifeng_liu">Ruifeng Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>HPCA'18</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WuHPCA18.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2017</h3> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> Yunhao Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data</p> <a href="/zh/cites/ZhangSOSP17.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhangSOSP17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> Xiaozhou Zhou , Zhaoguo Wang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Jinyang Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads</p> <a href="/zh/cites/ZhouAPSys17.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>APSys'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhouAPSys17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhichao_hua">Zhichao Hua</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>vTZ: Virtualizing ARM TrustZone</p> <a href="/zh/cites/HuaSecurity17.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>Security'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/HuaSecurity17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Soft Updates Made Simple and Fast on Non-volatile Memory</p> <a href="/zh/cites/DongATC17.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/DongATC17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/sijie_shen">Sijie Shen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing</p> <a href="/zh/cites/WeiATC17.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ATC'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiATC17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jinyu_gu">Jinyu Gu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/zhichao_hua">Zhichao Hua</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan , Jinming Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Secure Live Migration of SGX Enclaves on Untrusted Cloud</p> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>DSN'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/GuDSN17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> Lei Shi , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yuming_wu">Yuming Wu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Nathan Dautenhahn , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibin Guan , Jinming Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Deconstructing Xen</p> <a href="/zh/slides/Nexen-ndss-2017.pdf" target="_blank">[slide]</a> <a href="/zh/cites/ShiNDSS17.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>NDSS'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ShiNDSS17.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yutao_liu">Yutao Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/peitao_shi">Peitao Shi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xinran_wang">Xinran Wang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Haibin Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Transparent and Efficient CFI Enforcement with Intel Processor Trace</p> <a href="/zh/slides/flowguard-hpca-2017.pptx" target="_blank">[slide]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>HPCA'17</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuHPCA17.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2016</h3> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiaxin_shi">Jiaxin Shi</a> , Youyang Yao , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Feifei Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration</p> <a href="/zh/cites/ShiOSDI16.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>OSDI'16</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ShiOSDI16.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> Liang Liang , Rong Chen , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , KwanJong Park , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Binyu Zang</a> , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>A Case for Virtualizing Persistent Memory</p> <a href="/zh/slides/vpm-socc-2016.pptx" target="_blank">[slide]</a> <a href="/zh/cites/LiangSoCC16.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SoCC'16</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiangSoCC16.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yanzhe_chen">Yanzhe Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiaxin_shi">Jiaxin Shi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fast and General Distributed Transactions Using RDMA and HTM</p> <a href="/zh/cites/ChenEuroSys16.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'16</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenEuroSys16.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> Yang Yu , Tianyang Lei , Weihua Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Binyu Zang </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environment</p> <a href="/zh/cites/YuVEE16.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>VEE'16</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/YuVEE16.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> Heng Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication</p> <a href="/zh/cites/ZhangFAST16.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>FAST'16</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhangFAST16.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> Qingshu Chen , Liang Liang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Mitigating Sync Amplification for Copy-on-write Virtual Disk</p> <a href="/zh/cites/ChenFAST16.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>FAST'16</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenFAST16.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2015</h3> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yutao_liu">Yutao Liu</a> , Tianyu Zhou , Kexin Chen , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation</p> <a href="/zh/slides/secage-ccs-2015.pptx" target="_blank">[slide]</a> <a href="/zh/cites/LiuCCS15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>CCS'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuCCS15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/xingda_wei">Xingda Wei</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiaxin_shi">Jiaxin Shi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yanzhe_chen">Yanzhe Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Fast In-memory Transaction Processing using RDMA and HTM</p> <a href="/zh/cites/WeiSOSP15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SOSP'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WeiSOSP15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yutao_liu">Yutao Liu</a> , Haibing Guan , Yunji Chen , Tianshi Chen , Binyu Zang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Secure outsourcing of virtual appliance</p> <a href="/zh/cites/XiaTCC15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>TCC'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/XiaTCC15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Mobile Systems"> <div class="col-xs-12 col-sm-2"> Jin Chen , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Erick Bauman , Zhiqiang Lin , Binyu Zang , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>You Shouldn’t Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps</p> <a href="/zh/cites/ChenSecurity15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>USENIX Security'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenSecurity15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> Weihua Zhang , Haojun Wang , Yunping Lu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Wenyun Zhao </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>A loosely-coupled full-system multi-core simulation framework</p> <a href="/zh/cites/ZhangTPDS15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>TPDS'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhangTPDS15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> Zhaoguo Wang , Han Yi , Ran Liu , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/mingkai_dong">Mingkai Dong</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Persistent transactional memory</p> <a href="/zh/cites/WangCAL15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>CAL'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangCAL15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> Wenhao Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Binyu Zang , Haibing Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls</p> <a href="/zh/cites/LiISCA15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ISCA'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiISCA15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Mobile Systems"> <div class="col-xs-12 col-sm-2"> Wenhao Li , Haibo Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone</p> <a href="/zh/cites/LiMobiSys15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>MobiSys'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiMobiSys15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiaxin_shi">Jiaxin Shi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yanzhe_chen">Yanzhe Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs <strong>(Best Paper Award)</strong></p> <a href="/zh/cites/ChenEuroSys15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenEuroSys15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Security and Privacy"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yutao_liu">Yutao Liu</a> , Cheng Tan , Mingyang Ma , Haibing Guan , Binyu Zang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading</p> <a href="/zh/cites/XiaEuroSys15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/XiaEuroSys15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> Kaiyuan Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>NUMA-aware Graph-structured Analytics</p> <a href="/zh/cites/ZhangPPoPP15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>PPoPP'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ZhangPPoPP15.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiaxin_shi">Jiaxin Shi</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Binyu Zang </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Bipartite-oriented Distributed Graph Partitioning for Big Learning</p> <a href="/zh/cites/ChenJCST15.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>JCST'15</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenJCST15.pdf" target="_blank">PDF</a> </div> </div> <hr /></div><div class="year"> <h3 class="publications-year">2014</h3> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yanzhe_chen">Yanzhe Chen</a> , Yin Wang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Binyu Zang </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Greedy map generialization by iterative point removal</p> <a href="/zh/cites/Chensigspatialcup14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>SIGSPATIAL'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/Chensigspatialcup14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/jiaxin_shi">Jiaxin Shi</a> , Binyu Zang , Haibin Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Bipartite-oriented Distributed Graph Partitioning for Big Learning</p> <a href="/zh/cites/ChenAPSys14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>APSys'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenAPSys14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Mobile Systems"> <div class="col-xs-12 col-sm-2"> Wenhao Li , Mingyang Ma , Jinchen Han , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Binyu Zang , Cheng-Kang Chu , Tieyan Li </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Building Trusted Path on Untrusted Device Drivers for Mobile Devices</p> <a href="/zh/cites/LiAPSys14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>APSys'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiAPSys14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> Peng Wang , Kaiyuan Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Haibin Guan </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Replication-based Fault-tolerance for Large-scale Graph Processing</p> <a href="/zh/cites/WangDSN14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>DSN'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangDSN14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Distributed Systems"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/rong_chen">Rong Chen</a> , Xin Ding , Peng Wang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> , Binyu Zang </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Computation and Communication Efficient Graph Processing with Distributed Immutable View</p> <a href="/zh/cites/ChenHPDC14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>HPDC'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/ChenHPDC14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> Ran Liu , Heng Zhang , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks</p> <a href="/zh/cites/LiuATC14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>USENIX ATC'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuATC14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Multicore Systems"> <div class="col-xs-12 col-sm-2"> Zhaoguo Wang , Hao Qian , Jinyang Li , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Using Restricted Transactional Memory to Build a Scalable In-Memory Database</p> <a href="/zh/cites/WangEuroSys14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>EuroSys'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/WangEuroSys14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-System Virtualization"> <div class="col-xs-12 col-sm-2"> <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yutao_liu">Yutao Liu</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/yubin_xia">Yubin Xia</a> , Haibing Guan , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Binyu Zang</a> , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/binyu_zang">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory</p> <a href="/zh/slides/txintro-hpca-2014.pptx" target="_blank">[slide]</a> <a href="/zh/cites/LiuHPCA14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>HPCA'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/LiuHPCA14.pdf" target="_blank">PDF</a> </div> </div> <div class="row publications-group tag-Programming Languages"> <div class="col-xs-12 col-sm-2"> Zhijun Hao , Chenning Xie , <a href="https://ipads.se.sjtu.edu.cn/zh/pub/members/haibo_chen">Haibo Chen</a> </div> <div class="col-xs-12 col-sm-7 publications-content"> <p>X10-FT: Transparent Fault Tolerance for APGAS Language and Runtime</p> <a href="/zh/cites/HaoParCo14.bib" target="_blank">[cite]</a> </div> <div class="col-xs-6 col-sm-1 publications-conference"><strong>ParCo'14</strong></div> <div class="col-xs-6 col-sm-2 text-right"> <a class="btn btn-default" href="/zh/publications/HaoParCo14.pdf" target="_blank">PDF</a> </div> </div> </div> </div> <script> function checkboxOnclick(checkbox){ var name = checkbox.value; var ele_tag = ""; if(name == "System_Virtualization"){ ele_tag = ".tag-System"; }else if(name == "Distributed_Systems"){ ele_tag = ".tag-Distributed"; }else if(name == "Multicore_Systems"){ ele_tag = ".tag-Multicore"; }else if(name == "Security_and_Privacy"){ ele_tag = ".tag-Security"; }else if(name == "Programming_Languages"){ ele_tag = ".tag-Programming"; }else if(name == "Verification"){ ele_tag = ".tag-Verification"; }else if(name == "Cloud_Computing"){ ele_tag = ".tag-Cloud"; }else if(name == "Operating_Systems"){ ele_tag = ".tag-Operating"; }else if(name == "Mobile_Systems"){ ele_tag = ".tag-Mobile"; } $(ele_tag).prop("hidden", !checkbox.checked); $(".year").each(function(){ // if publications-group all hidden then self hidden var should_hidden = true; $(this).children(".publications-group").each(function(){ if(!$(this).prop("hidden")){ should_hidden = false; } }) $(this).prop("hidden", should_hidden); }); } </script> <script type="text/javascript" src="https://ipads.se.sjtu.edu.cn/zh/js/jquery.min.js"></script> <script type="text/javascript" src="https://ipads.se.sjtu.edu.cn/zh/js/bootstrap.min.js"></script> <ul style="text-align: center;"> <h5>沪交ICP备20250065</h5> </ul> </body> </html>

CINXE.COM