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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Saturday Full-Day Tutorials
(9:00am - 5:30pm)

Sunday Morning Tutorials
(9:00am - 12:30pm)

Sunday Afternoon Tutorials
(2:00 - 5:30pm)

HILT 2014 offers two days of outstanding tutorials led by some of the most respected technical leaders in the industry. These half-day and full-day tutorials have been selected to meet the needs of software developers in today's demanding environments.
Our tutorial program features a full line-up of Ada 2012 and related technology sessions and covers a broad range of disciplines including systems and software engineering, architecture, software tools, security, and the World Wide Web.


Saturday Full-Day Tutorials (9:00am - 5:30pm)
Item Title Instructor(s)
SAT_FD_1 (Belmont) Object-Oriented Programming with Ada 2005 and Ada 2012 Ed Colbert
SAT_FD_2 (Hawthorne) Introduction to SPARK 2014 Peter Chapin, John W. McCormick

Sunday Morning Tutorials (9:00am - 12:30pm)
Item Title Instructor(s)
SUN_AM_1 (Belmont) High-Integrity Object-Oriented Programming with Ada 2012 Ben Brosgol

Sunday Afternoon Tutorials (2:00 - 5:30pm)
Item Title Instructor(s)
SUN_PM_1 (Belmont) AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded Systems Jérôme Hugues, Frank Singhoff
SUN_PM_2 (Hawthorne) Rust — Zero-Cost Safety Niko Matsakis

Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org