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.
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.
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.
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.
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.
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.
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.
Steve Kerrison, Kerstin Eder. Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. ACM Trans. Embedded Comput. Syst., Vol. 14, Num. 3, 2015.
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.