Formal Methods for the Informal Engineer: Day 3 (2021)

Formal Methods for the Informal Engineer
February 3-5 2021.
Online event hosted by the Broad Institute of MIT and Harvard

Day 3 (Fri, Feb. 5)
Opening Remarks

Session 1: General Topics
Keynote: Kathleen Fisher, Tufts University
Using Formal Methods to Eliminate Exploitable Bugs

Session 2: Verified Software Components
Gregory Malecha, BedRock Systems
Bringing Verification to the Mainstream: Verifying Concurrent C++

Session 3: Distributed Systems
Hillel Wayne, Windy Coast Consulting
Designing Distributed Systems with TLA+

Session 4: Robust Machine Learning
Mathew Mirman, ETH Zurich
Safe Deep Learning

Chapters:
00:00 Introductory remarks
6:32 Kathleen Fisher
1:04:22 Gregory Malecha
1:34:20 Hillel Wayne
2:06:33 Matthew Mirman

Copyright Broad Institute, 2021. All rights reserved.