jhnaldo
I’m an Assistant Professor at Programming Language Research Group (PLRG), Dept. of Computer Science and Engineering, College of Informatics, Korea University.
Korea UniversitySeoul, South Korea
Pinned Repositories
esmeta
ECMAScript Specification (ECMA-262) Metalanguage
blog-comment
cpython
The Python programming language
haskell-study
mini-c-compiler
compiler of mini-c
jest
JEST: N+1-version Differential Testing of Both JavaScript Engines
jiset
JISET: JavaScript IR-based Semantics Extraction Toolchain
jstar
JSTAR: JavaScript Specification Type Analyzer using Refinement
safe
Scalable Analysis Framework for ECMAScript
ecma262
Status, process, and documents for ECMA-262
jhnaldo's Repositories
jhnaldo/mini-c-compiler
compiler of mini-c
jhnaldo/haskell-study
jhnaldo/blog-comment
jhnaldo/cpython
The Python programming language
jhnaldo/cs492
Travelling salesman problem
jhnaldo/ecma262
Status, process, and documents for ECMA-262
jhnaldo/HOTIL
Question Management System for Korean educational site
jhnaldo/jhnaldo
jhnaldo/jhnaldo.github.io
Redirection page
jhnaldo/problem-solving
problem solving practice
jhnaldo/ref
References
jhnaldo/scala
The Scala programming language
jhnaldo/scala-algorithm
Data structures and Algorithms implemented in Scala
jhnaldo/sigpl.github.io
jhnaldo/test262
Official ECMAScript Conformance Test Suite