High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Program Committee

Jeff Boleng, Software Engineering Institute
US Air Force Academy
Program Co-Chair

Tucker Taft, AdaCore
Program Co-Chair

Jonathan Aldrich, Carnegie-Mellon University

Howard Ausden, Lockheed Martin Corporation

Lennart Beringer, Princeton University

Rod Chapman, Altran-Praxis

David Hardin, Rockwell Collins, Inc.

John Hatcliff, Kansas State University

Matt Heaney, Google, Inc.

James Hunt, aicas

John Knight, University of Virginia

Jim Larus, Microsoft Corporation

Kelvin Nilsen, Atego, Inc.

Erhard Ploedereder, University of Stuttgart

Jean-Pierre Rosen, Adalog

Joe Stoy, Bluespec, Inc.

Eric Van Wyk, University of Minnesota

Mitchell Wand, Northeastern University