High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Program Committee

Tucker Taft, AdaCore
Program Chair

Howard Ausden, Lockheed Martin Corporation

Ted Baker, NSF and Florida State University

Lennart Beringer, Princton University

Judith Bishop, Microsoft Research

David Broman, University of California at Berkeley

Patrice Chalin, Kansas State University

Steve Chong, Harvard University

Julien Delange, Carnegie Mellon University Software Engineering Institute (SEI)

Matt Dwyer, University of Nebraska at Lincoln

Arjun Guha, University of Massachusetts, Amherst

David Hardin, Rockwell Collins, Inc.

Matt Heaney, Google, Inc.

James Hunt, aicas, Germany

Luke Hutchison, Google, Inc.

Y. Annie Liu, SUNY at Stony Brook

Francesco Logozzo, Microsoft Research

Niko Matsakis, Mozilla Research

Yannick Moy, AdaCore

Michael Norrish, NICTA, Australia

David Pearce, Victoria University of Wellington, New Zealand

Erhard Ploedereder, University of Stuttgart

Jean-Pierre Rosen, Adalog

Sukyoung Ryu, Korean Advanced Institute of Science and Technology (KAIST), Korea

Julien Signoles, French Alternative Energies and Atomic Energy Commission

Konrad Slind, Rockwell Collins

Joyce Tokar, Pyrrhus Software

Eric Van Wyk, University of Minnesota

Jack Wileden, University of Massachusetts, Amherst