Here are some design notes for Sneezy. These are updated every so often and may or may not reflect our current thinking, although by now some of them are pretty stable.
Note #1: Sneezy Manifesto and Overview
(postscript)
Note #3: Single-client protocol specification
(postscript)
Note #5: Proposal for multi-client protocol specification
(postscript)
Note #7: API for multi-threaded Scheme clients
(postscript)
We are developing several tools which use Sneezy. So far our work has been concentrated on a programmable state-based debugger, called Sneaky, and its interaction with a replay debugger called Ariadne. Some of this work is described in a paper by Shende et al to be published in the proceedings of SPDT '96.
Here's a note about Sneaky:
Note #6: Sneaky Overview
(postscript)
lth@cs.uoregon.edu
March 4, 1996