His interests span programming languages semantics, type systems, compilers, program generation, real-time systems, and physically safe computing. He is the principal investigator on a number of NSF, Texas ATP, and SRC research grants and contracts. He is the principle design of MetaOCaml, Acumen, and the Verilog Preprocessor system. He founded the ACM Conference on Generative Programming and Component Engineering (GPCE), the IFIP Working Group on Program Generation (WG 2.11), and the Middle Earth Programming Languages Seminar (MEPLS). He is the program chair for the one-time IFIP Working Conference on Domain-Specific Languages (DSL WC), 2009, Oxford.