Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us! Please note the unusual time slot for this talk: it is on Monday, 7 February 2011, at 4:30pm (changed from 1:30pm due to flight delays). title: The Strategy Challenge in Computer Algebra presenter: Grant […]
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us! title: Verifying seL4-based Systems presenter: Simon Winwood time: Tuesday, 01 February 2011, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300, Portland, OR, USA(3rd floor of the Commonwealth building) abstract: In […]
We are pleased to announce the availability of a new Galois tech talk video: “Program Inconsistency Detection using Weakest Preconditions”, presented by Aaron Tomb. More details about the talk are available on the announcement page. Program Inconsistency Detection using Weakest Preconditions from Galois Video on Vimeo. For more videos, please visit http://vimeo.com/channels/galois.
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us! title: Program Inconsistency Detection using Weakest Preconditions presenter: Aaron Tomb time: Tuesday, 25 January 2011, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300, Portland, OR, USA(3rd floor of the Commonwealth building) abstract: Many tools […]
We are pleased to announce the availability of a new Galois tech talk video: “Control Flow Graph-guided Exploration in DDT”, presented by Rebekah Leslie. More details about the talk are available on the announcement page. Control Flow Graph-guided Exploration in DDT from Galois Video on Vimeo. For more videos, please visit http://vimeo.com/channels/galois.
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us! title: Control-flow Graph Guided Exploration in DDT presenter: Rebekah Leslie time: Tuesday, 11 January 2011, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300, Portland, OR, USA3rd floor of the Commonwealth building) […]
We are pleased to announce the availability of a new Galois tech talk video: “The Rubinius Virtual Machine”, presented by Brian Ford. More details about the talk are available on the announcement page. The Rubinius Virtual Machine from Galois Video on Vimeo. For more videos, please visit http://vimeo.com/channels/galois.
We are pleased to announce the availability of a new Galois tech talk video: “Formal Methods Applied to Control Software”, presented by Alwyn Goodloe. More details about the talk are available on the announcement page. Formal Methods Applied to Control Software from Galois Video on Vimeo. Formal Methods Applied to Control Software from Galois Video […]
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!
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 inheritance, mixins, and syntax features like omission of parentheses that make it well-suited for embedded domain-specific languages. Ruby was popularized by the Ruby on Rails web development framework.The Rubinius project began as an implementation of the Ruby programming language roughly following the design of the Smalltalk-80 virtual machine described in the Blue book (“Smalltalk-80: the language and its implementation” by Adele Goldberg and David Robson). We have extended the initial implementation based on modern research in virtual machines, garbage collectors, and just-in-time (JIT) compilers. Rubinius currently features a stack-oriented opcode virtual machine, generational garbage collector, and LLVM-based JIT compiler. Most of the Ruby core library and the bytecode compiler are written in Ruby.We will examine the main features of Rubinius and take a deeper dive into some aspects of the virtual machine and JIT compiler. We will also look at possible future work to address memory load, startup, and suitability for using Rubinius in Android phones. If there is time and interest, we will discuss implementing programming languages besides Ruby on Rubinius.
We are pleased to announce the availability of a new Galois tech talk video: “Copilot: A Hard Real-Time Runtime Monitor”, presented by Lee Pike. More details about the talk are available on the announcement page.
Copilot: A Hard Real-Time Runtime Monitor from Galois Video on Vimeo.
For more videos, please visit http://vimeo.com/channels/galois.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.