or cancel
  1. Building an Open-Source Autonomous Quad-Copter

    44:35

    from Galois Video / Added

    2,933 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
    • Databases are Categories

      01:13:19

      from Galois Video / Added

      2,604 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
      • Large-Scale Static Analysis at Mozilla

        01:00:40

        from Galois Video / Added

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

          01:10:17

          from Galois Video / Added

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

            01:09:36

            from Galois Video / Added

            1,799 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
            • Computers As We Don’t Know Them

              01:02:00

              from Galois Video / Added

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

                51:19

                from Galois Video / Added

                1,399 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
                • Copilot: A Hard Real-Time Runtime Monitor

                  53:48

                  from Galois Video / Added

                  1,233 Plays / / 0 Comments

                  abstract: We address the problem of runtime monitoring for hard real-time programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitoring community.…

                  + More details
                  • Haskell and the Social Web

                    50:39

                    from Galois Video / Added

                    1,200 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
                    • Dependently Typed Functional Programming in Idris by David Christiansen 1 of 3

                      01:20:29

                      from Galois Video / Added

                      1,033 Plays / / 1 Comment

                      abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as…

                      + More details
                      • Hacking Internet Voting via Ballot Tampering

                        02:40

                        from Galois Video / Added

                        941 Plays / / 1 Comment

                        Election Day was this week. If you took advantage of early voting, or you live overseas, you probably used a paper ballot you received in the mail a few weeks ago. A digital alternative, being considered…

                        + More details
                        • OpenTheory

                          52:36

                          from Galois Video / Added

                          847 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 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