Publication archive move...
Due to technical buggery, I've moved my publications to a server I have more space and control over. I've meta-refresh redirected my main publications page to the new server, but if, for whatever reason, you'd linked directly to a file, it's now broken. I tried to have apache redirect all queries to the new server, but it seems that functionality is disabled. Such is life. The new server is:

http://rotterdam.ics.uci.edu/papers/

I'm betting that no one with access to the machine will mess with things and they can live here happily ad-infinitum, so cross your fingers.

On a separate note, I'm going to go live with a more day to day research journal (rambling about design issues in my code and such) in September when I'll be able to set up the database on my server (it is remote from me at present and I disabled remote access) and keep this one for larger announcements. For now, the frontpage is here (with non-working links):

http://rotterdam.ics.uci.edu/journal/