Program committee



Name Affiliation
Alok Srivastava ACM SIGAda & SAIC Inc.
Benjamin Brosgol AdaCore
Bill Bail MITRE
Clyde Roby Institute for Defense Analyses
Drew Hamilton MS State/CCI
Ina Schaefer Technische Universität Braunschweig
James Munns Ferrous Systems GmbH
Jan Verschelde University of Illinois at Chicago
John Kassie Rockwell Collins
Joyce Tokar Raytheon Technologies
Kyle Chard University of Chicago
Luis Miguel Pinho ISEP P.PORTO
Michael Klemm Intel
Nikolai Kosmatov Thales & CEA, List, Palaiseau, France
Richard Wai chair ANNEXI-STRAYLINE
Robert Bocchino Jet Propulsion Laboratory, Caltech
S. Tucker Taft chair AdaCore
Sara Royuela Barcelona Supercomputing Center
Tao B. Schardl MIT CSAIL