Vx32: Lightweight User-level Sandboxing on the x86
Efficient JavaVM just-in-time compilation