Brae J. Webb | DeepAI

DeepAI

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

Featured Co-authors

Ian J. Hayes
10 publications
Mark Utting
5 publications

research

∙ 12/14/2022

Verifying term graph optimizations using Isabelle/HOL

Our objective is to formally verify the correctness of the hundreds of e...

0 Brae J. Webb, et al. ∙

research

∙ 12/04/2022

Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)

We want to verify the correctness of optimization phases in the GraalVM ...

0 Mark Utting, et al. ∙

research

∙ 07/05/2021

A Formal Semantics of the GraalVM Intermediate Representation

The optimization phase of a compiler is responsible for transforming an ...

0 Brae J. Webb, et al. ∙