
Registered user since Sat 14 Oct 2017
Name:Minseok Jeon
Country:South Korea
Affiliation:Korea University
Personal website: http://prl.korea.ac.kr/~minseok/
Research interests:Program Analysis
Contributions
POPL 2022-profile
View general profile
View general profile