or cancel
  1. Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics

    55:35

    from Galois Video / Added

    38 Plays / / 0 Comments

    abstract: Communication fabrics constitute an important challenge for the design and verification of multicore architectures. To enable their formal analysis, micro-architectural models have been…

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

      53:48

      from Galois Video / Added

      1,233 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
      • Mod Your Android

        53:45

        from Galois Video / Added

        37 Plays / / 0 Comments

        Description: Take control of your hardware by installing an open build of Android. Get root access and extend the life of your device. Learn about what is involved in installing a third-party…

        + More details
        • Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation

          53:31

          from Galois Video / Added

          129 Plays / / 0 Comments

          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
          • OpenTheory

            52:36

            from Galois Video / Added

            847 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
            • The Strategy Challenge in Computer Algebra

              52:19

              from Galois Video / Added

              399 Plays / / 0 Comments

              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
              • Faster persistent data structures through hashing

                51:19

                from Galois Video / Added

                1,399 Plays / / 0 Comments

                abstract: The most commonly used map (dictionary) data type in Haskell is implemented using a size balanced tree. While size balanced trees provide good asymptotic performance, their real world performance…

                + More details
                • Parametricity, Quotient Types, and Theorem Transfer

                  50:59

                  from Galois Video / Added

                  132 Plays / / 0 Comments

                  abstract: A polymorphic function may be instantiated at many different types; if the function is parametrically polymorphic, then all of its instances must behave uniformly. Reynolds' parametricity…

                  + More details
                  • Haskell and the Social Web

                    50:39

                    from Galois Video / Added

                    1,198 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
                    • Automatic Device Driver Synthesis

                      50:27

                      from Galois Video / Added

                      8 Plays / / 0 Comments

                      abstract: Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications. I will…

                      + More details
                      • Parallel K-Induction Based Model Checking

                        49:25

                        from Galois Video / Added

                        200 Plays / / 0 Comments

                        abstract: We give an overview of a parallel k-induction-based model checking architecture for verifying safety properties of synchronous systems. The architecture, which is strictly message-based,…

                        + More details
                        • Functional programming in Swift

                          48:59

                          from Galois Video / Added

                          137 Plays / / 0 Comments

                          abstract: At this year’s WWDC, Apple announced Swift, a new programming language for iOS and OS X development. In this talk, I’d like to give a brief overview of the language, focussing…

                          + 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