Son Ho | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jonathan Protzenko
6 publications

research

∙ 06/14/2022

Aeneas: Rust Verification by Functional Translation

We present Aeneas, a new verification toolchain for Rust programs based ...

0 Son Ho, et al. ∙

research

∙ 02/02/2021

Zero-cost meta-programmed stateful functors in F*

Writing code is hard; proving it correct is even harder. As the scale of...

0 Jonathan Protzenko, et al. ∙

Success!

An error occurred