Registered user since Wed 13 Dec 2017
Name:Jihyeok Park
Bio:
Jihyeok Park is a Phd. candidate in School of Computing, KAIST, Korea. He is a main developer of SAFE, a Scalable Analysis Framework for ECMAScript, and JISET, a JavaScript IR-based Semantics Extraction Toolchain. Moreover, he is a main developer of JEST, a tool that performs N+1-version differential testing for both of JavaScript specifications and engines. Recently, he is working on developing other tools based on JISET.
Country:South Korea
Affiliation:KAIST
Personal website: https://park.jihyeok.site/
GitHub: https://github.com/jhnaldo
Research interests:Mechanized Specification, JavaScript Static Analysis, Static/Dynamic Hybrid Analysis, and Differential Testing
Contributions
ICSE 2021-profile
View general profile
View general profile