1 | -- | 35 | Zhipeng Jia, Emmett Witchel. Boki: Towards Data Consistency and Fault Tolerance with Shared Logs in Stateful Serverless Computing |
1 | -- | 52 | Zheng Dang, Shuibing He, Xuechen Zhang 0001, Peiyi Hong, Zhenxin Li, Xinyu Chen, Haozhe Song, Xian-He Sun, Gang Chen 0001. PMAlloc: A Holistic Approach to Improving Persistent Memory Allocation |
1 | -- | 2 | . Editorial |
1 | -- | 33 | Hao Lin 0005, Zhenhua Li 0001, Di Gao, Yunhao Liu 0001, Feng Qian 0001, Tianyin Xu, Bo Xiao, Xiaokang Qin. Trinity: High-Performance and Reliable Mobile Emulation through Graphics Projection |
1 | -- | 40 | Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu 0001. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis |