CLIP Group's Publications in 2017

Articles in Refereed 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.

Articles in Refereed Conferences:

1. 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, Lecture Notes in Informatics (LNI), Vol. P-267, pages 79-80, GI, February 2017.

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.

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. arXiv:1601.02800.

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. Nataliia Stulova. On Improving Run-time Checking in Dynamic Languages. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 1501-1510, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. CP/ICLP/SAT Doctoral Program 2017.

5. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 91-93, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. (Extended Abstract).

Technical Reports and Manuals:

1. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Ref. Manual (V1.16). July 2017. Available at https://ciao-lang.org.

2. 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].

---

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 Nov 21 03:36:42 PM CET 2024