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/02/10 18:09]
root
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 35: Line 35:
       * ChinaSys: 2011-Now (Co-founder and Trustee), 2015-2018 (Vice Chair), 2018-Now (Chair)       * ChinaSys: 2011-Now (Co-founder and Trustee), 2015-2018 (Vice Chair), 2018-Now (Chair)
       * CCS: 2018 (Area Chair for Systems Security)       * CCS: 2018 (Area Chair for Systems Security)
 +      * 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 40: 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: 2018, 2017, 2016+      * Oakland: ​2020, 2018, 2017, 2016
       * CCS: 2019, 2018, 2016       * CCS: 2019, 2018, 2016
       * PPoPP: 2017, 2016       * PPoPP: 2017, 2016
       * ISCA: 2016        * ISCA: 2016 
     * Journal Editorship     * Journal Editorship
-      * Associate Editor: ACM Transactions on Storage (2016 - Now)+      ​* Editor and Co-chair of Special Sections: **Communications of the ACM** (2019 - Now) 
 +      ​* Associate Editor: ​**ACM Transactions on Storage** (2016 - Now)
     * Award Committee     * Award Committee
       * ACM SIGSAC Award Committee (2017), ACM CCS Best Paper Award & Test of Time Award Committee (2018), CCF/IEEE CS Young Computer Scientist Award (2016-2018) ​       * ACM SIGSAC Award Committee (2017), ACM CCS Best Paper Award & Test of Time Award Committee (2018), CCF/IEEE CS Young Computer Scientist Award (2016-2018) ​
Line 57: Line 60:
  
 ===== Awards and Honors ===== ===== Awards and Honors =====
-  * **The Young Computer ​Scientist Award** by China Computer Federation, 2015  ​+  * **Presidential Award of SJTU**, 2020. 
 +  * **National Science Fund for Distinguished ​Young Scholars**, 2019. 
 +  * **ACM Distinguished ​Scientist**, 2019. 
 +  * **Best Paper Award**, ACM VEE 2019. 
 +  * First Prize of the Ministry of Education Technology Invention Award,​2018 
 +  * CCF Bamboo Award, 2018 
 +  * Best Paper Award, ACM **APSys** 2017 
 +  * CCF NASAC-Neusoft Software Innovation Award, 2017 
 +  * The Young Computer Scientist Award by China Computer Federation, 2015  ​
   * Best Student Paper Award, NASAC 2015   * Best Student Paper Award, NASAC 2015
   * National Youth Top-notch Talent Support Program of China, 2014   * National Youth Top-notch Talent Support Program of China, 2014
