Content by Mark Hermeling
Mark Hermeling
Head of Technical Marketing, AdaCore
Mark has over 25 years’ experience in software development tools for high-integrity, secure, embedded and real-time systems across automotive, aerospace, defence and industrial domains. As Head of Technical Marketing at AdaCore, he links technical capabilities to business value and is a regular author and speaker on on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification.
Ada SPARK Office Hours
AdaCore hosts Ada SPARK Office Hours, an open forum for the community to learn, share, and collaborate. Learn more inside.
Specifications Matter: The Case for SPARK in the Undergraduate Curriculum
Explore how AI changes what's worth grading in computer science, and how SPARK gives you something that still differentiates students.
AI Will Multiply Your Code Output. It Will Also Multiply Your Liability
See how AI's coding speed multiplies your liability in C/C++, and how SPARK changes that equation.
SPARK Doesn't Comply With MISRA C. It Makes Most of It Moot
See how a rule-by-rule comparison of SPARK against MISRA C shows most hazards moot by design, the rest proven or rejected by the compiler.
Prototyping memory safety in your automotive stack — in weeks, not years
Learn how pairing LLM translation with GNATpolyglot's automated bindings collapses the cost of evaluating memory safety in your automotive firmware.
Building and evolving multi-language systems with confidence using GNATpolyglot
See how GNATpolyglot lets you call high-integrity Ada/SPARK code from C++, Java, and Rust, with bindings regenerated as your system evolves.
Your Compiler Is Part Of Your Software Supply Chain
Discover why your compiler counts as a supply-chain component under the CRA, and how GNAT Pro proves it.
Three Ways SPARK Catches Bugs Before Your Hardware Does
This blog explores how SPARK prevents mistakes and reduces the defects in your source code by up to 70%.
Static analysis, compiler and code coverage driven by an LLM
How Language Design Impacts Security
In this blog we have created a table listing each CWE and/or CWE class, along with how each programming language addresses that category.
Abstract Interpretation vs Agentic AI
This blog explores how static analysis compares to using an LLM to find defects in source code, and when would you use one over the other.
