Yiyun Liu

According to our database, Yiyun Liu authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Internalizing Indistinguishability with Dependent Types.

Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich

Proc. ACM Program. Lang., January, 2024

2023

Dependently-Typed Programming with Logical Equality Reflection.

Yiyun Liu, Stephanie Weirich

Proc. ACM Program. Lang., August, 2023

A formal model of Checked C.

Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks

J. Comput. Secur., 2023

2022

Progressive Knowledge Transfer Based on Human Visual Perception Mechanism for Perceptual Quality Assessment of Point Clouds.

Qi Liu, Yiyun Liu, Honglei Su, Hui Yuan, Raouf Hamzaoui

CoRR, 2022

2020

Verifying replicated data types with typeclass refinements in Liquid Haskell.

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

Proc. ACM Program. Lang., 2020

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, Jianjun Chen, Ke Cheng, Chanjuan Zhou, Haiyang Wang, Peng Xie

Briefings Bioinform., 2020