or cancel
  1. Combining Denotational and Operational Semantics for Scalable Proof Development

    01:10:46

    from Galois Video Added 276 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
    • Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics

      55:35

      from Galois Video Added 45 0 0

      abstract: Communication fabrics constitute an important challenge for the design and verification of multicore architectures. To enable their formal analysis, micro-architectural models have been…

      + More details
      • Inferring Phylogenies Using Evolutionary Algorithms

        46:48

        from Galois Video Added 99 0 0

        abstract: An important problem in genetics is phylogenetic inference: Coming up with good hypotheses for the evolutionary relationship between species – usually represented as a “family…

        + More details
        • New Directions in Random Testing - From Mars Rovers to JavaScript Engines

          01:01:02

          from Galois Video Added 95 1 0

          abstract: One of the most effective ways to test complex language implementations, file systems, and other critical systems software is random test generation. This talk will cover a number of recent…

          + More details
          • Mod Your Android

            53:45

            from Galois Video Added 45 1 0

            Description: Take control of your hardware by installing an open build of Android. Get root access and extend the life of your device. Learn about what is involved in installing a third-party…

            + More details
            • The SMACCMPilot Project: New Techniques for Embedded Programming

              57:45

              from Galois Video Added 86 0 0

              abstract: At Galois, we're building critical flight control software using new software methods for embedded systems programming. We will show how we used new domain-specific languages which…

              + More details
              • The Constrained Monad Problem

                44:25

                from Galois Video Added 157 4 0

                abstract: In Haskell, there are many data types that would form monads were it not for the presence of type-class constraints on the operations on that data type. This is a frustrating problem in…

                + More details
                • Pi in the Sky

                  37:35

                  from Galois Video Added 71 0 0

                  abstract: Five students in PSU’s Electrical and Computer Engineering Senior Capstone sequence want to show you what they’ve created: an inexpensive computer vision system for a quadcopter…

                  + More details
                  • Programming Diversity

                    58:09

                    from Galois Video Added 175 2 0

                    abstract: It's been scientifically proven that more diverse communities and workplaces create better products and the solutions to difficult problems are more complete and diverse themselves.…

                    + 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 116 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
                      • Formal Verification of Cyber-Physical Systems

                        59:34

                        from Galois Video Added 200 1 0

                        abstract: Cyber-Physical Systems (CPS) refer to systems in which control, computation and communication converge to achieve complex functionalities. The ubiquitous deployment of cyber-physical systems…

                        + More details
                        • Haskell Bytes

                          01:04:03

                          from Galois Video Added 303 5 0

                          abstract: We will take you on a guided tour through the memory of a running Haskell program and get to peek at the raw bytes of Haskell values. We’ll see how uniformity allows for polymorphic…

                          + More details

                          Browse Videos

                          Galois Tech Talks” by Galois Video has 70 videos.

                          Follow

                          Browse This Channel

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