or cancel
  1. Empirical Sampling With Haskell


    from Galois Video Added 454 1 0

    abstract: Sampling from a large discrete distribution is a common problem in statistics. In this talk, we'll consider a real-world situation where the properties of the distribution cause common…

    + More details
    • Formal Methods Applied to Control Software


      from Galois Video Added 454 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
      • Verification of Galois Field Multipliers


        from Galois Video Added 451 1 0

        abstract: Applications in Cryptography require multiplication and exponentiation operations to be performed over Galois fields GF(2^k). Therefore, there has been quite an interest in the hardware…

        + More details
        • The Strategy Challenge in Computer Algebra


          from Galois Video Added 414 6 0

          abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

          + More details
          • Android Ecosystem


            from Galois Video Added 389 1 0

            abstract: The relative novelty and rapid evolution pace of the Android ecosystem (platform, vendor-installed apps and third-party apps) means both the platform and apps receive little scrutiny. Hence…

            + More details
            • Programming with Narrowing


              from Galois Video Added 375 3 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
              • Copilot Project Test Flight


                from Galois Video Added 374 1 0

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

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


                  from Galois Video Added 368 0 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
                  • Why Do Airplanes Crash


                    from Galois Video Added 359 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
                    • Engineers Without Borders


                      from Galois Video Added 348 1 0

                      abstract: Engineers Without Borders USA is a fast-growing national non-profit impacting developing communities around the world. EWB provides an opportunity for engineering students and professionals…

                      + More details
                      • Program Inconsistency Detection using Weakest Preconditions


                        from Galois Video Added 321 2 1

                        abstract: Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the…

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


                          from Galois Video Added 316 3 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

                          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