SIGAda 2005 Conference Schedule
SIGAda 2005
Proceedings
ACM SIGAda Annual International Conference

November 13-17, 2005

Doubletree Hotel -- Atlanta/Buckhead
Atlanta, GA
USA

Sponsored by the ACM Special Interest Group on Ada
(SIGAda)

In cooperation with
Ada Europe
ACM SIGAPP, ACM SIGCAS, ACMSIGCSE
ACM SIGPLAN, ACM SIGSOFT

Hosted by the
Southern Polytechnic State University, School of Computing and Software Engineering
and the
TSYS Department of Computer Science, Columbus State University


Tuesday Technical Sessions | Wednesday Technical Sessions | Thursday Technical Sessions

Table of Contents

These Proceedings are organized by the schedule of presentations from the Final Program. Most of the presentations are included here as Adobe's PDF files; exceptions are noted when they occur. File sizes are present if they exceed 1 MBytes. Speakers are indicated in bold.

All of the original Conference Papers are in Adobe's Portable Document Format (PDF) file format. They are as close as possible to the papers that appear in the hardcopy SIGAda 2005 Conference Proceedings; they even contain the same page numbers where they appear in the Proceedings document. Note that there was a cancellation; the paper is still included here, however, and names and authors are indicated by red text.


Tuesday, November 15

Greetings from SIGAda and Conference Officers
Welcome (Powerpoint Presentation, 8.7 MBytes)
Currie Colket, John W. McCormick, Clyde Roby, Leemon C. Baird III

Keynote Address

Ada in the Avionics Industry
(Abstract)
George Romanski (Verocel)
(PowerPoint Presentation)

Scheduling and Memory Requirements Analysis with AADL (Paper) (PowerPoint Presentation) Frank Singhoff (University of Brest, France), J. Legrand (University of Brest, France), L. Nana (University of Brest, France), and L. Marcé (University of Brest, France)
Modeling SPARK Systems with UML (Paper) (PowerPoint Presentation) Xavier Sautejeau (Sodius)
Optimizing the SPARK Program Slicer (Paper) (PowerPoint Presentation) Ricky E. Sward (US Air Force Academy, HQ USAFA/DFCS) and Leemon C. Baird III (US Air Force Academy, HQ USAFA/DFCS)

Using ASIS to Generate C++ Bindings (Paper) (PowerPoint Presentation) Howard Ausden (Lockheed Martin) and Karl Nyberg (Grebyn Corporation)
AdaCore Vendor Presentation (Presentation) Edmond Schonberg (AdaCore)
Experimental Performance Analysis of Ada Programs in Cluster System (Paper) Alexandr Korochkin (National Technical University, Ukraine), Imad Salah (University of Jordan, Jordan), and Dmitry Korochkin (National Technical University, Ukraine)
Avoiding Vulnerabilities in Programming Languages (PowerPoint Presentation, 7.8 MBytes) Jim Moore (MITRE Corporation)

Experiences Using SPARK in an Undergraduate CS Course (Paper) (PowerPoint Presentation) Anthony S. Ruocco (Roger Williams University)
The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler (Paper) (PowerPoint Presentation, 1.5 MBytes) Javier Miranda (University of Las Palmas de Gran Canaria, Spain), Edmond Schonberg (New York University), and Hristian Kirtchev (AdaCore)
Temporal Skeletons for Verifying Time (Paper) (Presentation, 1.1 MBytes) Gustaf Naeser (Mälardalen University, Sweden), Kristina Lundqvist (Massachusetts Institute of Technolgy), and Lars Asplund (Mälardalen University, Sweden)
I-Logix Vendor Presentation: Model Driven Development for Ada Applications with Rhapsody (Presentation) Marty Bakal (I-Logix)

Conference Reception


Wednesday, November 16

Announcements
Best Student Paper Award
SIGAda Awards (Powerpoint Presentation, 2.2 MBytes)
John W. McCormick

The Affordable Application of Formal Methods to Software Engineering (Paper) (PowerPoint Presentation, 1.1 MBytes) James F. Davis (University of Maryland)
SafetyChip: A Time Monitoring and Police Device (Paper) (Presentation) Gustaf Naeser (Mälardalen University, Sweden), Lars Asplund (Mälardalen University, Sweden), and J. Furunäs (Mälardalen University, Sweden)
Microsoft Vendor Presentation (PowerPoint Presentation, 9.2 MBytes) Bindia Hallauer (Microsoft)

Orchestrating Shots for the National Ignition Facility (NIF) (Paper) (PowerPoint Presentation, 18.4 MBytes) David Mathisen (Lawrence Livermore National Lab), Greg Bowers, Robert Carey (Lawrence Livermore National Lab), Jerome Krammen, Randy Sanchez, and Eric Stout
AspectAda — Aspect Oriented Programming for Ada95 (Paper) (PowerPoint Presentation, 1.7 MBytes) Knut Pedersen (Concordia University) and Constantinos Constantinides (Concordia University)
Verocel Vendor Presentation: Safety Critical Ada in an ARINC 653 Environment (PowerPoint Presentation) George Romanski (Verocel)

Data Sharing Between Ada and C/C++ (Paper) (PowerPoint Presentation) Matt Mark (Lockheed Martin)
A Comparison of CORBA and Ada's Distributed Systems Annex (Paper) (PowerPoint Presentation) Andrew Berns (University of Northern Iowa)
TNI Europe Vendor Presentation: STOOD - AADL 1 and UML 2 (PowerPoint Presentation) Tony Elliston (TNI Europe)

Birds-of-a-Feather (BoF) and Workshops
APIWG plenary, Birds of a Feather (PowerPoint Presentation) Geoff T. Smith  (IBM Linux Technology Center)
AdaCore's GNAT Academic Package Ben Brosgol (AdaCore)

Birds-of-a-Feather (BoF) and Workshops (cont.)
Introduction to Visual Studio 2005 Team System (PowerPoint Presentation, 17.6 MBytes) Bindia Hallauer (Microsoft)
Commercializing Ada (PowerPoint Presentation) Robert C. Leif (Newport Instruments)
Birds-of-a-Feather (BoF) sessions


Thursday, November 17

Keynote Address

Faster Than a Speeding Bullet
(Abstract)
James Leonard (Boeing)

Ada 2005 Session (PowerPoint Presentation, 1.3 MBytes) Pascal Leroy (IBM Rational (France); Chair of the WG9 Ada Rapporteur Group), John Barnes (John Barnes Informatics), and S. Tucker Taft (SofCheck, Inc.)

Ada 2005 Session (continued) (PowerPoint Presentation, 1.3 MBytes) Pascal Leroy (IBM Rational (France); Chair of the WG9 Ada Rapporteur Group), John Barnes (John Barnes Informatics), and S. Tucker Taft (SofCheck, Inc.)