Registered user since Fri 20 Feb 2015
Name:Yizhou Zhang
Country:Canada
Affiliation:University of Waterloo
Personal website:https://cs.uwaterloo.ca/~yizhou
Contributions
| PLDI 2023 | Committee Member in PLDI Review Committee within the PLDI Research Papers-track Extensible Metatheory Mechanization via Family Polymorphism | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile