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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Approaches to Software Safety and Security

Panel Moderator: Alok Srivastava (TASC Inc.)


Robert Seacord
Ethan K. Jackson
Joe Hendrix
Francesco Logozzo
Suad Alagic


Topics to be covered: Secure Coding, Use of Domain-Specific Languages, Integrating technologies for verification, Using contract-based programming tools, Automatic versus Interactive Program Verification.

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