or cancel
  1. Databases are Categories

    01:13:19

    from Galois Video Added 2,731 20 5

    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
    • Dependently Typed Functional Programming in Idris by David Christiansen 1 of 3

      01:20:29

      from Galois Video Added 1,443 13 2

      abstract: Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as…

      + More details
      • Large-Scale Static Analysis at Mozilla

        01:00:40

        from Galois Video Added 2,253 7 1

        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
        • Program Inconsistency Detection using Weakest Preconditions

          01:09:21

          from Galois Video Added 305 2 1

          abstract: Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the…

          + More details
          • Hacking Internet Voting via Ballot Tampering

            02:40

            from Galois Video Added 972 3 1

            Election Day was this week. If you took advantage of early voting, or you live overseas, you probably used a paper ballot you received in the mail a few weeks ago. A digital alternative, being considered…

            + More details
            • Introducing Well-founded Recursion

              01:08:48

              from Galois Video Added 570 1 1

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

                01:04:07

                from Galois Video Added 529 2 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 554 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
                  • Developing Good Habits for Bare-Metal Programming

                    01:10:17

                    from Galois Video Added 1,934 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
                    • Computers As We Don’t Know Them

                      01:02:00

                      from Galois Video Added 1,734 8 0

                      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 596 2 0

                        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 256 2 0

                          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

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 70 videos.

                          Follow

                          Browse This Channel

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