This channel is dedicated to presenting videos produced by AdaCore, the leading provider of commercial, open software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical.



Here you'll see videos on topics such as:



The Ada programming language

Open-Source and Free Software development

Safety-Critical software development

Lean and Agile software development

The DO-178b, DO-178c certification standards

Life at AdaCore
4:59
Life at AdaCore
Ada and SPARK for Academics Workshop 2024 | GNAT Academic Program
2:35:40
Ada and SPARK for Academics Workshop 2024 | GNAT Academic Program
How to run Ada and SPARK code on NVIDIA GPUs and CUDA
32:47
How to run Ada and SPARK code on NVIDIA GPUs and CUDA
High Integrity Technology Update | April 2024
1:11:52
High Integrity Technology Update | April 2024
Proving Software Security with SPARK Pro
48:42
Proving Software Security with SPARK Pro
Memory Safety with Formal Proof Webinar
39:16
Memory Safety with Formal Proof Webinar
Webinar | SPARK Pro for Embedded and Systems Programming
46:05
Webinar | SPARK Pro for Embedded and Systems Programming
Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)
13:59
Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)
Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)
17:26
Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)
SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)
25:16
SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)
Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)
38:07
Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)
GAP Capstone Projects (AdaCore GAP Workshop June 21, 2023)Description:
3:00
GAP Capstone Projects (AdaCore GAP Workshop June 21, 2023)Description:
Design and Implementation of a Networked, Embedded Oscilloscope (AdaCore GAP Workshop June 21, 2023)
19:41
Design and Implementation of a Networked, Embedded Oscilloscope (AdaCore GAP Workshop June 21, 2023)
Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)
24:14
Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)
adareducer at work
0:50
adareducer at work
Unity & Ada
14:55
Unity & Ada
Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2022)
17:27
Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2022)
Introducing Students to Formal Methods through SPARK (AdaCore GAP Workshop June 21, 2022)
32:08
Introducing Students to Formal Methods through SPARK (AdaCore GAP Workshop June 21, 2022)
Developing a Secure Programming Course (AdaCore GAP Workshop June 21, 2022)
37:34
Developing a Secure Programming Course (AdaCore GAP Workshop June 21, 2022)
Technical Update on Ada, SPARK, Libadalang, and VS Code (AdaCore GAP Workshop June 21, 2022)
19:22
Technical Update on Ada, SPARK, Libadalang, and VS Code (AdaCore GAP Workshop June 21, 2022)
SPARK/Ada in Formal Software System Modeling and Design (AdaCore GAP Workshop June 21, 2022)
39:19
SPARK/Ada in Formal Software System Modeling and Design (AdaCore GAP Workshop June 21, 2022)
The Beauty of Epiphanies in the Learning of Concurrency (AdaCore GAP Workshop June 21, 2022)
43:02
The Beauty of Epiphanies in the Learning of Concurrency (AdaCore GAP Workshop June 21, 2022)
GNAT Pro Assurance
2:31
GNAT Pro Assurance
Developing FACE™ conformant software in Ada — Tech Days 2021
26:06
Developing FACE™ conformant software in Ada — Tech Days 2021
Cost-effective Approach to Software Certification — Tech Days 2021
17:56
Cost-effective Approach to Software Certification — Tech Days 2021
How auto code generation tools can help save time/money and streamline the certification process
24:51
How auto code generation tools can help save time/money and streamline the certification process
Ada migration to Helix/VxWorks made simple — Tech Days 2021
18:49
Ada migration to Helix/VxWorks made simple — Tech Days 2021
Refactoring with confidence: A pattern-based approach built on top of LibAdaLang to save money
25:54
Refactoring with confidence: A pattern-based approach built on top of LibAdaLang to save money
Meeting today’s Cybersecurity Challenges — Tech Days 2021
20:52
Meeting today’s Cybersecurity Challenges — Tech Days 2021
AdaCore: Helping People Build Software That Matters
1:27
AdaCore: Helping People Build Software That Matters