SIGAda 2010 Home
Register Online Now
Hotel Rates, Reservations, Travel
Reception Dinner & Cultural Program
Exhibiting and Sponsorship Opportunities
Conference at a Glance
Workshops and BoFs
Grants to Educators
Important Visa Information for
Focused workshops are important in evolving software development
technologies to better meet the needs of the Ada community,
particularly regarding Reliable and Secure Systems. Workshops are
free for those registered for the conference.
- Workshop on Software Security: "Find the Vulnerability",
Wednesday, October 27, 2:00 - 3:30 PM
The first part is an introduction leading to a "find the vulnerability"
in sample code, using examples from C, C++, scripting languages, and a few
The second part is a panel discussion. Panelists include Sean Barnum (MITRE,
ex Cigital, author) and possibly Jim Moore or John Benito (WG23). Other
possible panelists include Robert Seacord from CERT and, representing Ada,
either Erhard Ploedereder or Stephen (if Stephen chairs the panel, it would need
to be someone else).
- Workshop: Developing a Profile for Using Object Oriented Ada in High-Integrity Systems,
Wednesday, October 26, Evening
Attendees should submit a position paper with the restrictions that they
think would be useful in the profile. Stakeholders would include people
involved in safety critical software (expecially the WG9 HRG) as well as
compiler vendors. People interested in OOP but not familiar with safety
critical software (or conversely, people familiar with safety critical
software but not with OOP in this context) would be invited to attend the
One or maybe two evening sessions would be necessary to discuss and outline
the restrictions that would go into the profile. At the end of the conference,
a slot could be reserved to present the results of the workshop
(summary of issues and proposed restrictions).
After the conference, each participant whose proposal was accepted would
be in charge of wording the corresponding part of the document, to be
consolidated in a final proposal. It might be too late to include the
proposal in Ada 2012, but it could be submitted as a Technical Report to WG9.
- Workshop on ParaSail: Parallel Specification and Implementation Language,
Wednesday, October 26, Evening
This workshop will be focused on ParaSail, a new language being designed for safetycritical
and high-security systems in a multi-core world, where safety, security,
parallelism, and correctness are paramount. The workshop will include an introduction to
the ParaSail language in its current form, hands-on use of an initial ParaSail interpreter to
write simple sample programs, and then a chance to provide feedback on the language,
discuss its strengths and weaknesses, and help guide it towards its final form for more
Prerequisites: Familiarity with Ada, SPARK, or other languages used for mission-critical
systems development, a reading familiarity with BNF or other language-description
notations such as that used by YACC. Familiarity with the notion of preconditions and
postconditions, and/or other formal approaches to achieving program correctness.
The workshop will be led by Tucker Taft, chief architect of Ada 95, and an active
member of the Ada Rapporteur Group, the ISO group responsible for the continuing
evolution of the Ada language standard.
- Birds of a Feather: GNAT,
Wednesday, October 27, Evening
Additional workshops or Birds-of-a-Feather (BoF) sessions are welcome.
SIGAda workshops have a focused objective and result in a report to be
published in Ada Letters. BoFs are informal discussion groups. If you
would like to propose a Workshop or BoF, please contact the Workshops Chair,
(BThomas at MITRE.Org).