Tim Disney

2011

• Types for Precise Thread Interference (Tech Report)
• Virtual Values for Language Extension (OOPSLA 2011)
• Temporal Higher-Order Contracts (ICFP 2011)
• Gradual Information Flow Typing (STOP 2011)

2007

• BRISC - An Open Source Pulmonary Nodule Image Retrieval Framework (Journal of Digital Imaging 2007)
• A Lookup and Reference Tool for Pulmonary Computed Tomography Nodules (SIIM 2007)
• A Comparison of Texture Models for Automatic Liver Segmentation (SPIE Medical Imaging 2007)
• Content-Based Image Retrieval for Pulmonary Computed Tomography Nodule Images (SPIE Medical Imaging 2007)