or cancel
  1. abcBridge: Functional Interfaces for AIGs & SAT Solving

    34:14

    from Galois Video / Added

    571 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
    • Android Ecosystem

      01:10:48

      from Galois Video / Added

      350 Plays / / 0 Comments

      abstract: The relative novelty and rapid evolution pace of the Android ecosystem (platform, vendor-installed apps and third-party apps) means both the platform and apps receive little scrutiny. Hence…

      + 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

        93 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
        • Automatic Function Annotations for Hoare Logic

          47:37

          from Galois Video / Added

          182 Plays / / 0 Comments

          abstract: Formal verification can provide a high degree of assurance for critical software, but can come at the cost of large artefacts that must be maintained alongside it. When using an interactive…

          + More details
          • Building an Open-Source Autonomous Quad-Copter

            44:35

            from Galois Video / Added

            2,844 Plays / / 0 Comments

            abstract: It's a bird! It's a plane! No, it's an open-source autonomous quad-copter. In collaboration with the Portland State University Electrical and Computer Engineering Dept., Galois…

            + More details
            • Candid Experiences from a Hardware Startup

              01:05:56

              from Galois Video / Added

              208 Plays / / 0 Comments

              abstract: Hardware is hard. At least that's what people always say. Building a hardware startup requires a broad base of technical knowledge, from electronics and manufacturing experience to…

              + More details
              • Combining Denotational and Operational Semantics for Scalable Proof Development

                01:10:46

                from Galois Video / Added

                200 Plays / / 0 Comments

                abstract:Interpreters offer a convenient and intuitive way for programmers to reason about language behavior through denotational semantics. However in a setting like Coq, where all recursive functions…

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

                  01:02:00

                  from Galois Video / Added

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

                    01:06:16

                    from Galois Video / Added

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

                      53:48

                      from Galois Video / Added

                      1,211 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
                      • Copilot Project Test Flight

                        00:08

                        from Galois Video / Added

                        333 Plays / / 0 Comments

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

                      • Databases are Categories

                        01:13:19

                        from Galois Video / Added

                        2,413 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

                        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