or cancel
  1. Programming with Narrowing

    01:04:48

    from Galois Video Added 427 4 0

    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 413 1 0

      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
      • Tech Talk: Read-copy update (RCU) validation and verification for Linux

        01:07:11

        from Galois Video Added 248 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 596 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
          • Tech talk by Philip Wadler

            01:19:31

            from Galois Video Added 158 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
            • Functional programming in Swift

              48:59

              from Galois Video Added 400 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
              • Verifying C programs in Coq using VST

                57:05

                from Galois Video Added 81 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 25 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
                  • Dependently typed functional programming in Idris, 2 of 3

                    01:02:47

                    from Galois Video Added 403 4 0

                    abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as…

                    + More details
                    • Dependently typed functional programming in Idris, 3 of 3

                      59:14

                      from Galois Video Added 297 5 0

                      abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as…

                      + More details
                      • Hex sample 2

                        02:13

                        from Galois Video Added 575 0 0

                        problem 6, seed 0, scoring 3261

                        + More details
                        • Hex sample 3: The final seconds...

                          00:13

                          from Galois Video Added 198 0 0

                          problem 14, seed 0 submitted by contestant Zac Slade

                          + More details

                          Browse Videos

                          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