or cancel
  1. 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
    • Android Ecosystem

      01:10:48

      from Galois Video / Added

      366 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

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

          50:27

          from Galois Video / Added

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

            47:37

            from Galois Video / Added

            229 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,916 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

                214 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

                  210 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,707 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

                      454 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,226 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

                          337 Plays / / 0 Comments

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

                        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