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

CLIP Group's Publications in 2008


Articles in Refereed Journals:

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

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


Articles in Refereed Conferences:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  24. Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda. Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrammatic Representation and Inference, Lecture Notes in Artificial Intelligence, Vol. 5223, pages 347-349, Springer, 2008.

  25. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna. The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS, Vol. 4800, pages 586-609, Springer-Verlag, 2008.


Books and Monographs:

  1. A. Casas. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. Ph.D. Thesis, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA), September 2008.

  2. M. Carro, B. Demoen. Proceedings of CICLOPS 2008. Num. CLIP10/2008.0, 408 pages, Technical University of Madrid, September 2008.

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

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

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

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

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


Articles in Books and Other Collections:

  1. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Vol. 5065, pages 209-237, Springer-Verlag, June 2008.


Publications in Refereed Workshops:

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

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

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

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

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

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

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

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

  9. R. Haemmerlé, H. Betz. Verification of Constraint Handling Rules using Liner Logic Phase Semantics. 5th Int'l. Workshop on Constraint Handling Rules (CHR 2011), Report Series 08-10, RICS-Linz, July 2008.

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

  11. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: A Cost and Termination Analyzer for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'08), Electronic Notes in Theoretical Computer Science, Elsevier, April 2008.

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

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

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


Technical Reports and Manuals:

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

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

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

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

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

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

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

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

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

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

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Mon Apr 15 06:11:00 PM CEST 2024
Contents
Institutional links