Tim Disney

According to our database, Tim Disney authored at least 9 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Macrofication: Refactoring by Reverse Macro Expansion.

Christopher Schuster, Tim Disney, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2016

2015

Hygienic Macros for JavaScript.

Tim Disney

PhD thesis, 2015

Game Semantics for Type Soundness.

Tim Disney, Cormac Flanagan

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Dynamic detection of object capability violations through model checking.

Dustin Rhodes, Tim Disney, Cormac Flanagan

Proceedings of the DLS'14, 2014

Sweeten your JavaScript: hygienic macros for ES5.

Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan

Proceedings of the DLS'14, 2014

2012

Cooperative types for controlling thread interference in Java.

Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

Virtual values for language extension.

Thomas H. Austin, Tim Disney, Cormac Flanagan

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Temporal higher-order contracts.

Tim Disney, Cormac Flanagan, Jay McCarthy

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2007

A comparison of texture models for automatic liver segmentation.

Mailan Pham, Ruchaneewan Susomboon, Tim Disney, Daniela Raicu, Jacob Furst

Proceedings of the Medical Imaging 2007: Image Processing, 2007