Información del autor
Documentos disponibles escritos por este autor (12)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Genaim, Samir ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2014-10Static analysis which takes into account the values of data stored in the heap is considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields nor of array contents, i.e., they ar[...]texto impreso
Gómez-Zamalloa Gil, Miguel ; Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Correas Fernández, Jesús ; Genaim, Samir ; Puebla Sánchez, Germán ; Román Díez, Guillermo ; Peces, Raquel ; Giraldo, Carlos Gabriel ; Antolín, Clara | 2015-02-20El proyecto plantea el desarrollo de una herramienta de depuración simbólica que ayude a los estudiantes de las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticostexto impreso
texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2015-06The aim of incremental analysis is, given a program, its analysis results, and a series of changes to the program, to obtain the new analysis results as eficiently as possible and, ideally, without having to (re-)analyze fragments of code which [...]texto impreso
Existing cost analysis frameworks have been defined for cumulative resources which keep on increasing along the computation. Traditional cumulative resources are execution time, number of executed steps, amount of memory allocated, and energy co[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Johnsen, Einar Broch ; Román Díez, Guillermo | 2015-09We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurrent execution model of distributed processing to capture the cost [...]texto impreso
We present a novel static analysis to infer the peak cost of distributed systems. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. Thus, the amount of work that each location h[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Springer | 2014-11When reasoning about distributed systems, it is essential to have information about the different kinds of nodes that compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Correas Fernández, Jesús ; Genaim, Samir ; Gómez Zamalloa, Miguel ; Martín Martín, Enrique ; Puebla, Germán ; Román Díez, Guillermo | 2015-06Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., [...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Flores Montoya, A. ; Genaim, Samir ; Gómez-Zamalloa Gil, Miguel ; Martín Martín, Enrique ; Puebla, G. ; Román Díez, Guillermo | Springer | 2014We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock free[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Martín Martín, Enrique ; Román Díez, Guillermo | 2014-10We present a static analysis to infer the amount of data that a distributed system may ransmit. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. A task is posted by building a [...]
