Li-yao XIA
Interests
- Programming languages
- Algorithms
- Combinatorics
- Complexity theory
Research
(2017) Random testing with Benjamin C. Pierce at the University of Pennsylvania.
(2016) Bidirectional programming with Meng Wang at the University of Kent.
- A monadic framework for bidirectional programming. Abstract. Poster.
(Presented at the POPL SRC 2016.)
Inspired by the codec package. - Applications of bidirectional programming to refactoring.
(2015) Participated in the design of Luck, a DSL for writing random generators as annotated predicates, at INRIA Paris with Cătălin Hriţcu, Leonidas Lampropoulos, Benjamin C. Pierce, John Hughes.
Other projects
Developer of dissemin, an open source website helping researchers to spot and release their paywalled papers. (Python)
Coauthor of a French blog about math and computer science topics, mostly.
Ongoing side projects
metamorph. Based on the paper Testing Polymorphic Properties. (Haskell)
generic-random: a library of generic random generators. (Haskell)
Notably includes an implementation of Boltzmann generators. Unfortunately, that is subsumed by FEAT both in expressiveness and in performance, even though Boltzmann generators theoretically have the best asymptotic complexity.
raz: random access zippers, a data structure for representing sequences with efficient random access (duh), insertion and deletion. (Haskell)
In the back of my mind
More combinatorics: Counting functional pregroup types
Links
The dissemin project is part of the Open Access movement.
Prologin, a programming contest for French teenagers. I was a member of the organizing association in 2016.