Dipartimento di Matematica

Università degli Studi di Parma
Facoltà di Scienze Mat. Fis. Nat.


Mercoledì 18 Marzo 2009 alle ore 11,30 presso l'aula D del Dipartimento di Matematica, il Prof. Miguel Gómez-Zamalloa , Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, España, terrà un Seminario dal titolo:

"Live Heap Space Analysis for Java Bytecode"

Abstract: I will present a live heap space analysis for (sequential) Java Bytecode. First, for those who are not familiar with Java Bytecode (JBC), I will give a mini-tutorial on the JBC language and the JVM (Java virtual machine). Then I will concentrate on how using the cost analysis framework in the COSTA system (COSt and Termination Analyzer for JBC), we can generate heap space cost relations which define at compile-time the total heap consumption of a program as a function of its input data size. These relations can be used to obtain upper bounds on the total heap space allocated during the execution of a program. Unfortunately, in presence of garbage collection (GC), such an analysis is an overly pessimistic estimation of the actual memory requirement. I will therefore outline a Live heap space analysis which aims at approximating the peak heap consumption during program execution, thus providing a much tighter estimation. Finally, I will give a short demonstration of the COSTA system showing how it can infer upper bounds of different resources not restricted to any complexity class.

Tutti gli interessati sono invitati a partecipare.

Prof. Roberto Bagnara
Parma, 17 Marzo 2009

Bacheca del Dip. Mat. Univ. Parma