or cancel
  1. Haskell Bytes

    01:04:03

    from Galois Video / Added

    103 Plays / / 0 Comments

    abstract: We will take you on a guided tour through the memory of a running Haskell program and get to peek at the raw bytes of Haskell values. We’ll see how uniformity allows for polymorphic…

    + More details
    • Inferring Phylogenies Using Evolutionary Algorithms

      46:48

      from Galois Video / Added

      51 Plays / / 0 Comments

      abstract: An important problem in genetics is phylogenetic inference: Coming up with good hypotheses for the evolutionary relationship between species – usually represented as a “family…

      + More details
      • Introducing Well-founded Recursion

        01:08:48

        from Galois Video / Added

        480 Plays / / 1 Comment

        + More details
        • Introduction to Logic Synthesis

          01:10:55

          from Galois Video / Added

          828 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
          • Large-Scale Static Analysis at Mozilla

            01:00:40

            from Galois Video / Added

            2,236 Plays / / 1 Comment

            Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…

            + More details
            • Model-based Code Generation and Debugging of Concurrent Programs

              01:02:29

              from Galois Video / Added

              93 Plays / / 0 Comments

              abstract: Design and implementation of distributed systems often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanticipated physical…

              + More details
              • Mod Your Android

                53:45

                from Galois Video / Added

                27 Plays / / 0 Comments

                Description: Take control of your hardware by installing an open build of Android. Get root access and extend the life of your device. Learn about what is involved in installing a third-party…

              • New Directions in Random Testing - From Mars Rovers to JavaScript Engines

                01:01:02

                from Galois Video / Added

                56 Plays / / 0 Comments

                abstract: One of the most effective ways to test complex language implementations, file systems, and other critical systems software is random test generation. This talk will cover a number of recent…

              • OpenTheory

                52:36

                from Galois Video / Added

                834 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
                • Parallel K-Induction Based Model Checking

                  49:25

                  from Galois Video / Added

                  195 Plays / / 0 Comments

                  abstract: We give an overview of a parallel k-induction-based model checking architecture for verifying safety properties of synchronous systems. The architecture, which is strictly message-based,…

                  + More details
                  • Parametricity, Quotient Types, and Theorem Transfer

                    50:59

                    from Galois Video / Added

                    112 Plays / / 0 Comments

                    abstract: A polymorphic function may be instantiated at many different types; if the function is parametrically polymorphic, then all of its instances must behave uniformly. Reynolds' parametricity…

                    + More details
                    • Pi in the Sky

                      37:35

                      from Galois Video / Added

                      53 Plays / / 0 Comments

                      abstract: Five students in PSU’s Electrical and Computer Engineering Senior Capstone sequence want to show you what they’ve created: an inexpensive computer vision system for a quadcopter…

                      + 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