explains Ada's shrinking footprints

on YouTube ↗02m

" summary

AdaCore showcases four updated tools: QGEN customizable qualifiable code generator, CodePeer static analyzer, SPARK Pro formal verification toolset and GNAT Pro IDE, all used to build demos in Ada/SPARK running on iOS, Android and bare‑metal ARM Cortex‑M4/M7 boards. Runtimes scale from zero footprint to larger images, and customers report deployed applications running in space on boards as small as an AVR 8-bit.

AI-written summary · about

" related talks

• 06mEmbedded Executive LIVERich Nass, Mark Hermeling · embedded world North America 2026
• 30mDemocratizing InnovationMassimo Banzi · Arm AIoT Dev Summit 2019
• 51mTinyGo, small but mighty! 💪Thierry Chantier · Voxxed Days Luxembourg 2024
• 20mACES: Automatic Compartments for Embedded SystemsMathias Payer, Abraham A Clements, Naif Saleh Almakhdhub, Saurabh Bagchi · USENIX Security '18
• 01h 12mPoster / Demo PreviewsJie Chen, Juan Fumero, Ekaterina Berezina, Wei Song, Chris Jones, Alberto Dassatti, Alex Bradbury, Mauro Olivieri, Zdenek Prikryl, Mary Bennett, Vasily Varaksin, Luke Kenneth Casson Leighton, Luca Carloni, Alexander Kamkin, Andrei Tatarnikov, Derek Atkins, Andrey Smolyarov, Christian Palmiero, Matt Cockrell, Christian Fabre, Nicolas Gaude, Hai Yu, Felix Kaiser, Heng Lin, Maja Malenko, Eric Matthews, Lesley Shannon, Paulo Matos, Lucas Morais, Aleksandar Pajkanovic, Matheus Ogleari, Shubhodeep Roy, Boris Shingarov, Christoph Schulz, Rui Hou, Dan Meng, Greg Sullivan, Robert Trout, Danny Ybarra · 8th RISC-V Workshop Barcelona 2018
• 10mNative Parity for Development & Testing of SOAFEE Software-Defined VehicleJoe Speed · SOAFEE Virtual Symposium 2022
• 11mLightning Talk: Accelerating Experimentation...Luca Antiga, Niall Lyons · PyTorch Conference 2025
• 11mDemo: Catapult Studio for Imagination RISC-V CPUsSimon Harvey · RISC-V Summit North America 2023