Yiyun Liu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025
Progressive Knowledge Transfer Network Based on Human Visual Perception Mechanism for No-Reference Point Cloud Quality Assessment.
IEEE Trans. Vis. Comput. Graph., October, 2025

Consistency of a Dependent Calculus of Indistinguishability.
Proc. ACM Program. Lang., 2025

VISTA: A Tool for Fast Taxonomic Assignment of Viral Genome Sequences.
Genom. Proteom. Bioinform., 2025

2024
Internalizing Indistinguishability with Dependent Types.
Proc. ACM Program. Lang., January, 2024

Server-Assisted Traffic Measurement for Programmable Data Center Networks.
IEEE Trans. Netw. Sci. Eng., 2024

Optimizing Personalized Robot Actions with Ranking of Trajectories.
Proceedings of the Pattern Recognition - 27th International Conference, 2024

2023
Dependently-Typed Programming with Logical Equality Reflection.
Proc. ACM Program. Lang., August, 2023

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

A Formal Model of Checked C.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020
Verifying replicated data types with typeclass refinements in Liquid Haskell.
Proc. ACM Program. Lang., 2020

MENDA: a comprehensive curated resource of metabolic characterization in depression.
Briefings Bioinform., 2020


  Loading...