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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

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

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

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

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

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

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

HILT 2012 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 2005 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.


Sunday Full-Day Tutorials (9:00am - 5:30pm)
Item Title Instructor(s)
SF1 Design of multitask software: The entity-life modeling approach Bo I. Sandén

Sunday Morning Tutorials (9:00am - 12:30pm)
Item Title Instructor(s)
SA1 Leading-edge Ada Verification Technologies: Highly automated Ada contract checking using Bakar Kiasan Jason Belt, Patrice Chalin, John Hatcliff, Dr. Robby
SA2 Ada 2012 Contracts and Aspects Ed Colbert

Sunday Afternoon Tutorials (2:00 - 5:30pm)
Item Title Instructor(s)
SP1 Leading-Edge Ada Verification Technologies: Combining Testing and Verification with GNATTest and GNATProve — the Hi-Lite Project Johannes Kanig
SP2 Object-Oriented Programming with Ada 2005 and 2012 Ed Colbert

Monday Full-Day Tutorials (9:00am - 5:30pm)
Item Title Instructor(s)
MF1 Safety of Embedded Software Nancy Leveson, Cody Fleming, John Thomas

Monday Morning Tutorials (9:00am - 12:30pm)
Item Title Instructor(s)
MA1 Developing Verified Programs with Dafny K. Rustan M. Leino
MA2 Service-Oriented Architecture (SOA) Concepts and Implementations Ricky E. Sward, Jeff Boleng

Monday Afternoon Tutorials (2:00 - 5:30pm)
Item Title Instructor(s)
MP1 Multicore Programming using Divide-and-Conquer and Work Stealing Tucker Taft
MP2 Understanding Dynamic Memory Management in Safety Critical Java Kelvin Nilsen

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