iiinova — where your digital self keeps evolving

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Son Ho with an update on Aeneas : Formal verification of Rust program by functional translation, a tool developed from combined efforts of Microsoft Azure and Inria Paris youtu.be/24Wt5FvmcHM 2025 Atlas Computing Symposium : Rust in Ottawa #rustlang

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Aeneas

YouTube video by Atlas Computing

011

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Everett Hildenbrandt with a demo by Daniel Cumming and Jost Berthold on Formal Verification of Rust programs using stable MIR and the K framework at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/VPkTZEf4ks8

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Symbolic Execution of Rust code via Stable MIR

YouTube video by Atlas Computing

000

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Guillaume Claret from Formal Land presenting Formal Verification for Rust in Rocq at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/2TsA_xJn7yU

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Coq-of-Rust

YouTube video by Atlas Computing

011

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Zyad Hassan, Senior Applied Scientist @AWS, presenting the Contract-based verification in Kani at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/6eqJZmU04b8

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Contract-based verification in Kani

YouTube video by Atlas Computing

000

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Aymeric Fromherz from Inria (Paris) presenting an update on Charon at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/jYX-wgLP1MU

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Charon

YouTube video by Atlas Computing

000

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Remi Delmas, Principal Applied Scientist @awscloud.bsky.social presenting the Harness-based verification in Kani at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/QW2R4z7WPMU

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Harness-based verification in Kani

YouTube video by Atlas Computing

000

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

Xavier Denis from ETH Zurich giving an update on Creusot at the Atlas Computing Symposium Rust Ottawa 2025 youtu.be/CMGgk08p2SA

youtu.be

Atlas Computing Symposium Rust Ottawa 2025 - Creusot

YouTube video by Atlas Computing

000

Atlas Computing @atlascomputing.bsky.social · 08/05/2025

All the videos from the Atlas Computing Symposium on Formal Methods for Rust at @icseconf.bsky.social 2025 are out. bit.ly/3GJ55e9 This has been a great combo of industry and academic talks with participation from AWS, Microsoft, Inria, ETH Zurich, Formal Land, and Runtime Verification. #rustlang

bit.ly

YouTube

Share your videos with friends, family, and the world.

031

Atlas Computing @atlascomputing.bsky.social · 23/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Sponsor highlight: The Automated Reasoning Group at Amazon Web Services is focusing on the automation of formal logical reasoning to raise the bar on security, durability, availability, and quality.

001

Atlas Computing @atlascomputing.bsky.social · 23/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Zyad Hassan is a Senior Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS), where he works on the Kani Rust Verifier.

001

Atlas Computing @atlascomputing.bsky.social · 23/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Rémi Delmas is a Principal Applied Scientist at Amazon Web Services (AWS) Automated Reasoning Group in Boston. #rustlang

001

Atlas Computing @atlascomputing.bsky.social · 18/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Guillaume Claret is a security researcher and the founder of @formalland.bsky.social, a company specializing in the application of formal methods to critical code. #rustlang

033

Atlas Computing @atlascomputing.bsky.social · 17/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Daniel Cumming has been a verification engineer for Runtime Verification Inc. for over 2 years, nearly exclusively working with #Rust code.

031

Atlas Computing @atlascomputing.bsky.social · 17/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Aymeric Fromherz is a researcher in the Prosecco team at Inria Paris. He received his PhD from Carnegie Mellon University in 2021.

021

Atlas Computing @atlascomputing.bsky.social · 17/04/2025

Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc Speaker highlight: Son Ho is a post-doc working on program verification at Azure Research after completing his PhD at Inria Paris. #Rust

021

Atlas Computing @atlascomputing.bsky.social · 14/04/2025

Attending #ICSE2025 in Ottawa? Join us at the Rust Symposium (Friday, May 2, 9am-5pm) for a full day of cutting-edge tools and research. Featuring speakers from AWS, ETH Zurich, Formal Land, Inria, Microsoft, and Runtime Verification. #RustLang Registration here lu.ma/umi3g2wc

022

Atlas Computing @atlascomputing.bsky.social · 01/11/2024

Attending the GovAI Summit was great, but there is so much work to do, as very few understand the AI space. Gov AI is all about risk management, regulation, and regulatory compliance. Synthetic data, data poisoning, ownership, and protection are very close to top priorities.

010

Atlas Computing @atlascomputing.bsky.social · 11/10/2024

If you are in Singapore next week, Atlas Computing CEO Dr. Evan Miyazono will also be there for a few MDDI meetings and a SICW talk. www.sicw.gov.sg/speakers/dr-...

010

Atlas Computing @atlascomputing.bsky.social · 26/09/2024

On October 3rd, meet Evan Miyazono, the CEO of Atlas Computing, at the upcoming 2024 Desmarais Global Finance Lectures: Navigating the (Responsible) Uses of AI in Finance in Montreal at McGill University Innovation Fund. tinyurl.com/ytyh3z9f

Evan Miyazono at McGill University In Montreal on 2024-10-03

020