2007
Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation
2006
J. Navas, Francisco Bueno, Manuel V. Hermenegildo	Efficient top-down set-sharing analysis using cliques
C. Ochoa, Germán Puebla, Manuel V. Hermenegildo	Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
E. Albert, Germán Puebla, John Gallagher	Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
John Gallagher, Germán Puebla, E. Albert	Converting one Type-Based Abstract Domain to Another
J. Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno	Experiments in Context-Sensitive Analysis of Modular Programs
Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen Craig, Marc Fontaine	The Ecce and Logen Partial Evaluators and their Web Interfaces
Maurice Bruynooghe, M. Codish, John Gallagher, S. Genaim, Wim Vanhoof	Termination Analysis of Logic Programs through Combination of Type-Based Norms
Michael Leuschel, Stephen Craig, Daniel Elphick	Supervising Offline Partial Evaluation of Logic Programs using Online Techniques
2005
Michael Leuschel, Michael Butler	Combining CSP and B for Specification and Property Verification
Michael Leuschel, Michael Butler	Automatic Refinement Checking for B
Michael Leuschel, Stephen Craig	A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation
Michael Leuschel, German Vidal	Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Qian Wang, Gopal Gupta, Michael Leuschel	Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro Lopéz-García	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor)
Jose Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo	A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization
Pedro Lopéz-García, Francisco Bueno, Manuel V. Hermenegildo	Determinacy Analysis for Logic Programs Using Mode and Type Information
Germán Puebla, E. Albert, Manuel V. Hermenegildo	Efficient Local Unfolding with Ancestor Stacks for Full Prolog
E. Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code
Germán Puebla, E. Albert, Manuel V. Hermenegildo	Abstract Interpretation-based Verification/Certification in the CiaoPP System
Manuel V. Hermenegildo, E. Albert, Pedro Lopéz-García, Germán Puebla	Abstraction Carrying Code and Resource-Awareness
Amadeo Casas, D. Cabeza, Manuel V. Hermenegildo	Functional Notation and Lazy Evaluation in Ciao
J. Navas, Francisco Bueno, Manuel V. Hermenegildo	A study of set-sharing analysis via cliques
Germán Puebla, E. Albert, Manuel V. Hermenegildo	A Generic Framework for the Analysis and Specialization of Logic Programs
E. Albert, Germán Puebla, Manuel V. Hermenegildo	An Abstract Interpretation-based Approach to Mobile Code Safety
E. Albert, Germán Puebla, John Gallagher	A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer
Andrew Moss, Henk Muller	Efficient Code Generation for a Domain Specific Language
Maurice Bruynooghe, John Gallagher, Wouter van Humbeeck	Inference of Well-Typings for Logic Programs with Application to Termination Analysis
John Gallagher, Kim S. Henriksen, Gourinath Banda	Techniques for Scaling Up Analyses Based on Pre-interpretations
Manuel Hermenegildo and Daniel Cabeza(Editor/en)	Practical Aspects of Declarative Languages
Stephen Craig, Michael Leuschel	Self-Tuning Resource Aware Specialisation for Prolog
2004
Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and Flexible Access Control via Logic Program Specialisation
Stephen Craig, John Gallagher, Michael Leuschel, Kim S. Henriksen	Fully Automatic Binding Time Analysis for Prolog
Stephen Craig, Michael Leuschel	Lix: An Effective Self-applicable Partial Evaluator for Prolog
Michael Leuschel	A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs
Michael Leuschel, Stephen Craig, Maurice Bruynooghe, Wim Vanhoof	Specializing Interpreters using Offline Partial Deduction
Michael Leuschel, Jesper Joergensen, Wim Vanhoof, Maurice Bruynooghe	Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel	Binding-Time Analysis for Mercury
Berndt Farwer, Michael Leuschel	Model Checking of Object Petri Nets in Prolog
D. Cabeza, Manuel V. Hermenegildo, James Lipton	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
E. Albert, Germán Puebla, Manuel V. Hermenegildo	Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems
E. Albert, Germán Puebla, Manuel V. Hermenegildo	Abstract Interpretation-based Mobile Code Certification
Jose Morales, Manuel Carro, Manuel V. Hermenegildo	Improving the Compilation of Prolog to C Using Moded Types and Determinism Information
J. Correas, J. M. Gomez, Manuel V. Hermenegildo	A Generic Persistence Model for CLP Systems (And Two Useful Implementations)
Francisco Bueno, Pedro Lopéz-García, Manuel V. Hermenegildo	Multivariant Non-Failure Analysis via Standard Abstract Interpretation
Francisco Bueno, Maria Garcia de la Banda	Set-Sharing is not always redundant for Pair-Sharing
Manuel V. Hermenegildo, E. Albert, Pedro Lopéz-García, Germán Puebla	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System
Germán Puebla, J. Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria Garcia de la Banda, K. Marriott, P. J. Stuckey	A Generic Framework for Context-Sensitive Analysis of Modular Programs
E. Albert, Germán Puebla, Manuel V. Hermenegildo	Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments
Germán Puebla, E. Albert	Efficient Leftmost Unfolding with Ancestor Stacks
Andrew Moss, Henk Muller	Model Generation for Temporal Properties of Reactive Components
Kim S. Henriksen, John Gallagher	Analysis and specialisation of a PIC processor
John Gallagher, Kim S. Henriksen	Abstract Domains Based on Regular Types
A. Flores, Juan Carlos Augusto, M. Polo, Mauricio Varea	Towards Context-aware Testing for Semantic Interoperability on PvC Environments
Maurice Bruynooghe, John Gallagher	Inferring Polymorphic Types from Logic Programs
Cliff Randell, Sharon Baurley, Matthew Chalmers, Henk Muller	Textile Tools for Wearable Computing
Mauricio Varea	Software Analysis and Development for Pervasive Systems
2003
Stephen Craig, Michael Leuschel	A Compiler Generator for Constraint Logic Programs
Daniel Elphick, Michael Leuschel, Simon Cox	Partial Evaluation of MATLAB
Helko Lehmann, Michael Leuschel	Inductive Theorem Proving by Program Specialisation: Generating proofs for Isabelle using Ecce (Invited talk)
Michael Leuschel(Editor/en)	Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\'03)
Germán Puebla, Manuel V. Hermenegildo	Abstract Specialization and its Applications
Manuel V. Hermenegildo, Germán Puebla, Pedro Lopéz-García	Program Development Using Abstract Interpretation (and The Ciao System Preprocessor)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno	Abstract Verification and Debugging of Constraint Logic Programs
Jose Morales, Manuel Carro, Manuel V. Hermenegildo	Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results
John Gallagher	A Program Transformation for Backwards Analysis of Logic Programs
J. Correas, J. M. Gomez, Manuel Carro, D. Cabeza, Manuel V. Hermenegildo	A Generic Persistence Model for (C)LP Systems
Julio C. Peralta, John Gallagher	Convex Hull Abstractions in Specialization of CLP Programs
2002
Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods
Michael Leuschel(Editor/en)	Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers
Claudio Vaucheret, Francisco Bueno	More Precise Yet Efficient Type Inference for Logic Programs
Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro Lopéz-García	Program Debugging and Validation Using Semantic Approximations and Partial Specifications
(Editor/en)	Static Analysis