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
-
04:22
(UTC 09:00) - https://park.jihyeok.site/
Highlights
- Pro
Block or Report
Block or report jhnaldo
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned 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.