or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Added

    2,278 Plays / / 5 Comments

    Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

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

      44:35

      from Galois Video / Added

      2,753 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
      • Developing Good Habits for Bare-Metal Programming

        01:10:17

        from Galois Video / Added

        1,839 Plays / / 0 Comments

        Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…

        + More details
        • Computers As We Don’t Know Them

          01:02:00

          from Galois Video / Added

          1,694 Plays / / 0 Comments

          For slides and more details, please visit: http://www.galois.com/blog/2010/08/11/tech-talk-computers-as-we-dont-know-them/

          + More details
          • Large-Scale Static Analysis at Mozilla

            01:00:40

            from Galois Video / Added

            2,220 Plays / / 1 Comment

            Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…

            + More details
            • The Strategy Challenge in Computer Algebra

              52:19

              from Galois Video / Added

              346 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
              • Haskell and the Social Web

                50:39

                from Galois Video / Added

                1,147 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
                • The Rubinius Virtual Machine

                  01:09:36

                  from Galois Video / Added

                  1,717 Plays / / 0 Comments

                  abstract: Ruby is a highly dynamic, strongly-typed programming language created by Yukihiro Matsumoto in 1993 and first released in 1995. It borrows from Smalltalk, Lisp, and Perl. Ruby has single…

                  + More details
                  • Faster persistent data structures through hashing

                    51:19

                    from Galois Video / Added

                    1,203 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
                    • Databases are Categories 2: Refinements and Extensions

                      01:02:55

                      from Galois Video / Added

                      507 Plays / / 0 Comments

                      abstract: About five months ago I gave a talk here at Galois called “Databases are categories.” The basic idea was that a database schema can be represented as a category C and its states…

                      + More details
                      • Control Flow Graph-guided Exploration in DDT

                        01:06:16

                        from Galois Video / Added

                        420 Plays / / 0 Comments

                        abstract: The existing implementation of DDT uses a depth-first search algorithm to drive the exploration of new paths for testing. This algorithm provides full coverage of the program under test,…

                        + More details
                        • PReach - A Distributed Murphi-Based Model Checker

                          38:56

                          from Galois Video / Added

                          498 Plays / / 0 Comments

                          Abstract: We present PReach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker…

                          + 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