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

CLIP Group's Publications in 2017


Articles in First-Level Refereed Conferences and Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis. Science of Computer Programming, To Appear, Elsevier North-Holland, 2017.  (to appear).

    JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 185/1221 (top 15%), impact 1.22. Average position: top 26%.


Books and Monographs:

  1. M. V. Hermenegildo, P. Lopez-Garcia (Eds.). Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science, Num. 10184, 330 pages, Springer, July 2017.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation. 5th International Workshop on Verification and Program Transformation (VPT 2017), Vol. 253, pages 4-6, EPTCS, April 2017. (Abstract of invited talk).


Articles in Books and Other Collections:

  1. P. Lopez-Garcia, M. V. Hermenegildo, M. Klemen, U. Liqat. Energy Consumption Analysis and Verification using CiaoPP. The ALP Newsletter, Vol. 30, Num. 3, The Association for Logic Programming, September 2017.

  2. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. Machine Learning-Driven Automatic Program Transformation to Increase Performance in Heterogeneous Architectures. Tools for High Performance Computing 2016, Springer International Publishing, 2017.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. An Evolutionary Scheduling Approach for Trading-off Accuracy vs. Verifiable Energy in Multicore Processors. Logic Journal of the IGPL, Vol. 25, Num. 6, pages 1006-1019, Oxford Academic Press, December 2017.

  2. Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl. Vergleich und Kombination von Techniken des Predictive Business Process Monitoring. Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland, pages 79-80, 2017.


Publications in Refereed Workshops:

  1. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'17), October 2017.

  2. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  3. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  4. N. Stulova. On Improving Run-time Checking in Dynamic Languages. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), Vol. 58, 10 pages, OASIcs, August 2017. CP/ICLP/SAT Doctoral Program 2017 (CP-ICLP-SAT-DP-17) entry (To appear).

  5. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding (Extended Abstract). Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), Vol. 58, 3 pages, OASIcs, August 2017. (To appear).


Technical Reports and Manuals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Term Hiding and its Impact on Run-time Check Simplification. Num. CLIP-1/2017.0, 27 pages, The CLIP Lab, May 2017. CoRR abs/1705.06662 (v2) [cs.PL].

Last updated on Fri Dec 1 13:15:21 CET 2017