or cancel
  1. Formal Verification of Cyber-Physical Systems


    from Galois Video Added 222 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
    • From Haskell to Hardware via CCCs


      from Galois Video Added 163 1 0

      abstract: For the last several years, speed improvements in computing come mainly from increasing parallelism. Imperative programming, however, makes parallelization very difficult due to the many…

      + More details
      • Functional programming in Swift


        from Galois Video Added 411 9 0

        abstract: At this year’s WWDC, Apple announced Swift, a new programming language for iOS and OS X development. In this talk, I’d like to give a brief overview of the language, focussing…

        + More details
        • Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics


          from Galois Video Added 46 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
          • Getting a Quick Fix on Comonads


            from Galois Video Added 245 3 0

            abstract: While the monad abstraction has risen to a certain flavor of fame in the Haskell community and beyond, its equally fascinating dual, the comonad, remains relatively unknown. I’ll tell…

            + More details
            • Hacking Internet Voting via Ballot Tampering


              from Galois Video Added 1,029 3 1

              Election Day was this week. If you took advantage of early voting, or you live overseas, you probably used a paper ballot you received in the mail a few weeks ago. A digital alternative, being considered…

              + More details
              • Haskell and the Social Web


                from Galois Video Added 1,307 7 0

                abstract: Janrain offers user management services that include single sign-on, social login, and profile storage. We have recently begun using Haskell extensively to implement our products, and would…

                + More details
                • Haskell Bytes


                  from Galois Video Added 317 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
                  • Hex sample 1


                    from Galois Video Added 967 1 0

                    Basic sample play from the ICFP 2015 Programming Contest game "Hex".

                    + More details
                    • Hex sample 2


                      from Galois Video Added 577 0 0

                      problem 6, seed 0, scoring 3261

                      + More details
                      • Hex sample 3: The final seconds...


                        from Galois Video Added 201 0 0

                        problem 14, seed 0 submitted by contestant Zac Slade

                        + More details
                        • High Tech Amateur Rockets at PSAS


                          from Galois Video Added 54 0 0

                          abstract: Portland State Aerospace Society (PSAS) is a student aerospace engineering project at Portland State University. We’re building ultra-low-cost, open source rockets that feature some…

                          + 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