Tim Disney

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Temporal Properties

Cooperating Agents

Top Venues

Sci. Comput. Program.

Publications

Christopher Schuster, Tim Disney, Cormac Flanagan
Macrofication: Refactoring by Reverse Macro Expansion. ESOP (2016)
Tim Disney, Cormac Flanagan
Game Semantics for Type Soundness. LICS (2015)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. Sci. Comput. Program. 112 (2015)
Dustin Rhodes, Tim Disney, Cormac Flanagan
Dynamic detection of object capability violations through model checking. DLS (2014)
Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan
Sweeten your JavaScript: hygienic macros for ES5. DLS (2014)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. ISSTA (2012)
Thomas H. Austin, Tim Disney, Cormac Flanagan
Virtual values for language extension. OOPSLA (2011)
Tim Disney, Cormac Flanagan, Jay McCarthy
Temporal higher-order contracts. ICFP (2011)
Mailan Pham, Ruchaneewan Susomboon, Tim Disney, Daniela Raicu, Jacob D. Furst
A comparison of texture models for automatic liver segmentation. Medical Imaging: Image Processing (2007)