or cancel
  1. Getting a Quick Fix on Comonads

    01:13:39

    from Galois Video Added 253 3 0

    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 85 0 0

      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 1,074 9 0

        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 73 3 0

          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
          • Verifying C programs in Coq using VST

            57:05

            from Galois Video Added 83 0 0

            Abstract C programs are notoriously difficult to reason about, either for safety or full functional correctness. Even with a program logic powerful enough to prove the necessary properties, the proof…

            + More details
            • Automatic Device Driver Synthesis

              50:27

              from Galois Video Added 29 1 0

              abstract: Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications. I will…

              + More details
              • Functional programming in Swift

                48:59

                from Galois Video Added 417 9 0

                abstract: At this year’s WWDC, Apple announced Swift, a new programming language for iOS and OS X development. In this talk, I’d like to give a brief overview of the language, focussing…

                + More details
                • Tech talk by Philip Wadler

                  01:19:31

                  from Galois Video Added 164 2 0

                  abstract: We present four calculi for gradual typing: λB, based on the blame calculus of Wadler and Findler (2009); λC, based on the coercion calculus of Henglein (1994); and λT…

                  + More details
                  • Hacking Internet Voting via Ballot Tampering

                    02:40

                    from Galois Video Added 1,030 3 1

                    Election Day was this week. If you took advantage of early voting, or you live overseas, you probably used a paper ballot you received in the mail a few weeks ago. A digital alternative, being considered…

                    + More details
                    • Tech Talk: Read-copy update (RCU) validation and verification for Linux

                      01:07:11

                      from Galois Video Added 294 1 0

                      abstract: Read-copy update (RCU) is a synchronization mechanism that is sometimes used as an alternative to reader-writer locking (among other things) that was added to the Linux kernel in 2002.…

                      + More details
                      • Tech Talk: Common crypto mistakes in Android

                        48:44

                        from Galois Video Added 624 1 0

                        abstract: If you do a web search for “encrypting Strings in Android”, you’ll find a lot of example code, and they all look pretty similar. They definitely input a String and output…

                        + More details
                        • Automatic Function Annotations for Hoare Logic

                          47:37

                          from Galois Video Added 357 1 0

                          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

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 70 videos.

                          Follow

                          Browse This Channel

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