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


    from Galois Video Added 288 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


      from Galois Video Added 50 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


        from Galois Video Added 108 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


          from Galois Video Added 105 2 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


            from Galois Video Added 53 3 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


              from Galois Video Added 97 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


                from Galois Video Added 170 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


                  from Galois Video Added 77 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


                    from Galois Video Added 181 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)


                      from Galois Video Added 125 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


                        from Galois Video Added 243 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


                          from Galois Video Added 349 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.


                          Browse This Channel

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