Jeehoon Kang - POPL 2022

Registered user since Thu 19 Feb 2015

Name:Jeehoon Kang

Country:South Korea

Affiliation:KAIST

Research interests:concurrency, parallelism, verification, compiler

Contributions

CPP 2022	Committee Member in Program Committee within the CPP 2022-track Session Chair of Verified Data Structures and Semantics (part of CPP 2022)
POPL 2022	Student Research Competition Co-Chair in Organizing Committee Co-chair in Selection Committee within the Student Research Competition-track Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
Show activities from other conferences

Using general profile