Using computational grid capabilities to enhance the capability of an X-ray source for structural biology. - Gregor von Laszewski; Mary L. Westbrook; Craig Barnes; Ian T. Foster; Edwin M. Westbrook (Clust. Comput., 2000)

A language-based approach to functionally correct imperative programming. - Edwin M. Westbrook; Aaron Stump; Ian Wehrman (ICFP, 2005)

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. - Ian Wehrman; Aaron Stump; Edwin M. Westbrook (RTA, 2006)

The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings. - Edwin M. Westbrook; Aaron Stump; Evan Austin (LFMTP, 2009)

Mathematical equations as executable models of mechanical systems. - Angela Yun Zhu; Edwin M. Westbrook; Jun Inoue 001; Alexandre Chapoutot; Cherif R. Salama; Marisa Linnea Peralta; Travis Martin; Walid Taha; Marcia K. O'Malley; Robert Cartwright; Aaron D. Ames; Raktim Bhattacharya (ICCPS, 2010)

Mint: Java multi-stage programming using weak separability. - Edwin M. Westbrook; Mathias Ricken; Jun Inoue 001; Yilong Yao; Tamer Abdelatif; Walid Taha (PLDI, 2010)

Hobbits for Haskell: a library for higher-order encodings in functional programming languages. - Edwin M. Westbrook; Nicolas Frisby; Paul Brauner (Haskell, 2011)

Permission Regions for Race-Free Parallelism. - Edwin M. Westbrook; Jisheng Zhao; Zoran Budimlic; Vivek Sarkar (RV, 2011)

Practical Permissions for Race-Free Parallelism. - Edwin M. Westbrook; Jisheng Zhao; Zoran Budimlic; Vivek Sarkar (ECOOP, 2012)

A Semantics for Approximate Program Transformations - Edwin M. Westbrook; Swarat Chaudhuri (CoRR, 2013)