Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Webb, Brae J."'
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 language, expressions naturally form abstract syntax trees, or, terms.
Externí odkaz:
http://arxiv.org/abs/2212.06956
We want to verify the correctness of optimization phases in the GraalVM compiler, which consist of many thousands of lines of complex Java code performing sophisticated graph transformations. We have built high-level models of the data structures and
Externí odkaz:
http://arxiv.org/abs/2212.01748
The optimization phase of a compiler is responsible for transforming an intermediate representation (IR) of a program into a more efficient form. Modern optimizers, such as that used in the GraalVM compiler, use an IR consisting of a sophisticated gr
Externí odkaz:
http://arxiv.org/abs/2107.01815