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

Publications in Task Granularity Analysis and Control


Articles in First-Level Refereed Conferences and Journals:

  1. 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. Theory and Practice of Logic Programming, Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012. http://arxiv.org/abs/1102.5497.

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

  2. M. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, Vol. 58, Num. 1-2, pages 115-140, Elsevier North-Holland, October 2005.

    JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 185/1221 (top 15%), impact 1.22. Average position: top 26%.

  3. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems, Vol. 23, Num. 4, pages 472-602, ACM Press, July 2001.

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

  4. P. López-García, M. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.

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

  5. S. K. Debray, N.-W. Lin, M. Hermenegildo. Task Granularity Analysis in Logic Programs. Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, pages 174-188, ACM Press, June 1990.

    CORE: A. Citeseer: position 3/1221 (top 0%), impact 2.89. Average position: top 17%.


Articles in Second-Level Refereed Conferences and Journals:

  1. P. López-García, M. Hermenegildo, S. K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Vol. 21, Num. 4-6, pages 715-734, Academic Press, 1996.

    JCR: position (ave) top 54%, impact (ave) 0.64, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 362/1221 (top 30%), impact 0.85. Average position: top 35%.


Books and Monographs:

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

  2. P. López-García. Non-failure Analysis and Granularity Control in Parallel Execution of Logic Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2000.

  3. P. López-García. A System of Granularity Control in Parallel Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1993.


Invited Papers and Tutorials:

  1. M. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. López-García. Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints. DAMP'07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, pages 1-1, ACM, January 2007. (abstract of invited talk).

  2. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, Num. 2694, pages 127-152, Springer-Verlag, June 2003.

  3. M. Hermenegildo. Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Proceedings of EUROPAR'97, LNCS, Vol. 1300, pages 31-46, Springer-Verlag, August 1997.


Articles in Books and Other Collections:

  1. T. Trigo, P. López-García, S. Muñoz-Hernandez. A Fuzzy Approach to Resource Aware Automatic Parallelization. Computational Intelligence, Studies in Computational Intelligence (SCI), Vol. 399, pages 229-245, Springer Berlin Heidelberg, 2012.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Vol. 5065, pages 209-237, Springer-Verlag, June 2008.


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. P. López-García, M. Hermenegildo, S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs (also available in ps). Proc. of First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 133-144, World Scientific, September 1994.


Publications in Refereed Workshops:

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

  2. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. Proc. of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming, U. of Oregon, March 1994.

  3. P. López-García, M. Hermenegildo. Towards Dynamic Term Size Computation via Program Transformation. Second Spanish Conference on Declarative Programming, pages 73-93, IIIA/CSIC, September 1993.


Technical Reports and Manuals:

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

  2. M. Hermenegildo, P. López-García. A Technique for Dynamic Term Size Computation via Program Transformation. Num. CLIP 8/93.1(94), School of Computer Science, Technical University of Madrid, March 1994.

  3. P. López-García, M. Hermenegildo. An Automatic Sequentializer Based on Program Transformation. T.U. of Madrid (UPM), April 1993.

  4. P. López-García, M. Hermenegildo. Dynamic Term Size Computation in Logic Programs via Program Transformation. Num. CLIP 8/93.0, T.U. of Madrid (UPM), April 1993. Presented at the 1993 COMPULOG Area Meeting on Parallelism and Implementation Technologies.

Last updated on Sat May 6 10:59:12 CEST 2017