Publications in Program Analysis

Articles in First-Level Refereed Conferences and Journals:

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

2. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Certificate Size Reduction in Abstraction-Carrying Code. Theory and Practice of Logic Programming, To Appear, 2012.

   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. D. Ivanovic, M. Carro, M. Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. Service-Oriented Computing - ICSOC 2011, LNCS, Num. 7084, 15 pages, Springer Verlag, December 2011. Best paper award.

   CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

4. D. Ivanovic, M. Carro, M. Hermenegildo. Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. Proceedings of the 8th IEEE Conference on Services Computing SCC 2011, 8 pages, IEEE Press, July 2011.

   CORE: A. Average position: top 33%.

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

   CORE: A. Average position: top 33%.

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

   CORE: A. Average position: top 33%.

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

   JCR: position (ave) top 51%, impact (ave) 0.78, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE CORE: A. Citeseer: position 152/1221 (top 12%), impact 1.3. Average position: top 28%.

8. P. López-García, L. Darmawan, F. Bueno. A Framework for Verification and Debugging of Resource Usage Properties. 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.

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

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

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

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

11. Dragan Ivanovic, Manuel Carro, Manuel Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Service-Oriented Computing - ICSOC 2010, LNCS, Num. 6470, pages 350-364, Springer Verlag, 2010.

    CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

12. Mohamed Anis Zemni, Salima Benbernou, Manuel Carro. A Soft Constraint-Based Approach to QoS-Aware Service Selection. Service-Oriented Computing - ICSOC 2010, LNCS, Num. 6470, 6 pages, Springer Verlag, 2010.

    CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

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

14. D. Ivanovic, M. Carro, M. 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, IEEE, 2010.

    CORE: A. Average position: top 33%.

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

    CORE: A. Average position: top 33%.

16. E. Mera, P. López-García, M. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. 25th International Conference on Logic Programming (ICLP'09), LNCS, Num. 5649, pages 281-295, Springer-Verlag, July 2009.

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

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

18. M. Marron, D. Kapur, M. Hermenegildo. Identification of Logically Related Heap Regions. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.

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

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

    CORE: A. Average position: top 33%.

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

    CORE: A. CiteseerX position (ave) top 18%, impact (ave) 0.163. Average position: top 26%.

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

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

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

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

    CORE: A. CiteseerX position (ave) top 26%, impact (ave) 0.271. Average position: top 30%.

24. Samir Genaim, Andy King. Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log., Vol. 9, Num. 3, 2008.

    CORE: A. Citeseer: position 150/1221 (top 12%), impact 1.3. Average position: top 16%.

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

26. P. Pietrzak, M. 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.

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

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

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

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

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

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

    Citeseer: position 186/1221 (top 15%), impact 1.22. Average position: top 15%.

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

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

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

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

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

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

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

35. G. Puebla, E. Albert, M. 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.

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

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

    Citeseer: position 179/1221 (top 15%), impact 1.23. Average position: top 15%.

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

38. E. Albert, G. Puebla, M. 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.

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

39. C. Vaucheret, F. Bueno. More Precise yet Efficient Type Inference for Logic Programs (also available in ps). International Static Analysis Symposium, Lecture Notes in Computer Science, Vol. 2477, pages 102-116, Springer-Verlag, September 2002.

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

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

41. D. Cabeza, M. Hermenegildo. A New Module System for Prolog (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.

    CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.

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

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

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

44. G. Puebla, M. 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.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

45. F. Bueno, M. García de la Banda, M. 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.

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

46. G. Puebla, F. Bueno, M. 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.

    CORE: A. CiteseerX position (ave) top 22%, impact (ave) 0.297. Average position: top 27%.

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

48. M. Codish, M. Bruynooghe, M. García de la Banda, M. 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.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

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

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

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

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

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

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

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

53. G. Puebla, M. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs (also available in ps). International Static Analysis Symposium (SAS 1996), LNCS, Num. 1145, pages 270-284, Springer-Verlag, September 1996.

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

54. G. Puebla, M. 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.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

55. F. Bueno, D. Cabeza, M. Hermenegildo, G. Puebla. Global Analysis of Standard Prolog Programs (also available in ps). European Symposium on Programming, LNCS, Num. 1058, pages 108-124, Springer-Verlag, April 1996.

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

56. G. Puebla, M. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs. International Static Analysis Symposium (SAS 1996), LNCS, Num. 1145, pages 270-284, Springer-Verlag, 1996.

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

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

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

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

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

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

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

60. F. Bueno, M. García de la Banda, M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. International Symposium on Logic Programming, pages 320-336, MIT Press, November 1994.

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

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

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

62. M. Codish, M. García de la Banda, M. Bruynooghe, M. 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.

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

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

    CORE: A. CiteseerX position (ave) top 22%, impact (ave) 0.297. Average position: top 27%.

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

    CORE: A. CiteseerX position (ave) top 22%, impact (ave) 0.297. Average position: top 27%.

65. K. Marriott, M. García de la Banda, M. 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.

    CORE: A. Citeseer: position 13/1221 (top 1%), impact 2.26. Average position: top 17%.

66. M. García de la Banda, M. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 437-455, MIT Press, October 1993.

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

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

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

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

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

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

    Citeseer: position 138/1221 (top 11%), impact 1.38. Average position: top 11%.

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

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

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

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

Articles in Second-Level Refereed Conferences and Journals:

1. 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, Springer, March 2012. To appear.

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

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

   CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

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

   CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

4. 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, Springer, January 2012. To appear.

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

5. 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-Verlag, January 2012.

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

6. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Resource-driven CLP-based Test Case Generation. Proc. of LOPSTR'11, Springer-Verlag, 2012. To appear.

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

7. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Cost Analysis of Object-Oriented Bytecode Programs. Theoretical Computer Science, Vol. 413, Num. 1, pages 142-159, Elsevier, 2012.

   JCR: position (ave) top 59%, impact (ave) 0.60, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 338/1221 (top 28%), impact 0.91. Average position: top 36%.

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

   CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.080. Average position: top 55%.

9. J. F. Morales, M. V. Hermenegildo, R. Haemmerlé. Modular Extensions for Modular (Logic) Languages. 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), July 2011. To appear.

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

10. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Towards Resource-driven CLP-based Test Case Generation. 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), pages 183-197, July 2011.

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

11. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Towards Resource-driven CLP-based Test Case Generation. Proc. of LOPSTR'11, July 2011.

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

12. R. Haemmerlé, P .López, M. 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.

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

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

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

14. E. Mera, T. Trigo, P. López-García, M. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Practical Aspects of Declarative Languages (PADL'11), LNCS, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.

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

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

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

    CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.080. Average position: top 55%.

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

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

18. 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), pages 25-28, ACM Press, January 2010.

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

19. 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, Num. 6037, pages 173-187, Springer, 2010.

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

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

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

    CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.080. Average position: top 55%.

22. D. Cabeza, M. Hermenegildo. Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, Vol. 46, Num. 410, pages 4704-4723, Elsevier Science, October 2009.

    JCR: position (ave) top 59%, impact (ave) 0.60, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 338/1221 (top 28%), impact 0.91. Average position: top 36%.

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

    JCR: position (ave) top 72%, impact (ave) 0.44, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS CORE: B. Citeseer: position 551/1221 (top 45%), impact 0.58. Average position: top 61%.

24. 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, Num. 5438, pages 4-23, Springer-Verlag, March 2009.

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

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

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

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

    CiteseerX position (ave) top 37%, impact (ave) 0.085. Average position: top 37%.

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

    CiteseerX position (ave) top 37%, impact (ave) 0.085. Average position: top 37%.

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

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

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

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

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

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

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

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

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

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

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

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

35. P. Pietrzak, J. Correas, G. Puebla, M. 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.

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

36. D. Zanardini. Analyzing Non-Interference with respect to Classes. Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS), World Scientific, October 2007.

    CiteseerX position (ave) top 39%, impact (ave) 0.102. Average position: top 39%.

37. 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), LNCS, Num. 4915, pages 154-168, Springer-Verlag, August 2007.

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

38. A. Casas, M. Carro, M. 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.

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

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

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

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

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

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

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

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

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

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

44. P. Pietrzak, J. Correas, G. Puebla, M. 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.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

45. C. Ochoa, G. Puebla, M. 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.

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

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

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

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

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

48. J. Correas, G. Puebla, M. 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.

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

49. D. Zanardini. Abstract Non-Interference in a fragment of Java bytecode. ACM Symposium on Applied Computing (SAC), ACM Press, New York, April 2006.

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

50. J. Navas, F. Bueno, M. Hermenegildo. Efficient top-down set-sharing analysis using cliques. Eight International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 2819, pages 183-198, Springer-Verlag, January 2006.

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

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

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

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

53. E. Albert, G. Puebla, M. 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.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

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

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

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

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

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

57. S. Muñoz, J.J. Moreno-Navarro, M. 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.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

58. F. Bueno, M. García de la Banda, M. 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.

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

59. C. Carreras, M. 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.

    CORE: B. CiteseerX position (ave) top 43%, impact (ave) 0.092. Average position: top 54%.