Line 82: 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.  
 +  * [**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**] 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.  
 +  * [**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. 
 +  * [**EuroSys**] SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen. In Proceedings of 14th ACM European Conference on Computer Systems, Dresden, Germany, March, 2019. [{{:​publications:​skybridge-eurosys19.pdf|pdf}}]
   * [**OSDI**] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better! Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen. Proceedings of 13th USENIX Symposium on Operating Systems Design and Implementation,​ Carlsbad, CA, US, October 2018. [{{:​publications:​drtm+h-osdi18.pdf|paper}}]   * [**OSDI**] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better! Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen. Proceedings of 13th USENIX Symposium on Operating Systems Design and Implementation,​ Carlsbad, CA, US, October 2018. [{{:​publications:​drtm+h-osdi18.pdf|paper}}]
   * [**USENIX ATC**] Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration. Siyuan Wang, Chang Lou, Rong Chen, and Haibo Chen. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, July 2018. [{{:​publications:​wukong+g-atc18.pdf|paper}}] ​   * [**USENIX ATC**] Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration. Siyuan Wang, Chang Lou, Rong Chen, and Haibo Chen. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, July 2018. [{{:​publications:​wukong+g-atc18.pdf|paper}}] ​
Line 102: Line 127:
   * [**SIGMOD**] Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. ACM SIGMOD 2016.   * [**SIGMOD**] Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. ACM SIGMOD 2016.
   * [**VEE**] Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang. 12th ACM SIGPLAN/​SIGOPS International Conference on Virtual Execution Environments. Atlanta, GA, USA. April 2016.[[https://​bugs.openjdk.java.net/​browse/​JDK-8146987|patch]]   * [**VEE**] Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang. 12th ACM SIGPLAN/​SIGOPS International Conference on Virtual Execution Environments. Atlanta, GA, USA. April 2016.[[https://​bugs.openjdk.java.net/​browse/​JDK-8146987|patch]]
-  * [**EuroSys**] Fast and General Distributed Transactions Using RDMA and HTM. Yanzhe Chen, Xinda Wei, Jiaxin Shi, Rong Chen and Haibo Chen. In Proceedings of 11th ACM European Conference on Computer Systems ​(to appear), London UK, April, 2016. +  * [**EuroSys**] Fast and General Distributed Transactions Using RDMA and HTM. Yanzhe Chen, Xinda Wei, Jiaxin Shi, Rong Chen and Haibo Chen. In Proceedings of 11th ACM European Conference on Computer Systems, London UK, April, 2016. 
-  * [**FAST**] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Heng Zhang, Mingkai Dong, Haibo Chen. 14th USENIX Conference on File and Storage Technologies ​(to appear), Santa Clara, CA, February, 2016.  +  * [**FAST**] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Heng Zhang, Mingkai Dong, Haibo Chen. 14th USENIX Conference on File and Storage Technologies,​ Santa Clara, CA, February, 2016.  
-  * [**FAST**] Mitigating Sync Amplification for Copy-on-write Virtual Disk. Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen. 14th USENIX Conference on File and Storage Technologies ​(to appear), Santa Clara, CA, February, 2016. +  * [**FAST**] Mitigating Sync Amplification for Copy-on-write Virtual Disk. Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen. 14th USENIX Conference on File and Storage Technologies,​ Santa Clara, CA, February, 2016. 
   * [**CCS**] Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. ​ Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia.  Proceedings of the 22th ACM Conference on Computer and Communications Security, Denver, Colorado, US, October, 2015. [{{:​publications:​secage-ccs15.pdf|pdf}}]   * [**CCS**] Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. ​ Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia.  Proceedings of the 22th ACM Conference on Computer and Communications Security, Denver, Colorado, US, October, 2015. [{{:​publications:​secage-ccs15.pdf|pdf}}]
   * [**SOSP**] Fast In-memory Transaction Processing using RDMA and HTM. Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen. In Proceedings of 2015 ACM Symposium on Operating System Principles, Monterey, CA, October 2015. [{{:​publications:​drtm-sosp15.pdf|pdf}}]   * [**SOSP**] Fast In-memory Transaction Processing using RDMA and HTM. Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen. In Proceedings of 2015 ACM Symposium on Operating System Principles, Monterey, CA, October 2015. [{{:​publications:​drtm-sosp15.pdf|pdf}}]
Line 134: Line 159:
   * [**VEE**] Optimizing Crash Dump in Virtualized Environments. Yijian Huang, Haibo Chen, Binyu Zang. The 2010 ACM SIGPLAN/​SIGOPS International Conference on Virtual Execution Environments. pp. 25--36. Pittsburgh, PA, USA. March, 2010. [{{:​publications:​vee25-core-dump.pdf|pdf}}]   * [**VEE**] Optimizing Crash Dump in Virtualized Environments. Yijian Huang, Haibo Chen, Binyu Zang. The 2010 ACM SIGPLAN/​SIGOPS International Conference on Virtual Execution Environments. pp. 25--36. Pittsburgh, PA, USA. March, 2010. [{{:​publications:​vee25-core-dump.pdf|pdf}}]
   * [**MICRO**] Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Pen-chung Yew and Binyu Zang. In 42nd international Conference on Microarchitecture. pp. 391-400. New York, USA. December, 2009.[{{:​publications:​bosh-micro09.pdf|pdf}}]   * [**MICRO**] Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Pen-chung Yew and Binyu Zang. In 42nd international Conference on Microarchitecture. pp. 391-400. New York, USA. December, 2009.[{{:​publications:​bosh-micro09.pdf|pdf}}]
-  * [**OSDI**] Corey: An Operating System for Many Cores. Silas Boyd-Wickizer,​ Haibo Chen, Rong Chen, Yandog ​Mao, Frans Kashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang. ​ In 8th USENIX Symposium on Operating Systems Design and Implementation. pp.43-57. San Diego, CA, USA. December, 2008. [{{:​publications:​corey-osdi08.pdf|pdf}}]+  * [**OSDI**] Corey: An Operating System for Many Cores. Silas Boyd-Wickizer,​ Haibo Chen, Rong Chen, Yandong ​Mao, Frans Kashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang. ​ In 8th USENIX Symposium on Operating Systems Design and Implementation. pp.43-57. San Diego, CA, USA. December, 2008. [{{:​publications:​corey-osdi08.pdf|pdf}}]
   * [**ISCA**] From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-chung Yew and Frederic Chong. In Proceedings of 35th International Symposium on Computer Architecture,​ pp. 401-412, Beijing China, June, 2008. [{{:​publications:​shift-isca.pdf|pdf}}]   * [**ISCA**] From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-chung Yew and Frederic Chong. In Proceedings of 35th International Symposium on Computer Architecture,​ pp. 401-412, Beijing China, June, 2008. [{{:​publications:​shift-isca.pdf|pdf}}]
   * [**ICPP**] Mercury: Combining Performance with Dependability Using Self-virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew. In Proceedings of 36th International Conference on Parallel Processing (**Best Paper Award**), ​ XiAn China, September, 2007.  [{{:​publications:​chen-mercury.pdf|pdf}}] ​   * [**ICPP**] Mercury: Combining Performance with Dependability Using Self-virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew. In Proceedings of 36th International Conference on Parallel Processing (**Best Paper Award**), ​ XiAn China, September, 2007.  [{{:​publications:​chen-mercury.pdf|pdf}}] ​
pub/members/haibo_chen.1549793353.txt.gz · Last modified: 2019/02/10 18:09 by root