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