Formal Methods for the Informal Engineer: Day 3

Online event hosted by the Ó³»­´«Ã½ 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

Slides:

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