Publications in Automatic Parallelization
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.
- U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo.
An Evolutionary Scheduling Approach for Trading-off
Accuracy vs. Verifiable Energy in Multicore Processors.
Logic Journal of the IGPL,
Vol. 25,
Num. 6,
pages 1006-1019,
Oxford Academic Press,
December
2017.
- 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.
- D. Cabeza, M. Hermenegildo.
Non-Strict Independence-Based Program
Parallelization Using Sharing and Freeness
Information.
Theoretical Computer Science,
Vol. 410,
Num. 46,
pages 4704-4723,
Elsevier Science,
October
2009.
- 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.
- M. Hermenegildo.
Parallelizing Irregular and Pointer-Based
Computations Automatically: Perspectives from
Logic and Constraint Programming.
Parallel Computing,
Vol. 26,
Num. 13-14,
pages 1685-1708,
Elsevier Science,
December
2000.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in CLP Languages
(also available in ps).
ACM Transactions on Programming Languages and Systems,
Vol. 22,
Num. 2,
pages 269-339,
ACM Press,
March
2000.
- G. Puebla, M. V. Hermenegildo.
Abstract Multiple Specialization and its
Application to Program Parallelization
(also available in ps).
J. of Logic Programming. Special Issue on Synthesis,
Transformation and Analysis of Logic Programs,
Vol. 41,
Num. 2&3,
pages 279-316,
Elsevier - North Holland,
November
1999.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Abstract Interpretation in
Automatic Parallelization: A Case Study in
Logic Programming.
ACM Transactions on Programming Languages and Systems,
Vol. 21,
Num. 2,
pages 189-238,
ACM Press,
March
1999.
- K. Muthukumar, F. Bueno, M. García de la Banda, M. Hermenegildo.
Automatic Compile-time Parallelization of Logic
Programs for Restricted, Goal-level,
Independent And-parallelism.
Journal of Logic Programming,
Vol. 38,
Num. 2,
pages 165-218,
Elsevier - North-Holland,
February
1999.
- F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi.
Partial Order and Contextual Net Semantics for
Atomic and Locally Atomic CC Programs.
Science of Computer Programming,
Vol. 30,
pages 51-82,
North-Holland,
January
1998.
Special CCP95 Workshop issue.
- 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.
- M. Hermenegildo, F. Rossi.
Strict and Non-Strict Independent
And-Parallelism in Logic Programs:
Correctness, Efficiency, and Compile-Time
Conditions.
Journal of Logic Programming,
Vol. 22,
Num. 1,
pages 1-45,
Elsevier - North Holland,
1995.
- M. Hermenegildo, R. Warren, S. K. Debray.
Global Flow Analysis as a Practical Compilation
Tool.
Journal of Logic Programming,
Vol. 13,
Num. 4,
pages 349-367,
Elsevier - North Holland,
August
1992.
- K. Muthukumar, M. Hermenegildo.
Compile-time Derivation of Variable Dependency
Using Abstract Interpretation.
Journal of Logic Programming,
Vol. 13,
Num. 2/3,
pages 315-347,
Elsevier - North-Holland,
July
1992.
- M. Hermenegildo, K. Greene.
The &-Prolog System: Exploiting Independent
And-Parallelism.
New Generation Computing,
Vol. 9,
Num. 3,4,
pages 233-257,
Springer Verlag,
1991.
- M. Hermenegildo, E. Tick.
Memory Referencing Characteristics and Caching
Performance of AND-Parallel Prolog on
Shared-Memory Architectures.
New Generation Computing,
Vol. 7,
Num. 1,
pages 37-58,
Springer Verlag,
October
1989.
- M. Hermenegildo, R. Warren.
Designing a High-Performance Parallel Logic
Programming System.
Computer Architecture News, Special Issue on Parallel
Symbolic Programming,
Vol. 15,
Num. 1,
pages 43-53,
ACM,
March
1987.
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.
- 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.
- M. Marron, D. Kapur, M. V. Hermenegildo.
Identification of Logically Related Heap
Regions.
ISMM'09: Proceedings of the 8th international symposium
on Memory management,
ACM Press,
June
2009.
- M. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur.
Sharing Analysis of Arrays, Collections, and
Recursive Structures.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'08),
ACM,
November
2008.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
Identification of Heap-Carried Data Dependence
Via Explicit Store Heap Models.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Springer-Verlag,
August
2008.
- M. Marron, M. Hermenegildo, D. Kapur, D. Stefanovic.
Efficient Context-Sensitive Shape Analysis with Graph-Based
Heap Models.
International Conference on Compiler Construction (CC
2008),
Lecture Notes in Computer Science,
15 pages,
Springer,
April
2008.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing Analysis
for Java-style Programs.
9th International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI'08),
LNCS,
Num. 4905,
pages 172-187,
Springer-Verlag,
January
2008.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Num. 4915,
pages 138-153,
Springer-Verlag,
August
2007.
- M. Marron, D. Stefanovic, M. Hermenegildo, D. Kapur.
Heap Analysis in the Presence of Collection
Libraries.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'07),
ACM,
June
2007.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
A Static Heap Analysis for Shape and
Connectivity.
Languages and Compilers for Parallel Computing
(LCPC'06),
Lecture Notes in Computer Science,
Vol. 4382,
pages 345-363,
Springer,
November
2006.
- J. Navas, F. Bueno, M. V. Hermenegildo.
Efficient Top-Down Set-Sharing Analysis Using Cliques.
8th International Symposium on Practical Aspects of
Declarative Languages (PADL'06),
LNCS,
Num. 2819,
pages 183-198,
Springer-Verlag,
January
2006.
- G. Puebla, M. V. Hermenegildo.
Abstract Specialization and its Application to
Program Parallelization.
Logic Program Synthesis and Transformation,
LNCS,
Num. 1207,
pages 169-186,
Springer-Verlag,
1997.
- M. García de la Banda, F. Bueno, M. Hermenegildo.
Towards Independent And-Parallelism in CLP.
Programming Languages: Implementation, Logics, and
Programs,
LNCS,
Num. 1140,
pages 77-91,
Springer-Verlag,
September
1996.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Dynamically Scheduled Logic Languages.
1996 International Conference on Algebraic and Logic
Programming,
LNCS,
Num. 1139,
pages 47-61,
Springer-Verlag,
September
1996.
- 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.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Global Analysis in Strict
Independence-Based Automatic Program
Parallelization.
International Symposium on Logic Programming,
pages 320-336,
MIT Press,
November
1994.
- F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi.
From Eventual to Atomic and Locally Atomic CC
Programs: A Concurrent Semantics.
Fourth International Conference on Algebraic and Logic
Programming,
LNCS,
Num. 850,
pages 114-132,
Springer-Verlag,
September
1994.
- F. Bueno, M. García de la Banda, M. Hermenegildo.
A Comparative Study of Methods for Automatic
Compile-time Parallelization of Logic
Programs
(also available in ps).
First International Symposium on Parallel Symbolic
Computation, PASCO'94,
pages 63-73,
World Scientific Publishing Company,
September
1994.
- 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.
- D. Cabeza, M. Hermenegildo.
Extracting Non-Strict Independent And-Parallelism
Using Sharing and Freeness Information.
1994 International Static Analysis Symposium,
LNCS,
Num. 864,
pages 297-313,
Springer-Verlag,
September
1994.
- U. Montanari, F. Rossi, F. Bueno, M. García
de la Banda, M. Hermenegildo.
Towards a Concurrent Semantics-based Analysis of
CC and CLP.
Principles and Practice of Constraint Programming,
LNCS,
Num. 874,
pages 151-161,
Springer-Verlag,
May
1994.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Constraint Logic Programs.
1993 International Logic Programming Symposium,
pages 130-146,
MIT Press, Cambridge, MA,
October
1993.
- M. Olmedilla, F. Bueno, M. Hermenegildo.
Automatic Exploitation of Non-Determinate
Independent And-Parallelism in the Basic
Andorra Model.
Logic Program Synthesis and Transformation, 1993,
Workshops in Computing,
pages 177-195,
Springer-Verlag,
July
1993.
- M. Carro, L. Gómez, M. Hermenegildo.
Some Paradigms for Visualizing Parallel Execution
of Logic Programs.
1993 International Conference on Logic Programming,
pages 184-201,
MIT Press,
June
1993.
- H. Kuchen, J. Moreno-Navarro, M. Hermenegildo.
Independent AND-Parallel Implementation of
Narrowing.
Proc. 4th Int'l. Symposium on Programming Language
Implementation and Logic Programming,
LNCS,
Num. 631,
pages 24-38,
Springer-Verlag,
August
1992.
- F. Bueno, M. Hermenegildo.
An Automatic Translation Scheme from Prolog to the
Andorra Kernel Language.
Proc. of the 1992 International Conference on Fifth
Generation Computer Systems,
Vol. 2,
pages 759-769,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
- K. Shen, M. Hermenegildo.
A Simulation Study of Or- and Independent
And-parallelism.
International Logic Programming Symposium,
pages 135-151,
MIT Press,
October
1991.
- K. Muthukumar, M. Hermenegildo.
Combined Determination of Sharing and Freeness of
Program Variables Through Abstract
Interpretation
(also available in ps).
International Conference on Logic Programming (ICLP
1991),
pages 49-63,
MIT Press,
June
1991.
- 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.
- K. Muthukumar, M. Hermenegildo.
The CDG, UDG, and MEL Methods for Automatic
Compile-time Parallelization of Logic
Programs for Independent And-parallelism.
Int'l. Conference on Logic Programming,
pages 221-237,
MIT Press,
June
1990.
- M. Hermenegildo, K. Greene.
&-Prolog and its Performance: Exploiting
Independent And-Parallelism.
1990 International Conference on Logic Programming,
pages 253-268,
MIT Press,
Association for Logic Programming,
June
1990.
- K. Muthukumar, M. Hermenegildo.
Determination of Variable Dependence Information at
Compile-Time Through Abstract
Interpretation.
1989 North American Conference on Logic Programming,
pages 166-189,
MIT Press,
October
1989.
- M. Hermenegildo, F. Rossi.
On the Correctness and Efficiency of Independent
And-Parallelism in Logic Programs.
1989 North American Conference on Logic Programming,
pages 369-390,
MIT Press,
October
1989.
- K. Muthukumar, M. Hermenegildo.
Complete and Efficient Methods for Supporting
Side Effects in Independent/Restricted
And-parallelism.
1989 International Conference on Logic Programming,
pages 80-101,
MIT Press,
June
1989.
- R. Warren, M. Hermenegildo, S. K. Debray.
On the Practicality of Global Flow Analysis of
Logic Programs.
Fifth International Conference and Symposium on Logic
Programming,
pages 684-699,
MIT Press,
August
1988.
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.
- A. Casas.
Automatic Unrestricted Independent
And-Parallelism in Declarative Multiparadigm
Languages.
Ph.D. Thesis, University of New Mexico (UNM),
Electrical and Computer Engineering Department,
University of New Mexico, Albuquerque, NM 87131-0001
(USA),
September
2008.
- D. Cabeza.
An Extensible, Global Analysis Friendly Logic
Programming System.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
August
2004.
- Alberto Díez Zurdo.
Goal Reordering in Logic Programs with Unrestricted
Parallelism and Explicit Dependencies.
Ms. Thesis, School of Computer Science, Technical University of
Madrid,
September
2002.
In Spanish.
- Alberto Díez Zurdo.
Paralelización Automática de Programas
Lógicos en Tiempo
de Compilación con Dependencias Explícitas.
Ms. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad de Informática, Madrid, 28660,
September
2002.
In Spanish.
- 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.
- G. Puebla.
Advanced Compilation Techniques based on Abstract
Interpretation and Program Transformation
(also available in ps).
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
November
1997.
- F. Bueno Carrillo.
Automatic Optimisation and Parallelisation of Logic
Programs through Program Transformation.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
October
1994.
- M. García de la Banda.
Independence, Global Analysis, and Parallelism in
Dynamically Scheduled Constraint Logic
Programming.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
September
1994.
- D. Cabeza Gras.
Parallelization of Prolog Programs Using the
Notion of Non-Strict Independence.
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1993.
- 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.
Parallelizing Irregular and Pointer-Based Computations
Automatically: Results in Logic and Constraint
Programming
(also available in ps).
Constructive Methods for Parallel Programming,
Advances in Computation: Theory and Practice,
1 pages,
Nova Science,
2002.
(abstract of invited talk).
- 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.
- M. V. Hermenegildo, G. Puebla.
Applying Multiple Abstract Specialization to
Program Parallelization (abstract).
Partial Evaluation- Dagstuhl Seminar Report,
Num. 134,
1 pages,
IBFI - Dagstuhl,
February
1996.
- M. García de la Banda, M. V. Hermenegildo.
A Practical Application of Sharing and Freeness
Inference.
1992 Workshop on Static Analysis WSA'92,
BIGRE,
Num. 81-82,
pages 118-125,
IRISA-Beaulieu,
September
1992.
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.
- M. Hermenegildo.
Fundamentos y Aplicación Automática del
Paralelismo en Inteligencia Artificial.
Inteligencia Artificial: Fundamentos Teóricos y
Aplicaciones,
pages 127-153,
Real Academia de Ciencias Exactas, Físicas y
Naturales,
March
1992.
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.
- L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo.
Program Parallelization using Synchronized Pipelining.
Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09),
September
2009.
- M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo.
Efficient Set Sharing using ZBDDs.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Vol. 5335,
pages 94-108,
Springer-Verlag,
August
2008.
- J. Navas, F. Bueno, M. V. Hermenegildo.
A study of set-sharing analysis via cliques.
The 15th Workshop on Logic-Based Methods in Programming
Environments, WLPE'05,
15 pages,
October
2005.
- G. Puebla, M. V. Hermenegildo.
Abstract Specialization and its Application to
Program Parallelization.
V International Workshop on Metaprogramming and
Metareasoning in Logic,
1996.
- M. García de la Banda, F. Bueno, M. Hermenegildo.
Towards Automatic Compile-Time Parallelization of
CLP Programs by Analysis and
Transformation.
Proceedings of the ILPS'95 Workshop on Parallel Logic
Programming Systems,
U. of Oregon,
December
1995.
- 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.
- M. Hermenegildo, M. Carro.
Experimenting with Independent And-Parallel
Prolog using Standard Prolog.
Jornadas Nacionales de Programación Declarativa,
pages 478-497,
U. Malaga,
October
1991.
- F. Bueno, M. Hermenegildo.
Towards an Automatic Translation Algorithm from
Prolog to the Andorra Kernel Language.
Proc. of the 1991 GULP Conference on Logic
Programming,
pages 489-505,
Italian Association for Logic Programming,
June
1991.
- M. Hermenegildo.
Compile-time Analysis Requirements for the Extended
Andorra Model.
Parallel Logic Programming Workshop,
SICS,
June
1990.
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. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo.
Fast Set Sharing using ZBDDs.
University of New Mexico,
June
2008.
- A. Casas, M. Carro, M. V. Hermenegildo.
Automatic Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP11/2007.0,
Technical University of Madrid (UPM),
December
2007.
Under consideration for publication in Theory and
Practice of Logic Programming (TPLP).
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing for Java-style Programs (and proofs).
Num. CLIP2/2007.1,
Technical University of Madrid (UPM),
November
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent
And-parallelism.
Num. TR-CS-2007-16,
University of New Mexico (UNM),
October
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. TR-CS-2007-14,
University of New Mexico (UNM),
September
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP5/2007.0,
Technical University of Madrid (UPM),
June
2007.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing and Nullity Analysis
for Java-style Programs.
Num. CLIP2/2007.0,
Technical University of Madrid (UPM),
February
2007.
- F. Bueno, J. Navas, M. Hermenegildo.
Sharing, Freeness, Linearity, Redundancy, Widenings, and Cliques.
Num. CLIP5/2005.0,
21 pages,
Technical University of Madrid (UPM),
April
2005.
- M. García de la Banda, F. Bueno, M. Hermenegildo.
Automatic Compile-Time Parallelization of CLP
Programs by Analysis and Transformation to a
Concurrent Constraint Language.
Facultad de Informática, UPM,
June
1995.
Also in ILPS'95 WS on Parallel Logic Programming Systems.
- F. Bueno, S. K. Debray, M. García de la Banda, M. V. Hermenegildo.
Transformation-based Implementation and Optimization
of Programs Exploiting the Basic Andorra
Model.
Num. CLIP11/95.0,
Facultad de Informática, UPM,
May
1995.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence and Search Space Preservation in
Dynamically Scheduled Constraint Logic
Languages.
Facultad de Informática, UPM,
February
1995.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Dynamically Scheduled Languages.
Num. CLIP12/94.0,
T. University of Madrid (UPM),
September
1994.
Presented at the ICLP'93 Post Conference Workshop on
Concurrent Constraint Logic Programming.
- F. Bueno, S. K. Debray, M. García de la Banda, M. Hermenegildo.
QE-Andorra: A Quiche-Eating Implementation of
the Basic Andorra Model.
Num. CLIP13/94.0,
T.U. of Madrid (UPM),
September
1994.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Search Space Preservation in CLP Languages.
Num. CLIP11/94.0,
T. University of Madrid (UPM),
September
1994.
- F. Bueno, D. Cabeza, M. V. Hermenegildo, S. Prestwich, G. Puebla.
Some Improvements to an Abstract Syntax for
Analysis and Optimization of Full (Parallel)
Prolog.
Num. CLIP 8/94.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
September
1994.
- 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.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo, U. Montanari, F. Rossi.
From Eventual to Atomic and Locally Atomic CC
Programs: A Concurrent Semantics.
Num. CLIP1/94.0,
T.U. of Madrid (UPM),
January
1994.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
The MEL, UDG, and CDG Methods for Automatic
Compile-time Parallelization of Logic
Programs for Independent And-Parallelism:
A Comparative Study.
Num. CLIP3/94.0,
T.U. of Madrid (UPM),
January
1994.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Logic Programs with Dynamic
Scheduling.
U. of Madrid (UPM),
1994.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Global Analysis in Strict
Independence-Based Automatic Program
Parallelization.
Num. CLIP7/93.0,
T.U. of Madrid (UPM),
October
1993.
- D. Cabeza, M. Hermenegildo.
Towards Extracting Non-Strict Independent
And-Parallelism Using Sharing and Freeness
Information.
Num. CLIP5/92.1,
U. of Madrid (UPM),
August
1993.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo, F. Rossi, U. Montanari.
Towards True Concurrency Semantics Based
Program Transformation between CLP and CC.
Num. CLIP2/93.1(94),
T.U. of Madrid (UPM),
July
1993.
- F. Bueno, M. García de la Banda, D. Cabeza, M. V. Hermenegildo.
The &-Prolog Compiler System -- Automatic
Parallelization Tools for LP.
Num. CLIP5/93.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
June
1993.
- F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. Lopez-Garcia, M. García de la
Banda, M. V. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan.
A Proposal for an Interchange Abstract Syntax for
(Parallel) Prolog.
Num. CLIP3/93.0,
33 pages,
Computer Science Dept., Technical U. of Madrid
(UPM),
June
1993.
- 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.
- U. Montanari, F. Rossi, F. Bueno, M. García
de la Banda, M. V. Hermenegildo.
Contextual Nets and Constraint Logic Programming:
Towards a True Concurrent Semantics for
CLP.
Num. CLIP 2/93.0,
T.U. of Madrid (UPM),
January
1993.
Presented at the ICLP'93 Post Conference Workshop on
Concurrent Constraint Logic Programming.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Constraint Logic Programs.
Num. CLIP6/92.0,
U. of Madrid (UPM),
November
1992.
- D. Cabeza, M. Hermenegildo.
Extracting Non-Strict Independent And-Parallelism
Using Sharing and Freeness Information.
Num. CLIP5/92.0,
U. of Madrid (UPM),
August
1992.
- M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Combined Sharing and Freeness
Analysis using Abstract Interpretation.
Num. CLIP1/92.0,
U. of Madrid (UPM),
January
1992.
- M. Hermenegildo, M. Carro.
Experimenting with Independent And-Parallel
Prolog using Standard Prolog.
24 pages,
U. of Madrid (UPM),
October
1991.
Presented at the 1991 Spanish Workshop on Declarative
Programming, Malaga.
- M. Olmedilla, F. Bueno, M. Hermenegildo.
Automatic Exploitation of Non-Determinate
Independent And-Parallelism in the Basic
Andorra Model.
Num. FIM106.1/AI/91,
Facultad de Informatica, U. P. Madrid, Spain,
October
1991.
- F. Bueno, M. Hermenegildo.
Results on Automatic Translation from Prolog to the
Andorra Kernel Language.
Num. CLIP2/91.0,
T.U. of Madrid (UPM),
September
1991.
theory in technical report, “Towards an Automatic
Translation Algorithm from Prolog to the Andorra
Kernel Language”.
- F. Bueno, M. Hermenegildo.
An Automatic Translation Scheme from Prolog to
the Andorra Kernel Language.
Num. CLIP1/91.0,
T.U. of Madrid,
June
1991.
also(first version) in Proc. GULP91, results and benchmarks
in “Results on Automatic Translation from Prolog to
the Andorra Kernel Language”.
- K. Muthukumar, M. Hermenegildo.
Combined Determination of Sharing and Freeness of
Program Variables Through Abstract
Interpretation.
Num. STP-368-90,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
December
1990.
- K. Shen, M. Hermenegildo.
A Simulation Study of Or- and Independent
And-parallelism.
Num. FIM-60.1/AI/90,
Facultad de Informatica, U. P. Madrid, 28660 Boadilla
del Monte, Madrid, Spain,
October
1990.
- M. Hermenegildo, K. Greene.
&-Prolog and its Performance: Exploiting
Independent And-Parallelism.
Num. ACA-ST-536-89,
MCC, Austin, TX 78759,
November
1989.
- M. Hermenegildo, K. Muthukumar, K. Greene, F. Rossi, R. I. Nasr.
An Overview of the PAL Project.
Num. ACT-ST-234-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
September
1989.
- K. Muthukumar, M. Hermenegildo.
Determination of Variable Dependence Information at
Compile-Time Through Abstract
Interpretation.
Num. ACA-ST-232-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
March
1989.
- K. Muthukumar, M. Hermenegildo.
Methods for Automatic Compile-time Parallelization
of Logic Programs using
Independent/Restricted And-parallelism.
Num. ACA-ST-233-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
March
1989.
- K. Muthukumar, M. Hermenegildo.
Efficient Methods for Supporting Side Effects in
Independent And-parallelism and Their
Backtracking Semantics.
Num. ACA-ST-031-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
January
1989.
- R. Warren, M. Hermenegildo, S.K. Debray.
MA3: A System for Automatic Generation of CGEs.
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
February
1988.
- Sanjay Deshpande, Matt Sejnowski, Manuel Hermenegildo, Julio de Melo, Roy Jenevein, Ashok Adiga, Allan Clarke.
TRAC (Texas Reconfigurable Array Computer) - Users' Manual.
1985.
Next: Publications in Task Granularity Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Analysis of Last updated on Thu Nov 28 10:27:20 AM CET 2024