Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
Mixed Presence Groupware (MPG) supports both colocated and distributed participants working over a shared visual workspace. It does this by connecting multiple single-display grou...
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
As agile software development principles and methods are being adopted by large software product organizations it is important to understand the role of software entropy. That is,...
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...