Past Research Projects
All good things must come to and end, and to start something new we have
to stop something old, and so on and so forth. Below is a list of
past research projects that I have worked but are no longer active, or at least
the activity is now irregular and unpredictable.
- STOKE is a stochastic optimizer and associated verification techniques for X86 binaries.
- DeduceIt is a system for checking student derivations in on-line courses; the idea is to provide a richer and more interactive electronic homework than multiple choice questions for problems that can be formulated as derivations in some formal system. A number of things are available:
- A demo video if you just want to get an idea of how it works.
- The live DeduceIt system (which is currently broken, sorry!), where you can try a number of different kinds of exercises developed for the undergraduate compiler course I teach.
- Open source respositories for the web front-end and the theorem prover back-end if you want to hack on the system yourself.
- Sequoia: Programming Hierarchical Memory Machines
- Saturn: a SAT-based tool for static error detection.
Chord: Effective Static Race Detection.
Cooperative Bug Isolation
- CQual: Adding specifications to programs with programmer-defined type qualifiers.
- Banshee, daughter of BANE,
the Berkeley ANalysis Engine for constructing constraint-based program
- CAP: Search millions of lines of open source for your code.
- Open Source Quality Project: Applying technology to software engineering problems.
- Titanium: Compiler
support for explicit parallel programming.
Cool: A freely available
course project for teaching compilers to undergraduates.
Moss: A Measure
of Software Similarity, useful for detecting plagiarism in programming