Publications

Efficient Fault Tolerance for Stateful Serverless Computing with Asymmetric Logging
Sheng Qi, Haoyu Feng, Xuanzhe Liu, Xin Jin
ACM Transactions on Computer Systems (TOCS), 2025.
[PDF][DOI]

GPU-Accelerated Loopy Belief Propagation for Program Analysis
Haoyu Feng, Xin Zhang
Preprint.
[PDF][arXiv]