Yiyun Liu -

Registered user since Tue 9 Jan 2024

Name:Yiyun Liu

Affiliation:University of Pennsylvania

Personal website: https://electriclam.com

GitHub: https://github.com/yiyunliu

Contributions

2025

POPL

Author of Consistency of a Dependent Calculus of Indistinguishability within the POPL-track

2024

POPL

Author of Internalizing Indistinguishability with Dependent Types within the POPL-track

2023

ICFP

Author of Dependently-Typed Programming with Logical Equality Reflection within the ICFP Papers and Events-track
Author of Dependently-typed Programming with Logical Equality Reflection within the Artifact Evaluation-track

2022

PLDI

Author of (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the SIGPLAN Track-track

2020

SPLASH