Publications

Type Aware Transactions for Faster Concurrent Code

PDF Code Project

Projects

Encounter-Based Communication

We introduce a new communication paradighmed called Encounter-based Communicaion (EbC), which uses secure encounters as first-class objects to bootstrap communication.

STO: Software Transactional Objects

STO is a Software Transactional Memory (STM) that improves performance by tracking abstract operations instead of memory words.