or cancel
  1. Verification of Galois Field Multipliers

    01:16:26

    from Galois Video / Added

    387 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
    • 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
      • Introduction to Logic Synthesis

        01:10:55

        from Galois Video / Added

        811 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

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

                01:09:21

                from Galois Video / Added

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

                  01:06:16

                  from Galois Video / Added

                  419 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

                    202 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
                    • Programming with Narrowing

                      01:04:48

                      from Galois Video / Added

                      245 Plays / / 0 Comments

                      abstract: In this talk, I will introduce narrowing, the characterizing feature of functional logic programming, from the programmer's viepoint. Narrowing promotes non-determinism and it enables…

                      + More details
                      • Property Directed Reachability

                        01:04:28

                        from Galois Video / Added

                        337 Plays / / 0 Comments

                        abstract: Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure…

                        + More details
                        • Formal Methods Applied to Control Software

                          01:04:11

                          from Galois Video / Added

                          416 Plays / / 0 Comments

                          abstract: Critical cyber-physical systems, such as avionics, typically have one or more components that control the behavior of dynamical physical systems. The design of such control systems is well…

                          + 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