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

    44:35

    from Galois Video / Added

    2,946 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

      448 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

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

            50:39

            from Galois Video / Added

            1,233 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

              346 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,405 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

                  402 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

                    292 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
                    • Program Inconsistency Detection using Weakest Preconditions

                      01:09:21

                      from Galois Video / Added

                      289 Plays / / 1 Comment

                      abstract: Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the…

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

                        01:06:16

                        from Galois Video / Added

                        464 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
                        • The Rubinius Virtual Machine

                          01:09:36

                          from Galois Video / Added

                          1,827 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

                          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