Li-yao XIA

Interests

Research

(2017) Random testing with Benjamin C. Pierce at the University of Pennsylvania.

(2016) Bidirectional programming with Meng Wang at the University of Kent.

(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

Lysxia on Github.

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

In the back of my mind

Links