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

CLIP Group's Publications in 2010


Articles in First-Level Refereed Conferences and Journals:

  1. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez. From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis. Static Analysis Symposium (SAS'10), LNCS, pages 100-116, Springer, September 2010.

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.

  2. P. López-García, L. Darmawan, F. Bueno. A Framework for Verification and Debugging of Resource Usage Properties. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 104-113, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

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

  3. M. Gómez-Zamalloa, E. Albert, G. Puebla. Test Case Generation for Object-Oriented Imperative Languages in CLP. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 659-674, Cambridge U. Press, July 2010.

    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. P. Chico de Guzmán, M. Carro, David S. Warren. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 401-416, Cambridge U. Press, July 2010.

    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. E. Albert, S. Genaim, M. Gómez-Zamalloa. Parametric Inference of Memory Requirements for Garbage Collected Languages. 9th International Symposium on Memory Management (ISMM'10), pages 121-130, ACM Press, June 2010.

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

  6. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Service-Oriented Computing - ICSOC 2010, LNCS, Vol. 6470, pages 350-364, Springer Verlag, 2010.

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

  7. Mohamed Anis Zemni, Salima Benbernou, M. Carro. A Soft Constraint-Based Approach to QoS-Aware Service Selection. Service-Oriented Computing - ICSOC 2010, LNCS, Vol. 6470, pages 596-602, Springer Verlag, 2010.

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

  8. A. Stivala, P. J. Stuckey, M. García de la Banda, M. Hermenegildo, A. Wirth. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol. 70, Num. 8, pages 839-848, Elsevier, 2010.

    JCR: position (ave) top 57%, impact (ave) 0.62, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 356/1221 (top 29%), impact 0.86. Average position: top 30%.

  9. Nicolas Fay, Simon Garrod, Leo Roberts, Nik Swoboda. The Interactive Evolution of Human Communication Systems. Cognitive Science, Vol. 34, pages 351-386, 2010.

    JCR: position (ave) top 25%, impact (ave) 2.18, subject(s): PSYCHOLOGY, EXPERIMENTAL Citeseer: position 135/1221 (top 11%), impact 1.38. Average position: top 18%.

  10. Simon Garrod, Nicolas Fay, Shane Rogers, Bradley Walker, Nik Swoboda. Can Iterated Learning Explain the Emergence of Graphical Symbols?. Interaction Studies, Vol. 11, pages 33-50, 2010.

    JCR: position (ave) top 23%, impact (ave) 1.36, subject(s): COMMUNICATIONLINGUISTICS Average position: top 23%.

  11. D. Ivanovic, M. Carro, M. Hermenegildo. Towards Data-Aware QoS-Driven Adaptation for Service Orchestrations. Proceedings of the 2010 IEEE International Conference on Web Services (ICWS 2010), Miami, FL, USA, 5-10 July 2010, pages 107-114, IEEE, 2010.

    CORE: A. Average position: top 33%.

  12. D. Ivanovic, M. Treiber, M. Carro, S. Dustdar. Building Dynamic Models of Service Compositions With Simulation of Provision Resources. Proceedings of the 29th International Conference on Conceptual Modeling (ER 2010), Vancouver, Canada, 1-5 November 2010, LNCS 6412, pages 344-358, Springer, 2010.

    CORE: A. Average position: top 33%.


Articles in Second-Level Refereed Conferences and Journals:

  1. E. Albert, M. Gómez-Zamalloa, G. Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM'10), pages 25-28, ACM Press, 2010.

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

  2. L. Scandolo, C. Kunz, G. Barthe, M.V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), LNCS, Vol. 6037, pages 173-187, Springer, 2010.

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

  3. P. López-García, F. Bueno, M. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information. New Generation Computing, Vol. 28, Num. 2, pages 117-206, Ohmsha, Ltd. and Springer, 2010.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  4. César Sánchez, Martin Leucker. Regular Linear Temporal Logic with Past. Proc. of the 11th Int'l Conf. on Verification, Model Checking, and Abstract Interpretation, (VMCAI'10), LNCS, Vol. 5944, pages 295-311, Springer, 2010.

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

  5. Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez. Analyzing the Impact of Change in Multi-threaded Programs. Proc. of the 13th Int'l Conf. on Fundamental Approaches to Software Engineering (FASE'10), LNCS, Vol. 6013, pages 293-307, Springer, 2010.

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

  6. Alejandro Sánchez, César Sánchez. Decision Procedures for the Temporal Verification of Concurrent Lists. Proc. of the 12th Int'l Conf. on Formal Engineering Methods (ICFEM'10), LNCS, Vol. 6447, pages 74-89, Springer, 2010.

    CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.142. Average position: top 54%.


