MENDA: a comprehensive curated resource of metabolic characterization in depression. - Juncai Pu; Yue Yu; Yiyun Liu; Lu Tian; Siwen Gui; Xiaogang Zhong; Chu Fan; Shaohua Xu; Xuemian Song; Lanxiang Liu; Lining Yang; Peng Zheng; et al. (Briefings Bioinform., 2020)

Verifying replicated data types with typeclass refinements in Liquid Haskell. - Yiyun Liu; James Parker; Patrick Redmond; Lindsey Kuper; Michael Hicks 001; Niki Vazou (Proc. ACM Program. Lang., 2020)

Progressive Knowledge Transfer Based on Human Visual Perception Mechanism for Perceptual Quality Assessment of Point Clouds. - Qi Liu 029; Yiyun Liu; Honglei Su; Hui Yuan 001; Raouf Hamzaoui (CoRR, 2022)

A formal model of Checked C. - Liyi Li 002; Yiyun Liu; Deena L. Postol; Leonidas Lampropoulos; David Van Horn; Michael Hicks 001 (J. Comput. Secur., 2023)

Dependently-Typed Programming with Logical Equality Reflection. - Yiyun Liu; Stephanie Weirich (Proc. ACM Program. Lang., 2023)

Optimizing Personalized Robot Actions with Ranking of Trajectories. - Hao Huang 003; Yiyun Liu; Shuaihang Yuan; Congcong Wen; Yu Hao; Yi Fang 006 (ICPR (29), 2024)

Server-Assisted Traffic Measurement for Programmable Data Center Networks. - Jing Ren 002; Yongwen Wang; Yiyun Liu; Xiong Wang 001; Sheng Wang 006 (IEEE Trans. Netw. Sci. Eng., 2024)

Internalizing Indistinguishability with Dependent Types. - Yiyun Liu; Jonathan Chan 002; Jessica Shi 002; Stephanie Weirich (Proc. ACM Program. Lang., 2024)

VISTA: A Tool for Fast Taxonomic Assignment of Viral Genome Sequences. - Tao Zhang 026; Yiyun Liu; Xutong Guo; Xinran Zhang; Xinchang Zheng; Mochen Zhang; Yiming Bao (Genom. Proteom. Bioinform., 2025)

Consistency of a Dependent Calculus of Indistinguishability. - Yiyun Liu; Jonathan Chan 002; Stephanie Weirich (Proc. ACM Program. Lang., 2025)