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/07/02 09:07]
root
pub:publication [2019/10/13 14:38] (current)
root
Line 1: Line 1:
 ====== Publications ====== ====== Publications ======
-   * [**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.  +   * [**TC**] ​ Secure and Efficient Control Data Isolation with Register-based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. (Accepted), 2019. DOI: 10.1109/​TC.2019.2946770.  
-   * [**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.  +   * [**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. 
-   * [**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. [{{:​publications:​guatc19_proof.pdf|proof}}] +   * [**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.  
-  * [**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. +   * [**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}}]   * [**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}}]
pub/publication.1562029643.txt.gz · Last modified: 2019/07/02 09:07 by root