Research Projects

• Overcoming Concolic Testing Limitations
  • Overviewed current concolic testing techniques and their limitations.
  • Added several changes to the concolic testing tool CREST to make it more useful and easier to use.
  • CS 706 Class Project
  • Project Report
  
  
• Adding User Feedback to MLN Learning
  • Efficiently incorporated user feedback into the MLN inference system Tuffy
  • CS 764 Class Project
  • Project Report
  
  

Game Projects (CS 679)

Dojo Hero Music/Rhythym game similar to Guitar Hero. Written in C++ using SFML
I'm No Diode Simple physics/puzzle game with some fragment/vertex shaders Written in Javascript using three.js and JigLibJS
Sheep Simple game that demonstrates a flocking behavior Written in Javascript

Graphics Projects (CS 559)

Graphics Town 3D town that demonstrates some special effects Written in C++, using OpenGL
Roller Coaster Train 3D train that moves around tracks Written in C++, using OpenGL

Other Projects

• Other projects I have worked on in my spare time