All Galois Video’s Videos
-
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 -
01:10:48250 Plays / 0 Likes / 0 Comments
abstract: The relative novelty and rapid evolution pace of the Android ecosystem (platform, vendor-installed apps and third-party apps) means both the platform and apps receive little scrutiny. Hence…
+ More details -
Automatic Function Annotations for Hoare Logic
47:3742 Plays / 0 Likes / 0 Comments
abstract: Formal verification can provide a high degree of assurance for critical software, but can come at the cost of large artefacts that must be maintained alongside it. When using an interactive…
+ 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 -
Candid Experiences from a Hardware Startup
01:05:56190 Plays / 1 Likes / 0 Comments
abstract: Hardware is hard. At least that's what people always say. Building a hardware startup requires a broad base of technical knowledge, from electronics and manufacturing experience to aesthetic…
+ More details -
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 -
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 -
Control Flow Graph-guided Exploration in DDT
01:06:16363 Plays / 3 Likes / 0 Comments
abstract: The existing implementation of DDT uses a depth-first search algorithm to drive the exploration of new paths for testing. This algorithm provides full coverage of the program under test,…
+ 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 -
00:08299 Plays / 1 Likes / 0 Comments
More info at : http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-systems/
-
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 -
Databases are Categories 2: Refinements and Extensions
01:02:55488 Plays / 3 Likes / 0 Comments
abstract: About five months ago I gave a talk here at Galois called “Databases are categories.” The basic idea was that a database schema can be represented as a category C and its states can be represented…
+ 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