Program committee



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