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