or cancel
  1. Haskell Bytes


    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


      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


        from Galois Video / Added

        480 Plays / / 1 Comment

        + More details
        • Introduction to Logic Synthesis


          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


            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


              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


                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


                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


                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


                  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


                    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


                      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