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


    from Galois Video Added 2,102 17 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


      from Galois Video Added 158 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


        from Galois Video Added 477 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


          from Galois Video Added 241 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


            from Galois Video Added 2,988 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


              from Galois Video Added 889 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


                from Galois Video Added 407 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


                  from Galois Video Added 277 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


                    from Galois Video Added 1,984 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


                      from Galois Video Added 1,873 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


                        from Galois Video Added 392 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


                          from Galois Video Added 726 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