or cancel
  1. Mod Your Android

    53:45

    from Galois Video / Added

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

    + More details
    • The SMACCMPilot Project: New Techniques for Embedded Programming

      57:45

      from Galois Video / Added

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

      + More details
      • 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

          62 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
          • Programming Diversity

            58:09

            from Galois Video / Added

            157 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.…

            + 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

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

                59:34

                from Galois Video / Added

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

                  01:04:03

                  from Galois Video / Added

                  195 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
                  • Getting a Quick Fix on Comonads

                    01:13:39

                    from Galois Video / Added

                    186 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
                    • Sunroof and a Blank Canvas: A tail of two DSLs

                      01:03:17

                      from Galois Video / Added

                      63 Plays / / 0 Comments

                      Abstract Sunroof is an embedded Haskell Domain Specific Language (DSL) that compiles to JavaScript. Blank Canvas is an embedded Haskell DSL that provides direct access to the HTML5 JavaScript Canvas.…

                      + More details
                      • Vinyl: Records in Haskell and Type Theory

                        01:02:23

                        from Galois Video / Added

                        823 Plays / / 0 Comments

                        abstract: Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility,…

                        + More details
                        • Verified Cryptographic Implementations

                          01:08:48

                          from Galois Video / Added

                          50 Plays / / 0 Comments

                          Abstract EasyCrypt is a computer-assisted framework for proving the security of cryptographic constructions. However, there is a significant gap between security proofs done in the usual provable…

                          + More details

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 66 videos.

                          Follow

                          Browse This Channel

                          Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels