xRead-Only Mode: 11:30 CEST – Server migration in progress. Full service resumes within 2 hours.
POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
POPL 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

Show activities from other conferences

POPL 2024-profile
View general profile