or cancel
  1. Why Do Airplanes Crash

    40:33

    from Galois Video Added 442 1 0

    abstract: On October 7, 2008, the flight control system of Qantas flight 72 malfunctioned without warning. The failure caused the aircraft to violently pitch down with an acceleration of -0.8g, pitching…

    + More details
    • Property Directed Reachability

      01:04:28

      from Galois Video Added 743 2 0

      abstract: Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure…

      + More details
      • Introducing Well-founded Recursion

        01:08:48

        from Galois Video Added 738 1 1

        + More details
        • Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics

          55:35

          from Galois Video Added 49 0 0

          abstract: Communication fabrics constitute an important challenge for the design and verification of multicore architectures. To enable their formal analysis, micro-architectural models have been…

          + More details
          • Candid Experiences from a Hardware Startup

            01:05:56

            from Galois Video Added 308 2 0

            abstract: Hardware is hard. At least that's what people always say. Building a hardware startup requires a broad base of technical knowledge, from electronics and manufacturing experience to…

            + More details
            • Combining Denotational and Operational Semantics for Scalable Proof Development

              01:10:46

              from Galois Video Added 285 0 0

              abstract:Interpreters offer a convenient and intuitive way for programmers to reason about language behavior through denotational semantics. However in a setting like Coq, where all recursive functions…

              + More details
              • Parallel K-Induction Based Model Checking

                49:25

                from Galois Video Added 219 0 0

                abstract: We give an overview of a parallel k-induction-based model checking architecture for verifying safety properties of synchronous systems. The architecture, which is strictly message-based,…

                + More details
                • Building an Open-Source Autonomous Quad-Copter

                  44:35

                  from Galois Video Added 3,003 9 0

                  abstract: It's a bird! It's a plane! No, it's an open-source autonomous quad-copter. In collaboration with the Portland State University Electrical and Computer Engineering Dept., Galois…

                  + More details
                  • Empirical Sampling With Haskell

                    42:52

                    from Galois Video Added 478 2 0

                    abstract: Sampling from a large discrete distribution is a common problem in statistics. In this talk, we'll consider a real-world situation where the properties of the distribution cause common…

                    + More details
                    • RNA Networks

                      43:08

                      from Galois Video Added 178 0 0

                      abstract: RNA Networks is a software company focused on providing the next generation storage cache solution that addresses performance deficiencies and the rising cost of storage for virtual environments.…

                      + More details
                      • OpenTheory

                        52:36

                        from Galois Video Added 879 4 0

                        abstract: Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One…

                        + More details
                        • Haskell and the Social Web

                          50:39

                          from Galois Video Added 1,324 7 0

                          abstract: Janrain offers user management services that include single sign-on, social login, and profile storage. We have recently begun using Haskell extensively to implement our products, and would…

                          + More details

                          Browse Videos

                          Videos Galois Video

                          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