60. G. Puebla, F. Bueno, M. 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.

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

61. G. Puebla, M. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. Logic Program Synthesis and Transformation, LNCS, Num. 1207, pages 169-186, Springer-Verlag, 1997.

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

62. G. Puebla, M. 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.

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

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

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

Books and Monographs:

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

2. M. Gómez-Zamalloa. Transformation and Analysis of Object-Oriented Bytecode. Ph.D. Thesis, Complutense University of Madrid, October 2009.

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

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

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

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

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

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

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

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

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

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

13. F. Bueno Carrillo. Automatic Optimisation and Parallelisation of Logic Programs through Program Transformation. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), October 1994.

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

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

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

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

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

1. 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), Springer, March 2012. To appear.

2. Elvira Albert. From Termination to Cost (in Object-Oriented Languages). Workshop on Termination (WST'10), 1 pages, July 2010.

3. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.

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

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

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

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

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

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

10. G. Puebla, M. 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.

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

12. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Abstract Verification and Debugging of Constraint Logic Programs. Recent Advances in Constraints, LNCS, Num. 2627, pages 1-14, Springer-Verlag, January 2003.

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

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

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

16. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. 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.

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

18. M. García de la Banda, M. 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:

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

2. 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, Num. 5065, pages 209-237, Springer-Verlag, June 2008.

3. G. Puebla, J. Correas, M. 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.

4. G. Puebla, F. Bueno, M. 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.

5. G. Puebla, F. Bueno, M. 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.

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

7. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, 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.

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

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

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

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

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

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

   JCR: position (ave) top 67%, impact (ave) 0.49, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMSCOMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.

5. M. Gómez-Zamalloa, E. Albert, G. Puebla. Decompilation of Java Bytecode to Prolog by Partial Evaluation. JIST, Vol. 51, pages 1409-1427, Elsevier, October 2009.

   JCR: position (ave) top 67%, impact (ave) 0.49, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMSCOMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.

6. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramirez, 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.

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

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

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

   CORE: C. CiteseerX position (ave) top 41%, impact (ave) 0.130. Average position: top 70%.

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

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. E. Albert, G. Puebla, M. 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.

    CORE: B. CiteseerX position (ave) top 92%, impact (ave) 0.010. Average position: top 78%.

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

Publications in Refereed Workshops:

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

2. F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. López-García, E. Mera, P. J. Stuckey. Towards Resource Usage Analysis of MiniZinc Models. MiniZinc Workshop (MZN'11), 15 pages, September 2011.

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

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

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

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. D. Ivanovic, M. Carro, M. 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.

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

9. D. Ivanovic, M. Carro, M. 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.

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

11. 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 6-86, Elsevier - North Holland, March 2009.

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

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

14. M. Méndez-Lojo, O. Lhoták, M. Hermenegildo. Efficient Set Sharing using ZBDDs. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.

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

16. S. Genaim, F. Spoto. Constancy Analysis. 10th Workshop on Formal Techniques for Java-like Programs, July 2008.

17. E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. 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.

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

19. R. Haemmerlé, H. Betz. Verification of Constraint Handling Rules using Liner Logic Phase Semantics. Proceeding of CHR 2008, Report Series 08-10, RICS-Linz, July 2008.

20. 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), April 2008. Extended Abstract.

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

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

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

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

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

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

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

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

29. J. Navas, M. Méndez-Lojo, M. 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.

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

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

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

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

34. M. Méndez-Lojo, J. Navas, M. 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.

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

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

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

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

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

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

41. J. Navas, F. Bueno, M. 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.

42. G. Puebla, E. Albert, M. 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.

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

44. E. Albert, G. Puebla, M. 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.

45. E. Albert, G. Puebla, M. 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.

46. C. Vaucheret, F. Bueno. More Precise Yet Efficient Type Inference for Logic Programs. Workshop on Logic Programming Environments, July 2002.

47. S. Muñoz, J.J. Moreno-Navarro, M. 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.

48. F. Bueno, M. Garcia de la Banda, M. 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.

49. G. Puebla, M. 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.

50. D. Cabeza, M. 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.

51. D. Cabeza, M. 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.

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

53. D. Cabeza, M. 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.

54. D. Cabeza, M. 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.

55. G. Puebla, M. 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.

56. G. Puebla, F. Bueno, M. 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.

57. G. Puebla, F. Bueno, M. 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://clip.dia.fi.upm.es/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..

58. G. Puebla, J. Gallagher, M. 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.

59. G. Puebla, M. García de la Banda, M. 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.

60. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, 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.

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

62. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López, 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.

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

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

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

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

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

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

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

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

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

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

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

74. M. García de la Banda, M. 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.

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

Technical Reports and Manuals:

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

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

3. Dragan Ivanovic, Manuel Carro, Manuel Hermenegildo. Automatic Fragment Identification in Workflows Based on Sharing Analysis. Num. CLIP4/2010.0, 15 pages, Technical University of Madrid (UPM), June 2010. Submitted.

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

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. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

6. D. Ivanovic, M. Carro, M. Hermenegildo, P. López, E. Mera. Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Num. CLIP5/2009.1, Technical University of Madrid (UPM), March 2010.

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

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

9. D. Ivanovic, M. Carro, M. Hermenegildo, P. López, 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.

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

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

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

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

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

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

16. D. Zanardini. The Semantics of Abstract Program Slicing. Num. CLIP4/2008.0, Technical University of Madrid (UPM), June 2008.

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

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

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

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

21. G. Román-Díez, G. Puebla. Java Bytecode Timing Cost Models. Num. CLIP12/2007.0, Technical University of Madrid, December 2007.

22. A. Casas, M. Carro, M. 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).

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

