Write a Blog >>
Jihyeok Park

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
Research interests:JavaScript Static Analysis, Static/Dynamic Hybrid Approch, Analysis Sensitivity, Memory Abstraction, and Formal Verification

Contributions

Scala 2018 Path Dependent Types with Path-Equality
Show activities from other conferences

ICFP 2018-profile
View general profile