Li-yao Xia
Institut national de recherche en sciences et technologies du numérique(FR)
Publications by Year
Research Areas
Logic, programming, and type systems, Software Engineering Research, Software Testing and Debugging Techniques, Security and Verification in Computing, Formal Methods in Verification
Most-Cited Works
- → Interaction trees: representing recursive and impure programs in Coq(2019)124 cited
- → From C to interaction trees: specifying, verifying, and testing a networked server(2019)47 cited
- → Beginner's luck: a language for property-based generators(2016)39 cited
- → C4: verified transactional objects(2022)26 cited
- → Verifying an HTTP Key-Value Server with Interaction Trees and VST(2021)20 cited
- → Composing Bidirectional Programs Monadically(2019)7 cited
- → Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs(2024)2 cited