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


    from Galois Video Added 619 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
    • Android Ecosystem


      from Galois Video Added 415 2 0

      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)


        from Galois Video Added 122 3 0

        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


          from Galois Video Added 30 1 0

          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


            from Galois Video Added 360 1 0

            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


              from Galois Video Added 3,001 9 0

              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


                from Galois Video Added 308 2 0

                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


                  from Galois Video Added 285 0 0

                  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


                    from Galois Video Added 1,762 9 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
                    • Control Flow Graph-guided Exploration in DDT


                      from Galois Video Added 508 4 0

                      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


                        from Galois Video Added 1,262 2 0

                        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


                          from Galois Video Added 417 1 0

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

                          + More details

                          Browse Videos

                          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