Li-yao XIA

I'm a PhD student at the University of Pennsylvania since 2017.



Recent history

(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.

I blog sometimes.

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