or cancel
  1. Candid Experiences from a Hardware Startup

    01:05:56

    from Galois Video / Added

    209 Plays / / 0 Comments

    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

      202 Plays / / 0 Comments

      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

        193 Plays / / 0 Comments

        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

          2,849 Plays / / 0 Comments

          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

            422 Plays / / 0 Comments

            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

              177 Plays / / 0 Comments

              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

                831 Plays / / 0 Comments

                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,172 Plays / / 0 Comments

                  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
                  • Engineers Without Borders

                    38:36

                    from Galois Video / Added

                    342 Plays / / 0 Comments

                    abstract: Engineers Without Borders USA is a fast-growing national non-profit impacting developing communities around the world. EWB provides an opportunity for engineering students and professionals…

                    + More details
                    • Faster persistent data structures through hashing

                      51:19

                      from Galois Video / Added

                      1,360 Plays / / 0 Comments

                      abstract: The most commonly used map (dictionary) data type in Haskell is implemented using a size balanced tree. While size balanced trees provide good asymptotic performance, their real world performance…

                      + More details
                      • The Strategy Challenge in Computer Algebra

                        52:19

                        from Galois Video / Added

                        375 Plays / / 0 Comments

                        abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

                        + More details
                        • Verifying seL4-Based Systems

                          55:53

                          from Galois Video / Added

                          262 Plays / / 0 Comments

                          abstract: In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified…

                          + More details

                          Browse 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