Xinyi Wan

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Parallel Processing

Top Venues

Int. J. Softw. Informatics

Publications

Penghui Qi, Xinyi Wan, Nyamdavaa Amar, Min Lin
Pipeline Parallelism with Controllable Memory. CoRR (2024)
Penghui Qi, Xinyi Wan, Guangxing Huang, Min Lin
Zero Bubble Pipeline Parallelism. CoRR (2024)
Penghui Qi, Xinyi Wan, Guangxing Huang, Min Lin
Zero Bubble (Almost) Pipeline Parallelism. ICLR (2024)
Xinyi Wan, Ke Xu, Qinxiang Cao
Coq Formalization of ZFC Set Theory for Teaching Scenarios. Int. J. Softw. Informatics 13 (3) (2023)
Xinyi Wan, Qinxiang Cao
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. SETTA (2023)
Weidong Luo, Bowen Lan, Xinyi Wan, Zhihong Liu, Yong Zeng, Jianfeng Ma
Feel Vibration: Challenge-Response Mobile Authentication with Covert Channel. ICCT (2020)