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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Keynote Presentations


Kathleen Fisher
 HACMS: High-Assurance Vehicles
Wednesday, December 5, 9:00-10:30am

(Abstract)
DARPA Information Innovation Office
 

Nancy Leveson
 Challenges for Safety-Critical Software
Wednesday, December 5, 2:00-3:30pm

(Abstract)
Massachusetts Institute of Technology
Dept. of Aeronautics and Astronautics
Engineering Systems Division
 

Barbara Liskov
 Programming the Turing Machine
Tuesday, December 4, 9:00-10:30am

(Abstract)
Massachusetts Institute of Technology
Department of Electrical Engineering and Computer Science
 

Greg Morrisett
 Hardening Legacy C/C++ Code
Tuesday, December 4, 2:00-3:30pm

(Abstract)
Harvard University
School of Engineering and Applied Sciences
 

Guy Steele
 Programming Language Life Cycles
Thursday, December 6, 9:00-10:30am

(Abstract)
Oracle Labs
 

Created on 30 November 2012;  website comments and corrections to ClydeRoby at ACM.Org