A comparison of texture models for automatic liver segmentation. - Mailan Pham; Ruchaneewan Susomboon; Tim Disney; Daniela Raicu; Jacob Furst 001 (Image Processing, 2007)

Temporal higher-order contracts. - Tim Disney; Cormac Flanagan; Jay McCarthy (ICFP, 2011)

Virtual values for language extension. - Thomas H. Austin; Tim Disney; Cormac Flanagan (OOPSLA, 2011)

Sweeten your JavaScript: hygienic macros for ES5. - Tim Disney; Nathan Faubion; David Herman; Cormac Flanagan (DLS, 2014)

Dynamic detection of object capability violations through model checking. - Dustin Rhodes; Tim Disney; Cormac Flanagan (DLS, 2014)

Game Semantics for Type Soundness. - Tim Disney; Cormac Flanagan (LICS, 2015)

Cooperative types for controlling thread interference in Java. - Jaeheon Yi; Tim Disney; Stephen N. Freund; Cormac Flanagan (Sci. Comput. Program., 2015)

Hygienic Macros for JavaScript. - Tim Disney (2015)

Macrofication: Refactoring by Reverse Macro Expansion. - Christopher Schuster; Tim Disney; Cormac Flanagan (ESOP, 2016)