Yiyun Liu

14 papers A 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach.
Proc. ACM Program. Lang.
Yiyun Liu, Stephanie Weirich
2025 J jnl
Consistency of a Dependent Calculus of Indistinguishability.
Proc. ACM Program. Lang.
Yiyun Liu, Jonathan Chan, Stephanie Weirich
2025 J jnl
Progressive Knowledge Transfer Network Based on Human Visual Perception Mechanism for No-Reference Point Cloud Quality Assessment.
IEEE Trans. Vis. Comput. Graph.
Honglei Su, Yiyun Liu, Qi Liu, Hui Yuan, Raouf Hamzaoui
2025 J jnl
VISTA: A Tool for Fast Taxonomic Assignment of Viral Genome Sequences.
Genom. Proteom. Bioinform.
Tao Zhang, Yiyun Liu, Xutong Guo, Xinran Zhang, Xinchang Zheng, Mochen Zhang, Yiming Bao
2024 J jnl
Internalizing Indistinguishability with Dependent Types.
Proc. ACM Program. Lang.
Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich
2024 — conf
Optimizing Personalized Robot Actions with Ranking of Trajectories.
ICPR (29)
Hao Huang, Yiyun Liu, Shuaihang Yuan, Congcong Wen, Yu Hao, Yi Fang
2024 J jnl
Server-Assisted Traffic Measurement for Programmable Data Center Networks.
IEEE Trans. Netw. Sci. Eng.
Jing Ren, Yongwen Wang, Yiyun Liu, Xiong Wang, Sheng Wang
2023 J jnl
A formal model of Checked C.
J. Comput. Secur.
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2023 J jnl
Dependently-Typed Programming with Logical Equality Reflection.
Proc. ACM Program. Lang.
Yiyun Liu, Stephanie Weirich
2022 A conf
A Formal Model of Checked C.
CSF
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2022 J jnl
A Formal Model of Checked C.
CoRR
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2022 J jnl
Progressive Knowledge Transfer Based on Human Visual Perception Mechanism for Perceptual Quality Assessment of Point Clouds.
CoRR
Qi Liu, Yiyun Liu, Honglei Su, Hui Yuan, Raouf Hamzaoui
2020 J jnl
MENDA: a comprehensive curated resource of metabolic characterization in depression.
Briefings Bioinform.
Juncai Pu, Yue Yu, Yiyun Liu, Lu Tian, Siwen Gui, Xiaogang Zhong, Chu Fan, Shaohua Xu, Xuemian Song, Lanxiang Liu, Lining Yang, Peng Zheng, Jianjun Chen, Ke Cheng, Chanjuan Zhou, Haiyang Wang, Peng Xie
2020 J jnl
Verifying replicated data types with typeclass refinements in Liquid Haskell.
Proc. ACM Program. Lang.
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou