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
pub:publication [2020/03/14 12:52]
root
pub:publication [2020/03/14 20:59] (current)
root
Line 3: Line 3:
    * [**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|preprint}}]    * [**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|preprint}}]
    * [**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|preprint}}]    * [**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|preprint}}]
-   * [**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|preprint}}]+   * [**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 69, Issue 2, Pages 226 - 238, 2020. [{{https://​ieeexplore.ieee.org/​abstract/​document/​8865621|link}}] ​    * [**TC**] ​ Secure and Efficient Control Data Isolation with Register-based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. Volume 69, Issue 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**] 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}}]
pub/publication.txt ยท Last modified: 2020/03/14 20:59 by root