or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Added

    2,435 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,865 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,889 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,703 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,236 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

              379 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,175 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
                • Faster persistent data structures through hashing

                  51:19

                  from Galois Video / Added

                  1,362 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 Rubinius Virtual Machine

                    01:09:36

                    from Galois Video / Added

                    1,777 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
                    • PReach - A Distributed Murphi-Based Model Checker

                      38:56

                      from Galois Video / Added

                      526 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
                      • Control Flow Graph-guided Exploration in DDT

                        01:06:16

                        from Galois Video / Added

                        436 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
                        • OpenTheory

                          52:36

                          from Galois Video / Added

                          834 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

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 35 videos.

                          Follow

                          Browse This Channel

                          Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels