User-definable resource usage bounds analysis for java bytecode

Automatic cost analysis of programs has been traditionally concentrated on a reduced number of resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certiflcation of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actually application-dependent. This may include, for example, bytes sent or received by an application, number of files left open, number of SMSs sent or received, number of accesses to a datábase, money spent, energy consumption, etc. We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-deflnable resources. In our context, a resource is defined by programmer-provided annotations which state the basic consumption that certain program elements make of that resource. From these deflnitions our analysis derives functions which return an upper bound on the usage that the whole program (and individual blocks) make of that resource for any given set of input data sizes. The analysis proposed is independent of the particular resource. We also present some experimental results from a prototype implementation of the approach covering a signiflcant set of interesting resources.

ICL : a control language for ILLIAC IV /

"October 13, 1969."

An approach to the compilation of array expressions in the OL/2 language.

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

LEFT: a language for editing and formating text,

"Supported in part by contract AT(11-1)-1018 with the U.S. Atomic Energy Commission and the Advanced Research Projects Agency."

ASPEN language specifications /

Mode of access: Internet.

A path Pascal language /

Bibliography: p. 19-20.

A universal language for continuous network simulation /

Typescript.

pl/2d--a programming language for generating 2-dimensional patterns /

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

TESLA : a control language for logic simulations of digital circuits /

"August 8, 1969."

GIMLI and GIML : a machine and programming language for low-cost interactive graphical systems /

"UILU-ENG 77 1708."

IBAL manual; the Illiac III basic assembler language,

"Supported in part by contract AT(11-1)-2118 with the United States Atomic Energy Commission."

Implementation of the language CLEOPATRA : the analysis pass /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

Dynamic partitioning in the array language OL/2 /

"January, 1971."

The eigenvalue problem in the OL/2 language /

Originally presented as the author's thesis (M.S.), University of Illinois at Urbana-Champaign.

VIPTRAN--a programming language and its compiler for Boolean systems or process control equations.

Thesis (M.A.)--University of Illinois at Urbana-Champaign.