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.

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!