SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
  • About
    • Venue: Boston Park Plaza Hotel
    • Dining
    • Welcome
    • Awards
    • Registration
    • Support
    • Sponsoring
    • Visa
    • Conduct
  • Schedule
    • SPLASH Program
    • Your Program
    • Sun 4 Nov
    • Mon 5 Nov
    • Tue 6 Nov
    • Wed 7 Nov
    • Thu 8 Nov
    • Fri 9 Nov
  • Tracks
      • SPLASH 2018
      • OOPSLA
      • Artifacts
      • Keynotes
      • Posters
      • SPLASH-I
      • Meetups
      • SPLASH-E
      • Workshops
      • PLMW
      • Breakfasts
      • DocSymposium
      • Volunteers
      • SRC
      • Social
      • Co-hosted Conferences
      • GPCE
      • Onward!
        • Onward!
        • Onward! Essays
        • Onward! Papers
      • SLE
      • Workshops
      • AGERE
      • AI-SEPS
      • BLOCKS+
      • DSLDI
      • GRACE
      • HILT
      • LIVE
      • META
      • NJR
      • OCAP
      • PLATEAU
      • REBLS
      • SLEBoK
      • TURBO
      • VMIL
      • Co-hosted Symposia
      • DLS
  • Organization
      • SPLASH 2018 Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • OOPSLA
        • Review Committee
        • External Reviewers
        • Distinguished Paper Committee
      • Artifacts
      • Posters
      • SPLASH-I
        • Speakers
        • Organizers
      • SPLASH-E
      • Workshops
      • PLMW
        • Organizing Committee
        • Speakers
      • Breakfasts
      • DocSymposium
        • Academic Panel
        • Organizers
        • Program Committee
      • Volunteers
      • SRC
        • Organizers
        • Reviewers
        • Judges
      • Contributors
      • People Index
      • Co-hosted Conferences
      • GPCE
        • Organizing Committee
        • Program Committee
      • Onward!
        • Organizing Committee
        • Steering Committee
        • Onward! Essays
        • Onward! Papers
      • SLE
        • Keynote Speaker
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • AGERE
        • Organizing Committee
        • Program Committee
      • AI-SEPS
        • Organizing Committee
        • Program Committee
      • BLOCKS+
        • Organizing Committee
        • Program Committee
      • DSLDI
        • Organizing Committee
        • Program Committee
      • GRACE
        • Organizing Committee
        • Program Committee
      • HILT
        • Organizing Committee
        • Program Committee
      • LIVE
        • Organizing Committee
        • Program Committee
      • META
        • Organizing Committee
        • Program Committee
      • NJR
        • Organizing Committee
        • Program Committee
      • OCAP
        • Organizing Committee
        • Program Committee
      • PLATEAU
        • Organizing Committee
        • Program Committee
      • REBLS
        • Organizing Committee
        • Program Committee
      • SLEBoK
        • Organizing Committee
        • Program Committee
      • TURBO
        • Organizing Committee
      • VMIL
        • Program Committee
        • Steering Committee
      • Co-hosted Symposia
      • DLS
        • Program Committee
        • Steering Committee
  • Search
  • Series
    • Series
    • SPLASH 2026
    • SPLASH 2025
    • SPLASH 2024
    • SPLASH 2023
    • SPLASH 2022
    • SPLASH 2021
    • SPLASH 2020
    • SPLASH 2019
    • SPLASH 2018
    • SPLASH 2017
    • SPLASH 2016
    • SPLASH 2015
    • SPLASH 2014
    • SPLASH 2013
    • SPLASH 2012
    • SPLASH 2011
    • SPLASH 2010
    • OOPSLA 2009
    • OOPSLA 2008
    • OOPSLA 2007
    • OOPSLA 2006
    • OOPSLA 2005
    • OOPSLA 2004
    • OOPSLA 2003
    • OOPSLA 2002
    • OOPSLA 2001
    • OOPSLA 2000
  • Sign in
  • Sign up
SPLASH 2018 (series) / HILT 2018 (series) / HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems /

Program Committee HILT

small-avatar

Tony Aiello

AdaCore

William Bail

William Bail Program Co-Chair

The MITRE Corporation

United States

Ted Baker

Ted Baker

Robert Bocchino

Robert Bocchino

NASA/Caltech Jet Propulsion Laboratory

Ben Brosgol

Ben Brosgol

AdaCore

Sagar Chaki

Sagar Chaki

Mentor Graphics Corporation

United States

Peter Chapin

Peter Chapin

Vermont Technical College

United States

small-avatar

Rod Chapman

Protean Code

Stephen Chong

Stephen Chong

Harvard University

United States

Dirk Craeynest

Dirk Craeynest

KU Leuven

Belgium

Claire Dross

Claire Dross

AdaCore

France

Peter Feiler

Peter Feiler

Carnegie Mellon Software Engineering Institute

United States

small-avatar

Drew Hamilton

Mississippi State University, CCI

Benjamin Hocking

Benjamin Hocking

Dependable Computing, LLC

United States

Jerome Hugues

Jerome Hugues

ISAE

France

small-avatar

Brian Hulbert

Linquest

John Kassie

John Kassie

Rockwell Collins

Joe Kiniry

Joe Kiniry

Galois, Inc.

Nikolai Kosmatov

Nikolai Kosmatov

CEA List

France

Nicholas Matsakis

Nicholas Matsakis

Mozilla Corporation

United States

small-avatar

Arch McKinlay

USC; US Government

United States

Yannick Moy

Yannick Moy

AdaCore

France

small-avatar

Erhard Ploedereder

Universität Stuttgart

Clyde Roby

Clyde Roby

IDA

Alok Srivastava

Alok Srivastava

SAIC

Tucker Taft

Tucker Taft Program Co-Chair

AdaCore

United States

small-avatar

Jim Thompson

US DoD

small-avatar

Joyce Tokar

Pyrrhusoft

Elaine Venson

Elaine Venson

USC

Lucas Wagner

Lucas Wagner

Rockwell Collins

Michael Whalen

Michael Whalen

University of Minnesota

United States

xThu 29 May 09:08

SPLASH 2018

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social

Co-hosted Conferences

GPCE 2018
Onward! 2018
SLE 2018

Workshops

AGERE 2018
AI-SEPS 2018
BLOCKS+ 2018
DSLDI 2018
GRACE 2018
HILT 2018
LIVE 2018
META'18
NJR 2018
OCAP 2018
PLATEAU 2018
REBLS 2018
SLEBoK 2018
TURBO'18
VMIL 2018

Co-hosted Symposia

DLS 2018

About

Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Code of Conduct
Sign Up