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 |