
Registered user since Fri 25 May 2018
Name:Hongjin Liang
Country:China
Affiliation:Nanjing University
Personal website:https://hongjin-liang.github.io/
Contributions
PLDI 2022 | Verifying Optimizations of Concurrent Programs in the Promising Semantics Committee Member in PLDI within the PLDI-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2022-profile
View general profile
View general profile