Li-yao Xia

According to our database, Li-yao Xia authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.

Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

CoRR, 2024

2022

C4: verified transactional objects.

Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2022

2021

Reasoning about the garden of forking paths.

Yao Li, Li-yao Xia, Stephanie Weirich

Proc. ACM Program. Lang., 2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.

Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Interaction trees: representing recursive and impure programs in Coq.

Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2020

2019

Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).

Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

CoRR, 2019

Composing bidirectional programs monadically (with appendices).

Li-yao Xia, Dominic Orchard, Meng Wang

CoRR, 2019

Composing Bidirectional Programs Monadically.

Li-yao Xia, Dominic Orchard, Meng Wang

Proceedings of the Programming Languages and Systems, 2019

From C to interaction trees: specifying, verifying, and testing a networked server.

Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2017

Beginner's luck: a language for property-based generators.

Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2014

How to Sign Paper Contracts? Conjectures and Evidence Related to Equitable and Efficient Collaborative Task Scheduling.

Eric Brier, David Naccache, Li-yao Xia

Proceedings of the Open Problems in Mathematics and Computational Science, 2014

2013

How to Sign Paper Contracts? Conjectures & Evidence Related to Equitable & Efficient Collaborative Task Scheduling.

Eric Brier, David Naccache, Li-yao Xia

IACR Cryptol. ePrint Arch., 2013