CLIP Group's Publications in 2009
Articles in Refereed Journals:
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Information and Software Technology,
Vol. 51,
Num. 10,
pages 1409-1427,
Elsevier,
October
2009.
- D. Cabeza, M. Hermenegildo.
Non-Strict Independence-Based Program
Parallelization Using Sharing and Freeness
Information.
Theoretical Computer Science,
Vol. 410,
Num. 46,
pages 4704-4723,
Elsevier Science,
October
2009.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding for Online Termination.
Information Processing Letters,
Vol. 109,
Num. 15,
pages 879-886,
Elsevier,
July
2009.
Articles in Refereed Conferences:
- 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.
- A. Herranz, J. Mariño, M. Carro, J.J. Moreno-Navarro.
Modeling Concurrent Systems with Shared Resources.
14th International Workshop on Formal Methods for Industrial
Critical Systems,
Lecture Notes in Computer Science,
Vol. 5825,
pages 102-116,
November
2009.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, D. Ramírez, G. Román, D. Zanardini.
Termination and Cost Analysis with COSTA and its User Interfaces.
Spanish Conference on Programming and Computer Languages (PROLE'09
),
ENTCS,
Vol. 248,
pages 109-121,
Elsevier,
September
2009.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo.
A Coding Rule Conformance Checker Integrated into GCC.
Spanish Conference on Programming and Computer Languages (PROLE'09),
ENTCS,
Vol. 258,
pages 149-159,
Elsevier,
August
2009.
- E. Mera, P. Lopez-Garcia, M. V. Hermenegildo.
Integrating Software Testing and Run-Time
Checking in an Assertion Verification Framework.
25th Int'l. Conference on Logic Programming (ICLP'09),
LNCS,
Vol. 5649,
pages 281-295,
Springer-Verlag,
July
2009.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo.
A Tabling Implementation Based on
Variables with Multiple Bindings.
International Conference on Logic Programming (ICLP 2009),
LNCS,
Num. 5649,
pages 190-204,
Springer-Verlag,
July
2009.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Live Heap Space Analysis for Languages with Garbage Collection.
8th international symposium on Memory management,
pages 129-138,
ACM Press,
June
2009.
- M. Marron, D. Kapur, M. V. Hermenegildo.
Identification of Logically Related Heap
Regions.
ISMM'09: Proceedings of the 8th international symposium
on Memory management,
ACM Press,
June
2009.
- E. Albert, M. Gómez-Zamalloa, G. Puebla.
Test Data Generation of Bytecode by CLP Partial Evaluation.
18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08),
LNCS,
Vol. 5438,
pages 4-23,
Springer-Verlag,
March
2009.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo.
Towards a Complete Scheme for Tabled Execution
Based on Program Transformation.
11th International Symposium on Practical Aspects of
Declarative Languages (PADL'09),
LNCS,
Num. 5418,
pages 224-238,
Springer-Verlag,
January
2009.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Field-Sensitive Value Analysis by Field-Insensitive Analysis.
16th International Symposium on Formal Methods (FM'09),
Lecture Notes in Computer Science,
Vol. 5850,
pages 370-386,
Springer,
2009.
- Bradley Walker, Nicolas Fay, Shane Rogers, Nik Swoboda.
Experimental Investigation of the Role of
Collaboration in the Evolution of Communication Systems.
Proceedings of the 31st Annual Conference of the
Cognitive Science,
pages 1388-1393,
Cognitive Science Society,
2009.
Books and Monographs:
- M. Gómez-Zamalloa.
Transformation and Analysis of Object-Oriented Bytecode.
Ph.D. Thesis, Complutense University of Madrid,
October
2009.
- E. Albert, S. Genaim.
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation.
Electronic Notes in Theoretical Computer Science,
Vol. 253,
Num. 5,
pages 1-2,
Elsevier - North Holland,
March
2009.
- G. Puebla, G. Vidal.
ACM SIGPLAN Partial Evaluation and Program Manipulation
(PEPM'09).
200 pages,
ACM Digital Library,
January
2009.
Invited Papers and Tutorials:
- Elvira Albert.
Upper Bounds on Memory Usage for Garbage-Collected Languages .
Workshop on Quantitative Analysis of Software (QA'09),
1 pages,
June
2009.
Articles in Books and Other Collections:
- 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.
Publications in Refereed Workshops:
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
An Initial Proposal for Data-Aware Resource
Analysis of Orchestrations with Applications to
Proactive Monitoring.
Pre-proceedings of the 2nd Workshop on Monitoring,
Adaptation and Beyond (MONA+),
November
2009.
- L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo.
Program Parallelization using Synchronized Pipelining.
Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09),
September
2009.
- D. Ivanovic, J.F. Morales, M. Carro, M. V. Hermenegildo.
Towards Structured State Threading in Prolog.
CICLOPS 2009,
15 pages,
July
2009.
- J. Navas, M. Méndez-Lojo, M. V. Hermenegildo.
User-Definable Resource Usage Bounds
Analysis for Java Bytecode.
Vol. 253,
Num. 5,
pages 65-82,
Elsevier - North Holland,
March
2009.
Technical Reports and Manuals:
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Sharing-Based Independence-Driven Fragment
Identification for Service Orchestrations.
Num. CLIP7/2009.0,
Technical University of Madrid (UPM),
December
2009.
- D. Ivanovic, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera.
Towards Data-Aware Cost-Driven Adaptation for
Service Orchestrations.
Num. CLIP5/2009.0,
Technical University of Madrid (UPM),
November
2009.
Replaced by a later version.
- J.F. Morales, M. Carro, M. V. Hermenegildo.
Description and Optimization of Abstract Machines
in a Dialect of Prolog.
Num. CLIP4/2009.0,
Technical University of Madrid (UPM),
October
2009.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Towards Data-Aware Resource Analysis for
Service Orchestrations.
Num. CLIP3/2009.0,
Technical University of Madrid (UPM),
June
2009.
- E. Mera, P. Lopez-Garcia, M. V. Hermenegildo.
Towards Integrating Run-Time Checking and
Software Testing in a Verification Framework.
Num. CLIP1/2009.0,
19 pages,
Technical University of Madrid (UPM),
March
2009.
- P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo.
Inferring Determinacy and Mutual Exclusion in
Logic Programs Using Mode and Type
Analysis.
Num. CLIP2/2009.0,
Technical University of Madrid (UPM),
February
2009.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.).
The Ciao System. Ref. Manual (V1.13).
2009.
Available at https://ciao-lang.org.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Tue Oct 29 12:34:26 PM CET 2024