Li-yao Xia

18 papers A* 1A 1B 2Journal 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Agda standard library: version 2.0.
J. Open Source Softw.
Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2024 J jnl
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.
CoRR
Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
2024 J jnl
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.
Proc. ACM Program. Lang.
Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
2022 J jnl
C4: verified transactional objects.
Proc. ACM Program. Lang.
Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
2021 J jnl
Reasoning about the garden of forking paths.
CoRR
Yao Li, Li-yao Xia, Stephanie Weirich
2021 J jnl
Reasoning about the garden of forking paths.
Proc. ACM Program. Lang.
Yao Li, Li-yao Xia, Stephanie Weirich
2021 B conf
Verifying an HTTP Key-Value Server with Interaction Trees and VST.
ITP
Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
2020 J jnl
Interaction trees: representing recursive and impure programs in Coq.
Proc. ACM Program. Lang.
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
2020 — ch.
Luck: A Probabilistic Language for Testing.
Foundations of Probabilistic Programming
Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes
2019 A conf
Composing Bidirectional Programs Monadically.
ESOP
Li-yao Xia, Dominic Orchard, Meng Wang
2019 J jnl
Composing bidirectional programs monadically (with appendices).
CoRR
Li-yao Xia, Dominic Orchard, Meng Wang
2019 B conf
From C to interaction trees: specifying, verifying, and testing a networked server.
CPP
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
2019 J jnl
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).
CoRR
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
2018 J jnl
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server.
CoRR
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
2017 A* conf
Beginner's luck: a language for property-based generators.
POPL
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2016 J jnl
Beginner's Luck: A Language for Property-Based Generators.
CoRR
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2014 — ch.
How to Sign Paper Contracts? Conjectures and Evidence Related to Equitable and Efficient Collaborative Task Scheduling.
Open Problems in Mathematics and Computational Science
Eric Brier, David Naccache, Li-yao Xia
2013 J jnl
How to Sign Paper Contracts? Conjectures & Evidence Related to Equitable & Efficient Collaborative Task Scheduling.
IACR Cryptol. ePrint Arch.
Eric Brier, David Naccache, Li-yao Xia