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
ICFP 2023 profile
ISSTA 2017 profile
PLDI 2019 profile
POPL 2016 profile
POPL 2017 profile
POPL 2019 profile
POPL 2020 profile
POPL 2024 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Sat 4 Jan 2020
Name:
Li-yao Xia
Affiliation:
University of Edinburgh
Contributions
2024
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2023
HIW
Committee Member in Program Committee within the HIW 2023-track
Author of Deriving as a library (Lightning Talk) within the HIW 2023-track
Session Chair of HIW: Session 1 (part of HIW 2023)
2022
SPLASH
Author of C4: verified transactional objects within the OOPSLA-track
2021
SPLASH
Author of Reasoning about the Garden of Forking Paths within the SIGPLAN Papers-track
ICFP
Author of Reasoning about the Garden of Forking Paths within the Research Papers-track
2020
POPL
Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
2019
ESOP
Author of Composing bidirectional programs monadically within the ESOP 2019-track
CPP
Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
2017
POPL
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
2016
LAFI
Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
Share
x
Fri 29 Mar 00:18