Viewing 0 current events matching “systems programming” by Date.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 2 past events matching “systems programming” by Date.

Sort By: Date Event Name, Location , Default
Tuesday
May 18, 2010
Galois Tech Talk: Developing Good Habits for Bare-Metal Programming
Galois, Inc

presenter: Mark Jones

abstract: 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 that is produced today is written in languages like C and assembly code, without the benefit of more expressive type systems or other features from modern functional programming languages that could help to increase programmer productivity or software quality. In this talk, we present an update on the status of Habit, a dialect of Haskell that we are designing, as part of the HASP project at PSU, to meet the needs of high assurance systems programming. Among other features, Habit provides: mechanisms for fine control over representation of bit-level and memory-based data structures; strong support for both functional and imperative programming; and a flexible type system that allows precise characterization of size and bound information via type level naturals, as well as termination properties resulting from the use of unpointed types.

Website
Friday
May 15, 2015
Rust 1.0 Launch!
Mozilla Portland Office

Come celebrate the launch of Rust 1.0!

Whether you are a new Rustacean, or have been around long enough to fondly remember the ~ sigil, come on out and celebrate!

We will be having 5 minute lightning talks, so feel free to come with one prepared! The talks will explain the power of Rust, how to work in a rustic style, point out common libraries, and current projects and more.

Thanks to Mozilla for the food and refreshments!

Website