Papers
Formalization and Comparison of MCDC and Object Branch Coverage Criteria
The use of value numbers in static analysis.
Towards Certification of Object-Oriented Code with the GNAT Compiler
Couverture paper presented at ERTS² 2010
A principled approach to software engineering
Conflict-detection technology takes to the skies
Coverage and Free Software
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
The Implementation of Ada 2005 Interface Types in the GNAT Compiler