Li-yao Xia

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 13

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. CoRR (2024)
Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
C4: verified transactional objects. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP (2021)
Yao Li, Li-yao Xia, Stephanie Weirich
Reasoning about the garden of forking paths. CoRR (2021)
Yao Li, Li-yao Xia, Stephanie Weirich
Reasoning about the garden of forking paths. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
Interaction trees: representing recursive and impure programs in Coq. Proc. ACM Program. Lang. 4 (POPL) (2020)
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress). CoRR (2019)
Li-yao Xia, Dominic Orchard, Meng Wang
Composing Bidirectional Programs Monadically. ESOP (2019)
Li-yao Xia, Dominic Orchard, Meng Wang
Composing bidirectional programs monadically (with appendices). CoRR (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to interaction trees: specifying, verifying, and testing a networked server. CPP (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. CoRR (2018)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's luck: a language for property-based generators. POPL (2017)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's Luck: A Language for Property-Based Generators. CoRR (2016)
Eric Brier, David Naccache, Li-yao Xia
How to Sign Paper Contracts? Conjectures & Evidence Related to Equitable & Efficient Collaborative Task Scheduling. IACR Cryptol. ePrint Arch. 2013 (2013)