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

Publications in Task Granularity Analysis and Control


Articles in Refereed Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3-26, Elsevier North-Holland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, 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.

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

  4. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. V. 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.

  5. P. Lopez-Garcia, M. V. 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.


Articles in Refereed Conferences:

  1. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 19-35, Springer-Verlag, April 2020.

  2. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, pages 36-56, Springer-Verlag, 2020.

  3. T. Trigo, P. Lopez-Garcia, 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.

  4. P. Lopez-Garcia, M. V. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.

  5. P. Lopez-Garcia, M. V. 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.

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


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. Lopez-Garcia. 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. Lopez-Garcia. 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. V. Hermenegildo, M. Carro, P. Lopez-Garcia, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova. 25 Years of Ciao (abstract of invited tutorial). Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

  2. M. V. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. Lopez-Garcia. 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).

  3. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. 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.

  4. 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. Lopez-Garcia, 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. Carro, M. V. Hermenegildo. Logic Languages. Encyclopedia of Parallel Computing, pages 1057-1068, Springer, 2011.

  3. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, 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.


Publications in Refereed Workshops:

  1. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  2. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), October 2019.

  3. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 238-240, Open Publishing Association (OPA), September 2019. (Extended Abstract).

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

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

  6. P. Lopez-Garcia, M. V. 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. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Num. CLIP-1/2019.0, 19 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, 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).

  3. M. V. Hermenegildo, P. Lopez-Garcia. 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.

  4. P. Lopez-Garcia, M. V. Hermenegildo. An Automatic Sequentializer Based on Program Transformation. T.U. of Madrid (UPM), April 1993.

  5. P. Lopez-Garcia, M. V. 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.


next up previous Clip_button.gif
Next: Publications in Parallel Execution Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Automatic Parallelization
Last updated on Mon 17 May 2021 09:35:36 PM CEST