or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video / Added

    2,546 Plays / / 5 Comments

    Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

    + More details
    • Large-Scale Static Analysis at Mozilla

      01:00:40

      from Galois Video / Added

      2,241 Plays / / 1 Comment

      Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…

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

        01:04:07

        from Galois Video / Added

        521 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

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

            01:10:17

            from Galois Video / Added

            1,904 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
            • Computers As We Don’t Know Them

              01:02:00

              from Galois Video / Added

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

                34:14

                from Galois Video / Added

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

                  24:54

                  from Galois Video / Added

                  255 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
                  • Introduction to Logic Synthesis

                    01:10:55

                    from Galois Video / Added

                    830 Plays / / 0 Comments

                    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

                      415 Plays / / 0 Comments

                      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

                        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
                        • Databases are Categories 2: Refinements and Extensions

                          01:02:55

                          from Galois Video / Added

                          533 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 Tech Talks” by Galois Video has 35 videos.

                          Follow

                          Browse This Channel

                          Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels