Noctua: Towards Automated and Practical Fine-grained Consistency Analysis. - Kai Ma; Cheng Li 001; Enzuo Zhu; Ruichuan Chen; Feng Yan 001; Kang Chen (EuroSys, 2024)

Parallel Contraction Hierarchies Can Be Efficient and Scalable. - Zijin Wan; Xiaojun Dong 001; Letong Wang; Enzuo Zhu; Yan Gu 001; Yihan Sun 001 (CoRR, 2024)

Parallel Contraction Hierarchies Can Be Efficient and Scalable (Abstract). - Zijin Wan; Xiaojun Dong 001; Letong Wang; Enzuo Zhu; Yan Gu 001; Yihan Sun 001 (HOPC@SPAA, 2025)