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

CLIP Group's Publications in 2009


Articles in Refereed 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, Num. 10, pages 1409-1427, Elsevier, October 2009.

  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.

  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.


Articles in Refereed Conferences:

  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.

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

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

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

  5. E. Mera, P. Lopez-Garcia, 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.

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

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

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

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

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

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

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


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.


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. Lopez-Garcia, 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. Lopez-Garcia, 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. Lopez-Garcia, 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. Lopez-Garcia, G. Puebla (Eds.). The Ciao System. Ref. Manual (V1.13). 2009. Available at http://ciao-lang.org.

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Mon Apr 15 06:11:00 PM CEST 2024
Contents
Institutional links