or cancel
  1. OpenTheory

    52:36

    from Galois Video / Added

    837 Plays / / 0 Comments

    abstract: Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One…

    + More details
    • Haskell and the Social Web

      50:39

      from Galois Video / Added

      1,176 Plays / / 0 Comments

      abstract: Janrain offers user management services that include single sign-on, social login, and profile storage. We have recently begun using Haskell extensively to implement our products, and would…

      + More details
      • Formal Methods Applied to Control Software

        01:04:11

        from Galois Video / Added

        438 Plays / / 0 Comments

        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

          53:48

          from Galois Video / Added

          1,219 Plays / / 0 Comments

          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
          • abcBridge: Functional Interfaces for AIGs & SAT Solving

            34:14

            from Galois Video / Added

            579 Plays / / 0 Comments

            For slides and more details, please visit: http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/

            + More details
            • Computers As We Don’t Know Them

              01:02:00

              from Galois Video / Added

              1,703 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
              • Developing Good Habits for Bare-Metal Programming

                01:10:17

                from Galois Video / Added

                1,890 Plays / / 0 Comments

                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

                  516 Plays / / 0 Comments

                  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

                    526 Plays / / 0 Comments

                    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
                    • Trust relationship modeling for software assurance

                      24:54

                      from Galois Video / Added

                      251 Plays / / 0 Comments

                      In-absentia presentation to the FAST 2010 audience. Abstract: Software assurance, as practiced through the Common Criteria, is a mixture of processes, heuristics, and lessons learned from earlier…

                      + More details
                      • Copilot Project Test Flight

                        00:08

                        from Galois Video / Added

                        334 Plays / / 0 Comments

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

                      • Databases are Categories 2: Refinements and Extensions

                        01:02:55

                        from Galois Video / Added

                        527 Plays / / 0 Comments

                        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

                        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