|
|
|
High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Tucker Taft, AdaCore
Program Chair
Howard Ausden, Lockheed Martin
Anya Helene Bagge, University of Bergen, Norway
Ted Baker, NSF and Florida State University
Lennart Beringer, Princeton University
Judith Bishop, Microsoft Research
Robert Bocchino, Jet Propulsion Laboratory
Stephen Chong, Harvard University
David Cook, Stephen F. Austin State University
Julien Delange, Carnegie Mellon University Software Engineering Institute (SEI)
Claire Dross, AdaCore
Arjun Guha, UMass Amherst
Matthew Heaney, Google
James J. Hunt, aicas GmbH
Luke Hutchison, Google
John Kassie, Rockwell Collins
Y. Annie Liu, SUNY at Stony Brook
Brad Moore, General Dynamics
Michael Norrish, NICTA
Weston Pan, Raytheon Space and Airborne Systems
David Pearce, Victoria University of Wellington
Luis Miguel Pinho, CISTER/INESC-TEC,ISEP
Erhard Ploedereder, University of Stuttgart (Germany)
Norman Ramsey, Tufts University
Jean-Pierre Rosen, Adalog
Sukyoung Ryu, KAIST (South Korea)
Julien Signoles, CEA LIST (France)
Mehmet Sindel, Symbiontronic Technologies Corporation (Ankara, Turkey)
Konrad Slind, Rockwell Collins
Joyce Tokar, Pyrrhus Software
Jack Wileden, University of Massachusetts, Amherst
Lukasz Ziarek, SUNY Buffalo