• Sign in
  • Sign up
conf.researchr.org / Li-yao Xia
  • 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
xSun 29 May 02:20
using conf.researchr.org (v1.55.6)
Support page
Sign Up