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