A runtime accelerator for PHK and Automap