High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Safe, Efficient Parallel Programming

Panel Moderator: Clyde Roby (Institute for Defense Analyses)

Panelists:

Stephen Michell
Tucker Taft

Abstract

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