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.

An Efficient Staging Algorithm for Binding-Time Analysis

An Optimal Staging Algorithm

Heterogeneous Static Timing Analysis with Advanced Delay Calculator

Schedulability Analysis for Timed Automata with Tasks

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Partial program analysis for staged compilation systems

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications

Compile-Time Extensions to Hybrid ODEs

Fast and efficiently binding of functional units for low power design

Iterative-free Program Analysis

Scheduling a two-stage assembly problem with separated setup time to minimise total tardiness

A Symbolic Execution Guided Inner Loop Bound Analysis

Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata

Optimize Context-Sensitive Andersen-style Points-to Analysis by Method Summarization and Cycle-Elimination

The ART of Sharing Points-to Analysis (Extended Abstract)

Linear Tabling Strategies and Optimizations

Staged Compilation with Two-Level Type Theory

Tabu search algorithms for minimizing total completion time on a single machine with an actual time-dependent learning effect

Adaptive Stochastic Collocation Method For Parameterized Statistical Timing Analysis With Quadratic Delay Model

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

Static Analysis of OpenMP Directive Nesting Types and Its Application