Galois Video’s Videos
-
Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation
-
Parametricity, Quotient Types, and Theorem Transfer
-
Automatic Function Annotations for Hoare Logic
-
Model-based Code Generation and Debugging of Concurrent Programs
-
Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics
-
Pi in the Sky
-
Inferring Phylogenies Using Evolutionary Algorithms
Browse Videos
Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.
Also Check Out
More stuff from Galois Video