Registered user since Wed 26 Aug 2020
Name:Shaopeng Zhu
Personal website: https://sites.google.com/umd.edu/shaopengzhu/home
Research interests:Verification, Separation Logic, Formal Methods, Semantics, Concurrency
Contributions
PLDI 2024-profile
View general profile
View general profile