Publication
Design choices for language-based transactions
Publication
QoS’s Downfall: At the bottom or not at all!
Project
Singularity
Singularity was a multi-year research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools.
Publication