Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jaemin Choi
conf.researchr.org general profile
PLDI 2022 profile
Not registered as user
Name:
Jaemin Choi
Affiliation:
KAIST
Contributions
2022
PLDI
Author of Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic within the PLDI-track
Share
x
Thu 12 Nov 19:40