Edwin Westbrook Post-doc Resource-Aware Programming Group Department of Computer Science Rice University email: emw4 at rice.edu

I am a post-doc at Rice University, working for Walid Taha. My interests are in programming languages and in logic, especially in their intersection: logical frameworks.

NEW: Download the latest version of Cinic, a language based on my dissertation

My dissertation, along with the slides for my defense

Publications:

E. Westbrook, A. Stump, and E. Austin. The Calculus of Nominal Inductive Constructions. LFMTP 09. [ paper bib ]

I. Wehrman, A. Stump, and E. Westbrook. Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 06. [ paper bib ]

E. Westbrook. Pattern Solutions to Higher-Order Unification Problems. UNIF 06. [ paper slides bib ]

E. Westbrook. Free Variable Types. TFP 06. [ paper slides bib ]

E. Westbrook, A. Stump, and I. Wehrman. A Language-Based Approach to Functionally Correct Imperative Programming. ICFP 05. [ paper slides bib ]
Tech Report: [ paper slides bib ]

Talks:

CNIC: A Theory of Domain-Specific Languages (Invited talk for Midwest Programming Languages Day, 2009): motivates and explains the theory CNIC that I develolped for my dissertation.

Staged Monad Transformers for Faster Modular Interpreters (Middle Earth Programming Langugaes Seminar, 2009): describes a method for combining staging with monad transformers.

Doctoral Student Seminar talk for 9/16/2005: explains how dependent types can be used to verify properties of programs.

Misc:

PL Reading List: reading list for a programming languages reading group we held in winter 2005.