Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...
Mark Baker, Bryan Carpenter, Geoffrey Fox, Sung Ho...