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