Registered user since Tue 9 Jul 2019

Name:Sung Kook Kim

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:
Research interests:Program Analysis


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