Registered user since Sat 17 Feb 2018
Name:Xin Yi
Country:China
Affiliation:National University of Defense Technology
Research interests:Programming Languages, Numerical Software, Automated Program Repair
Contributions
| ICST 2022 | Symbolic Verification of Message Signatures in MPI | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICST 2022-profile
View general profile
View general profile