Yiyun Liu
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2024–2026
on a stage with
all 9 in the filters
who talks about the same things
- Stephanie Weirich14 talks
- Jonathan Aldrich17 talks
- Niki Vazou23 talks
- Jonathan Chan5 talks
- Nadia Polikarpova24 talks
- Neel Krishnaswami10 talks
| title | conference | date |
|---|---|---|
| Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach | POPL 2026 | 2026-01-11 |
Shows that reduce-and-compare becomes decidable again with surjective pairing by restricting transitivity to a syntactically defined SN good set of strongly… | ||
| Consistency of a Dependent Calculus of Indistinguishability | POPL 2025 | 2025-01-19 |
Defines a concrete instance DCOIω with an infinite predicative universe hierarchy and proves logical consistency, strong normalization, and that type… | ||
| Internalizing Indistinguishability with Dependent Types | POPL 2024 | 2024-01-14 |
DCOI (Dependent Calculus of Indistinguishability) internalizes indistinguishability as definitional equality and adds an observer-indexed identity type so… | ||
| Dependently-Typed Programming with Logical Equality Reflection | ICFP 2023 | 2023-09-04 |
System DE is an explicitly typed core calculus that separates a terminating logical fragment from a potentially diverging programmatic fragment using modes for… | ||
| Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell | OOPSLA 2020 | 2020-11-15 |
Extension to Liquid Haskell adds refined typeclasses in Liquid Haskell so class laws become checkable at Core; the implementation verifies laws for 34… | ||
| nothing matches | ||