PHI is an acronym for Programming with High-level Languages and Interfaces, reflecting the focus of our research group. PHI is also the Greek letter (φ) that is often used to denote the core idea of control-flow when compiling imperative languages—the focus of our research. It is a play on the Greek letter λ that programming language theorists often use to denote a function, which is a core construct of functional languages.