or cancel
  1. Tech talk by Philip Wadler


    from Galois Video Added 186 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
    • New Directions in Random Testing - From Mars Rovers to JavaScript Engines


      from Galois Video Added 105 2 0

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


        from Galois Video Added 181 2 0

        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
        • Formal Methods Applied to Control Software


          from Galois Video Added 500 2 0

          abstract: Critical cyber-physical systems, such as avionics, typically have one or more components that control the behavior of dynamical physical systems. The design of such control systems is well…

          + More details
          • Copilot: A Hard Real-Time Runtime Monitor


            from Galois Video Added 1,263 2 0

            abstract: We address the problem of runtime monitoring for hard real-time programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitoring community.…

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


              from Galois Video Added 91 1 0

              Slides: http://goo.gl/MtQmas 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…

              + More details
              • From Haskell to Hardware via CCCs


                from Galois Video Added 230 1 0

                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
                • Tech Talk: Common crypto mistakes in Android


                  from Galois Video Added 657 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
                  • Verifying seL4-Based Systems


                    from Galois Video Added 356 1 0

                    abstract: In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified…

                    + More details
                    • Test flight of AirStar


                      from Galois Video Added 503 1 0

                      More info at : http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-systems/

                      + More details
                      • Introducing Well-founded Recursion


                        from Galois Video Added 743 1 1

                        + More details
                        • Copilot Project Test Flight


                          from Galois Video Added 420 1 0

                          More info at : http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-systems/

                          + 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