![]() |
![]() |
High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Sunday Morning Tutorials
(9:00am - 12:30pm)Sunday Afternoon Tutorials
(2:00 - 5:30pm)Monday Morning Tutorials
(9:00am - 12:30pm)Monday Afternoon Tutorials
(2:00 - 5:30pm) HILT 2013 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.
Sunday Morning Tutorials (9:00am - 12:30pm) |
|||
Item | Title | Instructor(s) | |
SA1 | Object-Oriented Programming in Ada 2012, Part 1 | Ed Colbert | |
SA2 | Proving Safety of Parallel / Multi-Threaded Programs | Tucker Taft | |
Sunday Afternoon Tutorials (2:00 - 5:30pm) |
|||
Item | Title | Instructor(s) | |
SP1 | Object-Oriented Programming in Ada 2012, Part 2 | Ed Colbert | |
SP2 | Engineering Domain-Specific Languages with FORMULA 2.0 | Ethan K. Jackson | |
Monday Morning Tutorials (9:00am - 12:30pm) |
|||
Item | Title | Instructor(s) | |
MA1 | Satisfiability Modulo Theories for High Integrity Development | Nikolaj Bjorner | |
MA2 | Practical Specification and Verification with CodeContracts | Francesco Logozzo | |
Monday Afternoon Tutorials (2:00 - 5:30pm) |
|||
Item | Title | Instructor(s) | |
MP1 | Bounded Model Checking for High-Integrity Software | Sagar Chaki | |
MP2 | Service-Oriented Architecture (SOA) Concepts and Implementations | Ricky E. Sward, Jeff Boleng |