The primary goal of my research is to discover how to design programs, components, and programming systems. I don't know any other way to understand design than to program and re-program and transform small and large programs. As I am getting to understand what happens, I am writing things down in "How to Design Programs", "How to Design Components" and "How to Design Systems." It is after all our duty as academics to find and to disseminate truth.

My current research projects concern

• behavioral software contracts
  (with Robby Findler,Carl Eastlund,Christos Dimoulas,Stevie Strickland);
• the transition from scripts to typed programs
  (with Sam Tobin-HochstadtStevie Strickland, and Shriram Krishnamurthi);
• improving macro technology for the design of domain-specific language and theorem proving
  (with Ryan Culpepper, Carl Eastlund, and Matthew Flatt);
• and semantics (as in explaining and improving reduction semantics and applying it to interesting special cases).

Financial support for my research currently comes from NSF, AFOSR, Microsoft, and Mozilla. In the past, funding has also come from ARPA, CORD, US DoED, Exxon, and the Texas Advanced Technology Program.

In addition, I am also working on a functional framework for programming and reasoning about distributed and interactive graphical programs, which is a research project with an education purpose.