| Gradual information flow typing T Disney, C Flanagan International workshop on scripts to programs, 2011 | 75 | 2011 |
| BRISC—an open source pulmonary nodule image retrieval framework MO Lam, T Disney, DS Raicu, J Furst, DS Channin Journal of digital imaging 20, 63-71, 2007 | 68 | 2007 |
| A comparison of texture models for automatic liver segmentation M Pham, R Susomboon, T Disney, D Raicu, J Furst Medical Imaging 2007: Image Processing 6512, 1467-1478, 2007 | 63 | 2007 |
| Temporal higher-order contracts T Disney, C Flanagan, J McCarthy Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011 | 62 | 2011 |
| Content-based image retrieval for pulmonary computed tomography nodule images M Lam, T Disney, M Pham, D Raicu, J Furst, R Susomboon Medical Imaging 2007: PACS and Imaging Informatics 6516, 194-205, 2007 | 58 | 2007 |
| Virtual values for language extension TH Austin, T Disney, C Flanagan Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 41 | 2011 |
| Sweeten your JavaScript: Hygienic macros for ES5 T Disney, N Faubion, D Herman, C Flanagan Proceedings of the 10th ACM Symposium on Dynamic languages, 35-44, 2014 | 28 | 2014 |
| Cooperative types for controlling thread interference in Java J Yi, T Disney, SN Freund, C Flanagan Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 21 | 2012 |
| A peer architecture for lightweight symbolic execution AD Bruni, T Disney, C Flanagan Universidad de California, Santa Cruz, 2011 | 12 | 2011 |
| Dynamic information flow analysis for featherweight JavaScript TH Austin, T Disney, C Flanagan, A Jeffrey Univ. California at Santa Cruz, Santa Cruz, CA, Tech. Rep. UCSC-SOE-11–19, 2011 | 9 | 2011 |
| Macrofication: Refactoring by reverse macro expansion C Schuster, T Disney, C Flanagan Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 7 | 2016 |
| Dynamic detection of object capability violations through model checking D Rhodes, T Disney, C Flanagan ACM SIGPLAN Notices 50 (2), 103-112, 2014 | 6 | 2014 |
| Types for precise thread interference J Yi, T Disney, SN Freund, C Flanagan International Workshop on Foundations of Object-Oriented Languages (FOOL), 2011 | 6 | 2011 |
| Game semantics for type soundness T Disney, C Flanagan 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 104-114, 2015 | 5 | 2015 |
| Virtual values for taint and information flow analysis P Kannan, T Austin, M Stamp, T Disney, C Flanagan | 4 | 2016 |
| Hygienic macros for JavaScript T Disney University of California, Santa Cruz, 2015 | 4 | 2015 |
| Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report# UCSC-SOE-11-19 TH Austin, T Disney, C Flanagan, A Jeffrey | 1 | 2011 |
| MedIX 2006 Week 3 CBIR Report T Disney, M Lam, M Pham Jun, 2006 | 1 | 2006 |
| Cooperative Concurrency for a Multicore World C Flanagan, T Disney, C Sadowski, J Yi, S Freund | | |
| Information Flow Analysis for Featherweight JavaScript T Disney, TH Austin, C Flanagan, A Jeffrey | | |
