NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

https://is1-ssl.mzstatic.com/image/thumb/Podcasts211/v4/76/e8/bf/76e8bfa6-aa31-a3bf-7a67-410aef875c2c/mza_6129175143813083552.jpg/600x600bb.jpg

Beyond memory safety with the Ada SPARK programming language

Kevin Chadwick

26 episodes

4 days ago

Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io

Technology

RSS

All content for Beyond memory safety with the Ada SPARK programming language is the property of Kevin Chadwick and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io

Technology

https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_episode/40744223/40744223-1759354801617-53e3960b8908d.jpg

NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

Beyond memory safety with the Ada SPARK programming language

28 minutes 55 seconds

1 month ago

NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

This episode is a great demonstration of Ada SPARK going beyond memory safety.

It is generated by Googles NotebookLM. It may be subject to hallucinations that are not present in AdaCores source material found below:

https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era-in-security-critical-software-development