Annabella Proctor

Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in Gray

This paper presents Gray’s typed NativeIR, a bounded control-flow representation used to compile an eligible numeric subset of Gray bytecode to native code on Linux x86-64 and Apple Silicon AArch64. The initial representation records typed values, basic blocks, predecessors, term...

Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in Gray

This paper presents Gray’s typed NativeIR, a bounded control-flow representation used to compile an eligible numeric subset of Gray bytecode to native code on Linux x86-64 and Apple Silicon AArch64. The initial representation records typed values, basic blocks, predecessors, term...