I’m an Assistant Professor at Programming Language Research Group (PLRG), Dept. of Computer Science and Engineering, College of Informatics, Korea University.
-
Korea University
- Seoul, South Korea
-
06:37
(UTC +09:00) - https://park.jihyeok.site/
Highlights
- Pro
Pinned Loading
-
-
-
-
kaist-plrg/jiset
kaist-plrg/jiset PublicJISET: JavaScript IR-based Semantics Extraction Toolchain
-
kaist-plrg/jest
kaist-plrg/jest PublicJEST: N+1-version Differential Testing of Both JavaScript Engines
-
kaist-plrg/jstar
kaist-plrg/jstar PublicJSTAR: JavaScript Specification Type Analyzer using Refinement
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.