Write a Blog >>
Scala 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
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

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

Scala 2018Author of Path Dependent Types with Path-Equality within the Scala 2018-track
Show activities from other conferences

Using general profile