or cancel
  1. OpenTheory

    52:36

    from Galois Video / Added

    845 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
    • Hacking Internet Voting via Ballot Tampering

      02:40

      from Galois Video / Added

      932 Plays / / 1 Comment

      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
      • Programming with Narrowing

        01:04:48

        from Galois Video / Added

        284 Plays / / 0 Comments

        abstract: In this talk, I will introduce narrowing, the characterizing feature of functional logic programming, from the programmer's viepoint. Narrowing promotes non-determinism and it enables…

        + More details
        • Functional programming in Swift

          48:59

          from Galois Video / Added

          82 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
          • 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
            • Control Flow Graph-guided Exploration in DDT

              01:06:16

              from Galois Video / Added

              456 Plays / / 0 Comments

              abstract: The existing implementation of DDT uses a depth-first search algorithm to drive the exploration of new paths for testing. This algorithm provides full coverage of the program under test,…

              + More details
              • Program Inconsistency Detection using Weakest Preconditions

                01:09:21

                from Galois Video / Added

                278 Plays / / 0 Comments

                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
                • Copilot: A Hard Real-Time Runtime Monitor

                  53:48

                  from Galois Video / Added

                  1,230 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
                  • Formal Methods Applied to Control Software

                    01:04:11

                    from Galois Video / Added

                    451 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
                    • A short examination on the intersection of security and usability (or How usable security could save us all)

                      01:04:10

                      from Galois Video / Added

                      103 Plays / / 0 Comments

                      abstract: Cryptographic tools have become more powerful in the last three decades. With that power has come complexity. To use or even understand most security tools you need a thorough understanding…

                      + More details
                      • abcBridge: Functional Interfaces for AIGs & SAT Solving

                        34:14

                        from Galois Video / Added

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

                          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