SPLASH 2020 (series) / Sung Kook Kim
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
GitHub: https://github.com/skkeem
Research interests: Program Analysis
Contributions
| SAS 2020 | Author of Memory-Efficient Fixpoint Computation within the SAS-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile