![Chung-Kil Hur](https://popl24.sigplan.org/getProfileImage/chungkilhur/f33e0376-7b25-4b71-9199-001c1f0d2c21/small.jpg?1711497079000)
Registered user since Thu 16 Jun 2016
Name:Chung-Kil Hur
Country:South Korea
Affiliation:Seoul National University
Personal website: http://sf.snu.ac.kr/gil.hur
Research interests:Programming Languages, Software Verification
Contributions
2024
The Future of Weak Memory
POPL 2024-profile
View general profile
View general profile