Publications on Program Analysis

2012

Izdihar Jamil, Sriram Subramanian, The Impact of Interactive Tables and Multiple Surfaces Technologies Towards Communication and Learning. Surface Learning Workshop, . March 2012. PDF, 113 Kbytes.

2011

Manuel Barbosa, Andrew Moss, Dan Page, Nuno Rodrigues, Paulo Silva., Type Checking Cryptography Implementations. Fundamentals of Software Engineering (FSEN), pp. 316–334. June 2011. No electronic version available.
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.

2010

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.
E. Bangerter, M. Barbosa, D.J. Bernstein, I. Damgard, D. Page, J.I. Pagter, A.-R. Sadeghi, S. Sovio, Using Compilers to Enhance Cryptographic Product Development. Information Security Solutions Europe (ISSE), pp. 291–301. January 2010. No electronic version available.

2009

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.
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.

2006

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.

2005

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.

2004

Andrew Moss, Henk Muller, Model Generation for Temporal Properties of Reactive Components. 1st International Workshop on Software Analysis and Development for Pervasive Systems. Mauricio Varea, (eds.), pp. 12–19. August 2004. PDF, 108 Kbytes.

2002

S. Genaim, M. Codish, J. Gallagher, V. Lagoon, Combining Norms to Prove Termination. Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002.. A. Cortesi, (eds.). ISBN ISBN 3-540-43631-6, pp. 126–138. April 2002. PDF, 193 Kbytes.
John P. Gallagher, German Puebla, Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, LNCS Vol. 2257. Shriram Krishnamurthi, C. R. Ramakrishnan, (eds.). ISBN 3-540-43092-X, pp. 243–261. January 2002. No electronic version available. External information

2001

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, German Puebla, Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. CSTR-01-003, Department of Computer Science, University of Bristol. May 2001. PDF, 253 Kbytes.

2000

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.

1999

J Bradley, Towards Reliable Modelling with Stochastic Process Algebras. PhD thesis. Department of Computer Science, University of Bristol. October 1999. PDF, 1919 Kbytes.
J Bradley, N Davies, Reliable Performance Modelling with Approximate Synchronisations. PAPM'99, Process Algebra and Performance Modelling. ISSN 8477335133, pp. 99–118. September 1999. PDF, 384 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.
J Bradley, N Davies, Reliable Performance Modelling with Approximate Synchronisations. CSTR-99-002, Department of Computer Science, University of Bristol. February 1999. PDF, 438 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.

1998

J Bradley, N Davies, Performance Modelling and Synchronisation. CSTR-98-009, Superseded by CSTR-99-002, Department of Computer Science, University of Bristol. December 1998. PDF, 433 Kbytes.
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.
H. Saglam, J. P. Gallagher, Constrained Regular Approximation of Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 282–299. June 1998. No electronic version available.
Julio C. Peralta, John P. Gallagher, Huseyin Saglam, Analysis of Imperative Programs through Analysis of Constraint Logic Programs. CSTR-98-007, Department of Computer Science, University of Bristol. April 1998. PDF, 212 Kbytes.
J Bradley, N Davies, Compositional BDD Construction: A Lazy Algorithm. CSTR-98-005, Department of Computer Science, University of Bristol. April 1998. PDF, 226 Kbytes.

1997

Huseyin Saglam, A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis. Department of Computer Science, University of Bristol. December 1997. PDF, 784 Kbytes.
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.
Ian M. Marshall, Simon Price, Patricia I. Dugard, William B. Samson, Code-based analysis of the development effort of a large scale courseware project. Information and Software Technology, 9(8). ISSN 09505849, pp. 541–549. August 1997. PDF, 890 Kbytes. External information
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

1993

H. Zhu, P. Hall, J. May, Inductive Inference and Software Testing. Journal of Software Testing, Verification and Reliability, 2 (2). ISSN 0960-0833, pp. 69–81. September 1993. No electronic version available.