Probabilistic Analysis of Network Availability. - Yunmo Zhang; Hong Xu 001; Chun Jason Xue; Tei-Wei Kuo (ICNP, 2022)

More Apps, Faster Hot-Launch on Mobile Devices via Fore/Background-aware GC-Swap Co-design. - Jiacheng Huang 002; Yunmo Zhang; Junqiao Qiu; Yu Liang 004; Rachata Ausavarungnirun; Qingan Li; Chun Jason Xue (ASPLOS (3), 2024)

Inferring Likely Counting-related Atomicity Program Properties for Persistent Memory. - Yunmo Zhang; Junqiao Qiu; Hong Xu 001; Chun Jason Xue (USENIX ATC, 2025)