wasp mascot


Washington Advanced Systems for Programming


We are investigating issues related to software transactional memory, a concurrency primitive that is easier-to-use and harder-to-implement than locks. Our work has considered language design, semantics, (software) implementation, and evaluation (for reliability and performance). Prior work has resulted in several publications and prototypes from the group; see below.

Currently, we are considering two questions that are important for integrating transactions with sensible semantics and efficient implementations into modern programmling langauges.

Current contacts: Laura Effinger-Dean, Matthew Kehrt, Dan Grossman

Relevant publications:

Available software (download after following links):