| HILT 2018 |
|
ACM SIGAda’s High Integrity Language Technology
International Workshop on
Cyber-Security Interaction with High Integrity
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