Li-yao Xia -

Registered user since Sat 4 Jan 2020

Name: Li-yao Xia

Affiliation: University of Pennsylvania

Contributions

POPL 2020	Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
CPP 2019	Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
ESOP 2019	Author of Composing bidirectional programs monadically within the ESOP 2019-track
POPL 2017	Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track Author of A Monadic Framework for Bidirectional Programming within the Student Research Competition-track
PPS 2016	Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track