CLIP Group's Publications in 2016
Articles in Refereed Journals:
- K. Eder, J.P. Gallagher, P. Lopez-Garcia, H. Muller, Z. Bankovic, K. Georgiou, R. Haemmerlé, M. V. Hermenegildo, B. Kafle, S. Kerrison, M. Kirkeby, M. Klemen, X. Li, U. Liqat, J. Morse, M. Rhiger, M. Rosendahl.
ENTRA: Whole-Systems Energy Transparency.
Microprocessors and Microsystems,
Vol. 47, Part B,
pages 278-286,
Elsevier,
November
2016.
- Manuel Carro, Andy King.
Introduction to the 32nd International Conference on Logic Programming Special Issue.
Theory and Practice of Logic Programming,
Vol. 16,
Num. 5-6,
pages 509-514,
Cambridge University Press,
September
2016.
- I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo.
Semantic Code Browsing.
Theory and Practice of Logic Programming,
32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue,
Vol. 16,
Num. 5-6,
pages 721-737,
Cambridge U. Press,
September
2016.
- P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo.
A General Framework for Static Profiling of Parametric Resource Usage.
Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue,
Vol. 16,
Num. 5-6,
pages 849-865,
Cambridge U. Press,
September
2016.
- J.F. Morales, M. Carro, M. V. Hermenegildo.
Description and Optimization of Abstract Machines
in a Dialect of Prolog.
Theory and Practice of Logic Programming,
Vol. 16,
Num. 1,
pages 1-58,
Cambridge University Press,
January
2016.
Articles in Refereed Conferences:
- Joaquín Arias, Manuel Carro.
Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution.
18th Int'l. ACM Symposium on Principles and
Practice of Declarative Programming,
pages 10-23,
ACM Press,
September
2016.
- N. Stulova, J. F. Morales, M. V. Hermenegildo.
Reducing the Overhead of Assertion Run-time
Checks via Static Analysis.
18th Int'l. ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP'16),
pages 90-103,
ACM Press,
September
2016.
- R. Haemmerlé, P. Lopez-Garcia, U. Liqat, M. Klemen, J. P. Gallagher, M. V. Hermenegildo.
A Transformational Approach to Parametric
Accumulated-cost Static Profiling.
13th International Symposium on Functional and Logic Programming (FLOPS 2016),
LNCS,
Vol. 9613,
pages 163-180,
Springer,
March
2016.
- B. Kafle, J. P. Gallagher, J. F. Morales.
RAHFT: A Tool for Verifying Horn Clauses Using Abstract Interpretation
and Finite Tree Automata.
Computer Aided Verification - 28th International Conference, CAV
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I,
pages 261-268,
2016.
Books and Monographs:
- Manuel Carro, Andy King (Eds.).
32nd International Conference on Logic Programming.
Vol. 16,
Num. 5-6,
Cambridge University Press,
September
2016.
- Isabel Garcia-Contreras.
Code Search: A Semantic, Abstract Interpretation-Based Approach.
Ms. Thesis, Technical University of Madrid, School of Computer Science,
E-28660, Boadilla del Monte, Madrid, Spain,
103 pages,
July
2016.
- Manuel Carro, Salvador Tamarit, Guillermo Vigueras, Julio Mariño (Eds.).
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016).
March
2016.
- A. Zaks, M. V. Hermenegildo.
Proceedings of the 25th International Conference on Compiler Construction (CC 2016).
ACM,
March
2016.
- Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos (Eds.).
Technical Communications of the 32nd International Conference on Logic
Programming.
OASICS,
Vol. 52,
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
2016.
Articles in Books and Other Collections:
- U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. V. Hermenegildo, J. P. Gallagher, K. Eder.
Inferring Parametric Energy Consumption Functions at Different
Software Levels: ISA vs. LLVM IR.
Foundational and Practical Aspects of Resource Analysis: 4th
International Workshop, FOPARA 2015, London, UK,
April 11, 2015. Revised Selected Papers,
Lecture Notes in Computer Science,
Vol. 9964,
pages 81-100,
Springer,
2016.
Publications in Refereed Workshops:
- J. Arias.
Tabled CLP for Reasoning over Stream Data.
Technical Communications of the 32nd Int'l. Conference on Logic
Programming,
Vol. 52,
pages 1-8,
OASIcs,
October
2016.
Doctoral Consortium.
- Jan Kuper, Lutz Schubert, Kilian Kempf, Colin Glas, Daniel Rubio Bonilla, Manuel Carro.
Program Transformations in the POLCA Project.
Design, Automation, and Testing in Europe,
EDAA,
March
2016.
- Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño.
Towards Automatic Learning of Heuristics for Mechanical
Transformations of Procedural Code.
Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016),
March
2016.
- Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro.
Towards a Semantics-Aware Transformation Toolchain for
Heterogeneous Systems.
Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016),
March
2016.
- U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo.
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016),
2016.
arXiv:1601.02800.
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