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/04/17 11:50]
root
pub:publication [2019/07/23 15:57] (current)
root
Line 1: Line 1:
 ====== Publications ====== ====== Publications ======
-  * [**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.+   * [**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. [{{:​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**] 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. [{{:​publications:​gu_atc19.pdf|pdf}}][{{:​publications:​guatc19_proof.pdf|proof}}] 
 +  * [**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}}]
   * [**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), 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**), 2019. [{{:​publications:​ vee2019_teev.pdf|pdf}}] (Best Paper Award)
pub/publication.1555473059.txt.gz · Last modified: 2019/04/17 11:50 by root