Galois

421 SW 6th Ave., Suite 300
Portland, Oregon 97204
September 15, 2008

Galois Tech Talk: Left-fold enumerators at Galois

September 16, 2008

Galois Tech Talk: Theorem Proving for Verification at Galois

October 2, 2008

Galois Tech Talk: Bluespec SystemVerilog at Galois

October 7, 2008

Galois Tech Talk: The Future of Cabal at Galois

October 14, 2008

Galois Tech Talk: Type Correct Changes: A Safe Approach to Version Control Implementation at Galois

October 30, 2008

Galois Tech Talk: Factor: an extensible interactive language at Galois

January 20, 2009

Galois Tech Talk: Android G1: Experiences with an open mobile platform at Galois