Li-yao Xia -

Registered user since Sat 4 Jan 2020

Name:Li-yao Xia

Affiliation:University of Pennsylvania

Contributions

SPLASH 2021	Author of Reasoning about the Garden of Forking Paths within the SIGPLAN Papers-track
SPLASH 2022	Author of C4: verified transactional objects within the OOPSLA-track
ICFP 2021	Author of Reasoning about the Garden of Forking Paths within the Research Papers-track
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