Tim Disney
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ESOP | Macrofication: Refactoring by Reverse Macro Expansion. | Christopher Schuster, Tim Disney, Cormac Flanagan |
| 2015 | LICS | Game Semantics for Type Soundness. | Tim Disney, Cormac Flanagan |
| 2014 | DLS | Sweeten your JavaScript: hygienic macros for ES5. | Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan |
| 2014 | DLS | Dynamic detection of object capability violations through model checking. | Dustin Rhodes, Tim Disney, Cormac Flanagan |
| 2012 | ISSTA | Cooperative types for controlling thread interference in Java. | Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan |
| 2011 | ICFP | Temporal higher-order contracts. | Tim Disney, Cormac Flanagan, Jay McCarthy |
| 2011 | OOPSLA | Virtual values for language extension. | Thomas H. Austin, Tim Disney, Cormac Flanagan |