I work at Facebook and have been involved in the Hiphop for PHP project for the past few years.

We have our own VM written and it isn't based on the JVM.

Bytecode: https://github.com/facebook/hiphop-php/blob/master/doc/bytec...

Code: https://github.com/facebook/hiphop-php/tree/master/src/runti...