Blog

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

AdaCore at FOSDEM 2023

Fabien Chouteau

Ada/SPARK Crate Of The Year 2022 Winners Announced!

Fabien Chouteau

Advent of Ada/SPARK 2022 Results

At the end of November we called the Ada and SPARK programmers community to take on a challenge for a good cause. We are now in January and it is…

Fabien Chouteau

Our Contribution to the Ada Logo Discussion

From time to time we see, here and there, discussions in the Ada community about the design and adoption of a common logo to represent the language.…

Fabien Chouteau

Coroutines in Ada, a Clean but Heavy Implementation

A few months ago I was reading this article about coroutines in game development and how they are great tools for writing scripts (as in movie…

Pat Rogers

New Learn Course: Introduction To Embedded Systems Programming

Fabien Chouteau

Tis the Season to be Giving falalalala lalalala

Every year since 2015, a team of dedicated individuals led by Eric Wastl organizes an online programming challenge called: Advent of Code. The…

Fabien Chouteau

NVIDIA Security Team: “What if we just stopped using C?”

Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser…

Daniel King

Avoiding Vulnerabilities in Crypto Code with SPARK

Johannes Kliemann

Adding Ada to Rust

While implementing application logic in Ada or SPARK is an improvement over a pure C project, its weakest link is still the C code in the SDK. On the…

Yannick Moy

When Formal Verification with SPARK is the Strongest Link

Security is only as strong as its strongest link. That's important to keep in mind for software security, with its long chain of links, from design…