En, HHVM: Efficient and Scalable PHP/Hack Execution / Guilherme Ottoni (Facebook)