CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2009


Articles in First-Level Refereed Conferences and Journals:

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

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

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

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  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: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

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

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

  5. 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. Average position: top 33%.

  6. 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. Average position: top 33%.


Articles in Second-Level Refereed Conferences and Journals:

  1. 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, Vol. 5904, pages 294-310, Springer, December 2009.

    CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.080. Average position: top 55%.

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

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

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

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

  4. 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, Vol. 5438, pages 4-23, Springer-Verlag, March 2009.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  5. P. Chico de Guzmán, M. Carro, M. V. 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: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.


Books and Monographs:

  1. M. Gómez-Zamalloa. Transformation and Analysis of Object-Oriented Bytecode. Ph.D. Thesis, Complutense University of Madrid, October 2009.

  2. 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.

  3. 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 International 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. A. Herranz, J. Mariño, M. Carro, J.J. Moreno-Navarro. Modeling Concurrent Systems with Shared Resources. 14th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, Vol. 5825, pages 102-116, November 2009.

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

    JCR: position (ave) top 67%, impact (ave) 0.49, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMSCOMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.

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

    JCR: position (ave) top 67%, impact (ave) 0.49, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMSCOMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.

  4. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramírez, 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. 248, pages 109-121, Elsevier, September 2009.

  5. G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo. A Coding Rule Conformance Checker Integrated into GCC. Spanish Conference on Programming and Computer Languages (PROLE'09), ENTCS, Vol. 258, pages 149-159, Elsevier, August 2009.


Publications in Refereed Workshops:

  1. D. Ivanovic, M. Carro, M. V. 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. V. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.

  4. J. Navas, M. Méndez-Lojo, M. V. 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, Vol. 253, Num. 5, pages 65-82, Elsevier - North Holland, March 2009.


Technical Reports and Manuals:

  1. D. Ivanovic, M. Carro, M. V. 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. V. 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. Replaced by a later version.

  3. J.F. Morales, M. Carro, M. V. 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. V. 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. V. 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. V. 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.

  7. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla-(Eds.). The Ciao System. Ref. Manual (V1.13). 2009. Available at http://ciao-lang.org.

Last updated on Fri Dec 1 13:15:21 CET 2017