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
View general profile