The WHET DJ Compiler