or cancel
  1. Dependently typed functional programming in Idris, 2 of 3

    01:02:47

    from Galois Video / Added

    240 Plays / / 0 Comments

    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
    • 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
      • Vinyl: Records in Haskell and Type Theory

        01:02:23

        from Galois Video / Added

        846 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
        • Computers As We Don’t Know Them

          01:02:00

          from Galois Video / Added

          1,732 Plays / / 0 Comments

          For slides and more details, please visit: http://www.galois.com/blog/2010/08/11/tech-talk-computers-as-we-dont-know-them/

          + More details
          • How to get from laws to technical requirements

            01:01:51

            from Galois Video / Added

            6 Plays / / 0 Comments

            abstract: Why is cybersecurity such a hard problem? The US government, its citizens, and the organizations that write software are all on the same team, but in many cases, our interests are just…

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

              01:01:02

              from Galois Video / Added

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

              + More details
              • Large-Scale Static Analysis at Mozilla

                01:00:40

                from Galois Video / Added

                2,253 Plays / / 1 Comment

                Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…

                + More details
                • From Haskell to Hardware via CCCs

                  01:00:36

                  from Galois Video / Added

                  38 Plays / / 0 Comments

                  abstract: For the last several years, speed improvements in computing come mainly from increasing parallelism. Imperative programming, however, makes parallelization very difficult due to the many…

                  + More details
                  • Formal Verification of Cyber-Physical Systems

                    59:34

                    from Galois Video / Added

                    128 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
                    • Dependently typed functional programming in Idris, 3 of 3

                      59:14

                      from Galois Video / Added

                      184 Plays / / 0 Comments

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

                        58:09

                        from Galois Video / Added

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

                          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