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

    01:10:17

    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

      01:04:07

      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

        38:56

        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

          00:08

          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

            00:13

            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

              01:04:11

              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

                01:09:36

                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

                  53:48

                  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

                    01:02:55

                    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

                      01:10:55

                      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

                        01:16:26

                        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

                          53:31

                          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