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 developer of SAFE, Scalable Analysis Framework for ECMAScript. 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