|
|
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 | |