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)

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