• IRONSIDES DNS With No Single-Packet Denial of Service or Remote Code Execution Vulnerabilities

Lecture Slides

• Introduction to Ada & SPARK Michigan State University
• Language Introduction Australian National University

Articles

• Learn Ada in 2021
• Ada 2012: The Joy of Contracts Electronic Design
• Choosing a programming language for realtime systems
• ARMing Ada
• Ada 2012 redux Embedded
• The ideal programming language?
• Multicore Programming with Ada 2012 Embedded Safety
• C++11 and Ada 2012 - renaissance of native languages? Electronic Design
• Getting the right programming language for the job
• The programming language that refuses to die
• Siemens Embedded

Advocacy

• LLNL
• Ada 2012