Papers

• Hygienic Macros for JavaScript 2015
• Game Semantics for Type Soundness 2015
• Contracts for Async Patterns in JavaScript 2015
• Traces for Type Soundness 2014
• Sweeten Your JavaScript - Hygienic Macros for ES5 2014
• Dynamic Detection of Object Capability Violations Through Model Checking 2014
• Virtual Values for Language Extension 2011
• Types for Precise Thread Interference 2011
• Temporal Higher-Order Contracts 2011
• Gradual Information Flow Typing 2011
• Content-Based Image Retrieval for Pulmonary Computed Tomography Nodule Images 2007
• BRISC - An Open Source Pulmonary Nodule Image Retrieval Framework 2007
• A Lookup and Reference Tool for Pulmonary Computed Tomography Nodules 2007
• A Comparison of Texture Models for Automatic Liver Segmentation 2007