GPCE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020

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:


Research interests: Program Analysis


SAS 2020Author of Memory-Efficient Fixpoint Computation within the SAS-track
Show activities from other conferences

Using general profile