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

DARPA Information Innovation Office

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

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

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

Harvard University
School of Engineering and Applied Sciences

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

Oracle Labs

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