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.
Lux is a system for high performance distributed graph processing, is now available. Lux is built on top of Legion.
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.
