HILT 2013             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Safe, Efficient Parallel Programming

Panel Moderator: Clyde Roby (Institute for Defense Analyses)


Stephen Michell
Tucker Taft


Topics to be covered: Real-Time Programming on Accelator Many-Core Processors, Bringing Parallel Programming to the SPARK Verifiable Subset of Ada.

Created on 29 May 2014;  website comments and corrections to ClydeRoby at ACM.Org