SPLASH 2019 (series) / Minseok Jeon

Registered user since Sat 14 Oct 2017
Name: Minseok Jeon
Country: Korea, South
Affiliation: Korea University, South Korea
Personal website: http://prl.korea.ac.kr/~minseok/
Research interests: Program Analysis
Contributions
SPLASH 2019 | Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2019-profile
View general profile
View general profile