Fault-tolerant and transactional stateful serverless workflows. - Haoran Zhang 009; Adney Cardoza; Peter Baile Chen; Sebastian Angel; Vincent Liu 001 (OSDI, 2020)

Fault-tolerant and Transactional Stateful Serverless Workflows (extended version). - Haoran Zhang 009; Adney Cardoza; Peter Baile Chen; Sebastian Angel; Vincent Liu 001 (CoRR, 2020)

XFaaS: Hyperscale and Low Cost Serverless Functions at Meta. - Alireza Sahraei; Soteris Demetriou; Amirali Sobhgol; Haoran Zhang 009; Abhigna Nagaraja; Neeraj Pathak; Girish Joshi; Carla Souza; Bo Huang; Wyatt Cook; Andrii Golovei; Pradeep Venkat; et al. (SOSP, 2023)

Executing Microservice Applications on Serverless, Correctly. - Konstantinos Kallas; Haoran Zhang 009; Rajeev Alur; Sebastian Angel; Vincent Liu 001 (Proc. ACM Program. Lang., 2023)

MuCache: A General Framework for Caching in Microservice Graphs. - Haoran Zhang 009; Konstantinos Kallas; Spyros Pavlatos; Rajeev Alur; Sebastian Angel; Vincent Liu 001 (NSDI, 2024)

Beaver: Practical Partial Snapshots for Distributed Cloud Services. - Liangcheng Yu; Xiao Zhang; Haoran Zhang 009; John Sonchack; Dan R. K. Ports; Vincent Liu 001 (OSDI, 2024)

CausalMesh: A Causal Cache for Stateful Serverless Computing. - Haoran Zhang 009; Shuai Mu 001; Sebastian Angel; Vincent Liu 001 (Proc. VLDB Endow., 2024)

CausalMesh: A Formally Verified Causal Cache for Stateful Serverless Computing. - Haoran Zhang 009; Zihao Zhang; Shuai Mu 001; Sebastian Angel; Vincent Liu 001 (CoRR, 2025)