CLIP Group's Publications in 2017
Articles in Refereed Journals:
- 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:
- 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:
- 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:
- 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:
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
- 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:
- 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 http://ciao-lang.org.
- 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 Sep 26 03:16:30 PM CEST 2024