Yiyun Liu

Publication Activity (10 Years)

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

Top Topics

Security Patterns

Human Visual Perception

Predicate Calculus

Top Venues

Proc. ACM Program. Lang.

Briefings Bioinform.

Publications

Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich
Internalizing Indistinguishability with Dependent Types. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jing Ren, Yongwen Wang, Yiyun Liu, Xiong Wang, Sheng Wang
Server-Assisted Traffic Measurement for Programmable Data Center Networks. IEEE Trans. Netw. Sci. Eng. 11 (5) (2024)
Yiyun Liu, Stephanie Weirich
Dependently-Typed Programming with Logical Equality Reflection. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
A formal model of Checked C. J. Comput. Secur. 31 (5) (2023)
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
A Formal Model of Checked C. CoRR (2022)
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
A Formal Model of Checked C. CSF (2022)
Qi Liu, Yiyun Liu, Honglei Su, Hui Yuan, Raouf Hamzaoui
Progressive Knowledge Transfer Based on Human Visual Perception Mechanism for Perceptual Quality Assessment of Point Clouds. CoRR (2022)
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
MENDA: a comprehensive curated resource of metabolic characterization in depression. Briefings Bioinform. 21 (4) (2020)
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)