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

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