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.
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 become 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 the binding layer regenerated automatically as your…
Your Compiler Is Part Of Your Software Supply Chain
Discover why your compiler counts as a supply-chain component under the Cyber Resilience Act, and how GNAT Pro delivers the SBOM, vulnerability…
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.
Adaptive Static Analysis: ShiftLeft Across All Modalities
Sneak preview of the CodeSonar MCP server analyzing C code and automatic fixing of MISRA violations
From CodeSecure to AdaCore: Our Journeys in Product and Technical Marketing
Hear from Mark Hermeling and Sean Evoy about how they’ve found their transition from CodeSecure to joining AdaCore as part of last year’s merger.