G.J. Duck, Rémy Haemmerlé, M. Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 30th Int’l. Conference on Logic Programming (ICLP’14) Special Issue, Vol. 14, Num. 4-5, pages 619–632, Cambridge U. Press, 2014.
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
Alejandro Serrano, Pedro Lopez-Garcia, Manuel Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 30th Int’l. Conference on Logic Programming (ICLP’14) Special Issue, Vol. 14, Num. 4-5, pages 739–754, Cambridge U. Press, 2014.
Whole Systems Energy Transparency
Kerstin Eder, Steve Kerrison, Gallagher, John, Lopez-Garcia, Pedro. Whole Systems Energy Transparency. NANOENERGY Letters, Num. 6, pages 67–68, August 2013.
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
Alejandro Serrano, Pedro Lopez-Garcia, Manuel Hermenegildo. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), pages 15, August 2013. CoRR abs/1308.3940.
Sized Type Analysis for Logic Programs (Technical Communication)
Alejandro Serrano, Pedro Lopez-Garcia, F. Bueno, Manuel Hermenegildo. Sized Type Analysis for Logic Programs (Technical Communication). Vol. 13, Num. 4-5, pages 1–14, Cambridge U. Press, August 2013.
Reversible Language Extensions and their Application in Debugging
Z. Drey, J. F. Morales, Manuel Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL’13), LNCS, Vol. 7752, Springer, January 2013.
Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips
Zorana Bankovic, Pedro Lopez-Garcia. Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. Hybrid Artificial Intelligent Systems (HAIS 2013), Lecture Notes in Computer Science, Vol. 8073, pages 401–410, Springer, 2013.
From Relational Verification to SIMD Loop Synthesis
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron. From Relational Verification to SIMD Loop Synthesis. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, pages 123–134, ACM, 2013.
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
N. Stulova, J. F. Morales, Manuel Hermenegildo. Num. CLIP-1/2014.0, pages 26, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].
Abstract
Energy modelling and optimisation of software for a hardware multi-threaded embedded microprocessor
Energy modelling and optimisation of software for a hardware multi-threaded embedded microprocessor by S. Kerrison and K. Eder. Submitted to ACM Transactions in Embedded Computing Systems (TECS).
