Registered user since Wed 13 Dec 2017
Name:Jihyeok Park
Bio:
Jihyeok Park is a Phd. candidate in Scool of Compuing, KAIST, Korea. He is a main develop of SAFE, Scalable Analysis Framework for ECMAScrip. It is a static analyzer for Web applications. Recently, He’s focusing on proposing a new kind of memory abstraction for JavaScript static analysis.
Country:South Korea
Affiliation:KAIST, South Korea
Personal website: http://plrg.kaist.ac.kr/jhp
Research interests:JavaScript Static Analysis, Static/Dynamic Hybrid Approch, Analysis Sensitivity, Memory Abstraction, and Formal Verification
Contributions
2018
ICFP 2018-profile
View general profile
View general profile