User Tools

Site Tools


pub:members:haibo_chen

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
pub:members:haibo_chen [2019/06/12 14:18]
root [Selected Publications]
pub:members:haibo_chen [2020/05/08 08:13] (current)
root
Line 1: Line 1:
 ====== Haibo Chen ====== ====== Haibo Chen ======
-{{pic:haibo-2012.jpg?100|}}+{{pub:members:haibo-2014.jpg?150|}}
  
-Professor at School of Software \\+Professor at School of Software, Shanghai Jiao Tong University ​\\
 Director of [[http://​ipads.se.sjtu.edu.cn|Institute of Parallel and Distributed Systems]] \\ Director of [[http://​ipads.se.sjtu.edu.cn|Institute of Parallel and Distributed Systems]] \\
 +Director of Domain-specific Operating System Center of Ministry of Education, China \\
 Vice Director of Shanghai Key Laboratory for Scalable Computing and Systems \\ Vice Director of Shanghai Key Laboratory for Scalable Computing and Systems \\
-Shanghai Jiao Tong University \\ 
 Email: haibochen **at** sjtu **dot** edu **dot** cn. Email: haibochen **at** sjtu **dot** edu **dot** cn.
  
Line 36: Line 36:
       * CCS: 2018 (Area Chair for Systems Security)       * CCS: 2018 (Area Chair for Systems Security)
       * ASPLOS: 2020 (Sponsor Co-chair)       * ASPLOS: 2020 (Sponsor Co-chair)
 +      * ICDCS: 2020 (PC Vice Chair)
     * Program Committee Members     * Program Committee Members
       * SOSP: 2019, 2017, 2015, 2013       * SOSP: 2019, 2017, 2015, 2013
Line 41: Line 42:
       * EuroSys: 2019, 2017, 2016, 2015, 2014        * EuroSys: 2019, 2017, 2016, 2015, 2014 
       * Usenix ATC: 2019, 2017, 2016, 2015, 2014       * Usenix ATC: 2019, 2017, 2016, 2015, 2014
-      * Oakland: ​202, 2018, 2017, 2016+      * Oakland: ​2020, 2018, 2017, 2016
       * CCS: 2019, 2018, 2016       * CCS: 2019, 2018, 2016
       * PPoPP: 2017, 2016       * PPoPP: 2017, 2016
Line 59: Line 60:
  
 ===== Awards and Honors ===== ===== Awards and Honors =====
 +  * **Presidential Award of SJTU**, 2020.
 +  * **National Science Fund for Distinguished Young Scholars**, 2019.
 +  * **ACM Distinguished Scientist**,​ 2019.
   * **Best Paper Award**, ACM VEE 2019.   * **Best Paper Award**, ACM VEE 2019.
   * First Prize of the Ministry of Education Technology Invention Award,2018   * First Prize of the Ministry of Education Technology Invention Award,2018
Line 89: Line 93:
  
 ===== Selected Publications ===== ===== Selected Publications =====
-(See the [[pub:​publication|the IPADS publication pages]] for my full publication list)+(See [[pub:​publication|the IPADS publication pages]] for my full publication list) 
 +   * [**Usenix ATC**] Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. Mingyu Wu, Ziming Zhao, Yanfei Yang, Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang. USENIX Annual Technical Conference, Boston, MA, USA, July 2020. 
 +   * [**Usenix ATC**] Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2020. 
 +   * [**Usenix Security**] Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan. (Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. In Proceedings of 29th Usenix Security Symposium. Boston, MA, USA. August 12–14, 2020.  
 +   * [**PPoPP**] Nian Liu, Binyu Zang, Haibo Chen. No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers. In The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, USA, Feburary, 2020. 
 +   * [**PPoPP**] Chuzhe Tang, Youyun Wang, Gansen Hu, Zhiyuan Dong, Zhaoguo Wang, Minjie Wang, Haibo Chen. XIndex: A Scalable Learned Index for Multicore Data Storage. In The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, USA, February, 2020. 
 +   * [**ASPLOS**] Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen. The 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Accepted), Lausanne, Switzerland,​ March, 2020. 
 +  * [**SOSP**] Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019. 
 +  * [**SOSP**] Performance and Protection in the ZoFS User-space NVM File System. Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019.
   * [**PODC**] On the parallels between Paxos and Raft. Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen and Jinyang Li. 38th Annual ACM Symposium on Principles of Distributed Computing. July 29–August 2, 2019, Toronto, Canada. ​   * [**PODC**] On the parallels between Paxos and Raft. Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen and Jinyang Li. 38th Annual ACM Symposium on Principles of Distributed Computing. July 29–August 2, 2019, Toronto, Canada. ​
   * [**Usenix ATC**] EROFS: A Compression-friendly Readonly File System for Resource-scarce Device. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.    * [**Usenix ATC**] EROFS: A Compression-friendly Readonly File System for Resource-scarce Device. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. 
-   * [**Usenix ATC**] ​Janus: A Scalable and Efficient Persistent Transactional Memory. Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. +   * [**Usenix ATC**] ​Pisces: A Scalable and Efficient Persistent Transactional Memory. Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. 
   * [**Usenix ATC**] Pragh: Locality-preserving Graph Traversal with Split Live Migration. Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.    * [**Usenix ATC**] Pragh: Locality-preserving Graph Traversal with Split Live Migration. Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019. 
   * [**ISCA**] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th ACM/IEEE International Symposium on Computer Architecture, ​ Phoenix, Arizona, USA. June 22-26, 2019.   * [**ISCA**] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th ACM/IEEE International Symposium on Computer Architecture, ​ Phoenix, Arizona, USA. June 22-26, 2019.
pub/members/haibo_chen.1560320323.txt.gz · Last modified: 2019/06/12 14:18 by root