Skip to content
Conference

Characterizing Type Feedback in Just-In-Time Compilation

2026 · European Conference on Object-Oriented Programming · pp. 16:1-16:22 · 0 citations · 24 references
Computer Science

TL;DR

A characterization study of how feedback information is utilized by JIT compilers, providing motivation for future work on reducing recording overhead, and evaluating two oracle-based configurations that establish upper bounds on achievable reduction.

View source

Similar papers

Leveraging Copy-and-Patch JIT Compilation for Low-Overhead Dynamic Program Analysis

This paper explores copy-and-patch as a foundation for dynamic program analysis, and implements four analyses on top of an existing copy-and-patch JIT for R: code instrumentation, code coverage, performance profiling, and native debugging.

Martin Kocourek, Filip Křikava, Jan Vitek · 0 citations
Open access Jul 2026

Context-Aware Inlining: Using Call-Stack Profiles for Fast and Smaller Binaries

This article presents a novel technique for reducing the size of AOT compiled programs by using fully-context-sensitive profiles to concentrate the optimizations on the hot code.

Maja Vukasović, Petar Đekanović, B. Spasojević et al. · 0 citations
Jul 2026

Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code

It is shown that generative compilation reduces non-compiling outputs and improves functional correctness, relative to standard post-generation feedback, by detecting a broad range of errors close to their source and early during generation, thereby reducing errors cascades and enabling focused diagnostics.

Niels Mündler-Sasahara, Hristo Venev, Dawn Song et al. · 0 citations
Jul 2026

Portable models as a replacement for industrial heuristics in compiler optimizations

The paper investigates the possibility of predicting function-inlining decisions in compact compilers, source-to-source tools, and interpreters where the reuse of GCC or LLVM optimization infrastructure is impractical and proposes a portable inlining-prediction framework that can be emitted as ordinary C code without a...

F. Nikolai, Vinarsky Alexander · 0 citations
Book Open access Aug 2026

Regions as Continuation Marks

A translation from regions to continuation marks is provided and what this connection could entail for both languages with region-based memory management and the authors' favourite Schemes (and Racket) with continuation marks is theorized.

Paulette Koronkevich, William J. Bowman · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.