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

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Cyber-Security Interaction with High Integrity

Program Committee

Tucker Taft, AdaCore
Workshop CoChair

William Bail, MITRE
Workshop CoChair

Tony Aiello, AdaCore

Ted Baker, Florida State University (Retired)

Robert Bocchino, NASA/CalTech Jet Propulsion Laboratory

Ben Brosgol, AdaCore

Sagar Chaki, Carnegie Mellon Software Engineering Institute (SEI)

Peter Chapin, Vermont Technical College

Rod Chapman, Protean Code

Stephen Chong, Harvard University

Dirk Craeynest, Eurocontrol

Claire Dross, AdaCore

Peter Feiler, Carnegie Mellon Software Engineering Institute (SEI)

John A. Hamilton, Mississippi State University CCI

Benjamin Hocking, Dependable Computing, LLC

Jérôme Hugues, Institute for Space and Aeronautics Engineering (ISAE), Toulouse, France

Brian Hulbert, LinQuest

John Kassie, Rockwell Collins

Joe Kiniry, Galois, Inc.

Nikolai Kosmatov, CEA Saclay

Niko Matsakis, Mozilla Corporation

Arch McKinley, USC

Yannick Moy, AdaCore

Erhard Ploedereder, Universität Stuttgart (Germany)

Clyde Roby, Institute for Defense Analyses

Alok Srivastava, Engility Corporation

Jim Thompson, DoD

Joyce Tokar, Pyrrhus Software

Elaine Venson, USC

Lucas Wagner,

Michael Whalen, University of Minnesota


Created on 18 September 2018;  website comments and corrections to ClydeRoby at ACM.Org