I have moved to Intel Research, Berkeley. My new home page and contact information should appear under the lab's web page soon... In the meantime, you can reach me at: minos[AT]acm.org