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.

• June 2013: Pat Hickey gives an invited talk on SMACCMPilot at Drone Con 2013, associated with the Fifth Annual SparkFun Autonomous Vehicle Competition.

• 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.