Galois Video’s Videos
-
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 -
Large-Scale Static Analysis at Mozilla
01:00:402,191 Plays / 7 Likes / 1 Comment
Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…
+ More details -
01:13:192,071 Plays / 17 Likes / 5 Comments
Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.
+ More details -
Developing Good Habits for Bare-Metal Programming
01:10:171,779 Plays / 7 Likes / 0 Comments
Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…
+ More details -
Computers As We Don’t Know Them
01:02:001,664 Plays / 8 Likes / 0 Comments
For slides and more details, please visit: http://www.galois.com/blog/2010/08/11/tech-talk-computers-as-we-dont-know-them/
+ More details -
01:09:361,634 Plays / 3 Likes / 0 Comments
abstract: Ruby is a highly dynamic, strongly-typed programming language created by Yukihiro Matsumoto in 1993 and first released in 1995. It borrows from Smalltalk, Lisp, and Perl. Ruby has single…
+ 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 -
Copilot: A Hard Real-Time Runtime Monitor
53:481,155 Plays / 2 Likes / 0 Comments
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. We…
+ More details -
50:391,068 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 -
Introduction to Logic Synthesis
01:10:55771 Plays / 1 Likes / 0 Comments
abstract: The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut…
+ 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 -
abcBridge: Functional Interfaces for AIGs & SAT Solving
34:14546 Plays / 2 Likes / 0 Comments
For slides and more details, please visit: http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/
+ 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