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

CLIP Group's Publications in 2012


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


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. P. Chico de Guzmán, A. Casas, M. Carro, M. Hermenegildo. A Segment-Swapping Approach for Executing Trapped Computations. PADL'12, LNCS, Vol. 7149, pages 138-152, Springer Verlag, January 2012.

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

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

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


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.


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.

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: Explanation of Ranking System
Last updated on Fri Feb 10 19:49:20 CET 2012
Contents
Institutional links