Manuel
Hermenegildo

CV


Areas of Interest

Global Program Analysis, Verification, Debugging, and Optimization for Functional and Non-functional Properties (Time, Memory, Energy); Abstract Interpretation; Partial Evaluation; Parallelism and (Resource-Aware) Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation; Abstract Machines; Automatic Documentation Tools; Execution Visualization; Sequential and Parallel Computer Architecture.


Education

Aug 1986
PhD., Electrical and Computer Eng., University of Texas at Austin.
Aug 1984
M. S., Electrical and Computer Eng., University of Texas at Austin.
Jun 1981
M. S., Electrical Eng., Technical U. of Madrid.


Positions

Jan 07-...
Distinguished Professor (Jan 07-Jul 17, Scientific Director), Madrid Institute for Advanced Research in Software Development Technology (IMDEA Software, software.imdea.org), Spain, and
Jan 90-...
Full Professor (Jan 90-May 94 Associate Professor), Technical U. of Madrid, Department of Computer Science; Spain.
Research. PhD. student and PostDoc supervision. Graduate and undergraduate teaching. Leader of the CLIP (Computational Logic, Implementation and Parallelism) Lab. Principal investigator in a large number of EU, international, and national projects on resource-aware computing, static analysis, automatic parallelization, verification, abstraction carrying code, global analysis of programs, constraint logic programming, program debugging, next generation program development tools, and others.
Built Institute from its foundation into a world-class institution. General scientific coordination of the Institute. Director, EIT Digital Spain (Spanish Node of the European Institute for Innovation and Technology EIT Digital KIC), and Microsoft Research–IMDEA Software Joint Research Center.

Feb 03-Dec 08
Prince of Asturias Endowed Chair in Information Science and Technology, U. of New Mexico, Departments of Computer Science and Electrical and Computer Engineering; Albuquerque, NM, USA
Research. PhD. student and PostDoc supervision. Graduate and undergraduate teaching.

May 00-Sep 02
Director of the Spanish National Research Directorate (Spanish central agency financing research in all areas of science and technology).
Creation of the directorate from a number of previously existing units. Design and management of all programs funding projects, human resources, and infrastructures, including starting the ``Ramon y Cajal'' fellowship program. Coordination with regional, European, and international programs. Benchmarking of the national S&T system. Member, board of directors of the Spanish Foundation for Science and Technology, the Spanish Scientific Research Council (CSIC), and the Spanish Center for Industrial and Technological Development (CDTI). Spanish representative in the European Union Advisory Committee for Research (CREST).

Oct 86-Dec 89
Member, Technical Staff, MCC, Parallel Processing Program and ACA/Systems Technology Lab.; Austin, Texas.
Principal Investigator, PAL project: parallel and sequential high performance implementation of next generation languages and systems. Development of theoretical bases, execution models, and actual implementations of high-performance parallel logic programming systems. Design and simulation of coherent-cache, cluster-based multiprocessors. Performance studies of execution models on several parallel architectures and organizations.
Mar 87-Jan 90
Assistant/Associate Professor (adjunct), University of Texas at Austin, Computer Science Department.
Teaching (Computer Architecture, Logic Programming). Supervision of PhD. students working in the areas of parallel computer architecture, parallel execution model theory and design, abstract interpretation, and automatic parallelization.
Jun 85-Aug 85
Intern, MCC; Austin, Texas.
Jul 84-Aug 84
Intern, IBM Corp.; Austin, Texas.
Nov 82-Aug 83
Analyst, Philips S.A.; Madrid, Spain.
Technical management.
Jun 81-Aug 81
Design Engineer (praktikum), Siemens Gmbh.; Munich, Germany.
Electronic circuit design and embedded systems development for audio and automotive applications.
Jan 80-Oct 82
President, HC Electronics; Madrid, Spain.
Co-owned venture, involved in the development and licensing of electronic circuit designs and prototypes. Products included a Speech Scrambler marketed by Eurotronica S.A., and a Spectrum Scanning System installed at the National Optics Institute.


