The Lula software he wrote looks interesting, though it's theater-oriented and not directly applicable to what I'm doing in a UI sense. The source isn't available, though it's old enough (runs on PLT Scheme 103) that I suspect he's largely abandoned the project and might be persuaded to release it.

Many of the underlying mechanisms are probably very similar to what I'm working on. I'm glad to see that someone else has had good results in a research context.