Galois Tech Talks / Videos
-
Automatic Function Annotations for Hoare Logic
-
Parametricity, Quotient Types, and Theorem Transfer
-
Android Ecosystem
-
Programming with Narrowing
-
Why Do Airplanes Crash
-
Property Directed Reachability
-
Galois Tech Talk: Formalizing Haskell 98 in the K Semantic Framework
-
Candid Experiences from a Hardware Startup
-
Parallel K-Induction Based Model Checking
-
Building an Open-Source Autonomous Quad-Copter
-
Empirical Sampling With Haskell
-
RNA Networks
Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. 