Menlo Park, CA

Jia Chen

Expert
@grievejia

Programming Addict

grievejia.github.io

andersen. Andersen's inclusion-based pointer analysis re-implementation in LLVM

236

pyre-ast. pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.

45

LLVMDynamicTools. An LLVM interpreter that aims to compute points-to sets dynamically

33

tpa. Pointer Analysis with Tunable Precision

28

pcomb. Simple C++ Parser Combinator Library

15

GSoC2016. Work product of my Google Summer of Code 2016 project

4

FwPython. A Lean 4 formalization of a small object-oriented language and its gradual type system

4

neonGobyPort. Port the neonGoby project (https://github.com/columbia/neongoby) to work with the latest version of LLVM

3

DataStructure. Utility data structure implementations in C++

2

CostInstrument-llvm. C++

2

ApkToJava. Utility script for decompiling apks into Java source codes

2

Util. Variout C++ utility classes

2

JimpleDumper. Dump soot JIMPLE IR into sqlite3 database file

1

hermes. A tool that translates from a specification of Algebraic Data Type to C++14 codes

1
14
Apply