Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Li-yao Xia
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ISSTA 2017 profile
PLDI 2019 profile
POPL 2016 profile
POPL 2017 profile
POPL 2019 profile
POPL 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
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
Share
x
Sun 29 May 02:20