or cancel
  1. Verification of Galois Field Multipliers

    01:16:26

    from Galois Video / Added

    404 Plays / / 0 Comments

    abstract: Applications in Cryptography require multiplication and exponentiation operations to be performed over Galois fields GF(2^k). Therefore, there has been quite an interest in the hardware…

    + More details
    • Getting a Quick Fix on Comonads

      01:13:39

      from Galois Video / Added

      96 Plays / / 0 Comments

      abstract: While the monad abstraction has risen to a certain flavor of fame in the Haskell community and beyond, its equally fascinating dual, the comonad, remains relatively unknown. I’ll tell…

      + More details
      • Databases are Categories

        01:13:19

        from Galois Video / Added

        2,414 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
        • Introduction to Logic Synthesis

          01:10:55

          from Galois Video / Added

          827 Plays / / 0 Comments

          abstract: The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut…

          + More details
          • Android Ecosystem

            01:10:48

            from Galois Video / Added

            351 Plays / / 0 Comments

            abstract: The relative novelty and rapid evolution pace of the Android ecosystem (platform, vendor-installed apps and third-party apps) means both the platform and apps receive little scrutiny. Hence…

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

                01:10:17

                from Galois Video / Added

                1,887 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,773 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
                  • Program Inconsistency Detection using Weakest Preconditions

                    01:09:21

                    from Galois Video / Added

                    259 Plays / / 0 Comments

                    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
                    • Introducing Well-founded Recursion

                      01:08:48

                      from Galois Video / Added

                      479 Plays / / 1 Comment

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

                        01:06:16

                        from Galois Video / Added

                        431 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
                        • Candid Experiences from a Hardware Startup

                          01:05:56

                          from Galois Video / Added

                          208 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

                          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