fiigii

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.

devirtualization

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

fJS

A statically typing programming language implemented in Haskell.

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.

fiigii.github.io

My blog

Master-Thesis

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

coreclr

This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.

CorrespondingAngles

The Capstone Project of my bachelor's degree (2013)

hcfa-prototype

A simple implementation of h-CFA (pushdown control flow analysis based on execution history)

ReinforcementLearningExercises