Follow
Li-yao Xia
Title
Cited by
Cited by
Year
Interaction trees: representing recursive and impure programs in Coq
L Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S Zdancewic
arXiv preprint arXiv:1906.00046, 2019
802019
Beginner's luck: a language for property-based generators
L Lampropoulos, D Gallois-Wong, C Hriþcu, J Hughes, BC Pierce, L Xia
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
452017
From C to interaction trees: specifying, verifying, and testing a networked server
N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ...
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
442019
Verifying an HTTP key-value server with Interaction Trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ...
12th International Conference on Interactive Theorem Proving (ITP 2021), 2021
122021
Interaction trees
L Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S Zdancewic
Proceedings of the ACM on Programming Languages 4, 2020
102020
C4: verified transactional objects
M Lesani, L Xia, A Kaseorg, CJ Bell, A Chlipala, BC Pierce, S Zdancewic
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-31, 2022
52022
Reasoning about the garden of forking paths
Y Li, L Xia, S Weirich
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-28, 2021
22021
Composing bidirectional programs monadically
L Xia, D Orchard, M Wang
European Symposium on Programming, 147-175, 2019
22019
Composing bidirectional programs monadically (with appendices)
L Xia, D Orchard, M Wang
arXiv preprint arXiv:1902.06950, 2019
12019
Executable Denotational Semantics With Interaction Trees
LY Xia
2022
Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022)
X He, L Xia, V Zaytsev
2022
Making Our Own Luck A Language for Random Generators
L Lampropoulos, BC Pierce, C Hriþcu, J Hughes, Z Paraskevopoulou, ...
Workshop on Probabilistic Programming Semantics 2016, 2015
2015
How to Sign Paper Contracts? Conjectures and Evidence Related to Equitable and Efficient Collaborative Task Scheduling
E Brier, D Naccache, L Xia
Open Problems in Mathematics and Computational Science, 317-340, 2014
2014
coqffi: Outil pour la génération automatique de FFI Coq/OCaml
T Letan, L Xia
32 ème Journées Francophones des Langages Applicatifs, 75, 0
From Symbolic Server Models to Interactive Tests
Y Li, L Xia, BC Pierce, S Zdancewic
Making Our Own Luck
L Lampropoulos, BC Pierce, C Hritcu, J Hughes, Z Paraskevopoulou, ...
The system can't perform the operation now. Try again later.
Articles 1–16