Publications in Task Granularity Analysis and Control
Articles in Refereed Journals:
- Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha.
Parallel Logic Programming: A Sequel.
Theory and Practice of Logic Programming, 20th Anniversary Special Issue,
Vol. 22,
Num. 6,
pages 905-973,
Cambridge U. Press,
March
2022.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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,
Vol. 12042,
pages 36-56,
Springer,
2020.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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.
- 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:
- M. V. Hermenegildo.
50-Years of Prolog and Beyond (invited talk).
November
2022.
Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.
- M. V. Hermenegildo.
Some reflections on Prolog's evolution, status, and future on the 50th anniversary of the birth of Prolog (abstract of invited talk).
38th International Conference on Logic Programming (ICLP'22 at FLoC'22),
August
2022.
- 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.
- 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).
- 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.
- 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:
- 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.
- M. Carro, M. V. Hermenegildo.
Logic Languages.
Encyclopedia of Parallel Computing,
pages 1057-1068,
Springer,
2011.
- 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:
- 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.
- 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.
- 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).
- 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.
- 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.
- 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:
- 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.
- 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).
- 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.
- P. Lopez-Garcia, M. V. Hermenegildo.
An Automatic Sequentializer Based on Program
Transformation.
T.U. of Madrid (UPM),
April
1993.
- 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: Publications in Parallel Execution Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Automatic Parallelization Last updated on Thu Nov 28 10:27:20 AM CET 2024