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

CLIP Group's Publications in 2011


Articles in Refereed Journals:

  1. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 555-574, Cambridge U. Press, July 2011.

  2. R. Haemmerlé. (Co)-Inductive Semantics for Constraint Handling Rules. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 593-609, Cambridge U. Press, July 2011.

  3. R. Haemmerlé. Observational Equivalences for Linear Logic Concurrent Constraint Languages. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 469-485, Cambridge U. Press, July 2011.

  4. E. Albert, P. Arenas, S. Genaim, G. Puebla. Closed-Form Upper Bounds in Static Cost Analysis. Journal of Automated Reasoning, Vol. 46, Num. 2, pages 161-203, Springer, February 2011.

  5. G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks. Theory and Practice of Logic Programming, Vol. 11, Num. 1, pages 1-32, Cambridge U. Press, January 2011.

  6. Dave Barker-Plummer, Nik Swoboda. Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. Visual Languages and Computing, Vol. 22, Num. 1, pages 56-65, 2011.


Articles in Refereed Conferences:

  1. E. Albert, J. Correas, G. Puebla, G. Román-Díez. Towards Incremental Resource Usage Analysis. The Ninth Asian Symposium on Programming Languages and Systems (APLAS'11), Springer, December 2011. Poster Presentation.

  2. D. Ivanovic, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Service-Oriented Computing - ICSOC 2011, LNCS, Vol. 7084, pages 62-76, Springer Verlag, December 2011. Best paper award.

  3. Elvira Albert, Israel Cabañas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutiérrez. jPET: an Automatic Test-Case Generator for Java. 18th Working Conference on Reverse Engineering (WCRE 2011), 2 pages, IEEE Computer Society, October 2011.

  4. J. F. Morales, M. V. Hermenegildo, R. Haemmerlé. Modular Extensions for Modular (Logic) Languages. Proceedings of the 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), LNCS, Vol. 7225, pages 139-154, Springer, July 2011.

  5. R. Haemmerlé, P. Lopez-Garcia, M. V. Hermenegildo. CLP Projection for Constraint Handling Rules. Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 137-148, ACM Press, July 2011.

  6. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Proceedings of the 8th IEEE Conference on Services Computing SCC 2011, pages 120-127, IEEE Press, July 2011.

  7. E. Albert, S. Genaim, M. Gómez-Zamalloa, E. B. Johnsen, R. Schlatte, S. L. Tapia Tarifa. Simulating Concurrent Behaviors with Worst-Case Cost Bounds. 17th Interational Symposium on Formal Methods (FM 2011), Lecture Notes in Computer Science, Vol. 6664, pages 353-368, Springer, June 2011.

  8. E. Albert, P. Arenas, S. Genaim, D. Zanardini. Task-Level Analysis for a Language with Async-Finish Parallelism. Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011, pages 21-30, ACM, April 2011.

  9. E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Puebla, G. Román-Díez. Verified Resource Guarantees using COSTA and KeY. Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011, pages 73-76, ACM Press, January 2011.

  10. E. Mera, T. Trigo, P. Lopez-Garcia, M. V. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Practical Aspects of Declarative Languages (PADL'11), Lecture Notes in Computer Science, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.

  11. E. Albert, S. Genaim, A. N. Masud. More Precise yet Widely Applicable Cost Analysis. 12th Verification, Model Checking, and Abstract Interpretation (VMCAI'11), Lecture Notes in Computer Science, Vol. 6538, pages 38-53, Springer Verlag, January 2011.

  12. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla. Cost Analysis of Concurrent OO Programs. The 9th Asian Symposium on Programming Languages and Systems (APLAS'11), Vol. 7078, pages 238-254, Springer, 2011.

  13. D. Ramírez-Deantes, J. Correas, G. Puebla. Modular Termination Analysis of Java Bytecode and its Application to phoneME Core Libraries. Postproceedings of Formal Aspects of Computer Software (FACS 2010), Lecture Notes in Computer Science, Vol. 6921, pages 218-236, Springer, 2011.

  14. E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla. Compositional CLP-based Test Data Generation for Imperative Languages. LOPSTR 2010 Revised Selected Papers, LNCS, Vol. 6564, pages 99-116, Springer-Verlag, 2011.

  15. M. Carro, D. Karastoyanova, G. A. Lewis, A. Liu. Third International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2011). ICSE, pages 1218-1219, 2011.

  16. Nik Swoboda, Juan Bekios-Calfa, Luis Baumela, Javier de Lope. An Introduction to AI Course with Guide Robot Programming Assignments. Proceedings of the 42nd ACM Technical Symposium on Computer Science Education, pages 231-236, ACM, ACM SIGCSE, 2011.

  17. Alejandro Sánchez, César Sánchez. A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. Proc. of the 3rd NASA Formal Methods Symposium (NFM'11), LNCS, Vol. 6447, pages 343-358, Springer, 2011.


Books and Monographs:

  1. M. Carro, D. Karastoyanova, G. A. Lewis, A. Liu. Third International Workshop on Principles of Enginering Service-Oriented Systems (PESOS 2011). ACM, May 2011.

  2. M. Carro, J.H. Reppy. ACM SIGPLAN Proceedings of the Workshop on Declarative Aspects of Multicore Programming. ACM, January 2011.

  3. Diana Ramírez-Deantes. Modular and field-sensitive termination analysis of java bytecode. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, 2011.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, R. Haemmerlé, E. Mera, J. F. Morales, G. Puebla. An Overview of the Ciao System. Proc. of RuleML-Europe 2011, LNCS, Vol. 6826, pages 2-3, Springer-Verlag, July 2011. (abstract of invited talk).


Articles in Books and Other Collections:

  1. M. Carro, M. V. Hermenegildo. Logic Languages. Encyclopedia of Parallel Computing, pages 1057-1068, Springer, 2011.


Publications in Refereed Workshops:

  1. F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera, P. J. Stuckey. Towards Resource Usage Analysis of MiniZinc Models. MiniZinc Workshop (MZN'11), 15 pages, September 2011.

  2. E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Román-Díez. Verified Resource Guarantees for Heap Manipulating Programs. 10th KeY Symposium, August 2011.

  3. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification: Formalization and Prototype. 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'2011), May 2011.

  4. Diego Alonso, Puri Arenas, Samir Genaim. Handling Non-linear Operations in the Value Aanalysis of COSTA. Proceedings of the Bytecode 2011 workshop, the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode), Electronic Notes in Theoretical Computer Science, Vol. 279 Issue 1, pages 3-17, Elsevier, 2011.

  5. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs (STOP'11), 4 pages, ACM, 2011.


Technical Reports and Manuals:

  1. F. Bueno, M. Carro, M. V. Hermenegildo, R. Haemmerlé, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla-(Eds.). The Ciao System. Ref. Manual (V1.14). July 2011. Available at http://ciao-lang.org.

  2. M. V. Hermenegildo, J.F. Morales. The LPdoc Documentation Generator. Ref. Manual (V3.0). July 2011. Available at http://ciao-lang.org.

  3. R. Haemmerlé. Toward Observational Equivalences for Linear Logic Concurrent Constraint Languages. Num. CLIP5/2011.0, 32 pages, Technical University of Madrid (UPM), May 2011.

  4. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Towards Resource Usage Function Verification based on Input Data Size Intervals. Num. CLIP4/2011.0, Technical University of Madrid (UPM), April 2011. Available at http://cliplab.org/papers/resource-verif-11-tr.pdf.

  5. R. Haemmerlé. Towards a Logically Complete Fixpoint Semantics for Constraint Handling Rules. Num. CLIP3/2011.0, 31 pages, Technical University of Madrid (UPM), March 2011.

  6. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Simulation Study on Parallel Backtracking with Solution Memoing for Independent And-Parallelism. Num. CLIP1/2011.0, 12 pages, Technical University of Madrid (UPM), January 2011.

  7. J.F. Morales, M. V. Hermenegildo, R. Haemmerlé. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.


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 17 May 2021 09:35:17 PM CEST