• Home
• About the Conference
  • Final Program (PDF)
  • Important Dates
  • Social Event
  • Conference Officers
  • Program Committee
  • SIGAda Officers
• Technical Program
  • Keynote / Invited Presentations
  • Schedule
  • Final Program (PDF)
  • Tutorials

  • Workshops and Birds-of-a-Feather Sessions

• Educators
  • Grants for Educators
• Exhibits and Sponsorships
  • Exhibits and Sponsorship Opportunities
  • Additional Promotional Opportunities
  • Current Exhibitors and Sponsors
  • Pictures at an Exhibition
• News and Press
  • Overview
  • Previous Conferences
• Registration and Travel
  • Conference Registration
  • Hotel Registration
  • IMPORTANT VISA INFORMATION

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
(Abstract)
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)

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)

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

Invited Address

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

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

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)

Dinner and Social Event
Portland Food Cart World Tour

Plenary Session

Announcements

SIGAda Awards
David Cook (Chair of SIGAda)

Plenary Session
Chair: Judith Bishop (Microsoft Research)

Keynote Address:

Correctness via Compilation to Logic
(Abstract)
Thomas Ball (Microsoft Research)

Session: Sponsor Presentation

Microsoft Research Sponsor Presentation
Thomas Ball (Microsoft Research)

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

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)

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
(Abstract)

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)

Plenary Session

Ada-Europe 2015 Conference Announcement

Future SIGAda Conferences
Tucker Taft (AdaCore)

Plenary Session

Keynote Address:

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