I would like to acknowledge the other contributors to the core Joeq
infrastructure: Monica Lam, Michael Martin, Chrislain Razafimahefa,
Laudney Ren, and Daniel Wright. I would also like to thank the
students of the CS243 Winter 2002 class at Stanford for their feedback
on the Joeq compiler infrastructure.