SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
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 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
) /
Boston Park Plaza Hotel
/
Room information: Franklin
Venue
Boston Park Plaza Hotel
Room name
Franklin
Floor
4
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
Keynote: Martin
HILT
at
Franklin
Chair(s):
S Tucker Taft
08:30
45m
Day opening
Welcome to the HILT 2018 Workshop
HILT
Tucker Taft
AdaCore
09:15
45m
Talk
CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software
Keynote
HILT
Robert A. Martin
The MITRE Corporation
10:30 - 12:00
I
HILT
at
Franklin
Chair(s):
Clyde Roby
IDA
10:30
45m
Talk
Programming Language Systems for Developing Cyber Resilient Software
HILT
David A. Wheeler
IDA
11:15
45m
Talk
Cyber-Resilience: What does it really mean, and how do we design it into our systems?
HILT
Deborah Bodeau
The MITRE Corporation
13:30 - 15:00
II
HILT
at
Franklin
Chair(s):
William Bail
The MITRE Corporation
13:30
45m
Talk
Tool support for Confidentiality by Construction
HILT
S:
Tobias Runge
TU Braunschweig
,
S:
Ina Schaefer
Technische Universität Braunschweig
,
Alexander Knüppel
TU Braunschweig, Germany
,
Loek Cleophas
Eindhoven University of Technology (TU/e) and Stellenbosch University
,
Derrick Kourie
Stellenbosch University
,
Bruce Watson
Stellenbosch University; and Centre for AI Research, CSIR
14:15
45m
Other
Panel on Language-based Security
HILT
P:
Stephen Chong
Harvard University
,
Ina Schaefer
Technische Universität Braunschweig
,
Tobias Runge
TU Braunschweig
,
Lucas Wagner
Rockwell Collins
,
Sam Procter
Carnegie Mellon Software Engineering Institute
,
Tucker Taft
AdaCore
15:30 - 17:00
III
HILT
at
Franklin
Chair(s):
Peter Chapin
Vermont Technical College
15:30
30m
Short-paper
SPARK by Example: an introduction to formal verification through the standard C++ library
HILT
Léo Creuse
ISAE
,
Joffrey Huguet
ISAE
,
P:
Christophe Garion
ISAE-SUPAERO
,
Jerome Hugues
ISAE
16:00
30m
Short-paper
Soundness of a Dataflow Analysis for Memory Monitoring
HILT
P:
Dara Ly
CEA LIST
,
Nikolai Kosmatov
CEA List
,
Frederic Loulergue
Northern Arizona University
,
Julien Signoles
CEA LIST
16:30
25m
Short-paper
Minimal Specifications for Detecting Security Vulnerabilities
HILT
P:
Andrew Berns
University of Northern Iowa
,
James Curbow
University of Northern Iowa
,
Joshua Hilliard
University of Northern Iowa
,
Sheriff Jorkeh
University of Northern Iowa
,
Miho Sanders
University of Northern Iowa
16:55
5m
Social Event
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM
HILT
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
Keynote: Richards
HILT
at
Franklin
Chair(s):
Tucker Taft
AdaCore
08:30
15m
Awards
SIGAda Awards and Sponsor Intros
HILT
Tucker Taft
AdaCore
08:45
20m
Talk
SAFECode.org and Secure Software Development Practices
HILT
Eric Baize
SAFECode / Dell
09:05
55m
Talk
DARPA CASE program, motivation and challenges
Keynote
HILT
Raymond Richards
DARPA
10:30 - 12:00
IV
HILT
at
Franklin
Chair(s):
Alok Srivastava
SAIC
10:30
45m
Talk
SpeAR – Using a formal specification language for safety and security
HILT
Lucas Wagner
Rockwell Collins
11:15
45m
Talk
Architecture-level security in a safety-critical system
HILT
S:
Sam Procter
Carnegie Mellon Software Engineering Institute
,
Peter Feiler
Carnegie Mellon Software Engineering Institute
13:30 - 15:00
V
HILT
at
Franklin
Chair(s):
William Bail
The MITRE Corporation
13:30
45m
Talk
Who decides what is allowed? User Interactions and Permissions Use on Android
HILT
Jeffrey S. Foster
Tufts University
14:15
45m
Talk
A Language for Programmable Hardware Security
HILT
Chris Casinghino
Draper Laboratory
15:30 - 17:00
Showcase & Wrapup
HILT
at
Franklin
Chair(s):
Tucker Taft
AdaCore
15:30
25m
Industry talk
Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
HILT
Paul Anderson
GrammaTech, Inc
15:55
25m
Industry talk
Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
HILT
Mario Troiani
Virtual Software Systems
16:20
25m
Industry talk
Security Showcase -- SPARK Formal Verification for Security
HILT
Tucker Taft
AdaCore
16:45
15m
Day closing
Workshop Wrapup
HILT
Tucker Taft
AdaCore
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Franklin
HILT
Keynote: Martin
HILT
I
HILT
II
HILT
III
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Franklin
HILT
Keynote: Richards
HILT
IV
HILT
V
HILT
Showcase & Wrapup
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Franklin
HILT
Welcome to the HILT 2018 Workshop
08:30 - 09:15
HILT
Keynote
CVE, CWE, CQE and all that -- enumerating the security and safety chall ...
09:15 - 10:00
HILT
Programming Language Systems for Developing Cyber Resilient Software
10:30 - 11:15
HILT
Cyber-Resilience: What does it really mean, and how do we design it int ...
11:15 - 12:00
HILT
Tool support for Confidentiality by Construction
13:30 - 14:15
HILT
Panel on Language-based Security
14:15 - 15:00
HILT
SPARK by Example: an introduction to formal verification through the st ...
15:30 - 16:00
HILT
Soundness of a Dataflow Analysis for Memory Monitoring
16:00 - 16:30
HILT
Minimal Specifications for Detecting Security Vulnerabilities
16:30 - 16:55
HILT
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda E ...
16:55 - 17:00
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Franklin
HILT
SIGAda Awards and Sponsor Intros
08:30 - 08:45
HILT
SAFECode.org and Secure Software Development Practices
08:45 - 09:05
HILT
Keynote
DARPA CASE program, motivation and challenges
09:05 - 10:00
HILT
SpeAR – Using a formal specification language for safety and security
10:30 - 11:15
HILT
Architecture-level security in a safety-critical system
11:15 - 12:00
HILT
Who decides what is allowed? User Interactions and Permissions Use on A ...
13:30 - 14:15
HILT
A Language for Programmable Hardware Security
14:15 - 15:00
HILT
Security Showcae -- Modernizing Static Analysis Tools to Facilitate Int ...
15:30 - 15:55
HILT
Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmente ...
15:55 - 16:20
HILT
Security Showcase -- SPARK Formal Verification for Security
16:20 - 16:45
HILT
Workshop Wrapup
16:45 - 17:00
x
Thu 21 Nov 11:02