Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Qian Meng
conf.researchr.org general profile
PLDI 2022 profile
Registered user since Sun 2 Jan 2022
Name:
Qian Meng
Contributions
2022
PLDI
Author of Path Alignment Automata are Probabilistic Couplings within the SRC-track
Share
x
Wed 18 Dec 18:07