Rust Dublin 226 Andrea Lattuada

Join Ferris, Andrea Lattuada and fellow Rustaceans for a double billing of Rust talks.

Verus — Verified Rust for low-level systems code

The Rust programming language, with its combination of high-level features, memory safety, and low-level "unsafe" primitives has proven to be an excellent tool to write high-performance systems software. Rust's properties and type system also make it an excellent basis for "full functional verification" where formal reasoning is used to prove that the behavior of a complex program corresponds to a desired specification (i.e. to prove that the program is "correct").

We are building our new tool, Verus, to efficiently verify full functional correctness of low-level systems code written in a safe Rust dialect that supports expressing specifications and proofs. In this talk I'll introduce the basics of functional verification, the verification technique used by Verus, and I'll demonstrate how the tool, with the programmer's help, can ensure that programs are bug-free (or how it catches bugs, if they are any).

OUR PARTNERS

Stackand.Co enrich the professional lives of Java software professionals - with over 20 years experience in the Irish tech recruitment market, they have helped many great people elevate their careers, and many great companies build their teams. 

Perhaps they can do the same for you working with companies like this one?

Discover more: Website / LinkedIn

.

tcube is a low-cost no frills workspace provider located at O'Connell Bridge in Dublin city centre. They provide hot-desks, dedicated co-working desks, office-for-a-day, meeting rooms, and event space.

Discover more: Website / LinkedIn

.

TechMeetup.space is a network of technology groups including Dublin Java User Group, Tech Pro Ireland, PHP Dublin, Rust Dublin, CHAI Dublin and many more.

Discover more: Website / LinkedIn

.

Companies. If you would you like to share your news, products, services and jobs opportunities with our community of software developers, [please get in touch here](email:team@techmeetup.space) :)