2015
- Hygienic Macros for JavaScript
- Game Semantics for Type Soundness
- Contracts for Async Patterns in JavaScript
2014
- Sweeten Your JavaScript: Hygienic Macros for ES5
- Dynamic Detection of Object Capability Violations Through Model Checking
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)