P
Puri Arenas
Researcher at Complutense University of Madrid
Publications - 45
Citations - 1301
Puri Arenas is an academic researcher from Complutense University of Madrid. The author has contributed to research in topics: Java bytecode & Concurrency. The author has an hindex of 17, co-authored 45 publications receiving 1254 citations.
Papers
More filters
Book ChapterDOI
Cost analysis of java bytecode
TL;DR: This paper develops a generic framework for the automatic cost analysis of sequential Java bytecode and generates cost relations which define at compile-time the cost of programs as a function of their input data size.
Journal ArticleDOI
Closed-Form Upper Bounds in Static Cost Analysis
TL;DR: This article presents the first practical framework for the generation of closed-form upper bounds for CRs which is fully automatic, can handle the distinctive features of CRs, originating from cost analysis of realistic programming languages, is not restricted to simple complexity classes, and produces reasonably accurate solutions.
Journal ArticleDOI
Cost analysis of object-oriented bytecode programs
TL;DR: This paper presents the first approach to the automatic cost analysis of object-oriented bytecode programs, and reports on COSTA, an implementation for Java bytecode which can obtain upper bounds on cost for a large class of programs and complexity classes.
Book ChapterDOI
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
TL;DR: The first practical framework for the fully automatic generation of reasonably accurate upper bounds of RRs originating from cost analysis of a wide range of programs is presented, based on the inference of ranking functions and loop invariants and on partial evaluation.
Book ChapterDOI
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
TL;DR: The architecture of costa, an abstract interpretation based on cos t and t ermination a nalyzer for Java bytecode, provides for the first time evidence that resource usage analysis can be applied to a realistic object-oriented, bytecode programming language.