Mark Batty | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Brijesh Dongol
15 publications
Mikoláš Janota
14 publications
Alexey Gotsman
14 publications
Radu Grigore
4 publications
Mike Dodds
1 publication
Daniel Wright
1 publication
Simon Cooksey
1 publication
Sarah Harris
1 publication

research

∙ 08/03/2021

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)

Deductive verification techniques for C11 programs have advanced signifi...

0 Daniel Wright, et al. ∙

research

∙ 12/08/2018

PrideMM: A Solver for Relaxed Memory Models

Relaxed memory models are notoriously delicate. To ease their study, sev...

0 Simon Cooksey, et al. ∙

research

∙ 02/16/2018

Compositional Verification of Compiler Optimisations on Relaxed Memory

A valid compiler optimisation transforms a block in a program without in...

0 Mike Dodds, et al. ∙