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

Quantifying the Code-Size Overhead of eBPF JIT Compilation

eBPF allows user-defined programs to safely extend Linux kernel functionality at runtime, but its final machine code comes from a compilation pipeline that differs from native targets, and how efficient that pipeline is has no clear reference point. Our work constructs one: using the standard LLVM x86 backend as an app...

A Compilation-based Under-Constrained Execution Engine

RedPanda: A Unified Compilation Framework for Dataflow-Based CGRAs and High-Level Synthesis

Dataflow-based coarse-grained reconfigurable architectures (CGRAs) and dynamic high-level synthesis (DHLS) are both promising for accelerating applications with nontrivial control and memory behavior, but existing compilation flows are typically fragmented and often struggle with control handling, memory ordering, and...

T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework

The Trusted LLM (T-LLM) Compiler is presented, which proposes an advancement in compiler technology through a collaborative effort involving high-level LLM code transformations, traditional compilers, and verification tools and facilitates iterative code optimization efforts with verification strategies that enable cor...

CPL: A Compact C-like Systems Language with Explicit Low-Level Control

CPL is presented, a compact C-like systems language that retains C's direct access to memory, layout, and machine interfaces while experimenting with a smaller grammar and selected conveniences from newer languages, and whether C-like are more convenient to use for compiler experiments than modern approaches and paradi...

An Incremental Approach to JIT Construction

This paper presents an incremental, classroom-scale approach to building a JIT compiler in manageable steps that successfully supports a Read-Eval-Print Loop and a first-call specialization mechanism.