Registered user since Wed 21 Oct 2020
Name:Xiao Cheng
Affiliation:University of Technology Sydney
GitHub:https://github.com/jumormt
Research interests:Machine Learning, Program Analysis
Contributions
| FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile