Blog
An Insight Into the AdaCore Ecosystem
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Charis Fisher, Cléa Mendelewski
International Women’s Day: My Career Journey
Every 8th March, International Women’s Day is celebrated around the world - it’s a great opportunity to highlight women’s talents, their…
Fabien Chouteau
BACK TO THE BUILDING BLOCKS: AdaCore’s Contributions to Secure and Measurable Software
The focus on enhancing cybersecurity through various technological approaches and methodologies, as detailed in the White House Office of the…
M. Anthony Aiello
Co-Developing Programs and Their Proof of Correctness
I am delighted to announce that the Communications of the ACM has published a paper on SPARK: “Co-Developing Programs and Their Proof of…
Maxim Reznik
Enhancing Ada Embedded Development: The Power of Real-Time Logging with RTT
Efficient embedded development in Ada relies on powerful tools. Real-time logging plays a pivotal role, enabling live monitoring and analysis. Unlike…
Nicolas Venner
DNSSEC and DMARC Compliance at AdaCore
While foundational to the internet, the traditional DNS system has its vulnerabilities. Threats such as DNS spoofing and cache poisoning pose…
Quentin Ochem, M. Anthony Aiello
GNAT Static Analysis Suite: A Vision for Static Analysis in Ada
You may have noticed that over the past two years, we have made significant updates to our CodePeer product - the most visible change being the…
Fabien Chouteau
Ada/SPARK Crate Of The Year 2023 Winners Announced!
In 2023 we announced the third edition of the Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for…
Ben Brosgol
Memory Safety in Rust
Informally, memory safety in a program means that each data access is well behaved; i.e., is consistent with the item’s data type, does not impinge…
Fabien Chouteau
AdaCore Enhances GCC Security with Innovative Features
In a significant stride towards bolstering the security of the open-source ecosystem, AdaCore has recently contributed a set of security hardening…
Gustavo A. Hoffmann
Announcing Updates to learn.adacore.com
Some time ago, we announced some updates to the learn website. In the meantime, we published the Introduction To Embedded Systems Programming course…
Fabien Chouteau
Advent of Ada/SPARK 2023 Results
At the end of November we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of…
Fabien Chouteau
Announcing Advent of Ada 2023: Coding for a Cause!
We're thrilled to kick off the holiday season with the second edition of Advent of Ada, a programming challenge that not only tests your coding…