Incremental SMT Solving for Symbolic Execution
Research proposing improvements to symbolic execution, a software analysis technique.
Projects
Lychee: An Enhanced Chess Puzzle Trainer
An intelligent chess tactical trainer that leverages studied techniques using collected data and novel metrics.
WACC Language Compiler
A full compiler of a While-like programming language, written in Scala.
Pintos Operating System
OS practical involving thread scheduling, user programs, and virtual memory.