Abstract:In spite of decades of static-analysis research behind developing precise whole-program dataflow analyses, languages that use just-in-time (JIT) compilers suffer from the imprecision of resource-bound analyses local to the scope of compilation. Recent promising approaches bridge this gap by splitting the analysis into two phases: a static phase that identifies interprocedural dependencies across program elements, and a dynamic phase that resolves those dependencies to generate final analysis results. Though this approach is capable of generating precise analysis results without incurring analysis cost in JIT compilers, such "staged analyses" lack a theoretical backing. In particular, it is unclear if one could transform a general whole-program analysis (that resolves dependencies across all program elements) to a staged one that involves evaluation of statically generated partial results later. Similarly, it would be interesting if one could generate "partial-result evaluators" in a way that can also be used to argue about their correctness. In this paper, we propose a novel model of partial analysis that addresses all these points for staged (static + dynamic) compilation systems, based on the classic theory of partial evaluation. We begin by highlighting how partial evaluation and Futamura projections are used to generate specialized program interpreters. We then describe partial analysis as the process of evaluating dependencies across program elements with respect to the statically available parts of a program, resulting into partial results . Next, we devise a strategy (by deriving a novel notion of AM projections from Futamura projections) to statically generate specialized evaluators that can process partial results using dynamic dependencies, during JIT compilation. Later, we use our proposed model to straightforwardly establish the correctness and precision properties of the idea of staging, independent of the analysis under consideration. We finally extend our model to soundly handle callbacks made from Java libraries to applications. We demonstrate the applicability of our model by showcasing examples from non-trivial Java program analyses, implementing the pipeline for one of them, and also discussing future possibilities to extend the same. We believe that our contributions in formulating this theory of partial analysis will significantly extend the usage of existing partial analyzers, as well as promote the design of new ones, for and even beyond Java.

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis

Mis-speculation-Driven Compiler Framework for Aggressive Loop Automatic Parallelization

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

MCompiler: A Synergistic Compilation Framework

Redesigning OP2 Compiler to Use HPX Runtime Asynchronous Techniques

Facilitating the search for compositions of program transformations

Automatic parallelization of fine-grained metafunctions on a chip multiprocessor

AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers

Openuh: an Optimizing, Portable Openmp Compiler

Equality Saturation: A New Approach to Optimization

Automatic Compiler-Based Data Structure Generation

Strategy Preserving Compilation for Parallel Functional Code

ACC Saturator: Automatic Kernel Optimization for Directive-Based GPU Code

Compiler Bug Isolation Via Enhanced Test Program Mutation

A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures

An industrial case study in compiler testing (tool demo)

Partial program analysis for staged compilation systems

Improving the ratio of memory operations to floating-point operations in loops

Nextgen: Compiler Optimization