User Tools

Site Tools


pub:publication

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:publication [2019/12/01 09:49]
root
pub:publication [2020/07/06 08:41] (current)
root
Line 1: Line 1:
 ====== Publications ====== ====== Publications ======
-   * [**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.  +   * [**NSDI**] Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, and Binyu Zang. Proceedings of 18th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, US, April 2021. 
-   * [**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. +   * [**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. 
-   * [**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. +   * [**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. 
-   [**ASPLOS**] CatalyzerSub-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+   * [**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. [{{publications:misecurity20.pdf|preprint}}] 
-   * [**TC**]  Secure and Efficient Control Data Isolation with Register-based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. (Accepted)2019DOI10.1109/TC.2019.2946770.  +   * [**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. [{{publications:duasplos20.pdf|pdf}}] 
-   * [**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. +   * [**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. [{{publications:liuppopp20.pdf|pdf}}] 
-   * [**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. +   * [**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. [{{publications:tangppopp20.pdf|pdf}}] 
 +   * [**TC**]  Secure and Efficient Control Data Isolation with Register-based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. Volume 69Issue 2, Pages 226 - 238, 2020[{{https://ieeexplore.ieee.org/abstract/document/8865621|link}}]  
 +   * [**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. [{{publications:zousosp19.pdf|pdf}}] 
 +   * [**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. [{{publications:dongsosp19-rev.pdf|pdf}}]
    * [**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. [{{:publications:wang_podc19.pdf|pdf}}]    * [**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. [{{:publications:wang_podc19.pdf|pdf}}]
    * [**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. [{{:publications:gaoatc19.pdf|pdf}}]    * [**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. [{{:publications:gaoatc19.pdf|pdf}}]
Line 12: Line 15:
   * [**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. [{{:publications:xieatc19.pdf|pdf}}]   * [**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. [{{:publications:xieatc19.pdf|pdf}}]
   * [**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. [{{:publications:duisca19.pdf|pdf}}]   * [**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. [{{:publications:duisca19.pdf|pdf}}]
-  * [**VEE**]  ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection. Haoyu Li, Mingyu Wu, Binyu Zang, and Haibo Chen. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), 2019. [{{:publications:scissorgc-vee2019.pdf|pdf}}] +  * [**VEE**]  ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection. Haoyu Li, Mingyu Wu, Binyu Zang, and Haibo Chen. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Providence, RI, USA, April 2019. [{{:publications:scissorgc-vee2019.pdf|pdf}}] 
-  * [**VEE** ] TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE, **Best Paper Award**), 2019. [{{:publications: vee2019_teev.pdf|pdf}}] (Best Paper Award)+  * [**VEE**] TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE, **Best Paper Award**), Providence, RI, USA, April 2019. [{{:publications: vee2019_teev.pdf|pdf}}] (Best Paper Award)
   * [**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}}]   * [**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}}]
   * [**TOPC**] PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibing Guan, Binyu Zang and Haibo Chen. ACM Transactions on Parallel Computing, 5(3), Article No. 13, January 2019. [[https://dl.acm.org/citation.cfm?id=3298989|paper]]    * [**TOPC**] PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibing Guan, Binyu Zang and Haibo Chen. ACM Transactions on Parallel Computing, 5(3), Article No. 13, January 2019. [[https://dl.acm.org/citation.cfm?id=3298989|paper]] 
-  * [**OSDI**] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better!, Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen, 2018 Usenix Symposium on Operating System Design and Implementation. [{{:publications:drtm_h-osdi18.pdf|pdf}}]+  * [**OSDI**] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better!, Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen, 2018 Usenix Symposium on Operating System Design and Implementation, Carlsbad, CA, USA, October, 2018. [{{:publications:drtm_h-osdi18.pdf|pdf}}]
   * [**APSys**] Analysis and Optimization of Java Full Garbage Collection, Haoyu Li, Mingyu Wu, and Haibo Chen, Proceedings of 9th ACM Asia-Pacific Workshop on Systems. Jeju Island, South Korea, Aug 2018. (Best Paper Runner-up Award) [{{:publications:li_apsys18.pdf|pdf}}]   * [**APSys**] Analysis and Optimization of Java Full Garbage Collection, Haoyu Li, Mingyu Wu, and Haibo Chen, Proceedings of 9th ACM Asia-Pacific Workshop on Systems. Jeju Island, South Korea, Aug 2018. (Best Paper Runner-up Award) [{{:publications:li_apsys18.pdf|pdf}}]
   * [**USENIX ATC**] Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration, Siyuan Wang, Chang Lou, Rong Chen, and Haibo Chen, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018. [{{:publications:wukong_g-atc18.pdf|pdf}}]   * [**USENIX ATC**] Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration, Siyuan Wang, Chang Lou, Rong Chen, and Haibo Chen, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018. [{{:publications:wukong_g-atc18.pdf|pdf}}]
   * [**USENIX ATC**] EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018 [{{:publications:epti-atc18.pdf|pdf}}]   * [**USENIX ATC**] EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018 [{{:publications:epti-atc18.pdf|pdf}}]
 +  * [**TDSC**] CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. Zeyu Mi, Haibo Chen, Yinqian Zhang, Shuanghe Peng, Xiaofeng Wang, Michael Reiter, IEEE Transactions on Dependable and Secure Computing, DOI: 10.1109/TDSC.2018.2846742, June 13, 2018. [{{publications:mitdsc18.pdf|pdf}}]
   * [**MobiSys**] VButton: Practical Attestation of User-driven Operations in Mobile Apps. Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan, The 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, Jun 2018. [{{:publications:vbutton-mobisys18.pdf|pdf}}]   * [**MobiSys**] VButton: Practical Attestation of User-driven Operations in Mobile Apps. Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan, The 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, Jun 2018. [{{:publications:vbutton-mobisys18.pdf|pdf}}]
   * [**ASPLOS**] Espresso: Brewing Java For More Non-Volatility. Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA, March 2018. [{{:publications:espresso_asplos18.pdf|pdf}}]   * [**ASPLOS**] Espresso: Brewing Java For More Non-Volatility. Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA, March 2018. [{{:publications:espresso_asplos18.pdf|pdf}}]
Line 36: Line 40:
   * [**NDSS**] Deconstructing Xen. Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibing Guan, Jingming Li. The Network and Distributed System Security Symposium 2017. San Diego, California. March, 2017. [{{:publications:nexen-ndss17.pdf|pdf}}]   * [**NDSS**] Deconstructing Xen. Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibing Guan, Jingming Li. The Network and Distributed System Security Symposium 2017. San Diego, California. March, 2017. [{{:publications:nexen-ndss17.pdf|pdf}}]
   * [**TPDS**] Scalable Adaptive NUMA-aware Lock. Mingzhe Zhang, Haibo Chen, Luwei Cheng, Francis C.M. Lau, and Cho-Li Wang. IEEE Transactions on Parallel and Distributed Systems, 2017. [{{:publications:sanl_tpds17.pdf|pdf}}]   * [**TPDS**] Scalable Adaptive NUMA-aware Lock. Mingzhe Zhang, Haibo Chen, Luwei Cheng, Francis C.M. Lau, and Cho-Li Wang. IEEE Transactions on Parallel and Distributed Systems, 2017. [{{:publications:sanl_tpds17.pdf|pdf}}]
-  * [**PPoPP**] Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. PPoPP 2017. [{{:publications:eunomia_ppopp17.pdf|pdf}}] +  * [**PPoPP**] Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. The 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, Feb 2017. [{{:publications:eunomia_ppopp17.pdf|pdf}}] 
-  * [**HPCA**] Transparent and Efficient CFI Enforcement with Intel Processor Trace. Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd IEEE Symposium on High Performance Computer Architecture, Feb 2017, Austin, TX, USA. [{{:publications:flowguard_hpca17.pdf|pdf}}]+  * [**HPCA**] Transparent and Efficient CFI Enforcement with Intel Processor Trace. Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd IEEE Symposium on High Performance Computer Architecture, Austin, TX, USA, Feb 2017. [{{:publications:flowguard_hpca17.pdf|pdf}}]
   * [**OSDI**] Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. 2016 Usenix Symposium on Operating System Design and Implementation. [{{:publications:wukong-osdi16.pdf|pdf}}]   * [**OSDI**] Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. 2016 Usenix Symposium on Operating System Design and Implementation. [{{:publications:wukong-osdi16.pdf|pdf}}]
   * [**SoCC**] A Case for Virtualizing Persistent Memory. Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, Haibing Guan, and Binyu Zang. 2016 ACM Symposium on Cloud Computing (ACM SoCC 2016). [{{:publications:vpm-socc16.pdf|pdf}}]   * [**SoCC**] A Case for Virtualizing Persistent Memory. Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, Haibing Guan, and Binyu Zang. 2016 ACM Symposium on Cloud Computing (ACM SoCC 2016). [{{:publications:vpm-socc16.pdf|pdf}}]
pub/publication.1575164972.txt.gz · Last modified: 2019/12/01 09:49 by root