Dave Clarke

Joint Papers

• Godot: All the Benefits of Implicit and Explicit Futures
• A formal model of service-oriented dynamic object groups
• Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
• A Type-Safe Model of Adaptive Object Groups
• Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
• Concurrent Objects a la Carte
• Minimal Ownership for Active Objects
• A Complete Guide to the Future