: Safe Code - It's Not Just for Applets Anymore.
C. A. R. Hoare
: The Verifying Compiler: A Grand Challange for Computing Research.
: Evolving a Multi-language Object-Oriented Framework: Lessons from .NET.
Architectural Concepts and Education
: Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components.
: A Layered Type System for Re-entrance Control.
: A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification.
Frameworks and Design Principles
Formal Aspects and Reflective Programming