Galois 101: How Finding Work Works

(2:1econd)

Galois Inc Testimonial SAS 2024

(1:45)

Employee Stock Ownership Plan (ESOP)

(2:43)

Galois Inc. Tech Talk: Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects

(52:56)

Life and work at Galois

(4:18)

Galois, Inc 20220427

(21:14)

Galois, Inc. Tech Talk: Discussions on Trustworthy Systems (DOTS)

(37:1econd)

Galois, Inc. Tech Talk: JaVerT: a JavaScript Verification Toolchain (Dr. Philippa Gardner)

(50:13)

Galois, Inc. Tech Talk: Tree-Sitter: A New Parsing System for Programming Tools (Max Brunsfeld)

(1:3:32)

Galois, Inc. Tech Talk: Goldilocks the verification engineer

(59:58)

Galois, Inc. Tech Talk: Linux-Kernel Memory Ordering: Help Arrives At Last! (Paul E. McKenney)

(1:3:36)

Galois Inc. Tech Talk: Experiences in a decade of maintaining and extending the seL4 proofs

(1:2:13)

Galois, Inc. Tech: Teaching Haskell in the Real World

(1:2:16)

Galois Inc. Tech Talk: Formal Hardware Verification: Asynchronous, Analog, Mixed-Signal, and Mixed-T

(1:2:45)

Galois, Inc. Tech Talk: Quantum Learning from Symmetric Oracles

(59:23)

Galois, Inc. Tech Talk: New Applications of Software Synthesis (Ruzica Piskac)

(1:1:12)

www.google.com

(1:16)

AI Trends for 2025

(7:32)

Introducing Windows 365 Link: Satya Nadella at Microsoft Ignite 2024

(1:2)

Galois Inc. Tech Talk: Cellularization: A Game Theoretic Perspective

(1:19:39)

Galois, Inc. Tech Talk: Vellvm - Verifying the LLVM (Steve Zdancewic)

(1:6:44)

Galois 101: Customers and Performers

(2:31)