CLIP Group's Publications in 2009

Articles in First-Level Refereed Conferences and Journals:

1. E. Mera, P. López-García, M. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. International Conference on Logic Programming (ICLP), LNCS, Num. 5649, pages 281-295, Springer-Verlag, July 2009.

   CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. CS Conf Rankings: 0.97. Average position: top 17%.

2. P. Chico de Guzmán, M. Carro, Manuel V. Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings. International Conference on Logic Programming (ICLP 2009), LNCS, Num. 5649, 15 pages, Springer-Verlag, July 2009.

   CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. CS Conf Rankings: 0.97. Average position: top 17%.

3. Pablo Chico de Guzmán Huerta, Manuel Carro, Manuel Hermenegildo. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), LNCS, Num. 5418, pages 224-238, Springer-Verlag, January 2009.

   CORE: A. CiteseerX position (ave) top 23%, impact (ave) 0.230. CS Conf Rankings: 0.88. Average position: top 22%.

4. E. Albert, P. Arenas, S. Genaim, G. Puebla. Field-Sensitive Value Analysis by Field-Insensitive Analysis. 16th International Symposium on Formal Methods, FM'09, Lecture Notes in Computer Science, Vol. 5850, pages 370-386, Springer, 2009.

   CORE: A. CS Conf Rankings: 0.97. Average position: top 18%.

5. Bradley Walker, Nicolas Fay, Shane Rogers, Nik Swoboda. Experimental Investigation of the Role of Collaboration in the Evolution of Communication Systems. Proceedings of the 31st Annual Conference of the Cognitive Science, pages 1388-1393, Cognitive Science Society, 2009.

   CORE: A. CS Conf Rankings: 0.92. Average position: top 20%.

Articles in Second-Level Refereed Conferences and Journals:

1. D. Cabeza, M. Hermenegildo. Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, Vol. 46, Num. 410, pages 4704-4723, Elsevier Science, October 2009.

   JCR: position (ave) top 57%, impact (ave) 0.59, subject(s): COMPUTER SCIENCE, THEORY & METHODS. CORE: A. Citeseer: position 338/1221 (top 28%), impact 0.91. Average position: top 34%.

2. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Type-based Homeomorphic Embedding for Online Termination. Information Processing Letters, Vol. 109, pages 879-886, Elsevier, July 2009.

   JCR: position (ave) top 75%, impact (ave) 0.32, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS. CORE: B. Citeseer: position 551/1221 (top 45%), impact 0.58. Average position: top 61%.

3. E. Albert, S. Genaim, M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. 8th international symposium on Memory management, pages 129-138, ACM Press, June 2009.

   CORE: B. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 36%.

4. M. Marron, D. Kapur, M. Hermenegildo. Identification of Logically Related Heap Regions. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.

   CORE: B. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 36%.

5. E. Albert, M. Gómez-Zamalloa, G. Puebla. Test Data Generation of Bytecode by CLP Partial Evaluation. 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08), LNCS, Num. 5438, pages 4-23, Springer-Verlag, March 2009.

   CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. CS Conf Rankings: 0.72. Average position: top 40%.

6. E. Albert, P. Arenas, D. Alonso, S. Genaim, G. Puebla. Asymptotic Resource Usage Bounds. The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09), Lecture Notes in Computer Science, Springer, 2009.

   CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.080. CS Conf Rankings: 0.93. Average position: top 38%.

Books and Monographs:

1. E. Albert, S. Genaim. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation. Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 1-2, Elsevier - North Holland, March 2009.

2. G. Puebla, G. Vidal. ACM SIGPLAN Partial Evaluation and Program Manipulation (PEPM'09). 200 pages, ACM Digital Library, January 2009.

Invited Papers and Tutorials:

1. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.

Articles in Books and Other Collections:

1. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Resource Usage Analysis and its Application to Resource Certification. 9th Internation School on Foundations of Security Analysis and Design (FOSAD'09), Lecture Notes in Computer Science, Num. 5705, pages 258-288, Springer, 2009.

Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

1. M. Gómez-Zamalloa, E. Albert, G. Puebla. Decompilation of Java Bytecode to Prolog by Partial Evaluation. Information and Software Technology, Vol. 51, pages 1409-1427, Elsevier, October 2009.

   JCR: position (ave) top 69%, impact (ave) 0.47, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS. CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.

2. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramirez, G. Román, D. Zanardini. Termination and Cost Analysis with COSTA and its User Interfaces. Spanish Conference on Programming and Computer Languages (PROLE'09 ), ENTCS, Vol. 258, pages 109-121, Elsevier, September 2009.

3. E. Albert, P. Arenas, S. Genaim, I. Herraiz, G. Puebla. Comparing Cost Functions in Resource Analysis. 1st International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'09), Lecture Notes in Computer Science, Springer, 2009. To appear.

Publications in Refereed Workshops:

1. D. Ivanovic, M. Carro, M. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Proactive Monitoring. Pre-proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+), November 2009.

2. L. Scandolo, C. Kunz, G. Barthe, M.V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), September 2009.

3. D. Ivanovic, J. F. Morales, M. Carro, M. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.

4. J. Navas, M. Méndez-Lojo, M. Hermenegildo. User-Definable Resource Usage Bounds Analysis for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09), Electronic Notes in Theoretical Computer Science, 17 pages, Elsevier - North Holland, March 2009.

Technical Reports and Manuals:

1. D. Ivanovic, M. Carro, M. Hermenegildo. Sharing-Based Independence-Driven Fragment Identification for Service Orchestrations. Num. CLIP7/2009.0, Technical University of Madrid (UPM), December 2009.

2. D. Ivanovic, M. Carro, M. Hermenegildo, P. López, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.0, Technical University of Madrid (UPM), November 2009.

3. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.

4. D. Ivanovic, M. Carro, M. Hermenegildo. Towards Data-Aware Resource Analysis for Service Orchestrations. Num. CLIP3/2009.0, Technical University of Madrid (UPM), June 2009.

5. E. Mera, P. López-García, M. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.

6. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Num. CLIP2/2009.0, Technical University of Madrid (UPM), February 2009.