
Registered user since Mon 21 Jan 2019
Name:Lu Zhang
Country:China
Affiliation:Peking University
Personal website:http://sei.pku.edu.cn/~zhanglu
Contributions
POPL 2020 | Detecting Floating-Point Errors via Atomic Conditions | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile