SIGAda 2010 Schedule - Wednesday, October 27

SIGAda 2010 logo
SIGAda 2010 Schedule - Wednesday, October 27


SIGAda 2010 Home


Register Online Now

Hotel Rates, Reservations, Travel

Reception Dinner & Cultural Program

Exhibiting and Sponsorship Opportunities


Conference at a Glance
Final Program:
    (PDF/US)

Tutorials

Workshops and BoFs

Media Information

Conference Officers

Program Committee

Grants to Educators


Previous Conferences


Important Visa Information for
NON-US ATTENDEES

TECHNICAL PROGRAM
9:00 - 10:30am

Announcements

Keynote Address:
Transforming Software and System Development and Analysis
William B. Martin (National Security Agency
National Information Assurance Research Laboratory)

10:30 - 11:00am Morning Break and Exhibits
11:00am - 12:30pm

Parallelism Generics for Ada 2005 and Beyond
Brad Moore (General Dynamics Canada)

Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance
You Li (Nanjing University), Lu Yang (Nanjing University), Lei Bu (Nanjing University), Linzhang Wang (Nanjing University), Jianhua Zhao (Nanjing University), and Xuandong Lu (Nanjing University)

Ellidiss Sponsor Presentation: Industrial Solutions for developing Critical Systems and Software
Tony Elliston (Ellidiss (TNI Europe))

LDRA Sponsor Presentation: Managing Legacy Ada Software with the LDRA tool suite
Shan Bhattacharya (LDRA)

12:30 - 2:00pm Mid-day Break and Exhibits
2:00 - 3:30pm

Workshop on Software Security: "Find the Vulnerability"
Stephen Michell (Maurya Software)

3:30 - 4:00pm Afternoon Break
4:00 - 5:30pm

Panel: Software Security
Stephen Michell (Maurya Software)

5:30 - 7:00pm Dinner Break
7:00 - 11:00pm

Workshop on Developing a Profile for Using Object Oriented Ada in High-Integrity Systems
Jean-Pierre Rosen (Adalog)

Workshop on ParaSail: Parallel Specification and Implementation Language
Tucker Taft (SoftCheck, Inc.)

Birds of a Feather: GNAT
Greg Gicca (AdaCore)




last updated 23 October 2010 - cgr