The Proteus Programming System  This is the home page for the Proteus Project. This project is a collaborative effort by researchers at UNC Chapel Hill, Kestrel Institute, and Duke University to develop a system for the specification, prototyping, analysis and generation of parallel software....

The Khepera Transformation System  System is a system designed for implementing complex program transformations in a research environment. This system provides the scaffolding for my dissertation work on debugging programs after significant, structure-changing transformations. It also provides an environment for the implementation of The...