CLIP Group's Publications in 2008
Articles in Refereed Journals:
- E. Albert, G. Puebla, M. V. Hermenegildo.
Abstraction-Carrying Code: A Model for Mobile
Code Safety.
New Generation Computing,
Vol. 26,
Num. 2,
pages 171-204,
March
2008.
- Samir Genaim, Andy King.
Inferring non-suspension conditions for logic programs with
dynamic scheduling.
ACM Trans. Comput. Log.,
Vol. 9,
Num. 3,
2008.
Articles in Refereed Conferences:
- M. Mancioppi, M. Carro, W.-J. van den Heuvel, M.P. Papazoglou.
Sound Multi-party Business Protocols for Service Networks.
Proceedings of the Sixth International Conference on Service Oriented Computing,
LNCS,
Vol. 5364,
pages 302-316,
Springer-Verlag,
December
2008.
- E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. V. Hermenegildo.
Negative Ternary Set-Sharing.
International Conference on Logic Programming, ICLP,
LNCS,
Num. 5366,
pages 301-316,
Springer-Verlag,
December
2008.
- 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.
- 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.
- M. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur.
Sharing Analysis of Arrays, Collections, and
Recursive Structures.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'08),
ACM,
November
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Modular Decompilation of Low-Level Code by Partial Evaluation.
8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
pages 239-248,
IEEE Computer Society,
September
2008.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
IEEE Computer Society,
September
2008.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
Identification of Heap-Carried Data Dependence
Via Explicit Store Heap Models.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Springer-Verlag,
August
2008.
- 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.
- E. Mera, P. Lopez-Garcia, M. Carro, M. V. Hermenegildo.
Towards Execution Time Estimation in
Abstract Machine-Based Languages.
10th Int'l. ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP'08),
pages 174-184,
ACM Press,
July
2008.
- Elvira Albert, Puri Arenas, Samir Genaim, German Puebla.
Automatic Inference of Upper Bounds for
Recurrence Relations in Cost Analysis.
Static Analysis, 15th International Symposium, SAS 2008,
Valencia, Spain, July 15-17, 2008, Proceedings,
Lecture Notes in Computer Science,
Vol. 5079,
pages 221-237,
Springer-Verlag,
July
2008.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
IFIP International Conference on
Formal Methods for Open Object-based Distributed
Systems (FMOODS'08),
Lecture Notes in Computer Science,
Vol. 5051,
pages 2-18,
Springer-Verlag, Berlin,
June
2008.
- M. Marron, M. Hermenegildo, D. Kapur, D. Stefanovic.
Efficient Context-Sensitive Shape Analysis with Graph-Based
Heap Models.
International Conference on Compiler Construction (CC
2008),
Lecture Notes in Computer Science,
15 pages,
Springer,
April
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Removing Useless Variables in Cost Analysis of
Java Bytecode.
ACM Symposium on Applied Computing (SAC) - Software
Verification Track (SV08),
pages 368-375,
ACM Press, New York,
March
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
COSTA: Design and Implementation of a Cost and
Termination Analyzer for Java Bytecode.
6th International Symposium on Formal Methods for Components and Objects (FMCO'07),
Lecture Notes in Computer Science,
Num. 5382,
pages 113-133,
Springer,
February
2008.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding and its
Applications to Online Partial Evaluation.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Vol. 4915,
pages 23-42,
Springer-Verlag,
February
2008.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing Analysis
for Java-style Programs.
9th International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI'08),
LNCS,
Num. 4905,
pages 172-187,
Springer-Verlag,
January
2008.
- 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.
- I. Mastroeni, D. Zanardini.
Data Dependencies and Program Slicing: from Syntax
to Abstract Semantics.
ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-based Program Manipulation (PEPM),
ACM Press, New York,
January
2008.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund.
Automatic Coding Rule Conformance Checking Using Logic
Programming.
10th International Symposium on Practical Aspects of
Declarative Languages (PADL'08),
LNCS,
Vol. 4902,
pages 18-34,
Springer Verlag,
January
2008.
- 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.
- P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo.
A Practical Type Analysis for Verification of
Modular Prolog Programs.
ACM SIGPLAN 2008 Workshop on Partial Evaluation and
Program Manipulation (PEPM'08),
pages 61-70,
ACM Press,
January
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Cost Relation Systems: a Language-Independent
Target Language for Cost Analysis.
8th Spanish Conference on Programming and Computer Languages
(PROLE'08),
Electronic Notes in Theoretical Computer Science,
Vol. 17615,
Elsevier,
2008.
- 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.
- 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:
- 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.
- M. Carro, B. Demoen.
Proceedings of CICLOPS 2008.
Num. CLIP10/2008.0,
408 pages,
Technical University of Madrid,
September
2008.
- M. Méndez-Lojo.
A Generic Approach to Bytecode Analysis.
Ph.D. Thesis, University of New Mexico (UNM),
Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA),
August
2008.
- J. Navas.
Analysis and Inference of Resource Usage Information.
Ph.D. Thesis, University of New Mexico (UNM),
Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA),
August
2008.
- J. Correas.
Analysis and Verification of Modular Programs.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
June
2008.
- J. Garrigue, M. V. Hermenegildo.
Functional and Logic Programming, 9th International
Symposium, FLOPS'08.
LNCS,
Num. 4989,
Springer,
April
2008.
- 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:
- 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:
- 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.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo.
A Coding Rule Conformance Checker Integrated into GCC.
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008,
pages 245-249,
October
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini.
Upper Bounds of Resource Usage for Java Bytecode using
COSTA and its Web Interface.
Workshop on Resource Analysis,
September
2008.
- M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo.
Efficient Set Sharing using ZBDDs.
21st Int'l. WS on Languages and Compilers for
Parallel Computing (LCPC'08),
LNCS,
Vol. 5335,
pages 94-108,
Springer-Verlag,
August
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Dealing with Numeric Fields in Termination Analysis of Java-like Languages.
10th Workshop on Formal Techniques for Java-like Programs,
July
2008.
- S. Genaim, F. Spoto.
Constancy Analysis.
10th Workshop on Formal Techniques for Java-like Programs,
July
2008.
- E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. V. Hermenegildo.
Two Efficient Representations for Set-Sharing
Analysis in Logic Programs .
17th International Workshop on Functional and (Constraint) Logic
Programming, WFLP'08,
15 pages,
July
2008.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez, D. Zanardini.
The COSTA Cost and Termination Analyzer for Java
Bytecode and its Web Interface (Tool Demo).
22nd European Conference on Object-Oriented Programming
(ECOOP'08),
July
2008.
- R. Haemmerlé, H. Betz.
Verification of Constraint Handling Rules using Liner Logic
Phase Semantics.
5th Int'l. Workshop on Constraint Handling Rules (CHR 2011),
Report Series 08-10,
RICS-Linz,
July
2008.
- J. Navas, M. Méndez-Lojo, M. Hermenegildo.
Safe Upper-bounds Inference of Energy Consumption for
Java Bytecode Applications.
The Sixth NASA Langley Formal Methods Workshop (LFM 08),
pages 29-32,
April
2008.
Extended Abstract.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
COSTA: A Cost and Termination Analyzer for Java
Bytecode.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation
(BYTECODE'08),
Electronic Notes in Theoretical Computer Science,
Elsevier,
April
2008.
- C. Ochoa, G. Puebla.
Oracle-Based Poly-Controlled Partial Evaluation.
ETAPS Workshop on Quantitative Aspects of Programming
Languages (QAPL'08),
Vol. 220,
Num. 3,
pages 145-161,
Elsevier,
March
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
On the Generation of Test Data for Prolog by Partial Evaluation.
Workshop on Logic-based methods in Programming Environments (WLPE'08),
pages 26-43,
2008.
Report number: WLPE/2008/06.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Towards Modular Interpretive Decompilation of Low-Level Code to Prolog.
8th Spanish Conference on Programming and Computer Languages (PROLE'08),
2008.
Technical Reports and Manuals:
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Cost Analysis of Object-Oriented Bytecode Programs.
Num. CLIP7/2008.0,
Technical University of Madrid (UPM),
September
2008.
- E. Trias, J. Navas, E. S. Ackley, S. Forrest, M. V. Hermenegildo.
Efficient Representations for Set-Sharing Analysis.
Num. CLIP9/2008.0,
University of New Mexico and Technical University of
Madrid,
September
2008.
- 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.
- 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.
- J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo.
Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications.
Num. CLIP5/2008.0,
Technical University of Madrid (UPM),
July
2008.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
Num. CLIP4/2008.0,
Technical University of Madrid (UPM),
June
2008.
- M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo.
Fast Set Sharing using ZBDDs.
University of New Mexico,
June
2008.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Modular Decompilation of Low-Level Code by Partial Evaluation.
Num. CLIP2/2008.0,
Technical University of Madrid (UPM),
April
2008.
Available at http://cliplab.org/papers/mod-decomp-tr.pdf.
- M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzmán, J. Correas, S. Genaim, J. Lipton, Pedro
Lopez-Garcia, M. Méndez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini.
Rigorous Methods for Mobile and Heterogeneous
Software Systems - Second Year Report.
Num. CLIP3/2008.0,
Technical University of Madrid (UPM),
April
2008.
- J. Navas, M. Méndez-Lojo, M. V. Hermenegildo.
Customizable Resource Usage Analysis for Java Bytecode.
Num. UNM TR-CS-2008-02 - CLIP1/2008.0,
University of New Mexico,
January
2008.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Thu Sep 26 03:16:30 PM CEST 2024