Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Puming Liu
conf.researchr.org general profile
POPL 2026 profile
Registered user since Mon 13 Oct 2025
Name:
Puming Liu
Contributions
2026
POPL
Author of Semantic Completeness of Higher-Order Probabilistic Separation Logics within the Student Research Competition-track
Share
x
Sun 8 Mar 04:40