CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically

Archive guide

Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.