This page has moved to a new address.

Gave a talk at VMCAI 2009 on a scalable memory model for low-level code