24. A. Casas, M. Carro, M. 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.

25. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. TR-CS-2007-14, University of New Mexico (UNM), September 2007.

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

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

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

29. A. Casas, M. Carro, M. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP5/2007.0, Technical University of Madrid (UPM), June 2007.

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

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

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

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

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

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

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

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

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

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

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

41. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. The Ciao Preprocessor. Num. CLIP1/06, 99 pages, Technical University of Madrid (UPM), January 2006.

42. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. A Tutorial on Program Development and Optimization using the Ciao Preprocessor. Num. CLIP2/06, 55 pages, Technical University of Madrid (UPM), January 2006.

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

44. F. Bueno. Solving set equations. Num. CLIP9/2005.3(2008), Technical University of Madrid (UPM), September 2005.

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

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

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

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

49. F. Bueno. Sharing Stars. Num. CLIP17/2004.0, 44 pages, Technical University of Madrid, December 2004.

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

51. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. The Ciao Prolog Preprocessor. Num. CLIP1/04, 72 pages, Technical University of Madrid (UPM), January 2004.

52. F. Bueno. CiaoPP Internals. Num. CLIP2/04, 66 pages, Technical University of Madrid (UPM), January 2004.

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

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

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

56. C. Vaucheret, F. Bueno. Structural Type Widening. Num. CLIP2/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), January 2002.

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

58. D. Cabeza, M. 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.

59. D. Cabeza, M. 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.

60. D. Cabeza, M. 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.

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

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

63. F. Bueno. Using Assertions for Static Debugging of CLP: A Manual. Num. CLIP1/98.0, 15 pages, DISCIPL Project/CLIP Group, UPM, June 1998.

64. The CLIP Group. Program Assertions. Num. CLIP4/97.1, Facultad de Informática, UPM, August 1997.

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

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

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

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

69. G. Puebla, M. 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.

70. F. Bueno. The CIAO Multiparadigm Compiler: A User's Manual. Num. CLIP8/95.0, Facultad de Informática, UPM, June 1995.

71. F. Bueno, D. Cabeza, M. 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.

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

73. F. Bueno, D. Cabeza, M. García de la Banda, M. 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.

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

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

76. F. Bueno, D. Cabeza, M. 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.

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

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

79. F. Bueno, M. García de la Banda, M. Hermenegildo. The PLAI Abstract Interpretation System. Num. CLIP2/94.0, Computer Science Dept., Technical U. of Madrid (UPM), February 1994.

80. M. García de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. U. of Madrid (UPM), 1994.

81. F. Bueno, M. García de la Banda, M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. Num. CLIP7/93.0, T.U. of Madrid (UPM), October 1993.

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

83. F. Bueno, M. García de la Banda, D. Cabeza, M. Hermenegildo. The &-Prolog Compiler System -- Automatic Parallelization Tools for LP. Num. CLIP5/93.0, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.

84. F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. López-García, M. García de la Banda, M. 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.

85. K. Marriott, M. García de la Banda, M. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. Num. CLIP6/93.1, T.U. of Madrid (UPM), October 1992.

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

87. M. García de la Banda, M. 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.

88. G. Janssens, M. 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.

89. M. García de la Banda, M. Hermenegildo. Effectiveness of Combined Sharing and Freeness Analysis using Abstract Interpretation. Num. CLIP1/92.0, U. of Madrid (UPM), January 1992.

90. M. García de la Banda, M. 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.

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

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

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

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

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

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