Papers
Dynamic Plug-in Loading with Ada
The Application of Compile-Time Reflection to Software Fault Tolerance using Ada 95
Ada 2005 Abstract Interfaces in GNAT
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java
Vector Processing in Ada
Multilanguage Programming on the JVM: The Ada 95 Benefits
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification
Real-Time Convergence of Ada and Java
High-Integrity Systems Development for Integrated Modular Avionics using VxWorks and GNAT
Quality Control in a Multi-Platform Multi-Product Software Company