Taking the Observatory to the Astronomer
Telex: Principled System Support for Write-Sharing in Collaborative Applications
Temporal Debugging using URDB
The CHARA Array Control System
The combinatorics of resource sharing
The Design and Architecture of the Microsoft Cluster Service -- A Practical Approach to High-Availability and Scalability
The IPS data acquisition and communication system
The MASTER-99 space debris and meteoroid environment model
The Unix KISS: A Case Study
Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways
Transparent Programming of Heterogeneous Smartphones for Sensing