Papers

2015 3 papers

1. Contracts for Async Patterns in JavaScript

   Tim Disney·Cormac Flanagan

   • STOP 2015 PDF

2. Game Semantics for Type Soundness

   Tim Disney·Cormac Flanagan

   • LICS 2015 PDF

3. Hygienic Macros for JavaScript

   Tim Disney

   • Thesis 2015 PDF

2014 3 papers

1. Dynamic Detection of Object Capability Violations Through Model Checking

   Dustin Rhodes·Tim Disney·Cormac Flanagan

   • DLS 2014 PDF

2. Sweeten Your JavaScript - Hygienic Macros for ES5

   Tim Disney·Nathan Faubion·David Herman·Cormac Flanagan

   • DLS 2014 PDF

3. Traces for Type Soundness

   Tim Disney·Cormac Flanagan

   • Tech Report PDFUCSC-SOE-14-11

2011 4 papers

1. Gradual Information Flow Typing

   Tim Disney·Cormac Flanagan

   • STOP (2011) PDFSlides

2. Temporal Higher-Order Contracts

   Tim Disney·Cormac Flanagan·Jay McCarthy

   • ICFP (2011) PDF

3. Types for Precise Thread Interference

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

   • FOOL (2011) PDF
   • UCSC Tech Report (2011) PDF

4. Virtual Values for Language Extension

   Thomas H. Austin·Tim Disney·Cormac Flanagan

   • OOPSLA (2011) PDFSlidesLightning talk

2007 4 papers

1. A Comparison of Texture Models for Automatic Liver Segmentation

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

   • SPIE Medical Imaging 2007 PDF

2. A Lookup and Reference Tool for Pulmonary Computed Tomography Nodules

   Tim Disney·Michael Lam·Daniela Raicu·Jacob Furst·David Channin

   • SIIM 2007 PDF

3. BRISC - An Open Source Pulmonary Nodule Image Retrieval Framework

   Michael Lam·Tim Disney·Daniela Raicu·Jacob Furst·David Channin

   • Journal of Digital Imaging 2007 PDF

4. Content-Based Image Retrieval for Pulmonary Computed Tomography Nodule Images

   Michael Lam·Tim Disney·Mailan Pham·Daniela Raicu·Jacob Furst·Ruchaneewan Susomboon

   • SPIE Medical Imaging 2007 PDF