All Galois Video’s Videos
-
Combining Denotational and Operational Semantics for Scalable Proof Development
01:10:46177 Plays / 0 Likes / 0 Comments
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 -
Parallel K-Induction Based Model Checking
49:25175 Plays / 0 Likes / 0 Comments
abstract: We give an overview of a parallel k-induction-based model checking architecture for verifying safety properties of synchronous systems. The architecture, which is strictly message-based,…
+ More details -
Building an Open-Source Autonomous Quad-Copter
44:352,468 Plays / 8 Likes / 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 mentored…
+ More details -
Empirical Sampling With Haskell
42:52363 Plays / 1 Likes / 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 approaches…
+ More details -
43:08166 Plays / 0 Likes / 0 Comments
abstract: RNA Networks is a software company focused on providing the next generation storage cache solution that addresses performance deficiencies and the rising cost of storage for virtual environments.…
+ More details -
52:36593 Plays / 2 Likes / 0 Comments
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 -
50:391,067 Plays / 5 Likes / 0 Comments
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 -
38:36327 Plays / 1 Likes / 0 Comments
abstract: Engineers Without Borders USA is a fast-growing national non-profit impacting developing communities around the world. EWB provides an opportunity for engineering students and professionals…
+ More details -
Faster persistent data structures through hashing
51:191,161 Plays / 4 Likes / 0 Comments
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 -
The Strategy Challenge in Computer Algebra
52:19304 Plays / 3 Likes / 0 Comments
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 -
55:53235 Plays / 1 Likes / 0 Comments
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 -
Program Inconsistency Detection using Weakest Preconditions
01:09:21237 Plays / 1 Likes / 0 Comments
abstract: Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the…
+ More details
Browse Videos
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
More stuff from Galois Video