CLIP Group's Publications in 2011
Articles in Refereed Journals:
- P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo.
Parallel Backtracking with Answer Memoing for
Independent And-Parallelism.
Theory and Practice of Logic Programming, 27th
Int'l. Conference on Logic Programming (ICLP'11)
Special Issue,
Vol. 11,
Num. 4-5,
pages 555-574,
Cambridge U. Press,
July
2011.
- R. Haemmerlé.
(Co)-Inductive Semantics for Constraint Handling Rules.
Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue,
Vol. 11,
Num. 4-5,
pages 593-609,
Cambridge U. Press,
July
2011.
- R. Haemmerlé.
Observational Equivalences for Linear Logic Concurrent
Constraint Languages.
Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue,
Vol. 11,
Num. 4-5,
pages 469-485,
Cambridge U. Press,
July
2011.
- 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.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Efficient Local Unfolding with Ancestor Stacks.
Theory and Practice of Logic Programming,
Vol. 11,
Num. 1,
pages 1-32,
Cambridge U. Press,
January
2011.
- Dave Barker-Plummer, Nik Swoboda.
Reasoning with coincidence grids - A sequent-based logic and
an analysis of complexity.
Visual Languages and Computing,
Vol. 22,
Num. 1,
pages 56-65,
2011.
Articles in Refereed Conferences:
- 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.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Constraint-Based Runtime Prediction of SLA
Violations in Service Orchestrations.
Service-Oriented Computing - ICSOC 2011,
LNCS,
Vol. 7084,
pages 62-76,
Springer Verlag,
December
2011.
Best paper award.
- 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.
- J. F. Morales, M. V. Hermenegildo, R. Haemmerlé.
Modular Extensions for Modular (Logic) Languages.
Proceedings of the 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11),
LNCS,
Vol. 7225,
pages 139-154,
Springer,
July
2011.
- R. Haemmerlé, P. Lopez-Garcia, M. V. 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.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Automated Attribute Inference in Complex Service
Workflows Based on Sharing Analysis.
Proceedings of the 8th IEEE Conference on Services
Computing SCC 2011,
pages 120-127,
IEEE Press,
July
2011.
- 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.
- 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.
- 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.
- E. Mera, T. Trigo, P. Lopez-Garcia, M. V. Hermenegildo.
Profiling for Run-Time Checking of
Computational Properties and Performance Debugging in Logic Programs.
Practical Aspects of Declarative Languages (PADL'11),
Lecture Notes in Computer Science,
Vol. 6539,
pages 38-53,
Springer-Verlag,
January
2011.
- 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.
- 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.
- 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.
- 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.
- M. Carro, D. Karastoyanova, G. A. Lewis, A. Liu.
Third International Workshop on Principles of Engineering
Service-Oriented Systems (PESOS 2011).
ICSE,
pages 1218-1219,
2011.
- Nik Swoboda, Juan Bekios-Calfa, Luis Baumela, Javier de Lope.
An Introduction to AI Course with Guide Robot Programming
Assignments.
Proceedings of the 42nd ACM Technical Symposium on
Computer Science Education,
pages 231-236,
ACM,
ACM SIGCSE,
2011.
- Alejandro Sánchez, César Sánchez.
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes.
Proc. of the 3rd NASA Formal Methods Symposium (NFM'11),
LNCS,
Vol. 6447,
pages 343-358,
Springer,
2011.
Books and Monographs:
- M. Carro, D. Karastoyanova, G. A. Lewis, A. Liu.
Third International Workshop on Principles of Enginering Service-Oriented Systems (PESOS 2011).
ACM,
May
2011.
- M. Carro, J.H. Reppy.
ACM SIGPLAN Proceedings of the Workshop on Declarative Aspects of Multicore Programming.
ACM,
January
2011.
- Diana Ramírez-Deantes.
Modular and field-sensitive termination analysis of java bytecode.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
2011.
Invited Papers and Tutorials:
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, R. Haemmerlé, E. Mera, J. F. Morales, G. Puebla.
An Overview of the Ciao System.
Proc. of RuleML-Europe 2011,
LNCS,
Vol. 6826,
pages 2-3,
Springer-Verlag,
July
2011.
(abstract of invited talk).
Articles in Books and Other Collections:
- M. Carro, M. V. Hermenegildo.
Logic Languages.
Encyclopedia of Parallel Computing,
pages 1057-1068,
Springer,
2011.
Publications in Refereed Workshops:
- F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera, P. J. Stuckey.
Towards Resource Usage Analysis of MiniZinc Models.
MiniZinc Workshop (MZN'11),
15 pages,
September
2011.
- 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.
- P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo.
Interval-based Resource Usage Verification: Formalization and Prototype.
2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'2011),
May
2011.
- 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.
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, 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.
Technical Reports and Manuals:
- F. Bueno, M. Carro, M. V. Hermenegildo, R. Haemmerlé, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla (Eds.).
The Ciao System. Ref. Manual (V1.14).
July
2011.
Available at https://ciao-lang.org.
- M. V. Hermenegildo, J.F. Morales.
The LPdoc Documentation Generator. Ref. Manual (V3.0).
UPM,
July
2011.
Available at https://ciao-lang.org.
- R. Haemmerlé.
Toward Observational Equivalences for Linear Logic
Concurrent Constraint Languages.
Num. CLIP5/2011.0,
32 pages,
Technical University of Madrid (UPM),
May
2011.
- P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. 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 https://cliplab.org/papers/resource-verif-11-tr.pdf.
- R. Haemmerlé.
Towards a Logically Complete Fixpoint Semantics for Constraint Handling Rules.
Num. CLIP3/2011.0,
31 pages,
Technical University of Madrid (UPM),
March
2011.
- P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo.
A Simulation Study on Parallel
Backtracking with Solution Memoing for
Independent And-Parallelism.
Num. CLIP1/2011.0,
12 pages,
Technical University of Madrid (UPM),
January
2011.
- J.F. Morales, M. V. Hermenegildo, R. Haemmerlé.
Towards Modular Extensions for a Modular Language.
Num. CLIP2/2011.0,
15 pages,
Technical University of Madrid (UPM),
January
2011.
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