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

    34:14

    from Galois Video / Added

    564 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

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

        47:37

        from Galois Video / Added

        158 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,751 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

            202 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
            • Computers As We Don’t Know Them

              01:02:00

              from Galois Video / Added

              1,693 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

                419 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,189 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
                  • Databases are Categories

                    01:13:19

                    from Galois Video / Added

                    2,276 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
                    • Databases are Categories 2: Refinements and Extensions

                      01:02:55

                      from Galois Video / Added

                      507 Plays / / 0 Comments

                      abstract: About five months ago I gave a talk here at Galois called “Databases are categories.” The basic idea was that a database schema can be represented as a category C and its states…

                      + More details
                      • Developing Good Habits for Bare-Metal Programming

                        01:10:17

                        from Galois Video / Added

                        1,839 Plays / / 0 Comments

                        Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…

                        + More details
                        • Empirical Sampling With Haskell

                          42:52

                          from Galois Video / Added

                          410 Plays / / 0 Comments

                          abstract: Sampling from a large discrete distribution is a common problem in statistics. In this talk, we'll consider a real-world situation where the properties of the distribution cause common…

                          + More details

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 35 videos.

                          Follow

                          Browse This Channel

                          Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels