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

    34:14

    from Galois Video / Added

    592 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

      385 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

        111 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

          12 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

            275 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,948 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

                219 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

                  241 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,731 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

                      468 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,242 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

                          362 Plays / / 0 Comments

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

                          + 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