- 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)