or cancel
  1. Developing Good Habits for Bare-Metal Programming


    from Galois Video Added 1,994 9 0

    Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…

    + More details
    • Requirements and Performance of Data Intensive, Irregular Applications


      from Galois Video Added 605 3 0

      Abstract: Many fundamental science, national security, and business applications need to process large volumes of irregular, unstructured data. Data collection and analysis is rapidly changing the…

      + More details
      • PReach - A Distributed Murphi-Based Model Checker


        from Galois Video Added 590 3 0

        Abstract: We present PReach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker…

        + More details
        • Copilot Project Test Flight


          from Galois Video Added 415 1 0

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

          + More details
          • Test flight of AirStar


            from Galois Video Added 499 1 0

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

            + More details
            • Formal Methods Applied to Control Software


              from Galois Video Added 481 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
              • The Rubinius Virtual Machine


                from Galois Video Added 1,882 4 0

                abstract: Ruby is a highly dynamic, strongly-typed programming language created by Yukihiro Matsumoto in 1993 and first released in 1995. It borrows from Smalltalk, Lisp, and Perl. Ruby has single…

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


                  from Galois Video Added 1,259 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
                  • Databases are Categories 2: Refinements and Extensions


                    from Galois Video Added 632 1 0

                    abstract: About five months ago I gave a talk here at Galois called “Databases are categories.” The basic idea was that a database schema can be represented as a category C and its states…

                    + More details
                    • Introduction to Logic Synthesis


                      from Galois Video Added 898 2 0

                      abstract: The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut…

                      + More details
                      • Verification of Galois Field Multipliers


                        from Galois Video Added 486 2 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
                        • Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation


                          from Galois Video Added 138 1 0

                          abstract: As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn the table…

                          + 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