MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
SAMIR
GENAIM
Profesor contratado doctor
Publikationen, an denen er mitarbeitet SAMIR GENAIM (16)
2015
-
Object-sensitive cost analysis for concurrent objects
Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271
-
Resource analysis: From sequential to concurrent and distributed programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Automatic inference of bounds on resource consumption
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Heap space analysis for garbage collected languages
Science of Computer Programming, Vol. 78, Núm. 9, pp. 1427-1448
2012
-
Automatic inference of resource consumption bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
COSTABS: A cost and termination analyzer for ABS
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2011
-
Cost analysis of concurrent OO programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Simulating concurrent behaviors with worst-case cost bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Parametric inference of memory requirements for garbage collected languages
ACM SIGPLAN Notices
-
Parametric inference of memory requirements for garbage collected languages
International Symposium on Memory Management, ISMM
2009
-
Live heap space analysis for languages with garbage collection
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
-
Live heap space analysis for languages with garbage collection
International Symposium on Memory Management, ISMM
-
Termination and Cost Analysis with COSTA and its User Interfaces
Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 109-121
-
Termination and cost analysis with COSTA and its user interfaces
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
2007
-
Heap space analysis for java bytecode
International Symposium on Memory Management, ISMM