or cancel
  1. Differential Privacy – A Toolkit for Stability, Robustness, and Statistical Validity

    57:39

    from Galois Video Added 176 0 0

    abstract: In this talk, I’ll give an introduction to differential privacy with an emphasis on its relationship to machine learning, and its usefulness outside of privacy. Along the way, I’ll…

    + More details
    • Verifying C programs in Coq using VST

      57:05

      from Galois Video Added 85 0 0

      Abstract C programs are notoriously difficult to reason about, either for safety or full functional correctness. Even with a program logic powerful enough to prove the necessary properties, the proof…

      + More details
      • High Tech Amateur Rockets at PSAS

        56:23

        from Galois Video Added 60 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
        • Verifying seL4-Based Systems

          55:53

          from Galois Video Added 342 1 0

          abstract: In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified…

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

            55:35

            from Galois Video Added 49 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
            • Copilot: A Hard Real-Time Runtime Monitor

              53:48

              from Galois Video Added 1,260 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
              • Mod Your Android

                53:45

                from Galois Video Added 46 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
                • Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation

                  53:31

                  from Galois Video Added 138 1 0

                  abstract: As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn the table…

                  + More details
                  • OpenTheory

                    52:36

                    from Galois Video Added 878 4 0

                    abstract: Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One…

                    + More details
                    • The Strategy Challenge in Computer Algebra

                      52:19

                      from Galois Video Added 450 7 0

                      abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

                      + More details
                      • Faster persistent data structures through hashing

                        51:19

                        from Galois Video Added 1,434 6 0

                        abstract: The most commonly used map (dictionary) data type in Haskell is implemented using a size balanced tree. While size balanced trees provide good asymptotic performance, their real world performance…

                        + More details
                        • Parametricity, Quotient Types, and Theorem Transfer

                          50:59

                          from Galois Video Added 170 1 0

                          abstract: A polymorphic function may be instantiated at many different types; if the function is parametrically polymorphic, then all of its instances must behave uniformly. Reynolds' parametricity…

                          + 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