SMACCMPilot News and Press

  • September 2014: Pat Hickey presents our paper, Building Embedded Systems with Embedded DSLs, at the Intl. Conference on Functional Programming (ICFP’14).
  • May 2014: Galois demos SMACCMPilot at the Pentagon.

  • May 2014: Lee Pike gives a talk at High Confidence Software Systems (HCSS) about SMACCMPilot.

  • January 2014: Lee Pike gives a key note at Programming Languages meets Program Verification (PLPV’13) about building SMACCMPilot.
  • October 2013: Lee Pike gives a keynote at the Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’13) entitled Building a High-Assurance Unpiloted Air Vehicle.
  • September 2013: John Launchbury gives a keynote at the Haskell Symposium entitled Haskell in Practice at Galois in which he describes the language technology behind SMACCMPilot.

  • August 2013: Chris Anderson, CEO of 3D Robotics, blogs about DARPA’s HACMS program and SMACCMPilot.

  • July 2013: Pat Hickey gives a Galois tech talk entitled SMACCMPilot: flying quadcopters using new techniques for embedded programming.
  • January 2013: The ArduPilot project merges in the hardware abstraction layer (HAL) developed by Pat Hickey for SMACCMPilot, used to port ArduPilot to the PX4 and other hardware platforms.