Registered user since Sun 2 Jan 2022

Name:Qian Meng
Affiliation:Cornell university

Contributions

PLDI 2022 Path Alignment Automata are Probabilistic Couplings
Show activities from other conferences

PLDI 2022-profile
View general profile