SPLASH 2024 (series) / Shaopeng Zhu
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
Using general profile