Blog Posts by Fabien Chouteau
Fabien Chouteau
Fabien joined AdaCore in 2010 after his engineering degree at the EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology. Maker/DIYer in his spare time, his projects include electronics, music and woodworking.
Fabien Chouteau
Ada Programming like it's 1985
A few days ago, someone posted a request for the Abacus Commodore 64 Ada compiler on the reddit Ada channel. After a quick look at the manual I…
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…
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…
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…
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…
Fabien Chouteau
Announcing the 2023 Ada/SPARK Crate of the Year Award
We're happy to announce the third edition of our programming awards, The Ada/SPARK Crate of the Year Award! This time with a different approach as…
Fabien Chouteau
RecordFlux State Machines
In a previous post we presented the RecordFlux specification language and toolset, illustrating how to design and generate formally proven binary…
Fabien Chouteau
The End of Binary Protocol Parser Vulnerabilities
This week we announced a new tool called RecordFlux. The goal of RecordFlux is to address one of the most critical parts of the software stack in…
Fabien Chouteau
GNAT Pro 21.6 for LYNX MOSA.ic for Avionics (MfA)
Fabien Chouteau
AdaCore joins the Rust foundation
Last year we announced our strategic partnership with Ferrous Systems, a technology company specializing in the Rust programming language. Today we…
Fabien Chouteau