4 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…