Projects

• ParaM
• RubyC
• Declarative Parallel Programing

People

• Arun Chauhan (Blog: Thought Compilation)
• Chun-Yu Shei (Blog: Chun-Yu’s Research Blog)
• Andrew Keep (Blog: Ruby Colored Glasses)
• Christine Task (Blog: Christine’s Research Blog)

Collaborators

• Andrew Lumsdaine
• Douglas Gregor

About PHI

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.