or cancel
  1. The Constrained Monad Problem

    44:25

    from Galois Video / Added

    115 Plays / / 0 Comments

    abstract: In Haskell, there are many data types that would form monads were it not for the presence of type-class constraints on the operations on that data type. This is a frustrating problem in…

    + More details
    • Pi in the Sky

      37:35

      from Galois Video / Added

      64 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
      • Inferring Phylogenies Using Evolutionary Algorithms

        46:48

        from Galois Video / Added

        70 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
        • Parametricity, Quotient Types, and Theorem Transfer

          50:59

          from Galois Video / Added

          136 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
          • Automatic Function Annotations for Hoare Logic

            47:37

            from Galois Video / Added

            276 Plays / / 0 Comments

            abstract: Formal verification can provide a high degree of assurance for critical software, but can come at the cost of large artefacts that must be maintained alongside it. When using an interactive…

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

              01:02:29

              from Galois Video / Added

              124 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
              • Android Ecosystem

                01:10:48

                from Galois Video / Added

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

                  01:04:48

                  from Galois Video / Added

                  317 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
                  • Why Do Airplanes Crash

                    40:33

                    from Galois Video / Added

                    342 Plays / / 0 Comments

                    abstract: On October 7, 2008, the flight control system of Qantas flight 72 malfunctioned without warning. The failure caused the aircraft to violently pitch down with an acceleration of -0.8g, pitching…

                    + More details
                    • Property Directed Reachability

                      01:04:28

                      from Galois Video / Added

                      477 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
                      • Introducing Well-founded Recursion

                        01:08:48

                        from Galois Video / Added

                        567 Plays / / 1 Comment

                        + More details
                        • Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics

                          55:35

                          from Galois Video / Added

                          39 Plays / / 0 Comments

                          abstract: Communication fabrics constitute an important challenge for the design and verification of multicore architectures. To enable their formal analysis, micro-architectural models have been…

                          + 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