Recent Papers of Patricia M. Hill

There is also a full list of most of my published papers since 1991

Submitted for Publication	A Practical Tool for Analyzing the Distribution of Numerical Values , with Roberto Bagnara, Katy Dobson, Matthew Mundell and Enea Zaffanella. Submitted.. Deriving Escape Analysis by Abstract Interpretation, with Fausto Spoto. Submitted to the Journal for Higher-Order and Symbolic Computation.
To Appear	Widening Operators for Powerset Domains, with Roberto Bagnara and Enea Zaffanella. To appear in the International Journal on Software Tools for Technology Transfer.
Published in 2005	A Linear Domain for Analyzing the Distribution of Numerical Values, with Roberto Bagnara, Katy Dobson, Matthew Mundell and Enea Zaffanella. Technical Report. Number 2005.06, School of Computing, University of Leeds. Widening Operators for Weakly-Relational Numeric Abstractions with Roberto Bagnara, Elena Mazzi and Enea Zaffanella. In Proceedings of the 12th International Symposium on Static Analysis (SAS'05) (London, UK, September 2005), vol. 3672 of Lecture Notes in Computer Science, C. Hankin and I. Silveroni, Eds., pp. 3-18. Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation, with Roberto Bagnara and Enea Zaffanella. Theory and Practice of Logic Programming 5 (1&2): 1-43, January 2005. Not Necessarily Closed Convex Polyhedra and the Double Description Method, with Roberto Bagnara and Enea Zaffanella. Formal Aspects of Computing 17, 2 (August 2005), pp. 222-257. Precise Widening Operators for Convex Polyhedra, with Roberto Bagnara, Elisa Ricci, and Enea Zaffanella. Science of Computer Programming 58, 1-2 (October 2005), pp. 28-56.
Published in 2004	Finite-Tree Analysis for Constraint Logic-Based Languages, with Roberto Bagnara, Enea Zaffanella and Roberta Gori, Information and Computation 193 (2): 84-116, 2004. A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages, with Enea Zaffanella and Roberto Bagnara, Theory and Practice of Logic Programming 4 (3): 289-323, 2004. Widening Operators for Powerset Domains, with Roberto Bagnara and Enea Zaffanella. In Verification, Model Checking and Abstract Interpretation, Fifth International Conference, VMCAI 2004, Venice, Italy, January 2004. An Interval Constraint System for Lattice Domains, with Antonio Fernandez. ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1): 1-26, 2004
Published in 2003	Logic Programs as Compact Denotations, with Fausto Spoto. Elsevier Computer Languages, Systems and Structures. Precise Widening Operators for Convex Polyhedra with Roberto Bagnara, Eliza Ricci and Enea Zaffanella in Proceedings of the Static Analysis, 10th International Symposium, SAS 2003. A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra with Roberto Bagnara and Enea Zaffanella in the Proceedings of the 3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003. Logic Programs as Compact Denotations, with Fausto Spoto. In Practical Aspects of Declarative Languages: The Fifth International Symposium, PADL 2003, New Orleans, 13-14 Jan 2003. vol. 2562 of Lecture Notes in Computer Science, Veronica Dahl, Phil Wadler, Eds., pp. 339--356.
Published in 2002	Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, with Roberto Bagnara, Elisa Ricci, Enea Zaffanella. In Static Analysis, 9th International Symposium, SAS 2002, vol. 2477 of Lecture Notes in Computer Science, M. Hermenegildo, G. Puebla, Eds., pp. 213--229. A Foundation of Escape Analysis, with Fausto Spoto. In 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, St. Gilles les Bains, Reunion Island, France, September 9-13, 2002, vol. 2422 of Lecture Notes in Computer Science, H. Kirchner, C. Ringeissen, Eds., pp. 380--395. Generalising Def and Pos to Type Analysis, with Fausto Spoto. The Journal of Logic and Computation. Set-Sharing is Redundant for Pair-Sharing, with Roberto Bagnara and Enea Zaffanella. Theoretical Computer Science . A Refinement of the Escape Property, with Fausto Spoto. In Verification, Model Checking and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 2002, Revised Papers. vol. 2294 of Lecture Notes in Computer Science, Agostino Cortesi, Ed., pp 154-166. Soundness, Idempotence and Commutativity of Set-Sharing, with Roberto Bagnara and Enea Zaffanella. Theory and Practice of Logic Programming 2, 2 (March 2002), pp. 155-201. Decomposing Non-Redundant Sharing by Complementation, with Enea Zaffanella and Roberto Bagnara. Theory and Practice of Logic Programming 2, 2 (March 2002), pp. 233-261.
Published in 2001	Boolean Functions for Finite-Tree Dependencies, with Roberto Bagnara, Enea Zaffanella, and Roberta Gori. In Logic for Programming, Artificial Intelligence, and Reasoning; 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, vol. 2250 of Lecture Notes in Computer Science, R. Nieuwenhuis and A. Voronkov, Eds., pp. 575-589. Finite-Tree Analysis for Constraint Logic-Based Languages, with Roberto Bagnara, Roberta Gori, and Enea Zaffanella. In 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings vol. 2126 of Lecture Notes in Computer Science, P. Cousot, Ed., pp. 165-184. Verifying termination and error-freedom of logic programs with block declarations, with Jan-Georg Smaus and Andy King. In the Theory and Practice of Logic Programming Volume 1(4), pp. 447-486 (2001).
Published in 2000	Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation, Roberto Bagnara, Enea Zaffanella and Patricia M. Hill. In Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00) Efficient Structural Information Analysis for Real CLP Languages: Roberto Bagnara, Patricia M. Hill and Enea Zaffanella. In Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000) Analysis of Downward Closed Properties of Logic Programs: Patricia M. Hill and Fausto Spoto. In Proc. of the International Conference on Algebraic Methodology and Software Technology (AMAST'2000). Abstract Domains for Universal and Existential Properties: Andrew Heaton, Patricia M. Hill and Andy King. In Proceedings of European Symposium of Programming (ESOP 2000). Mode Analysis Domains for Typed Logic Programs: Jan-Georg Smaus, Patricia M. Hill and Andy King. In Logic Based Program Synthesis and Transformation, the post-conference proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR-99). Constraint propagation on Multiple Domains: Antonio Fernandez and Patricia M. Hill. In Proceedings of the 9th International Workshop on Functional and Logic Programming (WFLP'00). A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains: Antonio Fernandez and Patricia M. Hill. In Journal of Constraints, Kluwer academic publishers, ISBN 1383-7133, Volume 5, Issue 3, July 2000, pp. 279-305.
Published in 1999	Widening Sharing: Enea Zaffanella, Roberto Bagnara and Patricia M. Hill. In Proceedings of the 1st International Conference on Principles and Practice of Declarative Programming (PPDP'99) Decomposing non-redundant sharing by complementation: Enea Zaffanella, Patricia M. Hill and Roberto Bagnara. In Proceedings of the 6th International Symposium on Static Analysis (SAS'99) Freeness Analysis through Linear Refinement: Patricia M. Hill and Fausto Spoto. In Proceedings of the 6th International Symposium on Static Analysis (SAS'99) Negative Constraints: Antonio Fernandez and Patricia M. Hill. In Proceedings of the APPIA-GULP-PRODE'99 Joint Conference on Declarative Programming. Interval Constraint Solving over Lattices using Chaotic Iteration: Antonio Fernandez and Patricia M. Hill. In Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints. Quotienting Share for Dependency Analysis: Andy King, Jan-Georg Smaus, and Patricia M. Hill. In Proceedings of European Symposium of Programming (ESOP 1999). An Interval Lattice-based Constraint Solving Framework for Lattices: Antonio Fernandez and Patricia M. Hill. In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS-99).
Selected Publications before 1999	A module system for meta-programming: Patricia M. Hill. In Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta-Programming in Logic, (LOPSTR'94 and META'94)
Other Links	Papers for EPSRC project: Software Support for CLP Technical Reports at Leeds

Home | Personal Info | Research |Papers | Interests | People | Links