Registered user since Tue 9 Jul 2019

Name:Sung Kook Kim
Bio:

I’m a PhD student in UC Davis. My advisor is Prof. Aditya V. Thakur.

Country:United States
Affiliation:University of California, Davis
Personal website:https://skkeem.github.io
Research interests:Program Analysis

Contributions

SAS 2020 Author of Memory-Efficient Fixpoint Computation within the SAS-track
POPL 2020 Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track