Icfp 22 Aeneas Rust Verification

Media Summary: 00:00 Intro 00:44 The Linux Kernel: A New Dawn with RefinedRust: A Type System for High-Assurance Deep Programmability: A New Lens on Networking (Keynote,

Icfp 22 Aeneas Rust Verification - Detailed Analysis & Overview

00:00 Intro 00:44 The Linux Kernel: A New Dawn with RefinedRust: A Type System for High-Assurance Deep Programmability: A New Lens on Networking (Keynote, Abstract: We are building Verus, a new tool for semi-automatic Yi, a second-year PhD student at University of Maryland, presents VEST, a new parser and serializer generator for binary formats ... Are you tired of rewriting the same application for every platform, wasting valuable time and resources? Look no further! In this ...

Photo Gallery

[ICFP'22] Aeneas: Rust Verification by Functional Translation

Aeneas: Aeneas Verification by Functional Translation

Son Ho - Formal Verification of Rust Cryptographic Code in Lean with Aeneas (Lean Together 2026)

Son Ho - Aeneas Rust Verification by Functional Translation

Rust's Real Problem Finally Explained to Everyone

[PLDI24] RefinedRust: A Type System for High-Assurance Verification of Rust Programs

[ICFP'22] Deep Programmability: A New Lens on Networking

[PLDI'25] A Hybrid Approach to Semi-automated Rust Verification

Verus -- SMT-based verification of Rust systems code

RefinedRust

Safer Rust: Program Verification with Creusot

Vest: Verified, Secure, High-Performance Parsing & Serialization for Rust by Yi Cai | DC Systems 011

View Detailed Profile

[ICFP'22] Aeneas: Rust Verification by Functional Translation

[ICFP'22] Aeneas: Rust Verification by Functional Translation

Aeneas

Aeneas: Aeneas Verification by Functional Translation

Aeneas: Aeneas Verification by Functional Translation

This talk presents

Son Ho - Formal Verification of Rust Cryptographic Code in Lean with Aeneas (Lean Together 2026)

Son Ho - Formal Verification of Rust Cryptographic Code in Lean with Aeneas (Lean Together 2026)

Conference website: https://leanprover-community.github.io/lt2026/ Full schedule: ...

Son Ho - Aeneas Rust Verification by Functional Translation

Son Ho - Aeneas Rust Verification by Functional Translation

Son Ho presents

Rust's Real Problem Finally Explained to Everyone

Rust's Real Problem Finally Explained to Everyone

00:00 Intro 00:44 The Linux Kernel: A New Dawn with

[PLDI24] RefinedRust: A Type System for High-Assurance Verification of Rust Programs

[PLDI24] RefinedRust: A Type System for High-Assurance Verification of Rust Programs

RefinedRust: A Type System for High-Assurance

[ICFP'22] Deep Programmability: A New Lens on Networking

[ICFP'22] Deep Programmability: A New Lens on Networking

Deep Programmability: A New Lens on Networking (Keynote,

[PLDI'25] A Hybrid Approach to Semi-automated Rust Verification

[PLDI'25] A Hybrid Approach to Semi-automated Rust Verification

A Hybrid Approach to Semi-automated

Verus -- SMT-based verification of Rust systems code

Verus -- SMT-based verification of Rust systems code

Abstract: We are building Verus, a new tool for semi-automatic

RefinedRust

RefinedRust

Also see the website: https://

Safer Rust: Program Verification with Creusot

Safer Rust: Program Verification with Creusot

With Xavier Denis!

Vest: Verified, Secure, High-Performance Parsing & Serialization for Rust by Yi Cai | DC Systems 011

Vest: Verified, Secure, High-Performance Parsing & Serialization for Rust by Yi Cai | DC Systems 011

Yi, a second-year PhD student at University of Maryland, presents VEST, a new parser and serializer generator for binary formats ...

This Rust Tool Will Change Cross-Platform Dev Forever

This Rust Tool Will Change Cross-Platform Dev Forever

Are you tired of rewriting the same application for every platform, wasting valuable time and resources? Look no further! In this ...