William Mansky | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Yao Li
55 publications
Steve Zdancewic
13 publications
Benjamin C. Pierce
13 publications
Roshan Sharma
9 publications
Shengyi Wang
5 publications
Christine Rizkallah
5 publications
Li-yao Xia
4 publications
Yishuai Li
3 publications
Nicolas Koh
2 publications
Lennart Beringer
2 publications
Wolf Honoré
1 publication

research

∙ 04/27/2023

Proving Logical Atomicity using Lock Invariants

Logical atomicity has been widely accepted as a specification format for...

0 Roshan Sharma, et al. ∙

research

∙ 07/14/2022

Bringing Iris into the Verified Software Toolchain

The Verified Software Toolchain (VST) is a system for proving correctnes...

0 William Mansky, et al. ∙

research

∙ 11/29/2018

From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server

We present the first formal verification of a networked server implement...

0 Nicolas Koh, et al. ∙

research

∙ 05/14/2018

Structural Operational Semantics for Control Flow Graph Machines

Compilers use control flow graph (CFG) representations of low-level prog...

0 Dmitri Garbuzov, et al. ∙