Li-yao Xia

Interaction trees: representing recursive and impure programs in Coq

Li-yao Xia, Yannick Zakowski, Paul He et al. · Proceedings of the ACM on Programming Languages · 2019 · 129 citations · Full text

Computing, Computer Science, Formal Methods +14

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

Nicolas Koh, Yao Li, Yishuai Li et al. · 2019 · 47 citations · Full text

Computing, Computer Science, Computer Systems +17

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

Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu et al. · 2016 · 43 citations · Full text

Computing, Computer Science, Compilers +16

C4: verified transactional objects

Mohsen Lesani, Li-yao Xia, Anders Kaseorg et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Computing, Computer Science, Computer Systems +17

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

Hengchu Zhang, Wolf Honoré, Nicolas Koh et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2021 · 20 citations · Full text

Computing, Computer Science, Computer Systems +13