22 citations · 40 across the 16 of their papers we have counts for
1 paper · 2 filters
Brae J. Webb, Ian J. Hayes, Mark Utting
Our objective is to formally verify the correctness of the hundreds of expression optimization rules used within the GraalVM compiler. When defining the semantics of a programming…