Pinned Repositories
codeql
concrat
Concurrent-C to Rust Automatic Translator
fhetest
ires
Intermediate Representations for ECMAScript Specifications
jest
JEST: N+1-version Differential Testing of Both JavaScript Engines
jiset
JISET: JavaScript IR-based Semantics Extraction Toolchain
jsaver
JSAVER: JavaScript Static Analyzer via ECMAScript Representation
jstar
JSTAR: JavaScript Specification Type Analyzer using Refinement
nopcrat
No-Ouput-Parameter C-to-Rust Automatic Translator
safe-ds
PLRG@KAIST's Repositories
kaist-plrg/jiset
JISET: JavaScript IR-based Semantics Extraction Toolchain
kaist-plrg/jest
JEST: N+1-version Differential Testing of Both JavaScript Engines
kaist-plrg/jstar
JSTAR: JavaScript Specification Type Analyzer using Refinement
kaist-plrg/concrat
Concurrent-C to Rust Automatic Translator
kaist-plrg/codeql
kaist-plrg/jsaver
JSAVER: JavaScript Static Analyzer via ECMAScript Representation
kaist-plrg/ires
Intermediate Representations for ECMAScript Specifications
kaist-plrg/nopcrat
No-Ouput-Parameter C-to-Rust Automatic Translator
kaist-plrg/FBLFS
Formal Binary Lifter with Filtered Simulation
kaist-plrg/fhetest
kaist-plrg/safe-ds
kaist-plrg/citation-graph
kaist-plrg/cs408e-fall-2018
kaist-plrg/esmeta
ECMAScript Specification (ECMA-262) Metalanguage
kaist-plrg/python-analyzer
Python analysis framework in Scala
kaist-plrg/simcrat
Signature-Modernizing C-to-Rust Automatic Translator
kaist-plrg/urcrat
Union-Removing C-to-Rust Automatic Translator
kaist-plrg/jalangi2
Dynamic analysis framework for JavaScript
kaist-plrg/jestfs-paper
Study of Babel
kaist-plrg/safe
Scalable Analysis Framework for ECMAScript
kaist-plrg/cs496_converter
CS496 Flow Camp Participant Selection
kaist-plrg/J2V8
Java Bindings for V8
kaist-plrg/spectec
Wasm SpecTec specification tools
kaist-plrg/T2-FHE-Compiler-and-Benchmarks
A cross compiler and standardized benchmarks for fully homomorphic encryption
kaist-plrg/TensorFlow-Examples
TensorFlow Tutorial and Examples for Beginners (support TF v1 & v2)