Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
projects
Incremental SMT Solving for Symbolic Execution
Research proposing improvements to symbolic execution, a software analysis technique.
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.