Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Puming Liu
conf.researchr.org general profile
ICFP 2026 profile
POPL 2026 profile
Registered user since Mon 13 Oct 2025
Name:
Puming Liu
Contributions
2026
ICFP
Author of Completeness of Iris-Based Program Logics within the ICFP Artifacts-track
Author of Completeness of Iris-Based Program Logics within the ICFP Papers-track
POPL
Author of Semantic Completeness of Higher-Order Probabilistic Separation Logics within the Student Research Competition-track
Share
x
Thu 22 Oct 08:25