Tue 6 Nov 2018 16:20 - 16:45 at Franklin - Showcase & Wrapup Chair(s): Tucker Taft
  • Harvard College 1971-1975, AB Summa Cum Laude Chemistry
  • Harvard Radcliffe Student Computing Center 1975-1979, Systems Programmer
  • Intermetrics/AverStar/AverCom 1980-2002, Chief Scientist
  • SofCheck 2002-2011, Founder and CTO
  • AdaCore 2011-present, VP, Director of Language Research, Model-Based Toolset Product Architect

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00
Showcase & WrapupHILT 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