HILT 2014             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Program Committee

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


Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org