Be-Tree, a simple implementation of a B^e-tree, a write-optimized replacement for a B-tree.
CQual. A static analysis tool for finding security bugs in C programs.
Oink. A general framework for developing static analyses for C and C++. Includes many of CQual's features.
I am looking for an exceptional PhD student
interested in working on external-memory algorithms, software
security, system security. If you think you might be interested,
please email me to make an appointment to discuss possible projects.