Registered user since Thu 19 Feb 2015
Name:Jeehoon Kang
Country:South Korea
Affiliation:KAIST
Personal website: https://cp.kaist.ac.kr/jeehoon.kang
Research interests:concurrency, parallelism, verification, compiler
Contributions
2021
POPL
POPL 2021-profile
View general profile
View general profile