Liu Yang

FVSBS 2014 Track Organization Second Track on Formal Verification of Service Based Systems

Olivier Barais, Régine Laleau, Armin Haller, 2014 .

RACE: One-sided RDMA-conscious Extendible Hashing

Yu Hua, Pengfei Zuo, Liu Yang, 2022, ACM Trans. Storage.

One-sided RDMA-Conscious Extendible Hashing for Disaggregated Memory

Yu Hua, Pengfei Zuo, Shuangwu Zhang, 2021, USENIX Annual Technical Conference.