Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Brae J. Webb · SciRah

Researcher profile · Semantic Scholar

Brae J. Webb

Share profile

Brae J. Webb — researcher profile on SciRah

h-index: 2
Works: 6
Citations: 10

Most-cited papers

A Formal Semantics of the GraalVM Intermediate Representation
Brae J. Webb, M. Utting, I. Hayes
2021Automated Technology for Verification and Analysis6 citations Open access
Semantic Scholar
Verifying Term Graph Optimizations using Isabelle/HOL
Brae J. Webb, I. Hayes, M. Utting
2022Certified Programs and Proofs2 citations Open access
Semantic Scholar
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
M. Utting, Brae J. Webb, I. Hayes
2023FME Workshop on Formal Methods in Software Engineering1 citations
Semantic Scholar
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)
M. Utting, Brae J. Webb, I. Hayes
2022arXiv.org1 citations Open access
Semantic Scholar
Verifying Compiler Optimisations - (Invited Paper)
I. Hayes, M. Utting, Brae J. Webb
2023IEEE International Conference on Formal Engineering Methods0 citations
Semantic Scholar
Verifying GraalVM compiler optimizations
Brae J. Webb
0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

M. Utting×5
Invite
M. Utting — researcher profile on SciRah
I. Hayes×4
Invite
I. Hayes — researcher profile on SciRah
I. Hayes×1
Invite
I. Hayes — researcher profile on SciRah