Bishoksan Kafle, John P. Gallagher. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Computer Languages, Systems & Structures, Pergamon, November 2015. to appear.
A Top-to-Bottom View: Energy Analysis for Mobile Application Source Code
Xueliang Li, John P. Gallagher. A Top-to-Bottom View: Energy Analysis for Mobile Application Source Code. ArXiv e-prints, October 2015. submitted to a conference.
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs
Kyriakos Georgiou, Steve Kerrison, Kerstin Eder. On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. ArXiv e-prints:1510.07095, October 2015.
Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips
Zorana Bankovic, Pedro Lopez-Garcia. Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips. Neurocomputing, Vol. 150, pages 82–89, Elsevier, February 2015.
Constraint Specialisation in Horn Clause Verification
Bishoksan Kafle, John P. Gallagher. Constraint Specialisation in Horn Clause Verification. Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pages 85–90, Association for Computing Machinery, January 2015. PEPM, Mumbai.
Tree automata-based refinement with application to Horn clause verification
Bishoksan Kafle, John P. Gallagher. Tree automata-based refinement with application to Horn clause verification. Verification, Model Checking, and Abstract Interpretation – 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, Lecture Notes in Computer Science, Vol. 8931, pages 209–226, Springer, January 2015. VMCAI, Mumbai.
Description and Optimization of Abstract Machines in a Dialect of Prolog
J.F. Morales, M. Carro, Manuel Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. FirstView, pages 1–58, Cambridge University Press, January 2015.
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor
Steve Kerrison, Kerstin Eder. Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. ACM Trans. Embedded Comput. Syst., Vol. 14, Num. 3, 2015.
Static analysis of energy consumption for LLVM IR programs
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder. Static analysis of energy consumption for LLVM IR programs. Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, pages 12–21, ACM, 2015.
Decomposition by tree dimension in Horn clause verification
Bishoksan Kafle, John P. Gallagher, Pierre Ganty. Decomposition by tree dimension in Horn clause verification. Proc. of the 3rd International Workshop on Verification and Program Transformation (VPT’2015), EPTCS, Vol. 199, pages 1–14, 2015. arXiv:1512.03862.