Other Selected Activities, Honors, and Awards

  • Google scholar $>$10k citations, h 58. Area rankings: 2nd in Abstract Interpretation, 7th in Logic Programming, 9th in Computational Logic, 17th in Program Analysis, 25th in Verification.

  • ACM Fellow. ``Julio Rey Pastor'' Prize for Research in Mathematics and Information and Communication Technologies, 2006 (highest Spanish national scientific award in the areas of mathematics and information technology). ``Aritmel'' Prize for Scientific Merit in Computer Science, 2005. Elected member of the Academia Europaea, 2010. Member of the Academia Europaea selection committee.

  • Invited talks (keynotes) and/or tutorials at LOPSTR'23, ICLP'22, CILC'22, PROLE'22, SAS'20, DPA@FCRC'19, LOPSTR'18, DPA@ECOOP'18, Dagstuhl'17, ICLP'17 (test of time award lecture), VPT'17@ETAPS, Dagstuhl'16, UninovaPhDForum'15, Dagstuhl'14, RichModelToolkit'11, RuleML'11, WLPE'11, TAPAS'10 (at SAS 2010), Datalog2.0 (2010), ProTest 09 workshop, 30 Years of Abstract Interpretation POPL'08 meeting, European Computer Science Summit'08, DAMP'07, EEAI'06, DAMP'06, ACM SAC'06, MoveLog'05, PPDP'05, EUROPAR'04, EU-IST GRIDS'04, SAS'03, PEPM'03, ICALP'02, ERCIM/CoLogNet'02, LPAR'01, CL'00, CMPP'00, AgentLink'99 WS, ICLP'99, AFLP'98, EUROPAR'97, ILPS'97, ICLP'97, AADEBUG'97, PAAM / PAP'97, CCL'96, EPIA'96, LPAR'94, JICSLP'92, WSA/SAS'92, IEEE CompEuro 92, ICLP'89 and at several other Workshops and Summer Schools.

  • Editorial Adviser and former Area Editor (architecture and implementation) of ``Theory and Practice of Logic Programming'' (Cambridge U. Press) (formerly, the ``Journal of Logic Programming'', Elsevier North-Holland), Associate Editor of the ``Journal of New Generation Computing'' (Springer-Verlag), Area Editor of ``Journal of Applied Logic'' (Elsevier North-Holland), former Associate Editor of ``ACM Transactions on Programming Languages and Systems'' (ACM).

  • Program Committee Chair or Co-Chair: ``2023 Static Analysis Symposium'', SAS 2023, Cascais, Portugal; ``2022 ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming'', PPDP 2022, Tsibili, Georgia; ``2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation'', PEPM 2019, Cascais, Portugal; ``2017 Workshop on Horn Clause-based Verification and Synthesis'', HCVS 2017, Gotheborg, Sweden; ``2016 Conference on Logic-based Program Synthesis and Transformation'', LOPSTR 2016, Edinburgh, UK; ``2016 Compiler Construction Conference'', CC 2016, Barcelona, Spain; ``2013 National Computer Science Conference'', CEDI 2013, Madrid, Spain; ``2012 European Computer Science Summit'', ECSS 2012, Barcelona, Spain; ``2010 International Conference on Logic Programming'', 2010, Edinburgh, UK; ``Verification, Abstract Interpretation and Model Checking'' VMCAI 2010, Madrid, Spain; ``2008 Declarative Aspects of Multicore Programming'' DAMP 2008 (San Francisco, CA, USA); 2008 International Symposium on Functional and Logic Programming (FLOPS'08) (Ise, Japan); ``2005 Practical Aspects of Declarative Programming Symposium'' PADL'05 (Long Beach, CA, USA), ``2002 Static Analysis Symposium''; SAS'02 (Madrid, Spain); ``Parallel Symbolic Computing'' track of EUROPAR'97, 1997 (Passau, Germany); ``Programming Languages: Implementations, Logics, and Programs'', 1994 (Madrid, Spain) and 1995 (Utrecht, The Netherlands); ``North American Conference on Logic Programming'', 1990, Austin, TX.

  • Conference Chair or Co-Chair, ``ACM Principles of Programming Languages'' POPL 2010, Madrid, Spain, ``International Conference on Logic Programming'' ICLP 2006, Seattle, WA, USA, ``2005 Symposium on Practical Aspects of Declarative Languages'' PADL'05, Long Beach, CA, USA, ``2002 Static Analysis Symposium'' SAS'02, Madrid, Spain, Joint ``Algebraic and Logic Programming'' and ``Programming Languages: Implementations, Logics, and Programs'' conferences, 1994, Madrid, Spain, First Spanish Conference on Declarative Programming, PROLE'92, as well as many workshops since 1987 –latest ones the 2014-2016 Microsoft-IMDEA collaboration workshops and the ``2017 Workshop on Horn Clause-based Verification and Synthesis'', HCVS 2017, Gotheborg, Sweden.

  • Program Committee or ERC Member for many conferences including ICLP'23, ICLP'22, PROLE'22, CILC'22, ICLP'21, CC'20, PADL'20, ICLP'20, LPOP'20, ICLP'18, CC'18, PACT'17 (ERC), ICLP'17, POPL'17 (ERC), FLOPS'16, AppLP'16, PLDI'16, TAPAS'15, LOPSTR'15, FOPARA'15, PADL'14, ECSS'14, POPL'13, ICLP'13, LOPSTR'13, Turing100'12, STOP'12, LPAR'12, PLDI'11, DAMP'11, ICLP'10, VMCAI'10, ICLP'08, SAS'08, ServiceWave'08, DAMP'08, FLOPS'08, TGC'07, SAS'07, TGC'06, FLOPS'06, PADL'06, ESOP'05, ICALP'05, PPSWR'05, AEPIA'05, PROLE'05, PADL'05, ICLP'04, EUMAS'04, PDCS'04, PROLE'04, PPDP'03, CP'03, PADL'03, EUMAS'03, PPDP'02, SAS'02, ICLP'01, SAS01, LOPSTR'01, POPL'00, LOPSTR'00, CMPP'00, ESOP'00, ECAI'00 CLPWS, PPDP'99, FLOPS'99, PADL'99, Irregular'99, POPL'97, ICLP'97, DPLE'97, CP'95, Europar'95, PLILP'94-95, PARLE'93, GULP-PRODE'92-94, PLILP'93-95, JICSLP'92, PAP'91, NACLP'90, ICLP'90, ICLP'89. Session chairman and panelist at several conferences and workshops.

  • President of the Scientific Advisory Board of INRIA, Member of the Scientific Advisory Board of the Schloss Dagstuhl International Center, the Spanish National Research Council, ACM SIGLOG, IFCoLog, the NOVA LINCS center, and the Initiative de Recherche et Innovation sur le Logiciel Libre, IRILL center.

  • Selected to give the Keynote on the 50th anniversary of Prolog at the International Conference on Logic Programming, and at the PrologDay in Paris, as well as keynotes at CILC and ProLe (Italian and Spanish) PL conferences.

  • Most prolific author (most papers published) in the International Conference on Logic Programming, the top-level venue for work in this area, according to dblp.

  • Member of ISTAG, the High-level Advisory Group of the Information Society Technologies Research Program (IST) of the European Union for Framework Program VI (2002-2006). President of several working groups. Co-authored several ``white books'' and policy reports (not included in publications list).

  • Panel Member ACM 50th Anniversary Workshop on Future Directions in Computer Science, the ALP Strategic Directions Meeting, and at several EU Vth, VIth, and VIIth Framework Program strategic planning meetings (``New Directions for ICTs in FP7 meeting: Grand challenges for basic research,'' ``Next Generation GRIDs,'' ``Global Computing,'' ``Future Software Systems,'' ``Advanced Embedded Systems,'' etc.).

  • Invited speaker at the Danish EU presidency high-level meeting on the need for a European Research Council.

  • Scientific expert at Spanish Parliament hearings on teaching Computer Science in Schools, and at Spanish Senate hearings, on software patents and open source software. Expert and National Representative for the OECD on Dissemination of Scientific Data and Results.

  • Elected Member of the ACM Europe Council, Member of the ACM Europe Technology Policy Committee, Elected Vice-President and Member of the Executive Board of Informatics Europe. Elected President of the Association for Logic Programming (ALP) and the Spanish Research Consortium in Informatics and Mathematics (SpaRCIM, Spain's member in ERCIM). Member of the Steering Board and Chair of the Spain Node Strategy Committee of EIT Digital.

  • Member of the Steering Committee of ACM Principles of Programming Languages Conference (POPL) (and POPL'2011 Most Influential Paper Award committee), Verification, Abstract Interpretation and Model Checking Conference (VMCAI), Static Analysis Symposium (SAS), Functional and Logic Programming Symposium (FLOPS), ACM Principles and Practice of Declarative Programming Symposium (PPDP), Federated Logic Conference (FLoC), Compiler Construction (CC), International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), and Declarative Aspects of Multicore Programming Workshop series.

  • Elected member of the steering boards of the European Association for Programming Languages and Systems (EAPLS), and (twice) of the Association for Logic Programming.

  • Test of time award (most influential paper in last 10 years) ICLP 2017 (with Jorge Navas, Edison Mera, and Pedro López), Highest ranked paper at PPDP 2016 (with Nataliia Stulova and José Morales). Best paper award at ICSOC 2011 (with Dragan Ivanovic and Manuel Carro) and at ICLP 2005 (with José Morales, Manuel Carro, and Germán Puebla).

  • Member of the winning team at the 18th Prolog Programming contest, at ICLP 2011 in Lexington KY (with Michael Leuschel and Antonio Porto).

  • Served on tenure and promotion committees or as a center or department evaluator for MPI (Germany), LERO (Ireland), K.U.Leuven (Belgium, University of Copenhagen (DIKU), T.U. Denmark (TUD), Cambridge U. (U.K.), Cyprus U., INRIA (France), Ecole Normale Superieure (France), U. of Porto (Portugal), U. of Melbourne (Australia), New Mexico State U. (USA), Ecole Polytechnique (France), Negev U. (Israel), etc. and several Spanish universities. President of the Spanish national research performance evaluation commission for the areas of Computer Science and Electronics (CNEAI). Member of Department Evaluation Advisory Board at Informatics Europe.

  • Area Coordinator (parallelism and implementation technologies) of the EU Networks of Excellence in Computational Logic COMPULOG and CoLogNet.

  • Invited Lecturer in the EPFL IC distinguished lecture series, October 2018, and in the distinguished visitor lecture series of New Mexico State University, October 1996. Former lecturer on the ``IEEE Computer Society Distinguished Visitor Program''.

  • Invited Scientist, August-September 1988, at the Japanese Institute for fifth generation computing (ICOT) in Tokyo.

  • Developed a number of practical software systems, which are in the public domain, some of them with thousands of users, including the Ciao programming system, CiaoPP, LPdoc, the PiLLoW library, CP analyzers, PLAI, automatic parallelizers, &-Prolog, VisAndOr, etc.

  • Participated in more than 50 research projects, in most of them as principal investigator, funded by the European Union and the Spanish Ministries, as well as NSF, MITI, etc. Also in several projects funded by industry.

  • Referee for many journals (TOPLAS, Computing Reviews, TCS, TPLP/JLP, JSC, JPDC, FGCS, TODS, LOPLAS, IJPP, IEEE-TSE, JFGC, COMPLANG, JFLP, etc.), and conferences (POPL, SAS, IJCAI, ICLP, SLP, ILPS, PPDP, NACLP, JICSLP, ICPP, DCS, CONPAR, CP, CC, ESOP, EUMAS, PAP, PARLE, PLILP, ALP, POPL, WSA, EUROPAR, GULP, ICALP, ICPA, PODS, ASIAN, CAEPIA, PACT, PASCO, PPSWR, etc.).

  • Evaluator and panel member for several institutions: Heidelberg Laureates, EU (ESPRIT, IST FP IV, V, VI), NSF, DARPA, DoD, ICOT, ISF, INRIA, FULBRIGHT, the Australian, Austrian, Belgian, Danish, French, Irish, Swedish, Spanish, and UK funding agencies, etc.

  • Faculty Adviser for the ACM student chapter of the T.U. of Madrid.

  • Fulbright-Hays Scholarship for Graduate Study in the U.S. (1983-84). U. of Texas Graduate Research Grant (1984-85). MCC Graduate Research Grant (1985-86).

  • Professional Societies: ACM, IEEE (Computer Society), ALP (Assoc. for Logic Programming), EAPLS, ATI (Professional Computer Engineers' Assoc. of Spain), ERCIM/SpaRCIM, Informatics Europe, among others.

  • Member of the Tau Beta Pi Engineering Honor Society.


Students and Recent Collaborators

Graduated Ph.D. Students (+ graduating university/current location):

Kalyan Muthukumar (U.T. Austin/IBM San Jose / Apple research), Yow-Yan Lin (U.T. Austin/Bellcore), Mar&́#305;a Garc&́#305;a de la Banda (T.U. Madrid/Melbourne University), Francisco Bueno (T.U. Madrid), Germán Puebla (T.U. Madrid), Pedro López Garc&́#305;a (T.U. Madrid/CSIC), Manuel Carro (T.U. Madrid/IMDEA Software), Daniel Cabeza Gras (T.U. Madrid), Jorge Navas (U. of New Mexico/SRI), Amadeo Casas (U. of New Mexico/Microsoft), Mario Méndez (U. of New Mexico/U.T. Austin), José Francisco Morales (T.U. Madrid/IMDEA Software), Pablo Chico (T.U. Madrid), Nataliia Stulova (T.U. Madrid/U. Berne), Isabel García-Contreras (T.U. Madrid/U. Waterloo).

Some recent collaborators (outside the IMDEA SW Institute and UPM, out of 142 total):

P. Stuckey (Melbourne U., Australia), R. Haemmerle (Leontech, Switzerland), M. Marron (Microsoft, USA) H. Muller (Xmos, UK) M. Rosendahl (U. of Roskilde, Denmark), K. Eder (U. Bristol, UK), K. Marriott (Monash U., Australia), E. Pontelli (New Mexico S.U., USA), G. Gupta (U.T. Dallas, USA), S. Debray (U. of Arizona, USA), U. Montanari (U. Pisa, Italy), F. Rossi (U. Pisa, Italy), K. Shen (Imperial College, UK), M. Codish (Ben Gurion U., Israel), M. Bruynooghe (K.U. Leuven, Belgium), P. Deransart (INRIA, France), J. Maluszynski (Linkoping U., Sweden), V. Santos-Costa (U. of Porto, Portugal), A. Pettorossi (U. Roma), M. Proietti (CNR), G. Barthe (MPI), M. Leuschel (U. Duesseldorf), O. Lhoták, J. Lipton, J. Gallagher (U. of Roskilde, Denmark), D. Kapur (U. of New Mexico, USA), D. Stefanovic (U. of New Mexico, USA).


Personal data / contact

Name:
Manuel V. Hermenegildo.

Birth date:
March 13, 1959

Address:
Universidad Politécnica de Madrid and
IMDEA Software Institute
Campus Montegancedo s/n
28223 Pozuelo de Alarcon, Madrid / SPAIN
Email:
manuel.hermenegildo at upm.es
manuel.hermenegildo at imdea.org
URLs:
http://www.cliplab.org/˜herme
Phone:
+34-91-101-2202


Publications (in reverse chronological order)


Articles in Refereed Journals:

  1. Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Abstract Environment Trimming. Theory and Practice of Logic Programming, To Appear, Cambridge U. Press, October 2024. Special Issue on ICLP'24.

  2. Philipp Körner, Michael Leuschel, João Barbosa, V&́#305;tor Santos-Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto. Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. 22, Num. 6, pages 776–858, Cambridge U. Press, May 2022.

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

  4. Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti. Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory and Practice of Logic Programming, Vol. 22, Num. 6, pages 1–69, Cambridge U. Press, November 2021.

  5. M.A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. Theory and Practice of Logic Programming, Vol. 21, Num. 6, pages 768–784, Cambridge U. Press, September 2021. Special Issue on ICLP'21.

  6. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Theory and Practice of Logic Programming, Vol. 21, Num. 2, pages 196–243, Cambridge U. Press, January 2021.

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

  8. P. Lopez-Garcia, L. Darmawan, M. Klemen, U. Liqat, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. Theory and Practice of Logic Programming, Special Issue on Computational Logic for Verification, Vol. 18, Num. 2, pages 167–223, Cambridge U. Press, March 2018. arXiv:1803.04451.

  9. U. Liqat, Z. Banković, 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.

  10. K. Eder, J.P. Gallagher, P. Lopez-Garcia, H. Muller, Z. Banković, K. Georgiou, R. Haemmerlé, M. V. Hermenegildo, B. Kafle, S. Kerrison, M. Kirkeby, M. Klemen, X. Li, U. Liqat, J. Morse, M. Rhiger, M. Rosendahl. ENTRA: Whole-Systems Energy Transparency. Microprocessors and Microsystems, Vol. 47, Part B, pages 278–286, Elsevier, November 2016.

  11. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Semantic Code Browsing. Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue, Vol. 16, Num. 5-6, pages 721–737, Cambridge U. Press, September 2016.

  12. P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage. Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue, Vol. 16, Num. 5-6, pages 849–865, Cambridge U. Press, September 2016.

  13. J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. 16, Num. 1, pages 1–58, Cambridge University Press, January 2016.

  14. N. Stulova, J. F. Morales, M. V. Hermenegildo. Practical Run-time Checking via Unobtrusive Property Caching. Theory and Practice of Logic Programming, 31st Int'l. Conference on Logic Programming (ICLP'15) Special Issue, Vol. 15, Num. 04-05, pages 726–741, Cambridge U. Press, September 2015. http://arxiv.org/abs/1507.05986.

  15. A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, Vol. 14, Num. 4-5, pages 739–754, Cambridge U. Press, July 2014.

  16. D. Ivanovic, M. Carro, M. V. Hermenegildo. A Sharing-Based Approach to Supporting Adaptation in Service Compositions. Computing, Vol. 95, Num. 6, pages 453–492, Springer Wien, June 2013.

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

  18. J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP'12) Special Issue, Vol. 12, Num. 4-5, pages 755–773, Cambridge U. Press, 2012.

  19. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Certificate Size Reduction in Abstraction-Carrying Code. Theory and Practice of Logic Programming, Vol. 12, Num. 3, pages 283–318, 2012.

  20. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4–5, pages 555–574, Cambridge U. Press, July 2011.

  21. G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks. Theory and Practice of Logic Programming, Vol. 11, Num. 1, pages 1–32, Cambridge U. Press, January 2011.

  22. A. Stivala, P. J. Stuckey, M. Garc&́#305;a de la Banda, M. V. Hermenegildo, A. Wirth. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol. 70, Num. 8, pages 839–848, Elsevier, 2010.

  23. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Generation Computing, Vol. 28, Num. 2, pages 117–206, Ohmsha, Ltd. and Springer, 2010.

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

  25. E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, Vol. 26, Num. 2, pages 171–204, March 2008.

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

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

  28. D. Cabeza, M. Hermenegildo. Distributed WWW Programming using (Ciao) Prolog and the PiLLoW Library. Theory and Practice of Logic Programming, Vol. 1, Num. 3, pages 251–282, Cambridge U. Press, May 2001.

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

  30. M. Garc&́#305;a de la Banda, M. V. Hermenegildo, K. Marriott. Independence in CLP Languages. ACM Transactions on Programming Languages and Systems, Vol. 22, Num. 2, pages 269–339, ACM Press, March 2000.

  31. M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey. Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 22, Num. 2, pages 187–223, ACM Press, March 2000.

  32. G. Puebla, M. V. Hermenegildo. Abstract Multiple Specialization and its Application to Program Parallelization. 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.

  33. F. Bueno, M. Garc&́#305;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.

  34. K. Muthukumar, F. Bueno, M. Garc&́#305;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.

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

  36. M. Codish, M. Bruynooghe, M. Garc&́#305;a de la Banda, M. V. Hermenegildo. Exploiting Goal Independence in the Analysis of Logic Programs. Journal of Logic Programming, Vol. 32, Num. 3, pages 247–261, Elsevier - North Holland, September 1997.

  37. M. V. Hermenegildo. Some Challenges for Constraint Programming. The Constraints Journal, Vol. 2, Num. 1, pages 63–69, Kluwer Academic Publishers, 1997. Special issue on strategic directions in constraint programming.

  38. P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter, M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaffar, S. Kasif, J.-L. Lassez, D. McAllester, Ken McAloon, A. Macworth, U. Montanari, W. Older, J.-F. Puget, R. Ramakrishnan, F. Rossi, G. Smolka, R. Wachter. Strategic Directions in Constraint Programming. ACM Computing Surveys, Vol. 28, Num. 4, pages 701–726, ACM, December 1996. 50th Anniversary Issue on Strategic Directions in Computer Research.

  39. M. Garc&́#305;a de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 18, Num. 5, pages 564–615, ACM, September 1996.

  40. M. Hermenegildo, M. Carro. Relating Data–Parallelism and (And–) Parallelism in Logic Programs. The Computer Languages Journal, Vol. 22, Num. 2/3, pages 143–163, Elsevier Science, July 1996.

  41. E. Pontelli, G. Gupta, D. Tang, M. Carro, M. Hermenegildo. Improving the Efficiency of Nondeterministic And–parallel Systems. The Computer Languages Journal, Vol. 22, Num. 2/3, pages 115–142, Pergamon/Elsevier, July 1996.

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

  43. K. Shen, M. Hermenegildo. High-level Characteristics of Or- and Independent And-parallelism in Prolog. Int'l. Journal of Parallel Programming, Vol. 24, Num. 5, pages 433–478, Plenum Press, 1996.

  44. M. Codish, A. Mulkers, M. Bruynooghe, M. Garc&́#305;a de la Banda, M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems, Vol. 17, Num. 1, pages 28–44, ACM, January 1995.

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

  46. G. Gupta, M. Hermenegildo, V. Santos-Costa. And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Computing, Vol. 11, Num. 3–4, pages 297–323, Springer Verlag, 1993.

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

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

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

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

  51. 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:

  1. Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. Proceedings of the 31st Static Analysis Symposium (SAS 2024), LNCS, Vol. 14995, Springer, October 2024.

  2. John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro Lopez-Garcia. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. Proc. of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, Lecture Notes in Computer Science, Vol. 14330, pages 28–38, Springer, October 2023.

  3. Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. A Rule-Based Approach for Designing and Composing Abstract Domains. Proc. of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, Lecture Notes in Computer Science, Vol. 14330, pages 80–98, Springer, October 2023.

  4. Ignacio Casso, José F. Morales, Pedro López-Garc&́#305;a, Manuel V. Hermenegildo. Testing Your (Static Analysis) Truths. Logic-Based Program Synthesis and Transformation - 30th International Symposium, Post-Proceedings, Lecture Notes in Computer Science, Vol. 12561, pages 271–292, Springer, 2021.

  5. I. Casso, J. F. Morales, P. Lopez-Garcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 57–72, Springer-Verlag, April 2020.

  6. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. An Integrated Approach to Assertion-Based Random Testing in Prolog. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 159–176, Springer-Verlag, April 2020.

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

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

  9. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Post-Proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), LNCS, Num. 11408, pages 184–201, Springer-Verlag, January 2019.

  10. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Run-time Checks. 20th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'18), 13 pages, ACM Press, September 2018.

  11. N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Run-time Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, Num. 10702, pages 99–115, Springer-Verlag, January 2018.

  12. U. Liqat, Z. Banković, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 10855, Springer, 2018.

  13. N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Run-time Checks via Static Analysis. 18th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'16), pages 90–103, ACM Press, September 2016.

  14. R. Haemmerlé, P. Lopez-Garcia, U. Liqat, M. Klemen, J. P. Gallagher, M. V. Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling. 13th International Symposium on Functional and Logic Programming (FLOPS 2016), LNCS, Vol. 9613, pages 163–180, Springer, March 2016.

  15. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Post-Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, Vol. 8981, pages 317–331, Springer, 2015.

  16. N. Stulova, J. F. Morales, M. V. Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), pages 225–235, ACM Press, September 2014.

  17. U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 8901, pages 72–90, Springer, 2014.

  18. A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Sized Type Analysis for Logic Programs. Theory and Practice of Logic Programming, 29th Int'l. Conference on Logic Programming (ICLP'13) Special Issue, On-line Supplement (technical communication), Vol. 13, Num. 4-5, pages 1–14, Cambridge U. Press, August 2013.

  19. Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL'13), LNCS, Vol. 7752, Springer, January 2013.

  20. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Supporting Pruning in Tabled LP. Practical Aspects of Declarative Languages (PADL'13), LNCS, Springer Verlag, January 2013.

  21. D. Ivanovic, M. Carro, M. V. Hermenegildo. A Constraint-Based Approach to Quality Assurance in Service Choreographies. 10th International Conference on Service Oriented Computing, ICSOC'12, LNCS, Vol. 7637, Springer Verlag, November 2012.

  22. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. FLOPS'12, LNCS, Num. 7294, pages 104–119, Springer Verlag, May 2012.

  23. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. 15th Int'l. Symposium on Functional and Logic Programming, LNCS, Vol. 7294, pages 104–119, Springer Verlag, May 2012.

  24. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Segment-Swapping Approach for Executing Trapped Computations. PADL'12, LNCS, Vol. 7149, pages 138–152, Springer Verlag, January 2012.

  25. D. Ivanović, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Service-Oriented Computing – ICSOC 2011, LNCS, Vol. 7084, pages 62–76, Springer Verlag, December 2011. Best paper award.

  26. J. F. Morales, M. V. Hermenegildo, R. Haemmerlé. Modular Extensions for Modular (Logic) Languages. Proceedings of the 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), LNCS, Vol. 7225, pages 139–154, Springer, July 2011.

  27. R. Haemmerlé, P. Lopez-Garcia, M. V. Hermenegildo. CLP Projection for Constraint Handling Rules. Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 137–148, ACM Press, July 2011.

  28. D. Ivanović, M. Carro, M. V. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Proceedings of the 8th IEEE Conference on Services Computing SCC 2011, pages 120–127, IEEE Press, July 2011.

  29. E. Mera, T. Trigo, P. Lopez-Garcia, M. V. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Practical Aspects of Declarative Languages (PADL'11), Lecture Notes in Computer Science, Vol. 6539, pages 38–53, Springer-Verlag, January 2011.

  30. D. Ivanović, 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.

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

  32. D. Ivanović, M. Carro, M. V. 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.

  33. E. Mera, P. Lopez-Garcia, M. V. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. 25th Int'l. Conference on Logic Programming (ICLP'09), LNCS, Vol. 5649, pages 281–295, Springer-Verlag, July 2009.

  34. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings. International Conference on Logic Programming (ICLP 2009), LNCS, Num. 5649, pages 190–204, Springer-Verlag, July 2009.

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

  36. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), LNCS, Num. 5418, pages 224–238, Springer-Verlag, January 2009.

  37. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. V. Hermenegildo. Negative Ternary Set-Sharing. International Conference on Logic Programming, ICLP, LNCS, Num. 5366, pages 301–316, Springer-Verlag, December 2008.

  38. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Int'l. Conference on Logic Programming, LNCS, Vol. 5366, pages 795–800, Springer Verlag, December 2008. Short paper.

  39. A. Casas, M. Carro, M. V. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. 24th International Conference on Logic Programming (ICLP'08), LNCS, Vol. 5366, pages 651–666, Springer-Verlag, December 2008.

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

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

  42. J. Morales, M. Carro, M. V. Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 32–43, ACM Press, July 2008.

  43. E. Mera, P. Lopez-Garcia, M. Carro, M. V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174–184, ACM Press, July 2008.

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

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

  46. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, Claudio Silva, Ricardo Rocha. An Improved Continuation Call-Based Implementation of Tabling. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 198–213, Springer-Verlag, January 2008.

  47. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-parallelism. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 230–247, Springer-Verlag, January 2008.

  48. P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61–70, ACM Press, January 2008.

  49. J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. 23rd International Conference on Logic Programming (ICLP'07), Lecture Notes in Computer Science, Vol. 4670, pages 348–363, Springer, September 2007. 10-year Test of Time Award.

  50. P. Pietrzak, M. V. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, Num. 4670, pages 333–347, Springer-Verlag, September 2007.

  51. M. Méndez-Lojo, J. Navas, M. Hermenegildo. A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007), Lecture Notes in Computer Science, Num. 4915, pages 154–168, Springer-Verlag, August 2007.

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

  53. J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Logic-Based Program Synthesis and Transformation (LOPSTR'06), LNCS, Num. 4407, pages 77–93, July 2007.

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

  55. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Combining Static Analysis and Profiling for Estimating Execution Times. Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07), LNCS, Num. 4354, pages 140–154, Springer-Verlag, January 2007.

  56. P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Num. 4246, pages 392–406, Springer-Verlag, November 2006.

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

  58. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. High-Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271–281, ACM Press / Sheridan, October 2006.

  59. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. 22nd International Conference on Logic Programming (ICLP'06), LNCS, Num. 4079, pages 431–432, Springer-Verlag, August 2006.

  60. G. Puebla, E. Albert, M. V. Hermenegildo. Abstract Interpretation with Specialized Definitions. The 13th International Static Analysis Symposium (SAS'06), LNCS, Num. 4134, pages 107–126, Springer, August 2006.

  61. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 163–178, Springer-Verlag, August 2006.

  62. A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. The 8th International Symposium on Functional and Logic Programming (FLOPS'06), pages 142–162, April 2006.

  63. C. Ochoa, G. Puebla, M. V. Hermenegildo. Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 80–97, Springer-Verlag, April 2006.

  64. J. Correas, G. Puebla, M. V. Hermenegildo, F. Bueno. Experiments in Context-Sensitive Analysis of Modular Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 163–178, Springer-Verlag, April 2006.

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

  66. J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. International Conference on Logic Programming, LNCS, Num. 3668, pages 21–36, Springer Verlag, October 2005.

  67. G. Puebla, E. Albert, M. V. Hermenegildo. A Generic Framework for the Analysis and Specialization of Logic Programs. International Conference on Logic Programming (ICLP 2005), LNCS, Num. 3668, pages 407–409, Springer, October 2005. Extended Abstract.

  68. G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 149–165, Springer-Verlag, August 2005.

  69. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Determinacy Analysis for Logic Programs Using Mode and Type Information. Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 19–35, Springer-Verlag, August 2005.

  70. E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code . 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), LNAI, Num. 3452, pages 380–397, Springer-Verlag, March 2005.

  71. D. Cabeza, M. V. Hermenegildo, J. Lipton. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. Ninth Asian Computing Science Conference (ASIAN'04), LNCS, Num. 3321, pages 93–108, Springer-Verlag, December 2004.

  72. E. Albert, G. Puebla, M. V. Hermenegildo. Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems. Proc. of 2004 IEEE Conference on Systems, Man & Cybernetics (Special Session on Correctness and Reliability for Pervasive/Ubiquitous Computing), 6 pages, IEEE, October 2004.

  73. E. Albert, G. Puebla, M. V. Hermenegildo. Abstract Interpretation-based Mobile Code Certification. Proc. of International Conference on Logic Programming (ICLP'04), LNCS, Num. 3132, pages 446–447, Springer-Verlag, September 2004. Extended Abstract.

  74. J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, Vol. 3057, pages 86–103, Springer-Verlag, June 2004.

  75. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 3057, pages 104–119, Springer-Verlag, June 2004.

  76. F. Bueno, P. Lopez-Garcia, M. V. Hermenegildo. Multivariant Non-Failure Analysis via Standard Abstract Interpretation. 7th International Symposium on Functional and Logic Programming (FLOPS 2004), LNCS, Num. 2998, pages 100–116, Springer-Verlag, April 2004.

  77. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems. 2003 International Conference on Logic Programming, LNCS, Num. 2916, pages 481–482, Springer-Verlag, December 2003. Extended abstract.

  78. S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Negation Using Abstract Interpretation. Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI, 15 pages, Springer-Verlag, December 2001.

  79. F. Bueno, M. Garc&́#305;a de la Banda, M. V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey. A Model for Inter-module Analysis and Optimizing Compilation. Logic-based Program Synthesis and Transformation, LNCS, Num. 2042, pages 86–102, Springer-Verlag, March 2001.

  80. C. Carreras, M. V. Hermenegildo. Grid-based Histogram Arithmetic for the Probabilistic Analysis of Functions. Symposium on Abstraction, Reformulation and Approximation (SARA-2000), LNAI, Springer-Verlag, July 2000.

  81. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog. International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131–148, Springer-Verlag, July 2000.

  82. M. V. Hermenegildo. A Documentation Generator for (C)LP Systems. International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 1345–1361, Springer-Verlag, July 2000.

  83. G. Puebla, F. Bueno, M. V. Hermenegildo. Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. Logic-based Program Synthesis and Transformation (LOPSTR'99), LNCS, Num. 1817, pages 273–292, Springer-Verlag, March 2000.

  84. M. Carro, M. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. 1999 International Conference on Logic Programming, pages 320–334, MIT Press, Cambridge, MA, USA, November 1999.

  85. G. Smedbäck, M. Carro, M. Hermenegildo. Interfacing Prolog and VRML and its Application to Constraint Visualization. The Practical Application of Constraint Technologies and Logic programming, pages 453–471, The Practical Application Company, April 1999.

  86. G. Puebla, F. Bueno, M. V. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming (abstract). Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP'98), LNCS, Num. 1520, pages 472–473, Springer-Verlag, October 1998.

  87. S. K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. 1997 International Logic Programming Symposium, pages 291–305, MIT Press, Cambridge, MA, October 1997.

  88. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo. Non-Failure Analysis for Logic Programs. 1997 International Conference on Logic Programming, pages 48–62, MIT Press, Cambridge, MA, June 1997.

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

  90. M. Garc&́#305;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.

  91. M. Garc&́#305;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.

  92. G. Puebla, M. V. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs. International Static Analysis Symposium (SAS 1996), Lecture Notes in Computer Science, Num. 1145, pages 270–284, Springer-Verlag, September 1996.

  93. G. Puebla, M. V. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs. Programming Languages: Implementation, Logics, and Programs, LNCS, Num. 1140, pages 475–476, Springer-Verlag, September 1996. Poster abstract.

  94. K. Shen, M. Hermenegildo. Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Proceedings of EuroPar'96, LNCS, Num. 1124, pages 635–640, Springer-Verlag, August 1996.

  95. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Proceedings of EuroPar'96, LNCS, Num. 1124, pages 724–734, Springer-Verlag, August 1996.

  96. F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla. Global Analysis of Standard Prolog Programs. European Symposium on Programming, LNCS, Num. 1058, pages 108–124, Springer-Verlag, April 1996.

  97. M. Hermenegildo, M. Carro. Relating Data–Parallelism and And–Parallelism in Logic Programs. Proceedings of EURO–PAR'95, LNCS, Num. 966, pages 27–42, Springer-Verlag, August 1995.

  98. M. Hermenegildo, D. Cabeza, M. Carro. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Proc. of the Twelfth International Conference on Logic Programming, pages 631–645, MIT Press, June 1995.

  99. M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey. Incremental Analysis of Logic Programs. International Conference on Logic Programming, pages 797–811, MIT Press, June 1995.

  100. G. Puebla, M. V. Hermenegildo. Implementation of Multiple Specialization in Logic Programs. Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 77–87, ACM Press, June 1995.

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

  102. E. Pontelli, G. Gupta, M. Hermenegildo. &ACE: A High-Performance Parallel Prolog System. International Parallel Processing Symposium, pages 564–572, IEEE Computer Society, IEEE Computer Society Technical Committee on Parallel Processing, April 1995.

  103. F. Bueno, M. Garc&́#305;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.

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

  105. F. Bueno, M. Garc&́#305;a de la Banda, M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 63–73, World Scientific Publishing Company, September 1994.

  106. P. Lopez-Garcia, M. V. Hermenegildo, S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs. Proc. of First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 133–144, World Scientific, September 1994.

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

  108. C. Carreras, C. López-Barrio, M. Hermenegildo. Analytic Model of a Cache-only Memory Architecture. Parallel Architectures and Languages Europe – PARLE'94, LNCS, Num. 817, pages 336–351, Springer-Verlag, July 1994.

  109. M. Codish, M. Garc&́#305;a de la Banda, M. Bruynooghe, M. V. Hermenegildo. Goal Dependent vs Goal Independent Analysis of Logic Programs. Fifth International Conference on Logic Programming and Automated Reasoning, LNAI, Num. 822, pages 305–320, Springer-Verlag, July 1994.

  110. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. International Conference on Logic Programming, pages 93–110, MIT Press, June 1994.

  111. U. Montanari, F. Rossi, F. Bueno, M. Garc&́#305;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.

  112. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System. Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 123–133, Springer-Verlag, May 1994.

  113. K. Marriott, M. Garc&́#305;a de la Banda, M. V. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. 20th. Annual ACM Conf. on Principles of Programming Languages, pages 240–254, ACM, January 1994.

  114. M. Garc&́#305;a de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 437–455, MIT Press, October 1993.

  115. M. Garc&́#305;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.

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

  117. M. Codish, A. Mulkers, M. Bruynooghe, M. Garc&́#305;a de la Banda, M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 194–206, ACM, June 1993.

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

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

  120. G. Gupta, M. Hermenegildo. Recomputation based Implementation of And-Or Parallel Prolog. Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pages 770–782, Institute for New Generation Computer Technology (ICOT), June 1992.

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

  122. K. Shen, M. Hermenegildo. A Simulation Study of Or- and Independent And-parallelism. International Logic Programming Symposium, pages 135–151, MIT Press, October 1991.

  123. G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo. IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. 1991 International Logic Programming Symposium, pages 152–166, MIT Press, October 1991.

  124. F. Giannotti, M. Hermenegildo. A Technique for Recursive Invariance Detection and Selective Program Specialization. Proc. 3rd Int'l. Symposium on Programming Language Implementation and Logic Programming, LNCS, Num. 528, pages 323–335, Springer-Verlag, August 1991.

  125. K. Muthukumar, M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. International Conference on Logic Programming (ICLP 1991), pages 49–63, MIT Press, June 1991.

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

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

  128. M. Hermenegildo, F. Rossi. Non-Strict Independent And-Parallelism. 1990 International Conference on Logic Programming, pages 237–252, MIT Press, Association for Logic Programming, June 1990.

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

  130. M. Hermenegildo. Bridging the Performance Gap between Declarative and Imperative Languages. 4th. International Symposium on Knowledge Engineering, pages 91–104, Xerox Corp., May 1990.

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

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

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

  134. M. Hermenegildo, E. Tick. Memory Performance of AND-Parallel Prolog on Shared-Memory Architectures. Proceedings of the 17th International Conference on Parallel Processing, pages 17–22, IEEE, August 1988.

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

  136. A. Guzmán, M. Hermenegildo. Constructs and Evaluation Strategies for Intelligent Speculative Parallelism – Armageddon Revisited. 1988 ACM Computer Science Conference, pages 106–115, ACM, February 1988.

  137. M. Hermenegildo. Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Fourth International Conference on Logic Programming, pages 556–575, MIT Press, University of Melbourne, May 1987.

  138. M. Hermenegildo, R. I. Nasr. Efficient Management of Backtracking in AND-parallelism. Third International Conference on Logic Programming, LNCS, Num. 225, pages 40–55, Springer-Verlag, Imperial College, July 1986.

  139. M. Hermenegildo. An Abstract Machine for Restricted AND-parallel Execution of Logic Programs. Third International Conference on Logic Programming, Lecture Notes in Computer Science, Num. 225, pages 25–40, Springer-Verlag, Imperial College, July 1986.

  140. G. J. Lipovski, M. Hermenegildo. B-LOG: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. 1985 IEEE International Conference on Parallel Processing, pages 560–568, IEEE Computer Society, August 1985.


Invited Papers and Tutorials:

  1. M.V. Hermenegildo, I. Garcia-Contreras, J.F. Morales, P. Lopez-Garcia, L. Rustenholz, D. Ferreiro, D. Jurjo. On-the-fly Verification via (Incremental, Interactive) Abstract Interpretation with CiaoPP and Verifly. October 2023. Invited talk at LOPSTR'23 (w/SPLASH'23).

  2. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. How to Best Teach Prolog. July 2023. Invited talk at ICLP Special Session: Teaching Prolog: the Next 50 Years and Prolog Education Group. Video at the LP Education group.

  3. M. V. Hermenegildo. 50-Years of Prolog and Beyond (invited talk). November 2022. Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.

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

  5. Manuel V. Hermenegildo, Pedro Lopez-Garcia, Alberto Pettorossi, Maurizio Proietti. Preface, Fundamenta Informaticae, Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Vol. 177, Num. 3–4, pages 1–3, IOS Press, December 2020.

  6. V. Perez-Carrasco, M. Klemen, P. Lopez-Garcia, J.F. Morales, M. V. Hermenegildo. Cost Analysis of Smart Contracts via Parametric Resource Analysis. Proceedings of the 27th Static Analysis Symposium (SAS 2020), LNCS, Vol. 12389, pages 7–31, Springer, November 2020.

  7. J. Gallagher, M. V. Hermenegildo, B. Kafle, M. Klemen, P. Lopez-Garcia, J.F. Morales. From big-step to small-step semantics and back with interpreter specialization (invited paper). Proceedings of the Eighth International Workshop on Verification and Program Transformation (VPT 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 50–65, Open Publishing Association (OPA), 2020. Co-located with ETAPS 2020.

  8. M. V. Hermenegildo, I. Garcia-Contreras, J. Morales, P. Lopez-Garcia, M. Klemen, I. Casso. Multivariant Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP. Workshop on Declarative Program Analysis (DPA 2019), 1 pages, July 2019. (Abstract of invited talk). Associated to FCRC 2019.

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

  10. M. V. Hermenegildo, P. Lopez-Garcia, J. Morales, I. Garcia-Contreras, M. Klemen, N. Stulova. Horn Clause-based Program Analysis and Verification with CiaoPP. 1st International Workshop on Declarative Program Analysis (DPA 2018), 1 pages, July 2018. (Abstract of invited talk). Associated to ECOOP/ISSTA 2018.

  11. Floriana Esposito, Carlo Ghezzi, Manuel V. Hermenegildo, Helene Kirchner, Luke Ong. Informatics Research Evaluation. 12 pages, Informatics Europe, March 2018. http://www.informatics-europe.org/news/436-research_evaluation.html.

  12. M. V. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation. 5th International Workshop on Verification and Program Transformation (VPT 2017), Vol. 253, pages 4–6, EPTCS, April 2017. (Abstract of invited talk).

  13. M. V. Hermenegildo. Conferences vs. Journals in CS, what to do? Evolutionary ways forward and the ICLP/TPLP model. Dagstuhl 12452: Publication Culture in Computing Research – Position Papers, Num. 12452, 12 pages, IBFI – Dagstuhl, November 2012. Slides: http://cliplab.org/papers/dagstuhl-tplpmove-slides.pdf.

  14. D. Ivanović, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. 22nd Workshop on Logic-based Methods in Programming Environments, 1 pages, September 2012. (abstract of invited talk).

  15. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, R. Haemmerlé, E. Mera, J. F. Morales, G. Puebla. An Overview of the Ciao System. Proc. of RuleML-Europe 2011, LNCS, Vol. 6826, pages 2–3, Springer-Verlag, July 2011. (abstract of invited talk).

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

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

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

  19. G. Puebla, E. Albert, P. Arenas, M. V. Hermenegildo. On Abstraction-Carrying Code and Certificate-Size Reduction. 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), 15 pages, March 2006.

  20. G. Puebla, E. Albert, M. Hermenegildo. Abstract Interpretation-based Verification/Certification in the CiaoPP System. Mobile Code Safety and Program Verification Using Computational Logic Tools (MoveLog'05), 9 pages, October 2005.

  21. M. V. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla. Abstraction Carrying Code and Resource-Awareness. 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'05), pages 1–11, ACM Press, July 2005.

  22. M. V. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla. Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System. Proc. of EURO–PAR 2004, LNCS, Num. 3149, pages 21–37, Springer-Verlag, August 2004.

  23. G. Puebla, M. V. Hermenegildo. Abstract Specialization and its Applications. ACM Partial Evaluation and Semantics based Program Manipulation (PEPM'03), pages 29–43, ACM Press, June 2003. Invited talk.

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

  25. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Abstract Verification and Debugging of Constraint Logic Programs. Recent Advances in Constraints, LNCS, Num. 2627, pages 1–14, Springer-Verlag, January 2003.

  26. M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia. Program Debugging and Validation Using Semantic Approximations and Partial Specifications. 29 th. International Colloqium on Automata, Languages, and Programming (ICALP), LNCS, Num. 2380, pages 69–72, Springer-Verlag, July 2002.

  27. M. Hermenegildo. Parallelizing Irregular and Pointer-Based Computations Automatically: Results in Logic and Constraint Programming. Constructive Methods for Parallel Programming, Advances in Computation: Theory and Practice, 1 pages, Nova Science, 2002. (abstract of invited talk).

  28. F. Bueno, D. Cabeza, M. Carro, J. Correas, J. Gómez, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla, C. Vaucheret. Agent Programming in Ciao Prolog. 10 th. Portuguese Conference on Artificial Intelligence (EPIA), LNAI, Num. 2258, 2 pages, Springer-Verlag, December 2001.

  29. M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. 1999 Int'l. Conference on Logic Programming, pages 52–66, MIT Press, November 1999.

  30. M. Hermenegildo, The CLIP Group. Programming with Global Analysis. Proceedings of ILPS'97, pages 49–52, MIT Press, October 1997. (abstract of invited talk).

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

  32. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. V. Hermenegildo, J. Maluszynski, G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. Proc. of the 3rd Int'l. Workshop on Automated Debugging–AADEBUG'97, pages 155–170, U. of Linköping Press, May 1997.

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

  34. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Estimating the Computational Cost of Logic Programs. Static Analysis Symposium, SAS'94, LNCS, Num. 864, pages 255–265, Springer-Verlag, September 1994.

  35. M. Garc&́#305;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.


Books and Monographs:

  1. M.V. Hermenegildo, J.F. Morales. Static Analysis – 30th. International Symposium. LNCS, Num. 14284, 566 pages, Springer, October 2023.

  2. David S. Warren, Veronica Dahl, Thomas Eiter, Manuel Hermenegildo, Robert Kowalski, Francesca Rossi. Prolog - The Next 50 Years. LNCS, Num. 13900, Springer, July 2023.

  3. B, Accattoli, M. V. Hermenegildo (Eds.). Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM ICPS Proceedings, 187 pages, ACM, September 2022.

  4. Manuel V. Hermenegildo, Pedro Lopez-Garcia, Alberto Pettorossi, Maurizio Proietti (Eds.). Fundamenta Informaticae, Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Vol. 177, Num. 3–4, IOS Press, December 2020.

  5. M. V. Hermenegildo, P. Lopez-Garcia (Eds.). Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science, Num. 10184, 330 pages, Springer, July 2017.

  6. A. Zaks, M. V. Hermenegildo. Proceedings of the 25th International Conference on Compiler Construction (CC 2016). ACM, March 2016.

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

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

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

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

  11. J. Garrigue, M. V. Hermenegildo. Functional and Logic Programming, 9th International Symposium, FLOPS'08. LNCS, Num. 4989, Springer, April 2008.

  12. M. V. Hermenegildo. ACM SIGPLAN-Intel Workshop on Declarative Aspects of Multicore Programming, DAMP'08, Informal Proceedings. January 2008.

  13. M. Hermenegildo, D. Cabeza. Practical Aspects of Declarative Languages – 7th. International Symposium, PADL 2005. LNCS, Num. 3350, 278 pages, Springer-Verlag, January 2005.

  14. M. Hermenegildo, G. Puebla. Static Analysis – 9th. International Symposium. LNCS, Num. 2477, 528 pages, Springer-Verlag, September 2002.

  15. L. Sterling, L. Naish, M. V. Hermenegildo. Theory and Practice of Logic Programming – Special Issue: Logic Programming and the INTERNET. Vol. 1, Num. 3, 131 pages, Cambridge U. Press, May 2001.

  16. P. Deransart, M. V. Hermenegildo, J. Maluszynski. Analysis and Visualization Tools for Constraint Programming. LNCS, Num. 1870, 350 pages, Springer-Verlag, September 2000.

  17. P. Tarau, K. De Bosschere, M. Hermenegildo. Proceedings of the 2nd Workshop on Logic Programming Tools for INTERNET Applications. 140 pages, K.U. Leuven, July 1997. Available from http://www.cliplab.org/lpnet/proceedings97/index.html.

  18. P. Tarau, A. Davison, K. De Bosschere, M. Hermenegildo. Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications. 122 pages, U. of Moncton, Canada, September 1996. Available from http://www.cliplab.org/miscdocs/lp-internet/archive.html.

  19. P. Lopez-Garcia, M. V. Hermenegildo. Proceedings of the Third COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 108 pages, U. of Utrecht, September 1995.

  20. M. Hermenegildo, D. Swierstra. Programming Languages: Implementations, Logics, and Programs – Proc. of the 1995 Conference. LNCS, Num. 982, 466 pages, Springer-Verlag, September 1995.

  21. M. Garc&́#305;a de la Banda, M. Hermenegildo. Proceedings of the Second COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 96 pages, FIM/UPM, Madrid, Spain, September 1994.

  22. M. Hermenegildo, J. Penjam. Programming Language Implementation and Logic Programming – Proc. of the 1994 Conference. LNCS, Num. 844, 468 pages, Springer-Verlag, September 1994.

  23. M. Bruynooghe, S.K. Debray, M. V. Hermenegildo, M. Maher. The Journal of Logic Programming – Special Issue: Ten Years of Logic Programming. Vol. 19/20, 714 pages, Elsevier - North-Holland, May 1994.

  24. F. Bueno, M. Hermenegildo, J. Moreno-Navarro. Proceedings of the First COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 78 pages, FIM/UPM, Madrid, Spain, May 1993.

  25. M. Hermenegildo, J. Moreno-Navarro. Actas del Primer Congreso Nacional de Programaci'on Declarativa. 398 pages, FIM/UPM, Madrid, Spain, September 1992.

  26. S. K. Debray, M. V. Hermenegildo. Logic Programming – Proc. of the North American Conference. 850 pages, MIT Press, Cambridge, MA, October 1990.

  27. M. Hermenegildo. Proc. of the Workshop on Future Directions in Logic Programming. 210 pages, MCC, Austin, TX, April 1987.

  28. M. Hermenegildo. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. Ph.D. Thesis, Dept. of Electrical and Computer Engineering (Dept. of Computer Science TR-86-20), University of Texas at Austin, Austin, Texas 78712, 244 pages, UMI, Boston, MA and U. of Texas, August 1986.

  29. M. Hermenegildo. Computational Models for Sequential and Parallel Execution of Logic Programs on a Reconfigurable Architecture. Ms. Thesis, The University of Texas at Austin, ENS Bldg. 515, Austin, TX 78712, 122 pages, June 1984.


Articles in Books and Other Collections:

  1. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia, M. Carro. Types, modes and so much more – the Prolog way. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 23–37, Springer, July 2023.

  2. J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo. Teaching Prolog with Active Logic Documents. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 171–183, Springer, July 2023.

  3. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia. Some Thoughts on How to Teach Prolog. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 107–123, Springer, July 2023.

  4. P. Lopez-Garcia, M. V. Hermenegildo, M. Klemen, U. Liqat. Energy Consumption Analysis and Verification using CiaoPP. The ALP Newsletter, Vol. 30, Num. 3, The Association for Logic Programming, September 2017.

  5. U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. V. Hermenegildo, J. P. Gallagher, K. Eder. Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, Lecture Notes in Computer Science, Vol. 9964, pages 81–100, Springer, 2016.

  6. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Interval-Based Resource Usage Verification: Formalization and Prototype. Foundational and Practical Aspects of Resource Analysis. Second International Workshop FOPARA 2011, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 7177, pages 54–71, Springer-Verlag, 2012.

  7. M. Carro, M. V. Hermenegildo. Logic Languages. Encyclopedia of Parallel Computing, pages 1057–1068, Springer, 2011.

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

  9. G. Puebla, J. Correas, M. V. Hermenegildo, F. Bueno, M. Garc&́#305;a de la Banda, K. Marriott, P. J. Stuckey. A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic, A Decade of Research Advances in Logic-Based Program Development, LNCS, Num. 3049, pages 234–261, Springer-Verlag, August 2004.

  10. M. Carro, M. V. Hermenegildo. Visualization Designs for Constraint Logic Programming. Vol. 2, Num. 2, pages 27–34, Swiss Informatics Societies, April 2001. Also in UPGRADE. Available through http://www.svifsi.ch/revue/.

  11. M. Carro, M. V. Hermenegildo. Diseño de visualizaciones para programación lógica con restricciones. Num. 150, pages 31–37, Asociación de Técnicos en Informática, March 2001.

  12. M. Carro, M. V. Hermenegildo. Tools for Search Tree Visualization: The APT Tool. Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 237–252, Springer-Verlag, September 2000.

  13. G. Puebla, F. Bueno, M. V. Hermenegildo. A Generic Preprocessor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 63–107, Springer-Verlag, September 2000.

  14. G. Puebla, F. Bueno, M. V. Hermenegildo. An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 23–61, Springer-Verlag, September 2000.

  15. P. Deransart, M. V. Hermenegildo, J. Maluszynski. Debugging of Constraint Programs: The DiSCiPl Methodology and Tools. Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 1–20, Springer-Verlag, September 2000.

  16. M. Carro, M. V. Hermenegildo. Tools for Constraint Visualization: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 253–272, Springer-Verlag, September 2000.

  17. M. V. Hermenegildo, G. Puebla, F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. The Logic Programming Paradigm: a 25–Year Perspective, pages 161–192, Springer-Verlag, July 1999.

  18. M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garc&́#305;a de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65–85, Nova Science, April 1999.

  19. K. Shen, M. Hermenegildo. Divided We Stand: Parallel Distributed Stack Memory Management. Implementations of Logic Programming Systems, pages 185–203, Kluwer Academic Publishers, 1994.

  20. M. Hermenegildo. The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. Knowledge Oriented Software Design, pages 207–221, North-Holland, September 1993.

  21. M. Hermenegildo. Research on Parallel Logic Language Implementation and Architecture at ICOT. The ICOT Research Exchange Report, Vol. 2, pages 157–174, Institute for New Generation Computer Technology (ICOT), June 1992.

  22. 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&́#305;sicas y Naturales, March 1992.


Publications in Refereed Workshops:

  1. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. Towards a rule-based approach for deriving abstract domains. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 55–58, Open Publishing Association (OPA), July 2023. (Extended Abstract).

  2. D. Ferreiro, J.F. Morales, S. Abreu, M.V. Hermenegildo. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 324–330, Open Publishing Association (OPA), July 2023. See also associated poster at https://cliplab.org/papers/hald-poster-iclp.pdf.

  3. G. Garcia-Pradales, J.F. Morales, M. V. Hermenegildo, J. Arias, M. Carro. An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs, August 2022.

  4. Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, José F. Morales. Regular Path Clauses and their Application in Solving Loops. Proceedings of the Eighth International Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 344, pages 22–35, Open Publishing Association (OPA), August 2021. Co-located with ETAPS 2021.

  5. M. A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. VeriFly: On-the-fly Assertion Checking with CiaoPP. 6th Workshop on Formal Integrated Development Environment (F-IDE 2021, part of NASA NFM'21), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 1–5, Open Publishing Association (OPA), May 2021. Co-located with ETAPS 2021.

  6. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), March 2021. (Talk).

  7. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Testing Your (Static Analysis) Truths. Pre-proceedings of the 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'20), September 2020.

  8. I. Casso, J. F. Morales, P. Lopez-Garcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  9. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. An Integrated Approach to Assertion-Based Random Testing in Prolog. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

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

  11. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP. 10th Workshop on Tools for Automatic Program Analysis (TAPAS'19), October 2019. (Extended Abstract).

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

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

  14. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Towards Computing Abstract Distances in Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 65–66, Open Publishing Association (OPA), September 2019. (Extended Abstract).

  15. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

  16. P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage (extended abstract). 19th International Workshop on Logic and Computational Complexity (LCC 2018), 4 pages, July 2018. Associated to FLOC 2018.

  17. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Towards Incremental and Modular Context-sensitive Analysis. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, Dagstuhl Press, July 2018. (Extended Abstract).

  18. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Towards Static Performance Guarantees for Programs with Run-time Checks. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, July 2018. (Extended Abstract).

  19. U. Liqat, Z. Banković, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'17), October 2017. arXiv:1601.02800.

  20. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 91–93, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2017. (Extended Abstract).

  21. U. Liqat, Z. Banković, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016), 2016. arXiv:1601.02800.

  22. R. Haemmerle, M. V. Hermenegildo, M. Klemen, U. Liqat, P. Lopez-Garcia. Energy Analysis and Verification by Translation to Horn Clauses and Abstract Interpretation. Workshop on Horn Clauses for Verification and Synthesis (HCVS'2015), July 2015.

  23. P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. V. Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES), arXiv:1501.03064, 11 pages, 2015. arXiv:1512.09369.

  24. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Pre-proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), 15 pages, September 2014.

  25. J.F. Morales, M. V. Hermenegildo. Towards Pre-Indexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014.

  26. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract). Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, On-line Supplement, Vol. 14, Num. 4-5, pages 209–210, Cambridge U. Press, July 2014.

  27. U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Pre-proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13), September 2013.

  28. A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), 15 pages, August 2013. CoRR abs/1308.3940.

  29. Z. Drey, J.F. Morales, M. V. Hermenegildo. Reversible Language Extensions and their Application in Debugging. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.

  30. E.J. Gallego-Arias, R. Haemmerlé, M. V. Hermenegildo, J.F. Morales . The Ciao CLP(FD) Library: A Modular CLP Extension for Prolog. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.

  31. D. Ivanovic, M. Carro, M. V. Hermenegildo. Analyzing Service-Oriented Systems Using Their Data and Structure. European Software Services and Systems Research – Results and Challenges (ICSE Workshop), July 2012.

  32. D. Ivanović, M. Carro, M. V. Hermenegildo. Exploring the Impact of Inaccuracy and Imprecision of QoS Assumptions on Proactive Constraint-Based QoS Prediction for Service Orchestrations. Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2012, pages 931–937, IEEE Press, June 2012.

  33. D. Ivanović, M. Carro, M. V. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almer&́#305;a, 2012.

  34. J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almer&́#305;a, 2012.

  35. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almer&́#305;a, 2012.

  36. F. Bueno, M. Garc&́#305;a de la Banda, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera, P. J. Stuckey. Towards Resource Usage Analysis of MiniZinc Models. MiniZinc Workshop (MZN'11), 15 pages, September 2011.

  37. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification: Formalization and Prototype. 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'2011), May 2011.

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

  39. D. Ivanović, M. Carro, M. V. 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.

  40. D. Ivanović, M. Carro, M. V. Hermenegildo. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Proactive Monitoring. Pre-proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+), November 2009.

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

  42. D. Ivanović, J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.

  43. J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. User-Definable Resource Usage Bounds Analysis for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09), Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 65–82, Elsevier - North Holland, March 2009.

  44. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Program Transformation for Continuation Call-Based Tabled Execution. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, University of Udine, December 2008.

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

  46. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. V. Hermenegildo. Two Efficient Representations for Set-Sharing Analysis in Logic Programs . 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP'08, 15 pages, July 2008.

  47. J. Navas, M. Méndez-Lojo, M. Hermenegildo. Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. The Sixth NASA Langley Formal Methods Workshop (LFM 08), pages 29–32, April 2008. Extended Abstract.

  48. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, Claudio Silva, Ricardo Rocha. Some Improvements over the Continuation Call Tabling Implementation Technique. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, Universidade do Porto, September 2007.

  49. A. Casas, M. Carro, M. V. Hermenegildo. Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07, ICLP associated workshop), 15 pages, U. of Evora, September 2007.

  50. J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, 12 pages, July 2007.

  51. A. Casas, M. Carro, M. V. Hermenegildo. Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages. Parallel Symbolic Computation (PASCO'07), 2 pages, ACM Press, July 2007. Extended Abstract.

  52. M. Hermenegildo, The Ciao Development Team. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages MPOOL 2007, July 2007.

  53. M. Méndez-Lojo, J. Navas, M. V. Hermenegildo. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007), Electronic Notes in Theoretical Computer Science, Elsevier - North Holland, March 2007.

  54. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Generation of Reduced Certificates in Abstraction-Carrying Code. VI Jornadas Programación y Lenguajes (PROLE'06), 10 pages, October 2006.

  55. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. 16th Workshop on Logic Programming Environments, pages 45–60, University of Namur, Institut d'Informatique, August 2006.

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

  57. A. Casas, D. Cabeza, M. V. Hermenegildo. Functional Notation and Lazy Evaluation in Ciao. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'05, ICLP associated workshop), pages 25–36, October 2005.

  58. G. Puebla, E. Albert, M. V. Hermenegildo. A Generic Framework for the Analysis and Specialization of Logic Programs . The 15th Workshop on Logic-Based Methods in Programming Environments, WLPE'05, 15 pages, October 2005.

  59. E. Albert, G. Puebla, M. V. Hermenegildo. Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments. Workshop on Software Analysis and Development for Pervasive Systems (SONDA'04), pages 1–6, August 2004.

  60. E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Proc. of Compiler Optimization meets Compiler Verification (COCV'04), Electronic Notes in Theoretical Computer Science 132(1), pages 113–129, Elsevier - North Holland, April 2004.

  61. J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), pages 89–102, December 2003.

  62. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Second CoLogNet Workshop on Implementation Technology for Computational Logic Systems (Formal Methods '03 Workshop), pages 51–64, Facultad de Informatica, September 2003.

  63. M. Carro, M. Hermenegildo. A Simple Approach to Distributed Objects in Prolog. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

  64. S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Implementation of General Negation Using Abstract Interpretation. Proc. of the AGP'2000 Joint Conference on Declarative Programming, 15 pages, Italian Association for Logic Programming, December 2000.

  65. F. Bueno, M. Garcia de la Banda, M. V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey. A Model for Inter-module Analysis and Optimizing Compilation. Tenth International Workshop on Logic-based Program Synthesis and Transformation, July 2000.

  66. G. Puebla, M. V. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Special Issue on Optimization and Implementation of Declarative Programming Languages, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, 25 pages, Elsevier - North Holland, March 2000.

  67. D. Cabeza, M. V. Hermenegildo. The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 3, Elsevier - North Holland, March 2000.

  68. D. Cabeza, M. V. Hermenegildo. The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30(3), Elsevier - North Holland, March 2000.

  69. M. V. Hermenegildo. A System for Automatically Generating Documentation for (C)LP Programs. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 4, March 2000.

  70. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog. ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 110–128, N.M. State U., December 1999.

  71. D. Cabeza, M. V. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147–164, N.M. State U., December 1999.

  72. M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems. ICLP'99 Workshop on Logic Programming Environments, pages 80–97, N.M. State University, December 1999.

  73. G. Puebla, M. V. Hermenegildo, J. Gallagher. An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), BRISC Series, Num. NS-99-1, pages 75–85, University of Aarhus, Denmark, January 1999.

  74. M. Carro, M. V. Hermenegildo. Some Design Issues in the Visualization of Constraint Program Execution. AGP'98 Joint Conference on Declarative Programming, pages 71–86, July 1998.

  75. G. Puebla, F. Bueno, M. V. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming. Proceedings of the JICSLP'98 Workshop on Types for CLP, pages 3–15, June 1998.

  76. G. Puebla, F. Bueno, M. V. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997. Available from ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..

  77. G. Puebla, J. Gallagher, M. V. Hermenegildo. Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation. Proceedings of the ILPS'97 Workshop on Specialization of Declarative Programs, October 1997. Post ILPS'97 Workshop.

  78. D. Cabeza, M. V. Hermenegildo. WWW Programming using Computational Logic Systems (and the PiLLoW/Ciao Library). Proceedings of the Workshop on Logic Programming and the WWW at WWW6, April 1997.

  79. G. Puebla, M. Garc&́#305;a de la Banda, M. V. Hermenegildo, K. Marriott, P. Stuckey. Automatic Optimization of Logic Programs with Dynamic Scheduling. Workshop on Abstract Interpretation of Logic Languages, The Hebrew University, December 1996.

  80. M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garc&́#305;a de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: A Demo and Status Report. Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology, 12 pages, Computer Science Department, Technical University of Madrid, September 1996. Available from http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz.

  81. G. Puebla, M. V. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs. II Workshop on Verification and Analysis of Logic Languages, September 1996.

  82. D. Cabeza, M. V. Hermenegildo, S. Varma. The PiLLoW/Ciao Library for INTERNET/WWW Programming using Computational Logic Systems. Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, pages 72–90, September 1996. Text and code available from http://www.cliplab.org/miscdocs/pillow/pillow.html.

  83. D. Cabeza, M. V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System. Proc. of the AGP'96 Joint conference on Declarative Programming, pages 67–78, U. of the Basque Country, July 1996. Available from http://www.cliplab.org/.

  84. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garc&́#305;a de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Proc. of the AGP'96 Joint Conference on Declarative Programming, pages 105–108, U. of the Basque Country, July 1996. Available from ftp://www.cliplab.org/pub/papers.

  85. G. Puebla, M. V. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. V International Workshop on Metaprogramming and Metareasoning in Logic, 1996.

  86. M. Hermenegildo, F. Bueno, M. Garc&́#305;a de la Banda, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, December 1995. Available from http://www.cliplab.org/.

  87. M. Garc&́#305;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.

  88. D. Cabeza, M. V. Hermenegildo. Distributed Concurrent Constraint Execution in the CIAO System. Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, U. Utrecht / T.U. Madrid, September 1995. Available from http://www.cliplab.org/.

  89. M. Hermenegildo, The CLIP Group. The CIAO Multiparadigm Compiler and System: A Progress Report. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, Technical University of Madrid, September 1995.

  90. F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla. Data–flow Analysis of Standard Prolog Programs. ICLP95 WS on Abstract Interpretation of Logic Languages, June 1995.

  91. F. Bueno, M. V. Hermenegildo. Analysis of Concurrent Constraint Logic Programs with a Fixed Scheduling Rule. ICLP95 WS on Abstract Interpretation of Logic Languages, June 1995.

  92. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Proc. of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies, 15 pages, U. of Madrid, September 1994. Also provided as attachment UPM-1 of deliverable D4.3/2.

  93. M. Hermenegildo, M. Carro. A Note on Data–Parallelism and (And–Parallel) Prolog. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 16 pages, June 1994.

  94. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 16 pages, June 1994.

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

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

  97. M. Hermenegildo, The CLIP Group. Towards CIAO-Prolog – A Parallel Concurrent Constraint System. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, 10 pages, FIM/UPM, Madrid, Spain, June 1993.

  98. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. JICSLP'92 Workshop on Parallel Execution, 15 pages, November 1992.

  99. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. Primer Congreso Nacional de Programación Declarativa, pages 262–278, FIM/UPM, September 1992.

  100. G. Gupta, M. Hermenegildo, V. Santos-Costa. Generalized Stack Copying for And-Or Parallel Implementations. JICSLP'92 Workshop on Parallel Execution, 15 pages, 1992.

  101. G. Gupta, M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP '91 Workshop on Parallel Execution of Logic Programs, LNCS, Num. 569, pages 146–159, Springer-Verlag, December 1991.

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

  103. M. Garc&́#305;a de la Banda, M. V. Hermenegildo. Some Considerations on the Compile-Time Analysis of Constraint Logic Programs. Jornadas Nacionales de Programación Declarativa, pages 97–117, U. Malaga, October 1991.

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

  105. M. Hermenegildo. Compile-time Analysis Requirements for the Extended Andorra Model. Parallel Logic Programming Workshop, SICS, June 1990.

  106. I. Walker, M. Hermenegildo. An application of AI techniques and parallel implementation technology to the trajectory planning problem for redundant robot manipulators. 1987 IEEE International Workshop on Robotics: Trends, Technology, and Applications, pages 53–61, ETSIInf, IEEE, February 1988.


Technical Reports and Manuals:

  1. Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Abstract Environment Trimming. Num. CLIP-2/2024.0, IMDEA Software Institute and Technical University of Madrid (UPM), May 2024.

  2. Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. Num. CLIP-1/2024.0, IMDEA Software Institute and Technical University of Madrid (UPM), May 2024.

  3. Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. 2024.

  4. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. A Methodology for Designing and Composing Abstract Domains Using Rewriting Rules. Num. CLIP-1/2023.0, CLIP Lab, UPM and IMDEA Software Institute, August 2023.

  5. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.22). April 2023. Available at http://ciao-lang.org.

  6. J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo. Teaching Prolog with Active Logic Documents. Num. CLIP-1/2022.0, Technical University of Madrid (UPM) and IMDEA Software Institute, December 2022.

  7. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.21). February 2022. Available at http://ciao-lang.org.

  8. M.A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. Num. CLIP-1/2021.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, May 2021.

  9. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.20). April 2021. Available at http://ciao-lang.org.

  10. G. Garcia-Pradales, J.F. Morales, M. V. Hermenegildo. The Ciao Playground. Technical University of Madrid (UPM) and IMDEA Software Institute, 2021.

  11. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Ref. Manual (V1.19). March 2020. Available at http://ciao-lang.org.

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

  13. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Num. CLIP-2/2019.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.

  14. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. Num. CLIP-2/2018.0, 28 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.

  15. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. An Approach to Static Performance Guarantees for Programs with Run-time Checks. Num. CLIP-1/2018.0, 15 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.

  16. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Ref. Manual (V1.16). July 2017. Available at http://ciao-lang.org.

  17. N. Stulova, J. F. Morales, M. V. Hermenegildo. Term Hiding and its Impact on Run-time Check Simplification. Num. CLIP-1/2017.0, 27 pages, The CLIP Lab, May 2017. CoRR abs/1705.06662 (v2) [cs.PL].

  18. P. Lopez-Garcia, R. Haemmerlé, U. Liqat, M. Klemen, M. V. Hermenegildo. Parametric Static Profiling. Num. CLIP-2/2015.0, The CLIP Lab, April 2015.

  19. N. Stulova, J. F. Morales, M. V. Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, 25 pages, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].

  20. F. Bueno, M. Carro, M. V. Hermenegildo, R. Haemmerlé, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla (Eds.). The Ciao System. Ref. Manual (V1.14). July 2011. Available at http://ciao-lang.org.

  21. M. V. Hermenegildo, J.F. Morales. The LPdoc Documentation Generator. Ref. Manual (V3.0). UPM, July 2011. Available at http://ciao-lang.org.

  22. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Towards Resource Usage Function Verification based on Input Data Size Intervals. Num. CLIP4/2011.0, Technical University of Madrid (UPM), April 2011. Available at http://cliplab.org/papers/resource-verif-11-tr.pdf.

  23. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Simulation Study on Parallel Backtracking with Solution Memoing for Independent And-Parallelism. Num. CLIP1/2011.0, 12 pages, Technical University of Madrid (UPM), January 2011.

  24. J.F. Morales, M. V. Hermenegildo, R. Haemmerlé. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.

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

  26. D. Ivanović, 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.

  27. E. Mera, T. Trigo, P. Lopez-Garcia, M. V. 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.

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

  29. D. Ivanović, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.1, Technical University of Madrid (UPM), March 2010.

  30. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. 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.

  31. D. Ivanović, M. Carro, M. V. Hermenegildo. Sharing-Based Independence-Driven Fragment Identification for Service Orchestrations. Num. CLIP7/2009.0, Technical University of Madrid (UPM), December 2009.

  32. D. Ivanović, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.0, Technical University of Madrid (UPM), November 2009. Replaced by a later version.

  33. J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.

  34. D. Ivanović, M. Carro, M. V. Hermenegildo. Towards Data-Aware Resource Analysis for Service Orchestrations. Num. CLIP3/2009.0, Technical University of Madrid (UPM), June 2009.

  35. E. Mera, P. Lopez-Garcia, M. V. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.

  36. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Num. CLIP2/2009.0, Technical University of Madrid (UPM), February 2009.

  37. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.). The Ciao System. Ref. Manual (V1.13). 2009. Available at http://ciao-lang.org.

  38. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. V. Hermenegildo. Efficient Representations for Set-Sharing Analysis. Num. CLIP9/2008.0, University of New Mexico and Technical University of Madrid, September 2008.

  39. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Bridge Program Transformation for the CCall Tabling Scheme. Num. CLIP6/2008.0, Technical University of Madrid (UPM), September 2008.

  40. A. Casas, M. Carro, M. V. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. Num. TR-CS-2008-10, University of New Mexico (UNM), September 2008.

  41. J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.

  42. M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo. Fast Set Sharing using ZBDDs. University of New Mexico, June 2008.

  43. M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzmán, J. Correas, S. Genaim, J. Lipton, Pedro Lopez-Garcia, M. Méndez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems – Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.

  44. J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. Customizable Resource Usage Analysis for Java Bytecode. Num. UNM TR-CS-2008-02 - CLIP1/2008.0, University of New Mexico, January 2008.

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

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

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

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

  49. E. Mera, P. Lopez-Garcia, M. Carro, M. V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.

  50. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. An Improved Continuation Call-Based Implementation of Tabling. Num. CLIP9/2007.0, Technical University of Madrid (UPM), August 2007.

  51. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism. Num. CLIP7/2007.0, Technical University of Madrid (UPM), August 2007.

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

  53. M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García Pañoso, J. Lipton, P. Lopez-Garcia, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems – First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.

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

  55. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Num. CLIP3/2007.0, Technical University of Madrid (UPM), February 2007.

  56. M. Méndez-Lojo, J. Navas, M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Num. CLIP9/2006.0, Technical University of Madrid (UPM), December 2006.

  57. J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.

  58. M. Hermenegildo, The Ciao Development Team. Why Ciao? –An Overview of the Ciao System's Design Philosophy. Num. CLIP7/2006.0, 6 pages, Technical University of Madrid (UPM), December 2006. Available from: http://cliplab.org/papers/ciao-philosophy-note-tr.pdf.

  59. J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo. Resource Bounds Analysis. Num. CLIP6/2006.0, 19 pages, Technical University of Madrid (UPM), November 2006.

  60. P. Pietrzak, M. V. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Num. CLIP11/2006.0, Technical University of Madrid, September 2006.

  61. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Towards Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs. Num. CLIP5/2006.0, 15 pages, Technical University of Madrid (UPM), April 2006.

  62. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.

  63. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. The Ciao Preprocessor. Num. CLIP1/06, 99 pages, Technical University of Madrid (UPM), January 2006.

  64. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. A Tutorial on Program Development and Optimization using the Ciao Preprocessor. Num. CLIP2/06, 55 pages, Technical University of Madrid (UPM), January 2006.

  65. A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. Num. TR-CS-2006-07, 17 pages, University of New Mexico (UNM), 2006.

  66. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. Num. CLIP8/2005.0, 19 pages, Technical University of Madrid (UPM), October 2005.

  67. E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. Num. CLIP7/2005.0, 30 pages, Technical University of Madrid, July 2005.

  68. G. Puebla, E. Albert, M. V. Hermenegildo. Abstract Interpretation with Specialized Definitions. Num. CLIP6/2005.0, Technical University of Madrid, July 2005.

  69. J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. Num. CLIP3/2005.0, 21 pages, Technical University of Madrid (UPM), May 2005.

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

  71. G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. Num. CLIP2/2005.0, Technical University of Madrid, February 2005.

  72. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.). The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), June 2004. System and on-line version of the manual available at http://ciao-lang.org.

  73. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.

  74. M. Carro, J. Correas, C. Daffara, G. Puebla, M. V. Hermenegildo. Information Spreading. Num. CLIP10/2004.0, 273 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D18 of the AMOS Project.

  75. J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Num. CLIP5/2004.0, Technical University of Madrid, April 2004.

  76. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for (C)LP Systems (and two useful implementations). Num. CLIP3/2003.1(2004), 16 pages, Technical University of Madrid, April 2004. http://cliplab.org/papers/persdb-tr1.pdf.

  77. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. AMOS User's Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.

  78. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. The Ciao Prolog Preprocessor. Num. CLIP1/04, 72 pages, Technical University of Madrid (UPM), January 2004.

  79. J. Navas, D. Cabeza, M. V. Hermenegildo. CoLogNetWS: Development of a Web Site with Database Multinode Distributed Update. Num. CLIP6/2003.0, 157 pages, CoLogNet Project, November 2003.

  80. E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Num. CLIP8/2003.0, 18 pages, Technical University of Madrid, November 2003.

  81. G. Puebla, J. Correas, M. V. Hermenegildo. The Design of a Generic Framework for Context-Sensitive Analysis of Modular Programs. Num. CLIP7/2003.0, Technical University of Madrid, November 2003.

  82. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Model for Persistence in CLP Systems. Num. CLIP3/2003.0, 17 pages, Technical University of Madrid, August 2003. http://cliplab.org/papers/persdb-tr.pdf.

  83. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.8). Num. CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM), May 2002. System and on-line version of the manual available at http://ciao-lang.org.

  84. M. Carro, M. Hermenegildo. Remote Execution and Mobile Objects in Ciao Prolog. Num. CLIP3/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  85. F. Bueno, M. Hermenegildo, G. Puebla, P. J. Stuckey. Safety for Logic Programs. Num. CLIP1/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  86. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.6). Num. CLIP5/2000.1, School of Computer Science, Technical University of Madrid (UPM), July 2000. System and on-line version of the manual available at http://ciao-lang.org.

  87. M. V. Hermenegildo, D. Cabeza, M. Rodriguez. Using Ciao inside GNU Emacs. Num. CLIP4/2000.1, 18 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  88. D. Cabeza, M. V. Hermenegildo. Higher-order Logic Programming in Ciao. Num. CLIP7/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  89. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog. Num. CLIP8/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  90. D. Cabeza, M. V. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. Num. CLIP9/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  91. M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems. Num. CLIP10/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  92. A. Pineda, M. Hermenegildo. O'Ciao: An Object Oriented Programming Model for (CIAO) Prolog. Num. CLIP 5/99.0, Facultad de Informática, UPM, July 1999.

  93. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.0). Num. CLIP11/99.1, School of Computer Science, Technical University of Madrid (UPM), June 1999. System and on-line version of the manual available at http://ciao-lang.org.

  94. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo, P. Pietrzak. The CHIP Assertion Preprocessor. Num. CLIP1/99.1, 50 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.

  95. M. Carro, M. Hermenegildo. Some Issues in the Design of Visualizations for Constraint Logic Program Execution. Num. CLIP2/99.1, 17 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.

  96. J.M. Gomez, D. Cabeza, M. V. Hermenegildo. persdb: Persistent Database Interface. Num. CLIP9/98.0, 24 pages, December 1998.

  97. I. Caballero, D. Cabeza, S. Genaim, J.M. Gomez, M. V. Hermenegildo. persdb_sql: SQL Persistent Database Interface. Num. CLIP10/98.0, 39 pages, December 1998.

  98. J.M. Gomez, D. Cabeza, M. V. Hermenegildo. WebDB: A Database WWW Interface. Num. CLIP11/98.0, 32 pages, December 1998.

  99. M. V. Hermenegildo, G. Puebla, F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. Num. CLIP8/98.0, Technical University of Madrid (UPM), October 1998.

  100. D. Cabeza, M. V. Hermenegildo, S. Genaim, C. Taboch. Design of a Generic, Homogeneous Interface to Relational Databases. Num. D3.1.M1-A1, CLIP7/98.0, 10 pages, September 1998.

  101. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V0.6). Num. CLIP12/98.1, School of Computer Science, Technical University of Madrid (UPM), July 1998. System and on-line version of the manual available at http://ciao-lang.org.

  102. D. Cabeza, M. V. Hermenegildo. A WWW Database Management Interface for Prolog. Num. CLIP2/98.0, School of Computer Science, Technical University of Madrid (UPM), June 1998.

  103. M. Carro, M. V. Hermenegildo, F. Bueno, D. Cabeza, M. J.  Garc&́#305;a, P. Lopez-Garcia. An Introductory Course on Constraint Logic Programming. 130 pages, Technical University of Madrid, 1998.

  104. M. Carro, M. Hermenegildo. Some Design Issues in Constraint Program Visualization and Abstraction. Num. CLIP1/97.1, 20 pages, Technical University of Madrid (UPM), September 1997. Also as deliverable of the ESPRIT project DISCIPL.

  105. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http://ciao-lang.org.

  106. M. V. Hermenegildo, The CLIP Group. An Automatic Documentation Generator for (C)LP – Reference Manual. Num. CLIP5/97.3, Facultad de Informática, UPM, August 1997. Online at http://ciao-lang.org.

  107. A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. V. Hermenegildo, C. Lai, J.Lloyd, J. Maluszynski, G. Puebla, A. Tessier. CP Debugging Tools: Clarification of Functionalities and Selection of the Tools. Num. D.WP1.1.M1.1-2, 15 pages, DISCIPL Project, June 1997.

  108. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo. Towards Precise Non-Failure Analysis for Logic Programs. Num. CLIP18/96.0, T.U. of Madrid (UPM), November 1996.

  109. D. Cabeza, M. V. Hermenegildo. html.pl: An HTML Package for (C)LP systems. Technical University of Madrid, March 1996. Available from http://www.cliplab.org/miscdocs/.

  110. G. Puebla, M. V. Hermenegildo. Optimized Algorithms for Incremental Analysis of Logic Programs. Num. CLIP3/96.0, Facultad de Informática, UPM, February 1996.

  111. G. Puebla, M. V. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs. Technical University of Madrid, January 1996.

  112. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP20/95.0, T.U. of Madrid (UPM), December 1995.

  113. M. Hermenegildo. A WWW Interface Library for LP and CLP Systems. Num. CLIP16/95.0, School of Computer Science, Technical University of Madrid (UPM), December 1995.

  114. G. Puebla, M. V. Hermenegildo. Specialization and Optimization of Constraint Programs with Dynamic Scheduling. Num. CLIP12/95.0, Facultad de Informática, UPM, September 1995. Presented at the 1995 COMPULOG Meeting on Program Development.

  115. F. Bueno, M. Hermenegildo. Compiling Concurrency into a Sequential Logic Language. Facultad de Informática, UPM, June 1995.

  116. M. Hermenegildo, M. Carro. A Note on Data–Parallelism and (And–Parallel) Prolog. Num. CLIP 6/94.0, 15 pages, School of Computer Science, Technical University of Madrid (UPM), June 1995.

  117. E. Pontelli, G. Gupta, D. Tang, M. Hermenegildo, M. Carro. Efficient Implementation of And–parallel Prolog Systems. Num. CLIP4/95.0, T.U. of Madrid (UPM), June 1995.

  118. F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from CLP to AKL. Facultad de Informática, UPM, June 1995.

  119. M. Garc&́#305;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.

  120. F. Bueno, S. K. Debray, M. Garc&́#305;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.

  121. F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla. Data-Flow Analysis of Prolog Programs with Extra-Logical Features. Num. CLIP2/95.0, Computer Science Dept., Technical U. of Madrid (UPM), March 1995.

  122. M. Garc&́#305;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.

  123. F. Bueno, D. Cabeza, M. Garc&́#305;a de la Banda, M. V. Hermenegildo, G. Puebla. Abstract Functions for the Analysis of Builtins in the PLAI System. Num. CLIP1/95.0, Computer Science Dept., Technical U. of Madrid (UPM), January 1995.

  124. M. V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey. Incremental Analysis of Logic Programs. Num. CLIP 14/94.0, Computer Science Dept., Technical U. of Madrid (UPM), October 1994.

  125. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo. Non-Failure Analysis for Logic Programs. Num. CLIP14/94.0, T.U. of Madrid (UPM), October 1994.

  126. M. Garc&́#305;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.

  127. F. Bueno, S. K. Debray, M. Garc&́#305;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.

  128. F. Bueno, F. Rossi, M. V. Hermenegildo. Concurrent Semantics Based Optimizations of cc and CLP. Num. CLIP2/93.2, T.U. of Madrid (UPM), September 1994.

  129. M. Garc&́#305;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.

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

  131. G. Puebla, M. V. Hermenegildo. An Implementation Technique for Multiple Program Specialization. Num. CLIP7/94.0, Computer Science Dept., Technical U. of Madrid (UPM), August 1994.

  132. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Num. CLIP 5/94.0, 17 pages, School of Computer Science, Technical University of Madrid (UPM), June 1994. Presented at the ILPS'94 Post Conference Workshop on Design and Implementation of Parallel Logic Programming Systems, Available from http://www.cliplab.org/.

  133. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution. Num. CLIP6/94.0, T.U. of Madrid (UPM), June 1994.

  134. M. Hermenegildo. A Simple, Distributed Version of the &-Prolog System. School of Computer Science, Technical University of Madrid (UPM), April 1994. Available from http://www.cliplab.org/.

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

  136. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP4/94.0, T.U. of Madrid (UPM), March 1994.

  137. F. Bueno, M. Garc&́#305;a de la Banda, M. V. Hermenegildo. The PLAI Abstract Interpretation System. Num. CLIP2/94.0, Computer Science Dept., Technical U. of Madrid (UPM), February 1994.

  138. F. Bueno, M. Garc&́#305;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.

  139. F. Bueno, M. Garc&́#305;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.

  140. M. Garc&́#305;a de la Banda, M. V. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. U. of Madrid (UPM), 1994.

  141. M. Garc&́#305;a de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Logic Programs with Dynamic Scheduling. U. of Madrid (UPM), 1994.

  142. F. Bueno, M. Garc&́#305;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.

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

  144. F. Bueno, M. Garc&́#305;a de la Banda, M. V. Hermenegildo. Compile-time Optimizations and Analysis Requirements for CC Programs. Num. CLIP6/93.0, T.U. of Madrid (UPM), July 1993.

  145. F. Bueno, M. Garc&́#305;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.

  146. F. Bueno, M. Garc&́#305;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.

  147. F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. Lopez-Garcia, M. Garc&́#305;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.

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

  149. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution of Logic Programs. Num. CLIP 4/93.0, T.U. of Madrid (UPM), April 1993. Presented at the ICLP'93 Post Conference Workshop on Logic Program Implementation.

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

  151. M. Carro, L. Gómez, M. Hermenegildo. Using VisAndOr to Debug and Understand Parallel Execution of Logic Programs. Num. CLIP 1/93.0, School of Computer Science, Technical University of Madrid, February 1993.

  152. U. Montanari, F. Rossi, F. Bueno, M. Garc&́#305;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.

  153. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. New Mexico State University, Computer Science Dept., 1993.

  154. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Num. CLIP7/92.0, U. of Madrid (UPM) and New Mexico S.U., November 1992.

  155. M. Garc&́#305;a de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Constraint Logic Programs. Num. CLIP6/92.0, U. of Madrid (UPM), November 1992.

  156. K. Marriott, M. Garc&́#305;a de la Banda, M. V. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. Num. CLIP6/93.1, T.U. of Madrid (UPM), October 1992.

  157. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. Num. FIM26.3/AI/92, 16 pages, School of Computer Science, Technical University of Madrid, September 1992. Presented at the ICLP'94 Post Conference Workshop on Parallel and Data Parallel Execution of Logic Programs.

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

  159. M. Garc&́#305;a de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constaint Logic Programs. Num. without, U. of Madrid (UPM), April 1992. Presented at the 1992 FGCS Post-Conference Workshop on Constraint Logic Programming.

  160. G. Janssens, M. V. Hermenegildo, F. Bueno, M. Garc&́#305;a de la Banda, A. Mulkers. A Review of some Abstract Interpretation Systems. Num. CW143, Department of Computer Science, Katholieke Universiteit Leuven, February 1992.

  161. M. Garc&́#305;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.

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

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

  164. 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''.

  165. G. Gupta, M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Num. without, T.U. of Madrid (UPM), June 1991. also in Proc. ICLP91 Workshop on Parallel Execution of Logic Programs.

  166. 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''.

  167. M. Carro, L. Gómez, M. Hermenegildo. VISANDOR: A Tool for Visualizing And-/Or-parallelism in Logic Programs. Num. CLIP9/91.0, 17 pages, T.U. of Madrid (UPM), June 1991.

  168. G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo. IDIOM: A Model Intergrating Dependent-, Independent-, and Or-parallelism. Num. CLIP8/91.0, University of Bristol, March 1991.

  169. F. Giannotti, M. Hermenegildo. A Technique for Recursive Invariance Detection and Selective Program Specialization. Num. CLIP7/91.0, U. of Madrid (UPM), February 1991.

  170. M. Garc&́#305;a de la Banda, M. V. Hermenegildo. Analyzing Constraint Logic Programs. Num. CLIP4/91.0, U. of Madrid (UPM), January 1991. Presented in ICLP-91 Workshop on Constraint Logic Programming, Paris.

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

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

  173. K. Muthukumar, M. Hermenegildo. Deriving A Fixpoint Computation Algorithm for Top-down Abstract Interpretation of Logic Programs. Num. ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, April 1990.

  174. C. Carreras, M. Hermenegildo. Towards an Analytical Model of the Data Diffusion Machine. UPM (PEPMA ESPRIT Project technical report), 1990.

  175. M. Hermenegildo, R. I. Nasr. A Tool for Visualizing Independent And-parallelism in Logic Programs. Num. CLIP1/90.0, T.U. of Madrid (UPM), 1990. Presented at the NACLP-90 Workshop on Parallel Logic Programming, Austin, TX.

  176. M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. Num. ACA-ST-536-89, MCC, Austin, TX 78759, November 1989.

  177. M. Hermenegildo, F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Num. ACA-ST-537-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, November 1989.

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

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

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

  181. M. Hermenegildo, F. Rossi. On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. Num. ACA-ST-032-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1989.

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

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

  184. M. Hermenegildo, E. Tick. Memory Performance of AND-Parallel Prolog on Shared-Memory Architectures. Num. ACA-ST-036-88, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1988.

  185. R. Warren, M. Hermenegildo. On the Practicality of Global Flow Analysis of Logic Programs. Num. ACA-126-88, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1988.

  186. M. Hermenegildo, E. Tick. Performance Evaluation of the RAP-WAM Restricted AND-Parallel Architecture on Shared Memory Multiprocessors. Num. PP-085-87, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1987.

  187. R. Warren, M. Hermenegildo. Experimenting with Prolog: An Overview. Num. ACA/PP 43, Microelectronics and Computer Technology Corporation (MCC), 3500 W. Balcones Center Dr. Austin, TX 78759, March 1987.

  188. M. Hermenegildo, P. McGehearty. Address Escaping and Reference Classification in the Design of a Cached, Multiple Cluster, Shared-Memory Architecture. Num. PP-SRS-TM-12, MCC, Parallel Processing Program, 1987.

  189. M. Hermenegildo. Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Num. PP-408-86, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, December 1986.

  190. M. Hermenegildo, G. J. Lipovski, R. Warren. Goal Scheduling and Memory Management in Parallel Logic Systems. Num. PP-083-86, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1986.

  191. M. Hermenegildo. A Restricted AND-parallel Execution Model and Abstract Machine for Prolog Programs. Num. PP-104-85, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, October 1985.

  192. Sanjay Deshpande, Matt Sejnowski, Manuel Hermenegildo, Julio de Melo, Roy Jenevein, Ashok Adiga, Allan Clarke. TRAC (Texas Reconfigurable Array Computer) – Users' Manual. 1985.


Last updated on Wed Aug 7 16:08:18 CEST 2024.