or cancel
  1. Dependently Typed Functional Programming in Idris by David Christiansen 1 of 3

    01:20:29

    from Galois Video Added 1,995 16 2

    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
    • Tech talk by Philip Wadler

      01:19:31

      from Galois Video Added 147 2 0

      abstract: We present four calculi for gradual typing: λB, based on the blame calculus of Wadler and Findler (2009); λC, based on the coercion calculus of Henglein (1994); and λT…

      + More details
      • Verification of Galois Field Multipliers

        01:16:26

        from Galois Video Added 476 2 0

        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 231 3 0

          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,942 21 5

            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 884 2 0

              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 401 2 0

                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 273 0 0

                  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,976 9 0

                    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,864 4 0

                      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 368 2 0

                        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 714 1 1

                          + More details

                          Browse Videos

                          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