Incoming uploads (i.e. not yet processed)

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


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

Speaker Bio: