Publications in Program Analysis
Articles in Refereed Journals:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo.
An Evolutionary Scheduling Approach for Trading-off
Accuracy vs. Verifiable Energy in Multicore Processors.
Logic Journal of the IGPL,
Vol. 25,
Num. 6,
pages 1006-1019,
Oxford Academic Press,
December
2017.
- 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.
- 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.
- 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.
- 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.
- G.J. Duck, R. Haemmerlé, M. Sulzmann.
On Termination, Confluence and Consistent CHR-based
Type Inference.
Theory and Practice of Logic Programming, 30th
Int'l. Conference on Logic Programming (ICLP'14)
Special Issue,
Vol. 14,
Num. 4-5,
pages 619-632,
Cambridge U. Press,
2014.
- 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.
- R. Haemmerlé.
Diagrammatic confluence for Constraint Handling Rules.
Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP'12) Special Issue,
Vol. 12,
Num. 4-5,
pages 737-754,
Cambridge U. Press,
2012.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Closed-Form Upper Bounds in Static Cost Analysis.
Journal of Automated Reasoning,
Vol. 46,
Num. 2,
pages 161-203,
Springer,
February
2011.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Test Case Generation for Object-Oriented Imperative Languages in CLP.
Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue,
Vol. 10 (4-6),
pages 659-674,
Cambridge U. Press,
July
2010.
- A. Stivala, P. J. Stuckey, M. Garcí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.
- 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.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Information and Software Technology,
Vol. 51,
Num. 10,
pages 1409-1427,
Elsevier,
October
2009.
- 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.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding for Online Termination.
Information Processing Letters,
Vol. 109,
Num. 15,
pages 879-886,
Elsevier,
July
2009.
- 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.
- Samir Genaim, Andy King.
Inferring non-suspension conditions for logic programs with
dynamic scheduling.
ACM Trans. Comput. Log.,
Vol. 9,
Num. 3,
2008.
- M. Bruynooghe, M. Codish, J.
P. Gallagher, S. Genaim, W. Vanhoof.
Termination analysis of logic programs through combination
of type-based norms.
ACM Transactions on Programming Languages and Systems,
Vol. 29,
Num. 2,
10 pages,
ACM Press,
2007.
- M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia.
Integrated Program Debugging, Verification, and
Optimization Using Abstract Interpretation
(and The Ciao System Preprocessor).
Science of Computer Programming,
Vol. 58,
Num. 1-2,
pages 115-140,
Elsevier North-Holland,
October
2005.
- G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. V. Hermenegildo.
Parallel Execution of Prolog Programs: a Survey.
ACM Transactions on Programming Languages and Systems,
Vol. 23,
Num. 4,
pages 472-602,
ACM Press,
July
2001.
- M. 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.
- M. Codish, V. Lagoon, F. Bueno.
An algebraic approach to sharing analysis of logic
programs
(also available in ps).
Journal of Logic Programming,
Vol. 42,
Num. 2,
pages 111-149,
Elsevier - North Holland,
February
2000.
- G. Puebla, M. V. Hermenegildo.
Abstract Multiple Specialization and its
Application to Program Parallelization
(also available in ps).
J. of Logic Programming. Special Issue on Synthesis,
Transformation and Analysis of Logic Programs,
Vol. 41,
Num. 2&3,
pages 279-316,
Elsevier - North Holland,
November
1999.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Abstract Interpretation in
Automatic Parallelization: A Case Study in
Logic Programming.
ACM Transactions on Programming Languages and Systems,
Vol. 21,
Num. 2,
pages 189-238,
ACM Press,
March
1999.
- M. Codish, M. Bruynooghe, M. García de la Banda, M. V. Hermenegildo.
Exploiting Goal Independence in the Analysis of
Logic Programs
(also available in ps).
Journal of Logic Programming,
Vol. 32,
Num. 3,
pages 247-261,
Elsevier - North Holland,
September
1997.
- M. Garcí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.
- M. Codish, A. Mulkers, M. Bruynooghe, M. Garcí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.
- M. Hermenegildo, R. Warren, S. K. Debray.
Global Flow Analysis as a Practical Compilation
Tool.
Journal of Logic Programming,
Vol. 13,
Num. 4,
pages 349-367,
Elsevier - North Holland,
August
1992.
- K. Muthukumar, M. Hermenegildo.
Compile-time Derivation of Variable Dependency
Using Abstract Interpretation.
Journal of Logic Programming,
Vol. 13,
Num. 2/3,
pages 315-347,
Elsevier - North-Holland,
July
1992.
- M. Hermenegildo, 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:
- 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.
- 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.
- 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.
- Ignacio Casso, José F. Morales, Pedro López-Garcí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.
- 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.
- 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.
- 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.
- R. Bruni, R. Giacobazzi, R. Gori, I. Garcia-Contreras, D. Pavlovic.
Abstract Extensionality - On the Properties of Incomplete Abstract Interpretations.
Proc. ACM Symposium on Principles of Programming Languages 2020,
January
2020.
- I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo.
Incremental Analysis of Logic Programs with Assertions and Open Predicates.
Proceedings of the 29th International Symposium on
Logic-based Program Synthesis and Transformation (LOPSTR'19),
LNCS,
Vol. 12042,
pages 36-56,
Springer,
2020.
- 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.
- 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.
- 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.
- U. Liqat, Z. Bankovic, 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.
- 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.
- Dragan Ivanovic, Manuel Carro.
Transforming Service Compositions into Cloud-Friendly Actor Networks.
Service-Oriented Computing - 12th International Conference, ICSOC
2014, Paris, France, November 3-6, 2014. Proceedings,
LNCS,
Vol. 8831,
pages 291-305,
Springer Verlag,
November
2014.
- Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn.
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models.
Service-Oriented Computing - 12th International Conference, ICSOC,
LNCS,
Vol. 8831,
pages 394-402,
Springer Verlag,
November
2014.
- 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.
- A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo.
Sized Type Analysis for Logic Programs.
Vol. 13,
Num. 4-5,
pages 1-14,
Cambridge U. Press,
August
2013.
- 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.
- E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Román-Díez.
Verified Resource Guarantees for Heap Manipulating Programs.
Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Tallinn, Estonia, March, 2012,
Lecture Notes in Computer Science,
Vol. 7212,
pages 130-145,
Springer,
March
2012.
- E. Albert, J. Correas, G. Puebla, G. Román-Díez.
Incremental Resource Usage Analysis.
ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation (PEPM 2012),
pages 25-34,
ACM Press,
January
2012.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
COSTABS: A Cost and Termination Analyzer for ABS.
ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation (PEPM 2012),
pages 151-154,
ACM Press,
January
2012.
- A. M. Ben-Amram, S. Genaim, A. N. Masud.
On the Termination of Integer Loops.
Verification, Model Checking, and Abstract Interpretation
- 13th International Conference, VMCAI 2012, Philadelphia,
USA, January 25-27, 2012. Proceedings,
Lecture Notes in Computer Science,
Vol. 7148,
pages 72-87,
Springer,
January
2012.
- E. Albert, P. Arenas, M. Gómez-Zamalloa.
Symbolic Execution of Concurrent Objects in CLP.
Practical Aspects of Declarative Languages (PADL'12),
LNCS,
Vol. 7149,
pages 123-137,
Springer,
January
2012.
- E. Albert, M. Gómez-Zamalloa, J.M. Rojas.
Resource-driven CLP-based Test Case Generation.
Proc. of LOPSTR'11,
LNCS,
Vol. 7225,
pages 25-41,
Springer-Verlag,
2012.
- E. Albert, J. Correas, G. Puebla, G. Román-Díez.
Towards Incremental Resource Usage Analysis.
The Ninth Asian Symposium on Programming Languages and Systems (APLAS'11),
Springer,
December
2011.
Poster Presentation.
- D. Ivanovic, 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.
- Elvira Albert, Israel Cabañas, Antonio
Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutiérrez.
jPET: an Automatic Test-Case Generator for Java.
18th Working Conference on Reverse Engineering (WCRE 2011),
2 pages,
IEEE Computer Society,
October
2011.
- 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.
- 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.
- D. Ivanovic, 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.
- E. Albert, S. Genaim, M. Gómez-Zamalloa, E. B. Johnsen, R. Schlatte, S. L. Tapia Tarifa.
Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
17th Interational Symposium on Formal Methods (FM 2011),
Lecture Notes in Computer Science,
Vol. 6664,
pages 353-368,
Springer,
June
2011.
- E. Albert, P. Arenas, S. Genaim, D. Zanardini.
Task-Level Analysis for a Language with Async-Finish Parallelism.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on
Languages, compilers, and tools for embedded systems, LCTES
2011, Chicago, IL, USA, April 11-14, 2011,
pages 21-30,
ACM,
April
2011.
- E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Puebla, G. Román-Díez.
Verified Resource Guarantees using COSTA and KeY.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation, PEPM 2011, Austin,
TX, USA, January 24-25, 2011,
pages 73-76,
ACM Press,
January
2011.
- 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.
- E. Albert, S. Genaim, A. N. Masud.
More Precise yet Widely Applicable Cost Analysis.
12th Verification, Model Checking, and Abstract Interpretation (VMCAI'11),
Lecture Notes in Computer Science,
Vol. 6538,
pages 38-53,
Springer Verlag,
January
2011.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
Cost Analysis of Concurrent OO Programs.
The 9th Asian Symposium on Programming Languages and Systems (APLAS'11),
Vol. 7078,
pages 238-254,
Springer,
2011.
- D. Ramírez-Deantes, J. Correas, G. Puebla.
Modular Termination Analysis of Java Bytecode and its Application to phoneME Core Libraries.
Postproceedings of Formal Aspects of Computer Software (FACS 2010),
Lecture Notes in Computer Science,
Vol. 6921,
pages 218-236,
Springer,
2011.
- E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla.
Compositional CLP-based Test Data Generation for Imperative Languages.
LOPSTR 2010 Revised Selected Papers,
LNCS,
Vol. 6564,
pages 99-116,
Springer-Verlag,
2011.
- P. Lopez-Garcia, L. Darmawan, F. Bueno.
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.
Technical Communications of the 26th Int'l.
Conference on Logic Programming (ICLP'10),
Leibniz International Proceedings in Informatics (LIPIcs),
Vol. 7,
pages 104-113,
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,
July
2010.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Parametric Inference of Memory Requirements for Garbage Collected Languages.
9th International Symposium on Memory Management (ISMM'10),
pages 121-130,
ACM Press,
June
2010.
- D. Ivanovic, 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.
- Mohamed Anis Zemni, Salima Benbernou, M. Carro.
A Soft Constraint-Based Approach to QoS-Aware Service Selection.
Service-Oriented Computing - ICSOC 2010,
LNCS,
Vol. 6470,
pages 596-602,
Springer Verlag,
2010.
- E. Albert, M. Gómez-Zamalloa, G. Puebla.
PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode.
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM'10),
pages 25-28,
ACM Press,
2010.
- E. Albert, P. Arenas, S. Genaim, I. Herraiz, G. Puebla.
Comparing Cost Functions in Resource Analysis.
1st International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'09),
Lecture Notes in Computer Science,
Vol. 6234,
pages 1-17,
Springer,
2010.
- L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo.
Program Parallelization using Synchronized Pipelining.
Proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09),
LNCS,
Vol. 6037,
pages 173-187,
Springer,
2010.
- D. Ivanovic, 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.
- D. Ivanovic, M. Treiber, M. Carro, S. Dustdar.
Building Dynamic Models of Service Compositions
With Simulation of Provision Resources.
Proceedings of the 29th International Conference on
Conceptual Modeling (ER 2010), Vancouver, Canada,
1-5 November 2010,
LNCS 6412,
pages 344-358,
Springer,
2010.
- E. Albert, P. Arenas, D. Alonso, S. Genaim, G. Puebla.
Asymptotic Resource Usage Bounds.
The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09),
Lecture Notes in Computer Science,
Vol. 5904,
pages 294-310,
Springer,
December
2009.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramírez, G. Román, D. Zanardini.
Termination and Cost Analysis with COSTA and its User Interfaces.
Spanish Conference on Programming and Computer Languages (PROLE'09
),
ENTCS,
Vol. 248,
pages 109-121,
Elsevier,
September
2009.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo.
A Coding Rule Conformance Checker Integrated into GCC.
Spanish Conference on Programming and Computer Languages (PROLE'09),
ENTCS,
Vol. 258,
pages 149-159,
Elsevier,
August
2009.
- 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.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Live Heap Space Analysis for Languages with Garbage Collection.
8th international symposium on Memory management,
pages 129-138,
ACM Press,
June
2009.
- 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.
- E. Albert, M. Gómez-Zamalloa, G. Puebla.
Test Data Generation of Bytecode by CLP Partial Evaluation.
18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08),
LNCS,
Vol. 5438,
pages 4-23,
Springer-Verlag,
March
2009.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Field-Sensitive Value Analysis by Field-Insensitive Analysis.
16th International Symposium on Formal Methods (FM'09),
Lecture Notes in Computer Science,
Vol. 5850,
pages 370-386,
Springer,
2009.
- M. Mancioppi, M. Carro, W.-J. van den Heuvel, M.P. Papazoglou.
Sound Multi-party Business Protocols for Service Networks.
Proceedings of the Sixth International Conference on Service Oriented Computing,
LNCS,
Vol. 5364,
pages 302-316,
Springer-Verlag,
December
2008.
- 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.
- M. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur.
Sharing Analysis of Arrays, Collections, and
Recursive Structures.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'08),
ACM,
November
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Modular Decompilation of Low-Level Code by Partial Evaluation.
8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
pages 239-248,
IEEE Computer Society,
September
2008.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
IEEE Computer Society,
September
2008.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
Identification of Heap-Carried Data Dependence
Via Explicit Store Heap Models.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Springer-Verlag,
August
2008.
- 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.
- Elvira Albert, Puri Arenas, Samir Genaim, German Puebla.
Automatic Inference of Upper Bounds for
Recurrence Relations in Cost Analysis.
Static Analysis, 15th International Symposium, SAS 2008,
Valencia, Spain, July 15-17, 2008, Proceedings,
Lecture Notes in Computer Science,
Vol. 5079,
pages 221-237,
Springer-Verlag,
July
2008.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
IFIP International Conference on
Formal Methods for Open Object-based Distributed
Systems (FMOODS'08),
Lecture Notes in Computer Science,
Vol. 5051,
pages 2-18,
Springer-Verlag, Berlin,
June
2008.
- M. Marron, M. Hermenegildo, D. Kapur, D. Stefanovic.
Efficient Context-Sensitive Shape Analysis with Graph-Based
Heap Models.
International Conference on Compiler Construction (CC
2008),
Lecture Notes in Computer Science,
15 pages,
Springer,
April
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Removing Useless Variables in Cost Analysis of
Java Bytecode.
ACM Symposium on Applied Computing (SAC) - Software
Verification Track (SV08),
pages 368-375,
ACM Press, New York,
March
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
COSTA: Design and Implementation of a Cost and
Termination Analyzer for Java Bytecode.
6th International Symposium on Formal Methods for Components and Objects (FMCO'07),
Lecture Notes in Computer Science,
Num. 5382,
pages 113-133,
Springer,
February
2008.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding and its
Applications to Online Partial Evaluation.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Vol. 4915,
pages 23-42,
Springer-Verlag,
February
2008.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing Analysis
for Java-style Programs.
9th International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI'08),
LNCS,
Num. 4905,
pages 172-187,
Springer-Verlag,
January
2008.
- I. Mastroeni, D. Zanardini.
Data Dependencies and Program Slicing: from Syntax
to Abstract Semantics.
ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-based Program Manipulation (PEPM),
ACM Press, New York,
January
2008.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund.
Automatic Coding Rule Conformance Checking Using Logic
Programming.
10th International Symposium on Practical Aspects of
Declarative Languages (PADL'08),
LNCS,
Vol. 4902,
pages 18-34,
Springer Verlag,
January
2008.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Cost Relation Systems: a Language-Independent
Target Language for Cost Analysis.
8th Spanish Conference on Programming and Computer Languages
(PROLE'08),
Electronic Notes in Theoretical Computer Science,
Vol. 17615,
Elsevier,
2008.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Heap Space Analysis for Java Bytecode.
Proceedings of the 6th International
Symposium on Memory Management (ISMM'07),
pages 105-116,
ACM Press,
October
2007.
- D. Zanardini.
Analyzing Non-Interference with respect to Classes.
Proceedings of the Italian Conference on Theoretical
Computer Science (ICTCS),
World Scientific,
October
2007.
- 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.
- 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.
- 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.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Num. 4915,
pages 138-153,
Springer-Verlag,
August
2007.
- M. Marron, D. Stefanovic, M. Hermenegildo, D. Kapur.
Heap Analysis in the Presence of Collection
Libraries.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'07),
ACM,
June
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Cost Analysis of Java Bytecode.
16th European Symposium on Programming, ESOP'07,
Lecture Notes in Computer Science,
Vol. 4421,
pages 157-172,
Springer,
March
2007.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Verification of Java Bytecode using Analysis and
Transformation of Logic Programs.
Ninth International Symposium on Practical Aspects of
Declarative Languages (PADL 2007),
LNCS,
Num. 4354,
pages 124-139,
Springer-Verlag,
January
2007.
- 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.
- C. Ochoa, G. Puebla.
Poly-Controlled Partial Evaluation in Practice.
ACM Partial Evaluation and Program Manipulation
(PEPM'07),
pages 164-173,
ACM Press,
January
2007.
- E. Albert, P. Arenas, G. Puebla.
An Incremental Approach to
Abstraction-Carrying Code.
13th International Conference on
Logic for Programming, Artificial Intelligence, and
Reasoning (LPAR'06),
LNCS,
Num. 4246,
pages 377-391,
Springer-Verlag,
November
2006.
- 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.
- 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.
- H. Soza, M. Carro, P. Lopez-Garcia.
Probabilistic Cost Analysis of Logic Programs: A First Case Study.
XXXII Latin-American Conference on Informatics,
August
2006.
- 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.
- 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.
- 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.
- 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.
- E. Albert, G. Puebla, J. Gallagher.
Non-Leftmost Unfolding in Partial Evaluation of
Logic Programs with Impure Predicates.
15th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 115-132,
Springer-Verlag,
April
2006.
- J. Gallagher, G. Puebla, E. Albert .
Converting one Type-Based Abstract Domain to
Another.
15th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 147-162,
Springer-Verlag,
April
2006.
- 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.
- D. Zanardini.
Abstract Non-Interference in a fragment of Java
bytecode.
ACM Symposium on Applied Computing (SAC),
ACM Press, New York,
April
2006.
- J. Navas, F. Bueno, M. V. Hermenegildo.
Efficient Top-Down Set-Sharing Analysis Using Cliques.
8th International Symposium on Practical Aspects of
Declarative Languages (PADL'06),
LNCS,
Num. 2819,
pages 183-198,
Springer-Verlag,
January
2006.
- Andy King, Lunjin Lu, Samir Genaim.
Detecting Determinacy in Prolog Programs..
Logic Programming, 22nd International Conference, ICLP
2006,
Seattle, WA, USA, August 17-20, 2006, Proceedings,
Lecture Notes in Computer Science,
Vol. 4079,
pages 132-147,
Springer,
2006.
- G. Puebla, C. Ochoa.
Poly-Controlled Partial Evaluation.
8th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
(PPDP'06),
ACM Press,
2006.
- 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.
- 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.
- D. Zanardini.
Higher-Order Abstract Non-Interference.
Int. Conf. on Typed Lambda Calculi and Applications
(TLCA),
Lecture Notes in Computer Science,
Vol. 3461,
Springer-Verlag, Berlin,
April
2005.
- 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.
- 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.
- 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.
- 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.
- F. Bueno, M. García de la Banda.
Set-Sharing is not always redundant for
Pair-Sharing.
7th International Symposium on Functional and Logic
Programming (FLOPS 2004),
LNCS,
Num. 2998,
15 pages,
Springer-Verlag,
April
2004.
- C. Vaucheret, F. Bueno.
More Precise yet Efficient Type Inference
for Logic Programs
(also available in ps).
9th International Static Analysis Symposium (SAS'02),
Lecture Notes in Computer Science,
Vol. 2477,
pages 102-116,
Springer-Verlag,
September
2002.
- J. Gallagher, G. Puebla.
Abstract Interpretation over Non-Deterministic
Finite Tree Automata for Set-Based
Analysis of Logic Programs.
Fourth International Symposium on
Practical Aspects of Declarative Languages,
LNCS,
Num. 2257,
pages 243-261,
Springer-Verlag,
January
2002.
- S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo.
Efficient Negation Using Abstract
Interpretation
(also available in ps).
Proc. of the Eigth International Conference on Logic
Programming and Automated Reasoning,
LNAI,
15 pages,
Springer-Verlag,
December
2001.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey.
A Model for Inter-module Analysis and Optimizing
Compilation
(also available in ps).
Logic-based Program Synthesis and Transformation,
LNCS,
Num. 2042,
pages 86-102,
Springer-Verlag,
March
2001.
- C. Carreras, M. V. Hermenegildo.
Grid-based Histogram Arithmetic for the
Probabilistic Analysis of Functions
(also available in ps).
Symposium on Abstraction, Reformulation and
Approximation (SARA-2000),
LNAI,
Springer-Verlag,
July
2000.
- 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.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
Combined Static and Dynamic Assertion-Based
Debugging of Constraint Logic Programs
(also available in ps).
Logic-based Program Synthesis and Transformation
(LOPSTR'99),
LNCS,
Num. 1817,
pages 273-292,
Springer-Verlag,
March
2000.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
A Framework for Assertion-based Debugging in
Constraint Logic Programming (abstract)
(also available in ps).
Proceedings of the International Conference on
Principles and Practice of Constraint Programming
(CP'98),
LNCS,
Num. 1520,
pages 472-473,
Springer-Verlag,
October
1998.
- S. K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin.
Lower Bound Cost Estimation for Logic
Programs
(also available in ps).
1997 International Logic Programming Symposium,
pages 291-305,
MIT Press, Cambridge, MA,
October
1997.
- S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo.
Non-Failure Analysis for Logic Programs
(also available in ps).
1997 International Conference on Logic Programming,
pages 48-62,
MIT Press, Cambridge, MA,
June
1997.
- G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey.
Optimization of Logic Programs with Dynamic
Scheduling
(also available in ps).
1997 International Conference on Logic Programming,
pages 93-107,
MIT Press,
June
1997.
- G. Puebla, M. V. Hermenegildo.
Abstract Specialization and its Application to
Program Parallelization.
Logic Program Synthesis and Transformation,
LNCS,
Num. 1207,
pages 169-186,
Springer-Verlag,
1997.
- M. Codish, V. Lagoon, F. Bueno.
An algebraic approach to sharing analysis of logic
programs
(also available in ps).
Proc. of the Fourth International Static Analysis
Symposium,
LNCS,
Num. 1302,
pages 68-82,
Springer Verlag,
1997.
- G. Puebla, M. V. Hermenegildo.
Optimized Algorithms for the Incremental Analysis
of Logic Programs
(also available in ps).
International Static Analysis Symposium (SAS 1996),
Lecture Notes in Computer Science,
Num. 1145,
pages 270-284,
Springer-Verlag,
September
1996.
- G. Puebla, M. V. Hermenegildo.
Automatic Optimization of Dynamic Scheduling in
Logic Programs
(also available in ps).
Programming Languages: Implementation, Logics, and
Programs,
LNCS,
Num. 1140,
pages 475-476,
Springer-Verlag,
September
1996.
Poster abstract.
- 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.
- M. García de la Banda, K. Marriott, P. Stuckey.
Efficient Analysis of Constraint Logic Programs
with Dynamic Scheduling
(also available in ps).
1995 International Logic Programming Symposium,
pages 417-431,
MIT Press, Cambridge, MA,
December
1995.
- M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey.
Incremental Analysis of Logic Programs
(also available in ps).
International Conference on Logic Programming,
pages 797-811,
MIT Press,
June
1995.
- G. Puebla, M. V. Hermenegildo.
Implementation of Multiple Specialization in Logic
Programs
(also available in ps).
Proc. ACM SIGPLAN Symposium on Partial Evaluation
and Semantics Based Program Manipulation,
pages 77-87,
ACM Press,
June
1995.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Global Analysis in Strict
Independence-Based Automatic Program
Parallelization.
International Symposium on Logic Programming,
pages 320-336,
MIT Press,
November
1994.
- 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.
- M. Codish, M. Garcí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.
- U. Montanari, F. Rossi, F. Bueno, M. García
de la Banda, M. Hermenegildo.
Towards a Concurrent Semantics-based Analysis of
CC and CLP.
Principles and Practice of Constraint Programming,
LNCS,
Num. 874,
pages 151-161,
Springer-Verlag,
May
1994.
- M. Hermenegildo, The CLIP Group.
Some Methodological Issues in the Design of CIAO
- A Generic, Parallel, Concurrent
Constraint System
(also available in ps).
Principles and Practice of Constraint Programming,
LNCS,
Num. 874,
pages 123-133,
Springer-Verlag,
May
1994.
- K. Marriott, M. García de la Banda, M. V. Hermenegildo.
Analyzing Logic Programs with Dynamic
Scheduling
(also available in ps).
20th. Annual ACM Conf. on Principles of Programming
Languages,
pages 240-254,
ACM,
January
1994.
- M. Garcí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.
- M. Codish, A. Mulkers, M. Bruynooghe, M. Garcí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.
- K. Muthukumar, M. Hermenegildo.
Combined Determination of Sharing and Freeness of
Program Variables Through Abstract
Interpretation
(also available in ps).
International Conference on Logic Programming (ICLP
1991),
pages 49-63,
MIT Press,
June
1991.
- S. K. Debray, N.-W. Lin, M. V. Hermenegildo.
Task Granularity Analysis in Logic Programs.
Proc. 1990 ACM Conf. on Programming Language
Design and Implementation (PLDI),
pages 174-188,
ACM Press,
June
1990.
- K. Muthukumar, M. Hermenegildo.
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.
- K. Muthukumar, M. Hermenegildo.
Complete and Efficient Methods for Supporting
Side Effects in Independent/Restricted
And-parallelism.
1989 International Conference on Logic Programming,
pages 80-101,
MIT Press,
June
1989.
- R. Warren, M. Hermenegildo, S. K. Debray.
On the Practicality of Global Flow Analysis of
Logic Programs.
Fifth International Conference and Symposium on Logic
Programming,
pages 684-699,
MIT Press,
August
1988.
Books and Monographs:
- M.V. Hermenegildo, J.F. Morales.
Static Analysis - 30th. International Symposium.
LNCS,
Num. 14284,
566 pages,
Springer,
October
2023.
- Ferreiro de Aguiar, Daniela.
A System for generating interactive tutorials for CiaoPP.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
57 pages,
February
2023.
MSc Thesis.
- Ferreiro de Aguiar, Daniela.
Automatic Analysis of Code Examples.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
66 pages,
July
2021.
BSc Thesis.
- I. Garcia-Contreras.
A Scalable Static Analysis Framework for Reliable
Program Development Exploiting Incrementality and
Modularity.
Ph.D. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
42 pages,
July
2021.
Advisors: M. V. Hermenegildo and Jose F. Morales.
- Casso, Ignacio.
An Integrated Approach to Assertion-Based Random Testing in Logic Languages.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
42 pages,
July
2021.
MSc Thesis.
- Pérez Carrasco, Víctor.
Improvements to Parametric Cost Analysis and its Application to Smart Contracts.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
63 pages,
July
2021.
MSc Thesis.
- Maximiliano Klemen.
A General Framework for Static Resource Analysis and
Profiling of (Parallel) Programs and an
Application to Runtime Checking.
Ph.D. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
March
2021.
- Pérez Carrasco, Víctor.
Analysis of Smart Contracts using Horn Clauses.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
76 pages,
June
2020.
BSc Thesis.
- Umer Liqat.
A Multi-Language and Multi-Platform Framework for Resource
Consumption Analysis and its Application to
Energy-Efficient Software Development.
Ph.D. Thesis, Escuela Técnica Superior de Ingenieros Informáticos, UPM,
July
2018.
- Casso, Ignacio.
Towards Computing Distances Among Abstract Interpretations.
Ms. Thesis, Universidad Complutense de Madrid,
60 pages,
June
2018.
BSc Thesis.
- Isabel Garcia-Contreras.
Code Search: A Semantic, Abstract Interpretation-Based Approach.
Ms. Thesis, Technical University of Madrid, School of Computer Science,
E-28660, Boadilla del Monte, Madrid, Spain,
103 pages,
July
2016.
- M. Klemen.
Improved Static Analysis
and Verification of Energy Consumption and
other Resources via Abstract Interpretation.
Ms. Thesis, Technical University of Madrid, ETSI_Informatica,
E-28660, Boadilla del Monte, Madrid, Spain,
88 pages,
July
2015.
- E. Mera.
A Unified Framework for Resource and Execution Time
Analysis, Run-Time Checking and Unit-Testing.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
November
2010.
- M. Gómez-Zamalloa.
Transformation and Analysis of Object-Oriented Bytecode.
Ph.D. Thesis, Complutense University of Madrid,
October
2009.
- E. Albert, S. Genaim.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation.
Electronic Notes in Theoretical Computer Science,
Vol. 253,
Num. 5,
pages 1-2,
Elsevier - North Holland,
March
2009.
- M. Méndez-Lojo.
A Generic Approach to Bytecode Analysis.
Ph.D. Thesis, University of New Mexico (UNM),
Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA),
August
2008.
- J. Navas.
Analysis and Inference of Resource Usage Information.
Ph.D. Thesis, University of New Mexico (UNM),
Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA),
August
2008.
- J. Correas.
Analysis and Verification of Modular Programs.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
June
2008.
- D. Cabeza.
An Extensible, Global Analysis Friendly Logic
Programming System.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
August
2004.
- Alberto Díez Zurdo.
Goal Reordering in Logic Programs with Unrestricted
Parallelism and Explicit Dependencies.
Ms. Thesis, School of Computer Science, Technical University of
Madrid,
September
2002.
In Spanish.
- Alberto Díez Zurdo.
Paralelización Automática de Programas
Lógicos en Tiempo
de Compilación con Dependencias Explícitas.
Ms. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad de Informática, Madrid, 28660,
September
2002.
In Spanish.
- M. Hermenegildo, G. Puebla.
Static Analysis - 9th. International Symposium.
LNCS,
Num. 2477,
528 pages,
Springer-Verlag,
September
2002.
- P. Deransart, M. V. Hermenegildo, J. Maluszynski.
Analysis and Visualization Tools for Constraint
Programming.
LNCS,
Num. 1870,
350 pages,
Springer-Verlag,
September
2000.
- P. Lopez-Garcia.
Non-failure Analysis and Granularity Control in Parallel
Execution of Logic Programs.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
June
2000.
- G. Puebla.
Advanced Compilation Techniques based on Abstract
Interpretation and Program Transformation
(also available in ps).
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
November
1997.
- F. Bueno Carrillo.
Automatic Optimisation and Parallelisation of Logic
Programs through Program Transformation.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
October
1994.
- M. García de la Banda.
Independence, Global Analysis, and Parallelism in
Dynamically Scheduled Constraint Logic
Programming.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
September
1994.
- G. Puebla.
Simplification and Specialization of Logic Programs
based on Abstract Interpretation.
Ms. Thesis, School of Computer Science. Technical University of
Madrid,
January
1994.
(in Spanish).
- D. Cabeza Gras.
Parallelization of Prolog Programs Using the
Notion of Non-Strict Independence.
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1993.
- F. Bueno Carrillo.
Traducción Automática de Prolog al Andorra
Kernel Language (Automatic Translation from
Prolog to the Andorra Kernel Language).
Ms. Thesis, T.U. of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1991.
- M. García de la Banda.
Implementación de un Intérprete Abstracto de
Programas Prolog sobre el Dominio “sharing +
freeness” (Implementation and Evaluation of an
Abstract Interpreter over the “sharing +
freeness” Domain).
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1991.
Invited Papers and Tutorials:
- 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).
- M. V. Hermenegildo.
50-Years of Prolog and Beyond (invited talk).
November
2022.
Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.
- M. V. Hermenegildo.
Some reflections on Prolog's evolution, status, and future on the 50th anniversary of the birth of Prolog (abstract of invited talk).
38th International Conference on Logic Programming (ICLP'22 at FLoC'22),
August
2022.
- 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.
- 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.
- 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.
- M. V. Hermenegildo, M. Carro, P. Lopez-Garcia, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova.
25 Years of Ciao (abstract of invited tutorial).
Pre-proceedings of the 28th International Symposium on
Logic-based Program Synthesis and Transformation
(LOPSTR'18),
September
2018.
- M. V. Hermenegildo, 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.
- 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).
- D. Ivanovic, 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).
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
Automatic Inference of Resource Consumption Bounds.
18th International Conference on
Logic for Programming, Artificial Intelligence, and
Reasoning (LPAR-18),
Lecture Notes in Computer Science,
Vol. 7180,
pages 1-11,
Springer,
March
2012.
- Elvira Albert.
From Termination to Cost (in Object-Oriented Languages).
Workshop on Termination (WST'10),
1 pages,
July
2010.
- Elvira Albert.
Upper Bounds on Memory Usage for Garbage-Collected Languages .
Workshop on Quantitative Analysis of Software (QA'09),
1 pages,
June
2009.
- G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard.
MOBIUS: Mobility, Ubiquity, Security: Objectives and
progress report.
Trustworthy Global Computing'06,
LNCS,
Num. 4661,
pages 10-29,
Springer,
March
2007.
- The Ciao Development Team.
The Ciao Multiparadigm Language and Program
Development Environment.
6 pages,
November
2006.
The ALP Newsletter 19(3). The Association for Logic
Programming..
- 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.
- 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.
- 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.
- 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.
- 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.
- M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia.
Program Development Using Abstract Interpretation
(and The Ciao System Preprocessor).
10th International Static Analysis Symposium
(SAS'03),
LNCS,
Num. 2694,
pages 127-152,
Springer-Verlag,
June
2003.
- M. 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.
- M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia.
Program Debugging and Validation Using Semantic
Approximations and Partial Specifications
(also available in ps).
29 th. International Colloqium on Automata,
Languages, and Programming (ICALP),
LNCS,
Num. 2380,
pages 69-72,
Springer-Verlag,
July
2002.
- M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia.
Program Analysis, Debugging and Optimization
Using the Ciao System Preprocessor
(also available in ps).
1999 Int'l. Conference on Logic Programming,
pages 52-66,
MIT Press,
November
1999.
- M. Hermenegildo, The CLIP Group.
Programming with Global Analysis.
Proceedings of ILPS'97,
pages 49-52,
MIT Press,
October
1997.
(abstract of invited talk).
- 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.
- S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin.
Estimating the Computational Cost of Logic
Programs
(also available in ps).
Static Analysis Symposium, SAS'94,
LNCS,
Num. 864,
pages 255-265,
Springer-Verlag,
September
1994.
- M. García de la Banda, M. V. Hermenegildo.
A Practical Application of Sharing and Freeness
Inference.
1992 Workshop on Static Analysis WSA'92,
BIGRE,
Num. 81-82,
pages 118-125,
IRISA-Beaulieu,
September
1992.
Articles in Books and Other Collections:
- 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.
- K. Georgiou, U. Liqat.
Towards LLVM-Based Energy Consumption Analysis of Programs.
ICT-Energy (Nanoenergy) Letters,
Num. 8,
pages 16-17,
July
2014.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Resource Usage Analysis and its Application to Resource Certification.
9th International School on Foundations of Security Analysis and Design (FOSAD'09),
Lecture Notes in Computer Science,
Num. 5705,
pages 258-288,
Springer,
2009.
- 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.
- G. Puebla, J. Correas, M. V. Hermenegildo, F. Bueno, M. Garcí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.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
A Generic Preprocessor for Program Validation and
Debugging
(also available in ps).
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 63-107,
Springer-Verlag,
September
2000.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
An Assertion Language for Constraint Logic
Programs
(also available in ps).
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 23-61,
Springer-Verlag,
September
2000.
- M. V. Hermenegildo, G. Puebla, F. Bueno.
Using Global Analysis, Partial Specifications,
and an Extensible Assertion Language for
Program Validation and Debugging
(also available in ps).
The Logic Programming Paradigm: a 25-Year
Perspective,
pages 161-192,
Springer-Verlag,
July
1999.
- M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla.
The CIAO Multi-Dialect Compiler and System:
An Experimentation Workbench for Future
(C)LP Systems
(also available in ps).
Parallelism and Implementation of Logic and
Constraint Logic Programming,
pages 65-85,
Nova Science,
April
1999.
- M. Hermenegildo.
Fundamentos y Aplicación Automática del
Paralelismo en Inteligencia Artificial.
Inteligencia Artificial: Fundamentos Teóricos y
Aplicaciones,
pages 127-153,
Real Academia de Ciencias Exactas, Físicas y
Naturales,
March
1992.
Publications in Refereed Workshops:
- M. Klemen, M.Á. Carreira-Perpiñán, P. Lopez-Garcia.
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis.
Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023),
Electronic Proceedings in Theoretical Computer Science (EPTCS),
Vol. 385,
pages 155-168,
Open Publishing Association (OPA),
July
2023.
- 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).
- 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.
- 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.
- 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.
- 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).
- 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.
- 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.
- 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.
- M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo.
A General Framework for Static Cost Analysis of Parallel Logic Programs.
Pre-proceedings of the 29th International Symposium on
Logic-based Program Synthesis and Transformation (LOPSTR'19),
November
2019.
- I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo.
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).
- I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo.
Incremental Analysis of Logic Programs with Assertions and Open Predicates.
Pre-proceedings of the 29th International Symposium on
Logic-based Program Synthesis and Transformation (LOPSTR'19),
October
2019.
- M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo.
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.
Technical Communications of the 35th International
Conference on Logic Programming (ICLP 2019),
Electronic Proceedings in Theoretical Computer Science (EPTCS),
pages 238-240,
Open Publishing Association (OPA),
September
2019.
(Extended Abstract).
- 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).
- 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.
- 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.
- 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).
- 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).
- U. Liqat, Z. Bankovic, 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.
- Nataliia Stulova.
On Improving Run-time Checking in Dynamic Languages.
Technical Communications of the 33rd International
Conference on Logic Programming (ICLP 2017),
OpenAccess Series in Informatics (OASIcs),
Vol. 58,
pages 1501-1510,
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,
2017.
CP/ICLP/SAT Doctoral Program 2017.
- 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).
- U. Liqat, Z. Bankovic, 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.
- 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.
- 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.
- 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.
- 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.
- R. Haemmerlé.
Coinductive Proofs over Streams as CHR Confluence Proofs.
9th Int'l. Workshop on Constraint Handling Rules (CHR 2012),
September
2012.
- 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.
- D. Ivanovic, 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.
- E. Albert, S. Genaim, G. Román-Díez.
Conditional Termination of Loops over Arrays.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'12),
March
2012.
- D. Ivanovic, 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ía,
2012.
- F. Bueno, M. Garcí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.
- E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Román-Díez.
Verified Resource Guarantees for Heap Manipulating Programs.
10th KeY Symposium,
August
2011.
- 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.
- Diego Alonso, Puri Arenas, Samir Genaim.
Handling Non-linear Operations in the Value Aanalysis of COSTA.
Proceedings of the Bytecode 2011 workshop, the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode),
Electronic Notes in Theoretical Computer Science,
Vol. 279 Issue 1,
pages 3-17,
Elsevier,
2011.
- 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.
- D. Ivanovic, 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.
- E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla.
Towards Compositional CLP-based Test Data Generation for Imperative Languages.
20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'10),
pages 47-57,
July
2010.
Extended Abstract.
- D. Ivanovic, 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.
- 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.
- J. Navas, M. Méndez-Lojo, M. V. Hermenegildo.
User-Definable Resource Usage Bounds
Analysis for Java Bytecode.
Vol. 253,
Num. 5,
pages 65-82,
Elsevier - North Holland,
March
2009.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo.
A Coding Rule Conformance Checker Integrated into GCC.
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008,
pages 245-249,
October
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini.
Upper Bounds of Resource Usage for Java Bytecode using
COSTA and its Web Interface.
Workshop on Resource Analysis,
September
2008.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Dealing with Numeric Fields in Termination Analysis of Java-like Languages.
10th Workshop on Formal Techniques for Java-like Programs,
July
2008.
- S. Genaim, F. Spoto.
Constancy Analysis.
10th Workshop on Formal Techniques for Java-like Programs,
July
2008.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini.
The COSTA Cost and Termination Analyzer for Java
Bytecode and its Web Interface (Tool Demo).
22nd European Conference on Object-Oriented Programming
(ECOOP'08),
July
2008.
- R. Haemmerlé, H. Betz.
Verification of Constraint Handling Rules using Liner Logic
Phase Semantics.
5th Int'l. Workshop on Constraint Handling Rules (CHR 2011),
Report Series 08-10,
RICS-Linz,
July
2008.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
COSTA: A Cost and Termination Analyzer for Java
Bytecode.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation
(BYTECODE'08),
Electronic Notes in Theoretical Computer Science,
Elsevier,
April
2008.
- C. Ochoa, G. Puebla.
Oracle-Based Poly-Controlled Partial Evaluation.
ETAPS Workshop on Quantitative Aspects of Programming
Languages (QAPL'08),
Vol. 220,
Num. 3,
pages 145-161,
Elsevier,
March
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
On the Generation of Test Data for Prolog by Partial Evaluation.
Workshop on Logic-based methods in Programming Environments (WLPE'08),
pages 26-43,
2008.
Report number: WLPE/2008/06.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Towards Modular Interpretive Decompilation of Low-Level Code to Prolog.
8th Spanish Conference on Programming and Computer Languages (PROLE'08),
2008.
- G. Marpons-Ucero, J. Mariño, A. Herranz, L.Å. Fredlund, M. Carro, J.J. Moreno-Navarro.
Automatic Coding Rule Conformance Checking Using Logic Programs.
17th Workshop on Logic-based methods in Programming
Environments, WLPE 2007,
September
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
A Generic Framework for the Cost Analysis of Java
Bytecode.
Spanish Conference on
Programming and Computer Languages (PROLE'07),
September
2007.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Typed-based Homeomorphic Embedding for Online
Termination.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
August
2007.
Extended Abstract.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Applications of Static Slicing in Cost Analysis of
Java
Bytecode.
3rd International Workshop on
Programming Language Interference and Dependence (PLID'07),
August
2007.
- 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.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Improving the Decompilation of Java Bytecode to
Prolog
by Partial Evaluation.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'07),
Electronic Notes in Theoretical Computer Science,
Vol. 190, Issue 1,
pages 85-101,
Elsevier - North Holland,
July
2007.
- 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.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
9th International Workshop on Termination, WST'07,
June
2007.
- C. Ochoa, G. Puebla.
A Study on the Practicality of Poly-Controlled
Partial Evaluation.
Proceedings of the 15th Workshop on Functional and
(Constraint) Logic Programming (WFLP'06),
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 137-151,
Elsevier,
June
2007.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Experiments in Cost Analysis of Java Bytecode.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'07),
Electronic Notes in Theoretical Computer Science,
Vol. 190, Issue 1,
Elsevier,
2007.
- 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.
- 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.
- E. Albert, P. Arenas, G. Puebla.
Some Issues on Incremental Abstraction-Carrying
Code.
16th Workshop on Logic-Based Methods in Programming
Environments (WLPE'06) ,
15 pages,
August
2006.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Towards Verification of Java Bytecode using Tools
for Logic Programming.
International Workshop on Software Verification and
Validation (SVV 2006),
15 pages,
August
2006.
- E. Albert, P. Arenas, G. Puebla.
Incremental Certificates and Checkers for
Abstraction-Carrying Code.
Sixth Workshop on Issues in the Theory of Security,
16 pages,
March
2006.
- J. Navas, F. Bueno, M. V. Hermenegildo.
A study of set-sharing analysis via cliques.
The 15th Workshop on Logic-Based Methods in Programming
Environments, WLPE'05,
15 pages,
October
2005.
- G. Puebla, 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.
- E. Albert, G. Puebla, J. Gallagher.
A Partial Deducer Assisted by Predefined
Assertions and a
Backwards Analyzer.
5th International Workshop on the Implementation of
Logics (WIL'04),
9 pages,
March
2005.
- 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.
- 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.
- C. Vaucheret, F. Bueno.
More Precise Yet Efficient Type Inference for Logic
Programs.
Workshop on Logic Programming Environments,
July
2002.
- 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.
- 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.
- G. Puebla, M. V. Hermenegildo.
Some Issues in Analysis and Specialization of
Modular Ciao-Prolog Programs
(also available in ps).
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.
- 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.
- 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.
- I. de Castro Dutra, V. Santos Costa, G. Gupta, E.
Pontelli, M. Carro, P. Kacsuk (editors).
Parallelism and Implementation Technology for (Constraint)
Logic Programming.
Electronic Notes in Theoretical Computer Science,
Vol. 30,
Num. 2,
Elsevier - North Holland,
March
2000.
- D. Cabeza, M. V. Hermenegildo.
A New Module System for Prolog
(also available in ps).
ICLP'99 WS on Parallelism and Implementation of (C)LP
Systems,
pages 110-128,
N.M. State U.,
December
1999.
- D. Cabeza, M. V. Hermenegildo.
The Ciao Modular Compiler and Its Generic
Program Processing Library
(also available in ps).
ICLP'99 WS on Parallelism and Implementation of (C)LP
Systems,
pages 147-164,
N.M. State U.,
December
1999.
- G. Puebla, M. V. Hermenegildo, J. Gallagher.
An Integration of Partial Evaluation in a Generic
Abstract Interpretation Framework
(also available in ps).
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.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
A Framework for Assertion-based Debugging in
Constraint Logic Programming
(also available in ps).
Proceedings of the JICSLP'98 Workshop on Types for
CLP,
pages 3-15,
June
1998.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
An Assertion Language for Debugging of Constraint
Logic Programs
(also available in ps).
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..
- G. Puebla, J. Gallagher, M. V. Hermenegildo.
Towards Integrating Partial Evaluation in a
Specialization Framework based on Generic
Abstract Interpretation
(also available in ps).
Proceedings of the ILPS'97 Workshop on Specialization
of Declarative Programs,
October
1997.
Post ILPS'97 Workshop.
- G. Puebla, M. Garcí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.
- M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garcí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.
- 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.
- M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garcí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.
- M. Codish, V. Lagoon, F. Bueno.
Sharing Analysis for Logic Programs using Set
Logic Programs.
Proc. of the AGP'96 Joint Conference on Declarative
Programming,
pages 29-40,
U. of the Basque Country,
July
1996.
Available from http://www.cliplab.org/.
- G. Puebla, M. V. Hermenegildo.
Abstract Specialization and its Application to
Program Parallelization.
V International Workshop on Metaprogramming and
Metareasoning in Logic,
1996.
- M. Hermenegildo, F. Bueno, M. García de la
Banda, G. Puebla.
The CIAO Multi-Dialect Compiler and System:
An Experimentation Workbench for Future
(C)LP Systems
(also available in ps).
Proceedings of the ILPS'95 Workshop on Visions for the
Future of Logic Programming,
December
1995.
Available from http://www.cliplab.org/.
- M. García de la Banda, F. Bueno, M. Hermenegildo.
Towards Automatic Compile-Time Parallelization of
CLP Programs by Analysis and
Transformation.
Proceedings of the ILPS'95 Workshop on Parallel Logic
Programming Systems,
U. of Oregon,
December
1995.
- M. Hermenegildo, The CLIP Group.
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.
- 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.
- 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.
- M. García de la Banda, K. Marriott, P. Stuckey.
Efficient Analysis of Constraint Logic Programs
with Dynamic Scheduling.
ICLP95 WS on Abstract Interpretation of Logic
Languages,
June
1995.
- M. Hermenegildo, The CLIP Group.
Some Methodological Issues in the Design of CIAO
- A Generic, Parallel Concurrent
Constraint System.
Proc. of the 1994 ICOT/NSF Workshop on Parallel and
Concurrent Programming,
U. of Oregon,
March
1994.
- 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.
- V. Dumortier, G. Janssens, W. Simoens, M. García de la Banda.
Combining a Definiteness and a Freeness Abstraction
for CLP Languages.
Workshop on Logic Program Synthesis and
Transformation,
1993.
- M. Garcí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.
- M. Hermenegildo.
Compile-time Analysis Requirements for the Extended
Andorra Model.
Parallel Logic Programming Workshop,
SICS,
June
1990.
Technical Reports and Manuals:
- 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.
- 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.
- 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.
- Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán, Pedro López-García.
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.
2024.
Under consideration for publication in TPLP.
- 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.
- L. Rustenholz.
Automated Approximate Recurrence Solving applied to Static Analysis of Energy Consumption.
CLIP Lab, IMDEA Software Institute,
August
2022.
Master internship report. Supervised by M.V. Hermenegildo, P. Lopez-Garcia, and J. F. Morales..
- 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.
- 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.
- 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.
- 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.
- 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.
- 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].
- 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.
- 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.
- D. Ivanovic, 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.
- D. Ivanovic, 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.
- 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.
- 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).
- D. Ivanovic, 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.
- 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.
- D. Ivanovic, 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.
- D. Ivanovic, 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.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Towards Data-Aware Resource Analysis for
Service Orchestrations.
Num. CLIP3/2009.0,
Technical University of Madrid (UPM),
June
2009.
- 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.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Cost Analysis of Object-Oriented Bytecode Programs.
Num. CLIP7/2008.0,
Technical University of Madrid (UPM),
September
2008.
- 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.
- 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.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
Num. CLIP4/2008.0,
Technical University of Madrid (UPM),
June
2008.
- M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo.
Fast Set Sharing using ZBDDs.
University of New Mexico,
June
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Modular Decompilation of Low-Level Code by Partial Evaluation.
Num. CLIP2/2008.0,
Technical University of Madrid (UPM),
April
2008.
Available at http://cliplab.org/papers/mod-decomp-tr.pdf.
- 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.
- 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.
- G. Román-Díez, G. Puebla.
Java Bytecode Timing Cost Models.
Num. CLIP12/2007.0,
Technical University of Madrid,
December
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Automatic Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP11/2007.0,
Technical University of Madrid (UPM),
December
2007.
Under consideration for publication in Theory and
Practice of Logic Programming (TPLP).
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing for Java-style Programs (and proofs).
Num. CLIP2/2007.1,
Technical University of Madrid (UPM),
November
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent
And-parallelism.
Num. TR-CS-2007-16,
University of New Mexico (UNM),
October
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. TR-CS-2007-14,
University of New Mexico (UNM),
September
2007.
- 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.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund.
Automatic Coding Rule Conformance Checking Using Logic Programming.
Num. CLIP6/2007.0,
Technical University of Madrid (UPM),
August
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Automatic Inference of Upper Bounds for Cost
Equation Systems.
Num. CLIP10/2007.0,
Technical University of Madrid,
July
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP5/2007.0,
Technical University of Madrid (UPM),
June
2007.
- M. 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.
- 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.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Partial Evaluation Types for Improving the
Decompilation of Java Bytecode to Prolog.
Num. CLIP1/2007.0,
Technical University of Madrid (UPM),
February
2007.
- 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.
- 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.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Automatic Cost Analysis of Java Bytecode.
Num. CLIP10/2006.0,
Technical University of Madrid,
December
2006.
- 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.
- 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.
- P. Pietrzak, M. V. Hermenegildo.
Improved Automatic Error Diagnosis Based on
Abstract Interpretation.
Num. CLIP11/2006.0,
Technical University of Madrid,
September
2006.
- 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.
- E. Albert, P. Arenas, G. Puebla.
An Incremental Approach to Abstraction-Carrying
Code.
Num. CLIP3/2006,
16 pages,
Technical University of Madrid (UPM),
March
2006.
- 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.
- 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.
- 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.
- F. Bueno.
Solving set equations.
Num. CLIP9/2005.3(2008),
Technical University of Madrid (UPM),
September
2005.
- 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.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Abstract Interpretation with Specialized
Definitions.
Num. CLIP6/2005.0,
Technical University of Madrid,
July
2005.
- 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.
- E. Albert, G. Puebla, J. Gallagher.
A Partial Deducer Assisted by Predefined
Assertions and a
Backwards Analyzer.
Num. CLIP1/2005.0,
9 pages,
Technical University of Madrid,
February
2005.
- F. Bueno.
Sharing Stars.
Num. CLIP17/2004.0,
44 pages,
Technical University of Madrid,
December
2004.
- E. Mera.
Estimación de los coeficientes del análisis de
complejidad mediante técnicas estadísticas.
Num. CLIP14/2004.0,
Technical University of Madrid,
September
2004.
- 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.
- F. Bueno.
CiaoPP Internals.
Num. CLIP2/04,
66 pages,
Technical University of Madrid (UPM),
January
2004.
- 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.
- 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.
- F. Bueno, D. Cámara, C. Vaucheret.
Analysis and specialization of programs with meta-calls.
Num. CLIP9/2003.0,
Technical University of Madrid,
June
2003.
- C. Vaucheret, F. Bueno.
Structural Type Widening.
Num. CLIP2/2001.1,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
January
2002.
- 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.
- 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.
- 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.
- 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.
- 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.
- M. V. Hermenegildo, G. Puebla, F. Bueno.
Using Global Analysis, Partial Specifications,
and an Extensible Assertion Language for
Program Validation and Debugging
(also available in ps).
Num. CLIP8/98.0,
Technical University of Madrid (UPM),
October
1998.
- F. Bueno.
Using Assertions for Static Debugging of CLP: A
Manual.
Num. CLIP1/98.0,
15 pages,
DISCIPL Project/CLIP Group, UPM,
June
1998.
- The CLIP Group.
Program Assertions.
Num. CLIP4/97.1,
Facultad de Informática, UPM,
August
1997.
- 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.
- G. Puebla, M. V. Hermenegildo.
Optimized Algorithms for Incremental Analysis of
Logic Programs.
Num. CLIP3/96.0,
Facultad de Informática, UPM,
February
1996.
- G. Puebla, M. V. Hermenegildo.
Automatic Optimization of Dynamic Scheduling in Logic
Programs.
Technical University of Madrid,
January
1996.
- 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.
- 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.
- F. Bueno.
The CIAO Multiparadigm Compiler: A User's
Manual.
Num. CLIP8/95.0,
Facultad de Informática, UPM,
June
1995.
- F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla.
Data-Flow Analysis of Prolog Programs with
Extra-Logical Features
(also available in ps).
Num. CLIP2/95.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
March
1995.
- M. García de la Banda, K. Marriott, P. Stuckey.
Efficient Analysis of Constraint Logic Programs
with Dynamic Scheduling.
Facultad de Informática, UPM,
March
1995.
- F. Bueno, D. Cabeza, M. Garcí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.
- 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.
- 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.
- 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.
- 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.
- 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.
- F. Bueno, M. Garcí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.
- M. Garcí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.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Global Analysis in Strict
Independence-Based Automatic Program
Parallelization.
Num. CLIP7/93.0,
T.U. of Madrid (UPM),
October
1993.
- D. Cabeza, M. Hermenegildo.
Towards Extracting Non-Strict Independent
And-Parallelism Using Sharing and Freeness
Information.
Num. CLIP5/92.1,
U. of Madrid (UPM),
August
1993.
- F. Bueno, M. García de la Banda, D. Cabeza, M. V. Hermenegildo.
The &-Prolog Compiler System -- Automatic
Parallelization Tools for LP.
Num. CLIP5/93.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
June
1993.
- F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. Lopez-Garcia, M. García de la
Banda, M. V. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan.
A Proposal for an Interchange Abstract Syntax for
(Parallel) Prolog.
Num. CLIP3/93.0,
33 pages,
Computer Science Dept., Technical U. of Madrid
(UPM),
June
1993.
- K. Marriott, M. García de la Banda, M. V. Hermenegildo.
Analyzing Logic Programs with Dynamic
Scheduling.
Num. CLIP6/93.1,
T.U. of Madrid (UPM),
October
1992.
- D. Cabeza, M. Hermenegildo.
Extracting Non-Strict Independent And-Parallelism
Using Sharing and Freeness Information.
Num. CLIP5/92.0,
U. of Madrid (UPM),
August
1992.
- M. García de la Banda, M. V. Hermenegildo.
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.
- G. Janssens, M. V. Hermenegildo, F. Bueno, M. García de la Banda, A. Mulkers.
A Review of some Abstract Interpretation
Systems.
Num. CW143,
Department of Computer Science, Katholieke
Universiteit Leuven,
February
1992.
- M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Combined Sharing and Freeness
Analysis using Abstract Interpretation.
Num. CLIP1/92.0,
U. of Madrid (UPM),
January
1992.
- M. Garcí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.
- K. Muthukumar, M. Hermenegildo.
Combined Determination of Sharing and Freeness of
Program Variables Through Abstract
Interpretation.
Num. STP-368-90,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
December
1990.
- K. 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.
- M. Hermenegildo, K. Muthukumar, K. Greene, F. Rossi, R. I. Nasr.
An Overview of the PAL Project.
Num. ACT-ST-234-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
September
1989.
- K. Muthukumar, M. Hermenegildo.
Determination of Variable Dependence Information at
Compile-Time Through Abstract
Interpretation.
Num. ACA-ST-232-89,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
March
1989.
- 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.
- 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.
Next: Publications in Program Specialization Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Verification, Specification, Last updated on Thu Sep 26 03:16:40 PM CEST 2024