research
∙
03/17/2023
TypeScript's Evolution: An Analysis of Feature Adoption Over Time
TypeScript is a quickly evolving superset of JavaScript with active deve...
share
research
∙
12/14/2022
Verifying term graph optimizations using Isabelle/HOL
Our objective is to formally verify the correctness of the hundreds of e...
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 ...
research
∙
07/05/2021
A Formal Semantics of the GraalVM Intermediate Representation
The optimization phase of a compiler is responsible for transforming an ...
research
∙
06/28/2021