We're using FreeBSD jails, i.e. operating system-level virtualization. They provide all the security and process isolation that we need without a lot of the unnecessary features of heavier weight virtualization. Saying that though, we're running in EC2 so we are also using Xen beneath.
Please feel free to ask any questions about the technology we're building!