This paper presents a new solution to the expression problem (EP) that works in OO
languages with simple generics (including Java or C#). A key novelty of this solution is that …

Distributed applications enhance their execution by using remote resources. However,
distributed execution incurs communication, synchronization, fault-handling, and security …

Recently, there has been much interest in multi-party session types (MPSTs) as a means of
rigorously specifying protocols for interaction among multiple distributed participants. By …

With battery capacities remaining a key physical constraint for mobile devices, energy
efficiency has become an important software design consideration. Distributed programming …

Remote procedure calls are computationally expensive, because network round-trips take
several orders of magnitude longer than local interactions. One common technique for …

Reference attribute grammars (RAGs) is a powerful formalism for developing modular
extensible compilers and program analysis tools. This paper presents JavaRAG, an …

Remote data access latency is a significant performance bottleneck in many modern
programs that use remote databases and web services. We present Sprint-a run-time system …

Batch services are a new approach to distributed computation in which clients send batches
of operations for execution on a server and receive hierarchical results sets in response. In …

Reference attribute grammars (RAGs) can be used to express semantics as super-imposed
graphs on top of abstract syntax trees (ASTs). A RAG-based AST can be used as the in …

We propose a new compiler, called Mashic, for the automatic generation of secure
Javascript-based mashups from existing mashup code. The Mashic compiler can effortlessly …