Hey guys.

Well, I'm no longer using Livejournal to run my blogs. I'm over at Blogger now.

If you get to this page by typing in www.blogface.org, then you never should have gotten here in the first place, you should have been redirected to my new site. But, on the offhand chance you don't, well now you know.

RSS users can subscribed to the feed, feed. ( Read more... )

The most recent incarnation of SIGBOVIK, the annual celebration of all that is computer science humor, occurred on April 1st. I didn't have much time to recap it earlier, but it went very well. With the exception of being just a tiny bit long, this may have been the best SIGBOVIK ever. If you're interested in a (free) electronic copy of the ( Read more... )

( Read more... )

( Read more... )

I've recently been working on an approach to add parametric polymorphism to our Access Permissions methodology. Access Permissions is a fraction-based means of reasoning about program aliases statically. It turns out in certain cases, it's really nice to have parametric polymorphism over permission specifications, for many of the same reasons that ( Read more... )

( Read more... )

( Read more... )

( Read more... )

I am lucky enough to be in Berlin during the Berlinale, the annual film festival. It turns out to be a pretty big deal, and while I was initially skeptical, I have bought into the whole thing, and we've bought tickets to see five different movies. So far, I've just seen two, but they were both pretty good:

• Summer Wars is an anime about a boy who is ( Read more... )

Well folks, I am back in Berlin! I'm here for the next three weeks, and looking to see some neat stuff as well as continue some cool research projects I am working on. I've just been here since Wednesday, and most of that time has been spent either working on recovering from jet-lag, but there were a few highlights:

• In Pittsburgh, I showed up to the ( Read more... )