Fork me on GitHub

Current Projects

  1. Interprocedural DiSE

    Summer of 2011

    This is a Google Summer of Code project that I am fortunate enough to be able to participate in. I am working with some amazing folks at NASA on an open-source software verification technique. The technique is called DiSE (Directed Incremental Symbolic Execution) and they have been working on it for a while now (check out the publication). My task this summer is to work with them to extend it beyond an intraprocedural analysis to an interprocedural analysis. It is going really well, just over a month left.

  2. MudSolver

    June 2011 - present

    MudSolver is my (not so) cleverly named Java-based Constraint Satisfaction Problem (CSP) solver. In a Constraint Processing class I took, we got to build CSP solvers using a variety of algorithms/techniques. The problem is that we had to build these on top of a black-box CSP framework that was a little clunky and awkward to use. So I thought to myself, "Why not just build my own from the ground up?"

  3. RedRockSolver

    June 2011 - present

    RedRockSolver is my Ruby-based Constraint Satisfaction Problem (CSP) solver. It is basically the same story as the MudSolver. Additionally, I am trying to learn Ruby and I figured one of the best ways to do that would be to just start writing a full-blown project in it.

Past Projects

  1. I will fill these in later.