Fei Peng

ai-comp. Build a compiler to solve Anthropic's interview challenge.

PacketTracer. The SIMD-accelereted ray tracing in C# powered by Intel hardware intrinsic of .NET Core.

gomoku-CommonLisp. A web version of Gomoku game implemented in Common Lisp.

JsCFA-prototype. Abstract Interpreter for JavaScript with perfect call/return matching.

fJS. A statically typing programming language implemented in Haskell.

devirtualization. Devirtualization (convert dynamic dispatch to direct function call) optimization for a subset Scala

k-cfa. Context-sensitive control flow analysis (k-CFA) for my fJS language.

dataflow. Data flow analysis for a subset of JavaScript

AbstractInterpretation. Context-sensitive control flow analysis (k-CFA) for my fJS language with Abstract Interpretation approach.

control-flow. Control flow analysis (0-CFA) for my fJS language.

Master-Thesis. My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis