Ada and SPARK for Academics Workshop 2024 | GNAT Academic Program

AdaCore's GNAT Academic Program (GAP) connects Ada and SPARK programmers in the academic community with industrial practitioners at AdaCore and provides a way for members to exchange knowledge and resources. Our 2024 GAP Workshop will focus on real-world projects using Ada to solve genuine problems, including: An autonomous deminer robot A bare-metal bootloader for the STM32F7 A bare-metal RINA (Recursive Internetwork Architecture) stack A native Machine Learning Engine A bare-metal Flexbox implementation A bare-metal implementation of the Min protocol For more information on the GNAT Academic Program, visit: https://www.adacore.com/academia 00:00:00 | Introduction - Olivier Henley, Adacore 00:01:58 | New Developments at AdaCore - Fabien Chouteau, AdaCore 00:14:40 | An Autonomous Deminer Robot - Joseph Binyoum, Kër Thiossane 00:36:30 | A Bare-Metal Bootloader for the STM32F7 - Alan Christopher & Xavier Zhang, Penn State 00:55:30 | A Bare-Metal RINA (Recursive Internetwork Architecture) Stack - Anthony Immekus, Keian Nathan Kaserman & Mason Ticehurst, Penn State 01:17:09 | GNAT Academic Program Updates from the Past Year - Olivier Henley, Adacore 01:37:39 | A Native Machine Learning Engine - Owen Scott Wienczkowski, Penn State 01:54:20 | A Bare-Metal Flexbox Implementation - Kien Nguyen & Stuart Edward, Penn State 02:14:40 | A Bare-Metal Implementation of the Min Protocol - Samuel Dion, University of Ottawa 02:34:02 | Conclusion and Next Steps - Olivier Henley, Adacore