Publications on Program Transformation

2011

Antoine Amarilli, Sascha Muller, David Naccache, Dan Page, Pablo Rauzy, Michael Tunstall, Can Code Polymorphism Limit Information Leakage?. Workshop in Information Security Theory and Practice - WISTP 2011, pp. 1–21. June 2011. No electronic version available.

Andrew Moss, Dan Page, Bridging the gap between symbolic and efficient AES implementations. Partial Evaluation and Program Manipulation (PEPM), pp. 101–110. January 2010. No electronic version available.

Manuel Barbosa, Andrew Moss, Dan Page, Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography . Journal of Cryptology, 22(2), pp. 259–281. April 2009. No electronic version available.
Steve Wright, Automatic Generation of C from Event-B. Workshop on Integration of Model-based Formal Methods and Tools. February 2009. PDF, 170 Kbytes.
M. Barbosa, A. Moss, D. Page, Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography. CSTR-11-003, Department of Computer Science, University of Bristol. January 2009. PDF, 278 Kbytes.

Manuel Carro, Jose Morales, Henk L Muller, G Puebla, M Hermenegildo, High Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems. ISSN 1595935436, pp. 271–281. October 2006. PDF, 427 Kbytes. External information
Henk L Muller, Cliff Randell, Andrew Moss, A 10mW Wearable Positioning System. International Symposium on Wearable Computing (ISWC) 2006. ISBN 1-4244-0597-1, pp. 47–50. October 2006. PDF, 79 Kbytes. External information
Andrew Moss, Program Transformation of Embedded Systems. PhD thesis. University of Bristol. July 2006. PDF, 735 Kbytes.
Henk Muller, Cliff Randell, Andrew Moss, A 10mW Wearable Positioning System. CSTR-06-015, University of Bristol. April 2006. PDF, 143 Kbytes.
Douglas Watt, David May, A Language and Processor for Unifying System-on-Chip Design. CSTR-06-010, University of Bristol, UK. April 2006. No electronic version available.

Andrew Moss, Henk Muller, Efficient Code Generation for a Domain Specific Language. Generative Programming and Component Engineering. ISBN 3-540-29138-5, pp. 47–62. September 2005. PDF, 136 Kbytes.

John P. Gallagher, Julio C. Peralta, Regular Tree Languages as an Abstract Domain in Program Specialisation. Higher-Order and Symbolic Computation, 14 (2-3). ISBN ISSN 1388-3690, pp. 143–172. November 2001. No electronic version available.

John P. Gallagher, Julio C. Peralta, Regular Trees as an Abstract Domain for Program Specialisation . CSTR-00-010, Department of Computer Science, University of Bristol. September 2000. PDF, 334 Kbytes.
Julio C. Peralta, Analysis and Specialisation of Imperative Programs: An approach using CLP. PhD thesis. Department of Computer Science, University of Bristol. July 2000. PDF, 802 Kbytes.
Julio C. Peralta, John P. Gallagher, Imperative Program Specialisation: An Approach Using CLP. Logic-Based Program Synthesis and Transformation (LOPSTR'99), (ed. A. Bossi), pp. 103–118. April 2000. No electronic version available.
John P. Gallagher, Julio C. Peralta, Using Regular Approximations for Generalisation During Partial Evaluation. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'2000), Boston, Mass., (ed. J. Lawall). ISBN 1-58113-201-8, pp. 44–51. January 2000. PDF, 124 Kbytes.

J Bradley, Towards Reliable Modelling with Stochastic Process Algebras. PhD thesis. Department of Computer Science, University of Bristol. October 1999. PDF, 1919 Kbytes.
Helen Wilson, Jeremy Bradley, A Note on the Proof of Reduction of Biconnected Digraphs to Normal Forms. CSTR-99-009, Department of Computer Science, University of Bristol. September 1999. PDF, 287 Kbytes.
Proceedings of the Fifteenth Annual UK Performance Engineering Workshop. J Bradley, N Davies, (eds.). Department of Computer Science, University of Bristol. ISSN 0952402785. July 1999. No electronic version available. External information
J Bradley, N Davies, An Aggregation Technique for Analysing Some Generally Distributed Stochastic Processes. CSTR-99-003, Department of Computer Science, University of Bristol. March 1999. PDF, 705 Kbytes.
Laura Lafave, A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis. Department of Computer Science, University of Bristol. February 1999. PDF, 889 Kbytes.
G. Puebla, M. Hermenegildo, J. P. Gallagher, An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999. , pp. 75–84. January 1999. PDF, 225 Kbytes.

L. Lafave, J. P. Gallagher, Extending the power of automatic constraint-based partial evaluators. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
J. P. Gallagher, L. Lafave, The role of trace abstractions in program specialization algorithms. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
J. C. Peralta, J. P. Gallagher, H. Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998. ISBN 3-540-65014-8, pp. 246–261. September 1998. No electronic version available.
L. Lafave, J. P. Gallagher, Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 168–188. June 1998. No electronic version available.
P. M. Hill, J. Gallagher, Meta-Programming in Logic Progamming. Chapter in Handbook of Logic in Artificial Intelligence and Logic Programming. D. M. Gabbay, C. J. Hogger, J. A. Robinson, (eds.). ISBN ISBN 0 19 853792 1, pp. 421–498. January 1998. No electronic version available.

Huseyin Saglam, John Gallagher, Constrained Regular Approximation of Logic Programs. CSTR-97-008, Department of Computer Science, University of Bristol. October 1997. PDF, 235 Kbytes.
Logic Program Synthesis and Transformation, 6th International Workshop, LOPSTR'96. John P. Gallagher, (eds.). Springer Verlag, Lecture Notes in Computer Science. ISBN 3-504-62718-9. March 1997. No electronic version available. External information