or cancel
  1. Getting a Quick Fix on Comonads

    01:13:39

    from Galois Video / Added

    67 Plays / / 0 Comments

    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
    • Haskell Bytes

      01:04:03

      from Galois Video / Added

      60 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
      • Formal Verification of Cyber-Physical Systems

        59:34

        from Galois Video / Added

        35 Plays / / 0 Comments

        abstract: Cyber-Physical Systems (CPS) refer to systems in which control, computation and communication converge to achieve complex functionalities. The ubiquitous deployment of cyber-physical systems…

        + More details
        • A short examination on the intersection of security and usability (or How usable security could save us all)

          01:04:10

          from Galois Video / Added

          92 Plays / / 0 Comments

          abstract: Cryptographic tools have become more powerful in the last three decades. With that power has come complexity. To use or even understand most security tools you need a thorough understanding…

          + More details
          • Programming Diversity

            58:09

            from Galois Video / Added

            138 Plays / / 0 Comments

            abstract: It's been scientifically proven that more diverse communities and workplaces create better products and the solutions to difficult problems are more complete and diverse themselves.…

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

            01:01:02

            from Galois Video / Added

            53 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…

          • 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…

          • The SMACCMPilot Project: New Techniques for Embedded Programming

            57:45

            from Galois Video / Added

            62 Plays / / 0 Comments

            abstract: At Galois, we're building critical flight control software using new software methods for embedded systems programming. We will show how we used new domain-specific languages which…

          • The Constrained Monad Problem

            44:25

            from Galois Video / Added

            66 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…

          • Pi in the Sky

            37:35

            from Galois Video / Added

            51 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

              47 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

                105 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

                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