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

CLIP Group's Publications in 2011


Articles in First-Level Refereed Conferences and Journals:

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

    CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    CORE: A. Average position: top 33%.

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

    CORE: A. Average position: top 33%.

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

    CORE: A. Average position: top 33%.

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

    JCR: position (ave) top 51%, impact (ave) 0.78, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE CORE: A. Citeseer: position 152/1221 (top 12%), impact 1.3. Average position: top 28%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    JCR: position (ave) top 51%, impact (ave) 0.78, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE CORE: A. Citeseer: position 152/1221 (top 12%), impact 1.3. Average position: top 28%.

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

    CORE: A. Average position: top 33%.


Articles in Second-Level Refereed Conferences and Journals:

  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.

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

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

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

  3. R. Haemmerlé, P. López, 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.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

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

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

  5. E. Mera, T. Trigo, P. López-García, M. V. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Practical Aspects of Declarative Languages (PADL'11), Lecture Notes in Computer Science, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

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

    CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.330. Average position: top 39%.

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

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

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

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

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

    JCR: position (ave) top 58%, impact (ave) 0.59, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 378/1221 (top 31%), impact 0.82. Average position: top 36%.


Books and Monographs:

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

  2. 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. López-García, 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.


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

  1. 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. To appear.

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

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

  4. Alejandro Sánchez, César Sánchez. A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. To appear in the Proc. of the 3rd NASA Formal Methods Symposium (NFM'11), LNCS, Springer, 2011.


Publications in Refereed Workshops:

  1. F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. López-García, 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. López, 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.

  6. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proc. Int'l. WS 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. López-García, E. Mera, and 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. López-García, 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.

Last updated on Mon Oct 16 19:21:47 CEST 2017