High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Saturday, October 18 | |
TUTORIAL PROGRAM |
Sunday, October 19 | |
TUTORIAL PROGRAM | |
Evening Activities (7:00pm - 10:00pm) | |
7:00 - 10:00pm |
SIGAda Business Meeting (Belmont Room) Open to all |
Monday, October 20 | |
TECHNICAL PROGRAM (Mt. Hood) | |
9:00 - 10:30am |
Plenary Session Greetings from SIGAda and Conference Officers
Plenary Session
Keynote Address: Due to a last minute conflict at the Spaceport, Christine will be joining us by video. Session: Ada Lessons Learned Ada83 to Ada2012—Lessons Learned Over 30 Years of Language Design |
10:30 - 11:00am | Morning Break - Exhibits Open (Pearl Room) |
11:00am - 12:30pm |
Session: Enhancing and Evolving Embedded Systems Languages for Safety
Can C++ Be Made as Safe as SPARK? mbeddr—Extensible languages for Embedded Software Development |
12:30 - 2:00pm | Mid-day Break and Exhibits (Pearl Room) |
2:00 - 3:30pm |
Session: Model-Based Engineering
Invited Address Resolute: An Assurance Case Language for Architecture Models |
3:30 - 4:00pm | Afternoon Break and Exhibits (Pearl Room) |
4:00 - 5:30pm |
Session: Behavioral Modeling and Code Generation
Hybrid Annex: An AADL Extension for Continuous Behavior and Cyber-Physical Interaction Modeling Leveraging Ada 2012 and SPARK 29014 for Assessing Generated Code from AADL Models Session: Industrial Presentations Formal Semantics for the PACEMAKER System Specification UML with Meaning: Executable Modeling in Foundational UML and the Alf Action Language Session: Panel
Panel: Executable and Behavioral Modeling Languages
|
5:30 - 7:00pm | Break |
7:00 - 10:00pm |
Dinner and Social Event |
Tuesday, October 21 | |
TECHNICAL PROGRAM (Mt. Hood) | |
8:30 - 10:00am |
Plenary Session Announcements SIGAda Awards
Plenary Session
Keynote Address: Session: Sponsor Presentation Microsoft Research Sponsor Presentation |
10:00 - 10:30am | Morning Break and Exhibits (Pearl Room) |
10:30am - 12:30pm |
Session: Applying Formal Methods
A Framework for Model Checking UDP Network Programs with Java Pathfinder Specification of Generic APIs—or: Why Algebraic May Be Better Than Pre/Post Ellidiss Sponsor Presentation |
12:30 - 2:00pm | Lunch in Exhibits (Pearl Room) |
2:00 - 3:30pm |
Session: Safe Programming Languages for the Multicore Era (I)
Safe Parallel Programming in Ada with Language Extensions Spot: A Programming Language for Verified Flight Software |
3:30 - 4:00pm | Afternoon Break and Exhibits (Pearl Room) |
4:00 - 5:30pm |
Session: Safe Programming Languages for the Multicore Era (II)
Panel: Finding Safety in Numbers—New Languages for Safe Multicore Programming and Modeling
|
5:30 - 6:00pm |
Plenary Session Ada-Europe 2015 Conference Announcement Future SIGAda Conferences |
Wednesday, October 22 | |
HILT Attendees are invited to attend the Wednesday morning SPLASH Keynote. | |
8:30 - 10:00am |
Plenary Session Keynote Address: |