Blog
An Insight Into the AdaCore Ecosystem
Mar 19, 2026
Kyriakos Georgiou
Hardware-Driven Security: Can CHERI Fix the "Blind Spots" of Software Testing?
This work combines fuzz testing with CHERI hardware. Unlike heuristic-based sanitizers, CHERI uses hardware-enforced capabilities - pointers with…
Read More
Oct 01, 2007
Gem #11: Limited Types in Ada 2005 — Constructor Functions Part 2
Sep 24, 2007
Gem #10: Limited Types in Ada 2005 — Extended Return Statements
Sep 17, 2007
Gem #9: Classwide Operations, Iterators, and Generic Algorithms
Sep 10, 2007
Gem #8: Factory Functions
Jun 25, 2007
Gem #7: The Beauty of Numeric Literals in Ada
Jun 18, 2007
Gem #6: The Ada95 Multiple Views Idiom vs. Ada05 Interfaces
Jun 11, 2007
Gem #5: Key-Based Searching In Set Containers
Jun 04, 2007
Gem #4: PWM Position Control for Radiocontrol Servos
May 28, 2007
Gem #3: Limited Types in Ada 2005 — Constructor Functions
May 21, 2007
Gem #2: Limited Types in Ada 2005 — <> Notation in Aggregates
May 14, 2007