inbox

Incoming uploads (i.e. not yet processed)
file

Visible to the public Programming Languages for High-Assurance Autonomous Vehicles

Abstract:

I will discuss how, in just 1.5 years, Galois built two new domain-specific languages (DSLs) and used them to develop a "hack-proof", full-featured unpiloted air system. The secret to our increased productivity and assurance was building embedded DSLs, in which the DSLs are libraries in Haskell. We generate embedded C code that is guaranteed to be memory-safe from a relatively small specification.

The autopilot and more information is available at smaccmpilot.org.

Speaker Bio: