• 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

Greetings from SIGAda and Conference Officers

Keynote Address:

Model Checking and the Curse of Dimensionality
Edmund M. Clarke
(CMU BioSketch; Wikipedia BioSketch)
(Carnegie Mellon University
2007 ACM Turing Award)

Panel: Underlying Formal Verification Technologies
(Abstract)

Moderator: Tucker Taft (AdaCore)

Coq-based Proofs — Prof. Robby (Kansas State University)
SMT Solvers — Nikolaj Bjorner (Microsoft Research)
Technology for Inferring Contracts from Code — Francesco Logozzo (Microsoft Research)
Bounded Model Checking — Sagar Chaki (Carnegie Mellon University Software Engineering Institute)

AdaCore Sponsor Presentation
Albert Lee (AdaCore)

SAW: The Software Analysis Workbench
Joe Hendrix (Galois)

Optimising Verification Effort with SPARK 2014
Andrew Hawthorn (ALTRAN)

Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq
Zhi Zhang (Kansas State University)

Panel: Safe, Efficient Parallel Programming
(Abstract)

Moderator: Clyde Roby (Institute for Defense Analyses)

Real-Time Programming on Accelerator Many-Core Processors — Stephen Michell (Maurya Software)
Bring Safe, Dynamic Parallel Programming to the SPARK Verifiable Subset of Ada — Tucker Taft (AdaCore)

Verocel Sponsor Presentation
George Romanski (Verocel)

Evening Social Event
Pittsburgh Athletic Association

Announcements

SIGAda Awards
Ricky E. Sward

Overall Introduction to Model-Based Engineering and Verification Day
Julien Delange (Carnegie Mellon University Software Engineering Institute (SEI))

Invited Address

Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling
(Abstract)
Michael Whalen (University of Minnesota)

An Approach to Integration of Complex Systems: The SAVI Virtual Integration Process (industrial presentation)
David Redman (Aerospace Vehicle Systems Institute)

Reddo - A Model Driven Engineering Toolset for Embedded Software Development (industrial presentation)
Steven Doran (Northrop Grumman Corporation)

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

Keynote Address:

Building Confidence in System Behavior
(Abstract)
John Goodenough
(CMU/SEI BioSketch)
(Carnegie Mellon University Software Engineering Institute)

Compositional Verification of a Medical Device System
Sanjai Rayadurgam (University of Minnesota)

Illustrating the AADL Error Modeling Annex (v.2) Using a Simple Safety-Critical Medical Device
Brian Larson (Kansas State University)

Microsoft Research Sponsor Presentation
Ethan K. Jackson (Microsoft Research)

Birds of a Feather: GNAT Users
Albert Lee (AdaCore)

Announcements

Best Paper and Student Paper Awards
Tucker Taft

Keynote Address:

Formal Methods: An Industrial Perspective
(Abstract)
Jeannette Wing
(Microsoft Research BioSketch; Wikipedia BioSketch)
(Microsoft Research)

Panel: Approaches to Software Safety and Security
(Abstract)

Moderator: Alok Srivastava (TASC Inc.)

Secure Coding — Robert Seacord (SEI/CERT)
Use of Domain-Specific Languages — Ethan K. Jackson (Microsoft Research)
Integrating technologies for verification — Joe Hendrix (Galois)
Using contract-based programming tools — Francesco Logozzo (Microsoft Research)
Automatic versus Interactive Program Verification — Suad Alagic (University of Southern Maine)

Ada-Europe 2014 Conference Announcement
Dirk Craeynest

SIGAda 2014 Conference Announcement
Tucker Taft