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

Publications in Resource Consumption Analysis and Control


Articles in First-Level Refereed Conferences and Journals:

  1. 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, October 2016.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  3. A. Serrano, P. Lopez-Garcia, M. 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, 2014.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  5. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, 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. http://arxiv.org/abs/1102.5497.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

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

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

  7. A. Stivala, P. J. Stuckey, M. García de la Banda, M. Hermenegildo, A. Wirth. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol. 70, Num. 8, pages 839-848, Elsevier, 2010.

    JCR: position (ave) top 57%, impact (ave) 0.62, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 356/1221 (top 29%), impact 0.86. Average position: top 30%.

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

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

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

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.

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

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

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

    CORE: A. Citeseer: position 87/1221 (top 7%), impact 1.58. Average position: top 20%.

  12. J. Navas, E. Mera, P. López-García, 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, Springer, 2007.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  13. E. Mera, P. López-García, 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.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

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

    JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 185/1221 (top 15%), impact 1.22. Average position: top 26%.

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

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

  16. S. K. Debray, P. López-García, M. 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.

    Citeseer: position 118/1221 (top 10%), impact 1.47. Average position: top 10%.

  17. S.K. Debray, P. López-García, M. 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.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  18. P. López-García, M. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

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

    CORE: A. Citeseer: position 3/1221 (top 0%), impact 2.89. Average position: top 17%.


Articles in Second-Level Refereed Conferences and Journals:

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

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

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

    CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.330. Average position: top 39%.

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

    CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.330. Average position: top 39%.

  4. P. López-García, F. Bueno, M. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information. New Generation Computing, Vol. 28, Num. 2, pages 117-206, Ohmsha, Ltd. and Springer, 2010.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  5. E. Mera, P. López-García, M. Carro, M. 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.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

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

    CORE: B. Citeseer: position 782/1221 (top 64%), impact 0.31. Average position: top 64%.

  7. E. Mera, P. López-García, 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.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  8. P. López-García, F. Bueno, M. 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.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  9. F. Bueno, P. López-García, M. 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.

    CORE: A. Citeseer: position 468/1221 (top 38%), impact 0.69. Average position: top 36%.

  10. P. López-García, M. Hermenegildo, S. K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Vol. 21, Num. 4-6, pages 715-734, Academic Press, 1996.

    JCR: position (ave) top 54%, impact (ave) 0.64, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 362/1221 (top 30%), impact 0.85. Average position: top 35%.

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

    Citeseer: position 491/1221 (top 40%), impact 0.67. Average position: top 40%.


Books and Monographs:

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

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

  3. M. Teresa Trigo de la Vega. Fuzzy Granularity Control in Parallel/Distributed Computing. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 66 pages, September 2010.

  4. P. López-García. 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.

  5. P. López-García. A System of Granularity Control in Parallel Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1993.


Invited Papers and Tutorials:

  1. M. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. López-García. Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints. DAMP'07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, pages 1-1, ACM, January 2007. (abstract of invited talk).

  2. M. Hermenegildo, E. Albert, P. López-García, 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.

  3. M. Hermenegildo, E. Albert, P. López-García, 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.

  4. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. 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.

  5. M. Hermenegildo, F. Bueno, G. Puebla, P. López-García. 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.

  6. M. Hermenegildo. Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Proceedings of EUROPAR'97, LNCS, Vol. 1300, pages 31-46, Springer-Verlag, August 1997.

  7. S.K. Debray, P. López-García, M. 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.


