Implementing Compositional Analysis Using Intersection Types With Expansion Variables. - Assaf J. Kfoury; Geoffrey Washburn; Joe B. Wells (ITRS, 2002)

PolyAML: a polymorphic aspect-oriented functional programming language. - Daniel S. Dantas; David Walker 001; Geoffrey Washburn; Stephanie Weirich (ICFP, 2005)

Generalizing Parametricity Using Information-flow. - Geoffrey Washburn; Stephanie Weirich (LICS, 2005)

An open and shut typecase. - Dimitrios Vytiniotis; Geoffrey Washburn; Stephanie Weirich (TLDI, 2005)

Mechanized Metatheory for the Masses: The PoplMark Challenge. - Brian E. Aydemir; Aaron Bohannon; Matthew Fairbairn; J. Nathan Foster; Benjamin C. Pierce; Peter Sewell; Dimitrios Vytiniotis; Geoffrey Washburn; Stephanie Weirich; Steve Zdancewic (TPHOLs, 2005)

Simple unification-based type inference for GADTs. - Simon L. Peyton Jones; Dimitrios Vytiniotis; Stephanie Weirich; Geoffrey Washburn (ICFP, 2006)

Good advice for type-directed programming aspect-oriented programming and extensible generic functions. - Geoffrey Washburn; Stephanie Weirich (ICFP-WGP, 2006)

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. - Geoffrey Washburn; Stephanie Weirich (J. Funct. Program., 2008)

AspectML: A polymorphic aspect-oriented functional programming language. - Daniel S. Dantas; David Walker 001; Geoffrey Washburn; Stephanie Weirich (ACM Trans. Program. Lang. Syst., 2008)

Design and Implementation of the LogicBlox System. - Molham Aref; Balder ten Cate; Todd J. Green; Benny Kimelfeld; Dan Olteanu; Emir Pasalic; Todd L. Veldhuizen; Geoffrey Washburn (SIGMOD Conference, 2015)

Live Programming in the LogicBlox System: A MetaLogiQL Approach. - Todd J. Green; Dan Olteanu; Geoffrey Washburn (Proc. VLDB Endow., 2015)

A Scheduling Approach to Incremental Maintenance of Datalog Programs. - Shikha Singh 002; Sergey Madaminov; Michael A. Bender; Michael Ferdman; Ryan Johnson; Benjamin Moseley; Hung Q. Ngo 001; Dung Nguyen; Soeren Olesen; Kurt Stirewalt; Geoffrey Washburn (IPDPS, 2020)