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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Conference at a Glance

Final Program

Saturday, October 18

Sunday, October 19
Evening Activities (7:00pm - 10:00pm)
7:00 - 10:00pm SIGAda Business Meeting (Belmont Room)
Open to all

Monday, October 20
9:00 - 10:30am

Plenary Session

Greetings from SIGAda and Conference Officers

Plenary Session
Chair: John Barnes (John Barnes Informatics)

Keynote Address:

From Ada9X to Spaceport America: Going Where No One Has Gone Before
Christine Anderson (Spaceport America)

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
John Barnes (John Barnes Informatics) and Tucker Taft (AdaCore)

10:30 - 11:00am Morning Break - Exhibits Open (Pearl Room)
11:00am - 12:30pm

Session: Enhancing and Evolving Embedded Systems Languages for Safety
Chair: Jack Wileden (University of Massachusetts, Amherst)

Can C++ Be Made as Safe as SPARK?
David Crocker (Escher Technologies Ltd., UK)

mbeddr—Extensible languages for Embedded Software Development
Tamas Szabo (itemis AG, Germany)

AdaCore Sponsor Presentation
Ben Brosgol (AdaCore)

12:30 - 2:00pm Mid-day Break and Exhibits (Pearl Room)
2:00 - 3:30pm

Session: Model-Based Engineering
Chair: Julien Delange (Carnegie Mellon University Software Engineering Institute (SEI))

Invited Address

AADL and Model-Based Engineering
Peter Feiler (Software Engineering Institute / Carnegie Mellon University)

Resolute: An Assurance Case Language for Architecture Models
John Backes (Rockwell Collins)

3:30 - 4:00pm Afternoon Break and Exhibits (Pearl Room)
4:00 - 5:30pm

Session: Behavioral Modeling and Code Generation
Chair: John W. McCormick (University of Northern Iowa)

Hybrid Annex: An AADL Extension for Continuous Behavior and Cyber-Physical Interaction Modeling
Stephen Barrett (Kansas State University)

Leveraging Ada 2012 and SPARK 29014 for Assessing Generated Code from AADL Models
Jérôme Hugues (Institute for Space and Aeronautics Engineering (ISAE), Toulouse, France)

Session: Industrial Presentations

Formal Semantics for the PACEMAKER System Specification
Brian Larson (Kansas State University)

UML with Meaning: Executable Modeling in Foundational UML and the Alf Action Language
Ed Seidewitz (Model Driven Solutions)

Session: Panel

Panel: Executable and Behavioral Modeling Languages

Moderator: John W. McCormick (University of Northern Iowa)

Continuous AADL for Cyber-Physical Modeling — Stephen Barrett (Kansas State University)
Assessing AADL Code Generation Using SPARK — Jérôme Hugues (Institute for Space and Aeronautics Engineering (ISAE), Toulouse, France)
PACEMAKER Specification Using Behavioral AADL — Brian Larson (Kansas State University)
Adding Meaning to UML with the Alf Action Language — Ed Seidewitz (Model Driven Solutions)

5:30 - 7:00pm Break
7:00 - 10:00pm

Dinner and Social Event
Portland Food Cart World Tour

Tuesday, October 21
8:30 - 10:00am

Plenary Session


SIGAda Awards
David Cook (Chair of SIGAda)

Plenary Session
Chair: Judith Bishop (Microsoft Research)

Keynote Address:

Correctness via Compilation to Logic
Thomas Ball (Microsoft Research)

Session: Sponsor Presentation

Microsoft Research Sponsor Presentation
Thomas Ball (Microsoft Research)

10:00 - 10:30am Morning Break and Exhibits (Pearl Room)
10:30am - 12:30pm

Session: Applying Formal Methods
Chair: Tucker Taft (AdaCore)

A Framework for Model Checking UDP Network Programs with Java Pathfinder
William Rathje (University of Puget Sound)

Specification of Generic APIs—or: Why Algebraic May Be Better Than Pre/Post
Magne Haveraaen (University of Bergen, Norway)

Ellidiss Sponsor Presentation
Tony Elliston (Ellidiss (TNI Europe))

12:30 - 2:00pm Lunch in Exhibits (Pearl Room)
2:00 - 3:30pm

Session: Safe Programming Languages for the Multicore Era (I)
Chair: Brad Moore (General Dynamics)

Safe Parallel Programming in Ada with Language Extensions
Tucker Taft (AdaCore)

Spot: A Programming Language for Verified Flight Software
Robert Bocchino (Jet Propulsion Laboratory)

The Rust Language
Niko Matsakis (Mozilla Research)

3:30 - 4:00pm Afternoon Break and Exhibits (Pearl Room)
4:00 - 5:30pm

Session: Safe Programming Languages for the Multicore Era (II)
Chair: Clyde Roby (Institute for Defense Analyses)

Panel: Finding Safety in Numbers—New Languages for Safe Multicore Programming and Modeling

Moderator: Clyde Roby (Institute for Defense Analyses)

Spot for Verified Flight Software — Robert Bocchino (Jet Propulsion Laboratory)
The Rust Language — Niko Matsakis (Mozilla Research)
ParaSail for Pointer-Free Parallelism — Tucker Taft (AdaCore)
BLESS: Behavioral AADL — Brian Larson (Kansas State University)
Alf: Action Language for Foundational UML — Ed Seidewitz (Model Driven Solutions)

5:30 - 6:00pm

Plenary Session

Ada-Europe 2015 Conference Announcement

Future SIGAda Conferences
Tucker Taft (AdaCore)

Wednesday, October 22
HILT Attendees are invited to attend the Wednesday morning SPLASH Keynote.
8:30 - 10:00am

Plenary Session

Keynote Address:

Software Security — A Study in Technology Transfer
Gary McGraw (CTO of Cigital, Inc.)

Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org