Articles in Books and Other Collections:

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

  2. K. Georgiou, U. Liqat. Towards LLVM-Based Energy Consumption Analysis of Programs. ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16-17, July 2014.

  3. T. Trigo, P. López-García, S. Muñoz-Hernandez. A Fuzzy Approach to Resource Aware Automatic Parallelization. Computational Intelligence, Studies in Computational Intelligence (SCI), Vol. 399, pages 229-245, Springer Berlin Heidelberg, 2012.

  4. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, 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.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. Zorana Bankovic, Umer Liqat, Pedro López-García. A General Methodology for Energy-efficient Scheduling in Multicore Environments based on Evolutionary Algorithms. Journal of Multiple-Valued Logic and Soft Computing, SOCO'15 Special Issue, To Appear, Old City Publishing, 2016.

  2. Z. Bankovic, U. Liqat, P. López-García. A Practical Approach for Energy Efficient Scheduling in Multicore Environments by combining Evolutionary and YDS Algorithms with Faster Energy Estimation. The 11th International Conference on Artificial Intelligence Applications and Innovations (AIAI'15), IFIP Advances in Information and Communication Technology, Vol. 458, pages 478-493, Springer, 2015.

  3. Z. Bankovic, U. Liqat, P. López-García. Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling. Hybrid Artificial Intelligent Systems (HAIS 2015), Lecture Notes in Computer Science, Vol. 9121, pages 690-701, Springer International Publishing, 2015.

  4. Z. Bankovic, U. Liqat, P. López-García. Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling. Hybrid Artificial Intelligent Systems (HAIS 2015), LNCS, Vol. 9121, pages 690-701, Springer International Publishing, 2015.

  5. Z. Bankovic, P. López-García. Improved Energy-aware Stochastic Scheduling based on Evolutionary Algorithms via Copula-based Modeling of Task Dependences. International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2015), Advances in Intelligent Systems and Computing, Vol. 368, pages 153-163, Springer International Publishing, 2015.

  6. Z. Bankovic, P. López-García. Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. Genetic and Evolutionary Computation Conference (GECCO 2015), pages 1353-1354, ACM, 2015.

  7. Z. Bankovic, P. Lopez-Garcia. Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. Hybrid Artificial Intelligent Systems (HAIS 2013), Lecture Notes in Computer Science, Vol. 8073, pages 401-410, Springer, 2013.

  8. T. Trigo, P. López-García, S. Muñoz-Hernandez. Towards Fuzzy Granularity Control in Parallel/Distributed Computing. International Conference on Fuzzy Computation (ICFC 2010), pages 43-55, SciTePress, October 2010.

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

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

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

  12. H. Soza, M. Carro, P. López-García. Probabilistic Cost Analysis of Logic Programs: A First Case Study. XXXII Latin-American Conference on Informatics, August 2006.

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

    JCR: position (ave) top 73%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: C. Citeseer: position 630/1221 (top 52%), impact 0.49. Average position: top 75%.

  14. P. López-García, M. Hermenegildo, S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs (also available in ps). Proc. of First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 133-144, World Scientific, September 1994.


Publications in Refereed Workshops:

  1. M. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification. 5th International Workshop on Verification and Program Transformation (VPT'2017), April 2017. (abstract of invited talk).

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

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

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

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

  6. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, 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.

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

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

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

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

  11. 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. To appear.

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

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

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

  15. E. Mera, P. López-García, 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.

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

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

  18. P. López-García, M. Hermenegildo. Towards Dynamic Term Size Computation via Program Transformation. Second Spanish Conference on Declarative Programming, pages 73-93, IIIA/CSIC, September 1993.


Technical Reports and Manuals:

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

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  3. P. López-García, F. Bueno, M. 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.

  4. J. Navas, E. Mera, P. López-García, 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.

  5. M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzmán, J. Correas, S. Genaim, J. Lipton, Pedro López García, 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.

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

  7. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.

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

  9. M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García Pañoso, J. Lipton, Pedro López García, 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.

  10. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Num. CLIP3/2007.0, Technical University of Madrid (UPM), February 2007.

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

  12. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Resource Bounds Analysis. Num. CLIP6/2006.0, 19 pages, Technical University of Madrid (UPM), November 2006.

  13. E. Mera, P. López-García, 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.

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

  15. S.K. Debray, P. López-García, M. Hermenegildo. Towards Precise Non-Failure Analysis for Logic Programs. Num. CLIP18/96.0, T.U. of Madrid (UPM), November 1996.

  16. S.K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP20/95.0, T.U. of Madrid (UPM), December 1995.

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

  18. S.K. Debray, P. López-García, M. Hermenegildo. Non-Failure Analysis for Logic Programs. Num. CLIP14/94.0, T.U. of Madrid (UPM), October 1994.

  19. M. Hermenegildo, P. López-García. A Technique for Dynamic Term Size Computation via Program Transformation. Num. CLIP 8/93.1(94), School of Computer Science, Technical University of Madrid, March 1994.

  20. S.K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP4/94.0, T.U. of Madrid (UPM), March 1994.

  21. P. López-García, M. Hermenegildo. An Automatic Sequentializer Based on Program Transformation. T.U. of Madrid (UPM), April 1993.

  22. P. López-García, M. Hermenegildo. Dynamic Term Size Computation in Logic Programs via Program Transformation. Num. CLIP 8/93.0, T.U. of Madrid (UPM), April 1993. Presented at the 1993 COMPULOG Area Meeting on Parallelism and Implementation Technologies.

Last updated on Fri Apr 28 13:09:44 CEST 2017