AdaCore: language technologies for safety critical applications

By Raphaël Amiard, AdaCore Paris

Abstract
AdaCore is a company that develops language tooling and compilers, centered on, but not limited to, the Ada and SPARK languages. Those technologies include compilers, IDEs, formal proof tools, static analyzers, and many more.

The particularity of our market is that it is mainly focused on safety critical applications, such as civil and military avionics, medical, railway. In this talk I will go over the diverse set of technologies we develop and support, and their interest and peculiarities with regards to our core market.

Bio
Raphaël Amiard is a software engineer at AdaCore working on tooling and compiler technologies. He joined AdaCore in 2013, after an internship on AdaCore's IDEs. His main interests are compiler technologies, language design, and sound/music making.

More information