Books and Monographs:

  1. E. Mera. A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2010.

  2. M. Teresa Trigo de la Vega. Fuzzy Granularity Control in Parallel/Distributed Computing. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 66 pages, September 2010.

  3. M. Hermenegildo, T. Schaub. Theory and Practice of Logic Programming. 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue. Vol. 10 (4-6), pages 361-778, Cambridge University Press, July 2010.

  4. M. Hermenegildo, T. Schaub. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10). Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

  5. J.F. Morales. Advanced Compilation Techniques for Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.

  6. M.V. Hermenegildo, J. Palsberg. Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010). ACM, January 2010.

  7. M. Carro, R. Peña-Marí. Practical Aspects of Declarative Languages - 12th. International Symposium, PADL 2010. LNCS, Vol. 5937, Springer-Verlag, January 2010.

  8. G. Barthe, M. Hermenegildo. Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010. LNCS, Vol. 5944, Springer, January 2010.


Invited Papers and Tutorials:

  1. M. Hermenegildo, T. Schaub. Introduction to the 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue. Vol. 10, Num. 4-6, pages 361-364, Cambridge University Press, July 2010.

  2. M. Hermenegildo, T. Schaub. Introduction to Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10). Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 8-11, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

  3. Elvira Albert. From Termination to Cost (in Object-Oriented Languages). Workshop on Termination (WST'10), 1 pages, July 2010.


Articles in Books and Other Collections:

  1. A. Metzger, S. Benbernou, M. Carro, M. Driss, G. Kecskemeti, R. Kazhamiakin, K. Krytikos, A. Mocci, E. Di Nitto, B. Wetzstein, et al.. Analytical Quality Assurance. Service Research Challenges and Solutions for the Future Internet, LNCS, Vol. 6500, pages 209-270, Springer Verlag, 2010.

  2. S. Benbernou, I. Brandic, C. Cappiello, M. Carro, M. Comuzzi, A. Kertész, K. Kritikos, M. Parkin, B. Pernici, P. Plebani. Modeling and Negotiating Service Quality. Service Research Challenges and Solutions for the Future Internet, LNCS, Vol. 6500, pages 157-208, Springer Verlag, 2010.


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

  1. T. Trigo, P. López-García, S. Muñoz-Hernandez. Towards Fuzzy Granularity Control in Parallel/Distributed Computing. International Conference on Fuzzy Computation (ICFC 2010), pages 43-55, SciTePress, October 2010.

  2. 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, Vol. 6234, pages 1-17, Springer, 2010.


Publications in Refereed Workshops:

  1. D. Ivanovic, M. Carro, M. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. International Workshops, ICSOC/ServiceWave 2009, Revised Selected Papers, LNCS, Num. 6275, Springer, September 2010.

  2. E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla. Towards Compositional CLP-based Test Data Generation for Imperative Languages. 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'10), pages 47-57, July 2010. Extended Abstract.

  3. R. Haemmerlé. (Co)inductive Semantics for Constraint Handling Rules. Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2010.


Technical Reports and Manuals:

  1. D. Ivanovic, M. Carro, M. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Num. CLIP5/2010.0, Technical University of Madrid (UPM), December 2010.

  2. D. Ivanovic, M. Carro, M. V. Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Num. CLIP4/2010.0, 15 pages, Technical University of Madrid (UPM), June 2010. Submitted.

  3. E. Mera, T. Trigo, P. López-García, M. Hermenegildo. An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Num. CLIP3/2010.0, 29 pages, Technical University of Madrid (UPM), March 2010.

  4. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

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

  6. P. López-García, L. Darmawan, F. Bueno, M. Hermenegildo. Towards a Framework for Resource Usage Verification and Debugging in the CiaoPP System. Num. CLIP1/2010.0, Technical University of Madrid (UPM), February 2010. Available at http://cliplab.org/papers/resource-verif-10-tr.pdf.

Last updated on Sat May 6 10:58:52 CEST 2017