Papers
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
The Implementation of Ada 2005 Interface Types in the GNAT Compiler
Safety, Security, and Object-Oriented Programming
Certification & Object Orientation: The New Ada Answer
Safe and Secure Software - An invitation to Ada 2005
Ada 2005 Rationale
Ada 2005 for Mission-Critical Systems
Safety-Critical Design Techniques for Secure and Reliable Systems
Ada 2005 – Ready to Roll
Ada 2005 for High-Integrity Systems
The Implementation of Ada 2005 Synchronized Interfaces in the GNAT Compiler