Publication
An Introduction to Programming with C# Threads
Publication
Inferring Object Invariants
Publication
Robust Locality-Aware Lookup Networks
Publication
Dependent types for program understanding
Publication
Temporal Logic for Scenario-Based Specifications
Publication