Experiments in cost analysis of Java bytecode

E Albert, P Arenas, S Genaim, G Puebla… - Electronic Notes in …, 2007 - Elsevier
… believe our experiments show that the efficiency of our cost analysis is acceptable, and that
the obtained cost relations … Afterwards, we study three classes of benchmarks. In Sec. 3, we …

Cost analysis of object-oriented bytecode programs

E Albert, P Arenas, S Genaim, G Puebla… - Theoretical Computer …, 2012 - Elsevier
… generates cost relations which approximate the execution cost … for Java bytecode which can
obtain upper bounds on cost for a … Our basic techniques can be directly applied to infer cost

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

E Albert, P Arenas, S Genaim, G Puebla… - … Symposium on Formal …, 2007 - Springer
cost and termination analyzer for Java bytecode. The system receives as input a bytecode
… We report on experimental results which show that costa can deal with programs of realistic …

Removing useless variables in cost analysis of Java bytecode

E Albert, P Arenas, S Genaim, G Puebla… - Proceedings of the 2008 …, 2008 - dl.acm.org
… on cost analysis of Java bytecode, a language which is widely used in the context of mobile
code and we studyExperiments in Cost Analysis of Java Bytecode. In ETAPS Workshop on …

[PDF][PDF] The costs and benefits of Java bytecode subroutines

SN Freund - Formal Underpinnings of Java Workshop at OOPSLA, 1998 - Citeseer
… Exponential code size increase was not seen in any of our tests. One reason that this
theoretically possible case does not appear may simply be that nesting try-finally statements …

[PDF][PDF] Applications of Static Slicing in Cost Analysis of Java Bytecode

E Albert, P Arenas, S Genaim, G Puebla… - … Dependence (PLID'07 …, 2007 - costa.fdi.ucm.es
… Recent works study advanced properties of Java bytecode like cost analysis [2] or termination
[1]. Automatic … We illustrate the cost analysis of [2] on the example depicted in Fig. 1. The …

Portable worst-case execution time analysis using Java byte code

G Bernat, A Burns, A Wellings - Proceedings 12th Euromicro …, 2000 - ieeexplore.ieee.org
… two projects for defining the requirements of real-time extensions of the Java Platform. The
J … belong to scheduling analysis (rather than timing analysis), although the cost of handling …

Heap space analysis for Java bytecode

E Albert, S Genaim, M Gomez-Zamalloa - Proceedings of the 6th …, 2007 - dl.acm.org
Java bytecode programs. In a first step, we develop a cost model that defines the cost of …
We believe that the experiments we have presented show that our analysis improves the …

Experiments with non-termination analysis for Java Bytecode

É Payet, F Spoto - Electronic Notes in Theoretical Computer Science, 2009 - Elsevier
… In this paper, we describe and experiment with a technique for proving non-termination of
imperative, bytecode programs by relating their non-termination to that of a (constraint) logic …

{BIT}: A Tool for Instrumenting Java Bytecodes

HB Lee, BG Zorn - USENIX Symposium on Internet Technologies and …, 1997 - usenix.org
… Also, software testing and quality assurance tools that detect memory leaks and access …
files using javac compiler and is included to aid the reader in estimating cost of instrumenting …