Andy King

发表

Logahedra: A New Weakly Relational Domain

Jacob M. Howe, Andy King, A. King, 2009, ATVA.

Convex hull of planar h-polyhedra

Andy King, Axel Simon, 2004, Int. J. Comput. Math..

A Pearl on SAT Solving in Prolog (Logic Programming Newsletter)

Jacob M. Howe, Andy King, 2011 .

Proceedings of the 14th symposium on Principles and practice of declarative programming

Gerda Janssens, Danny De Schreye, Andy King, 2012, PPDP 2012.

Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)

Thomas W. Reps, Alan Mycroft, Andy King, 2012, Dagstuhl Reports.

A simple polynomial groundness analysis for logic programs

Andy King, Michael Codish, Andy Heaton, 2000, J. Log. Program..

A backward analysis for constraint logic programs

Andy King, Lunjin Lu, A. King, 2001, Theory and Practice of Logic Programming.

Incremental Closure for Systems of Two Variables Per Inequality

Jacob M. Howe, Andy King, Axel Simon, 2019, Theor. Comput. Sci..

Loop Leaping with Closures

Stefan Kowalewski, Jörg Brauer, Sebastian Biallas, 2012, SAS.

Introduction to the 32nd International Conference on Logic Programming Special Issue

Manuel Carro, Andy King, M. Carro, 2016, Theory and Practice of Logic Programming.

Proofs you can believe in: proving equivalences between Prolog semantics in Coq

Andy King, Sandrine Blazy, Jael Kriener, 2013, PPDP.

Optimising the Volgenant-Jonker algorithm for approximating graph edit distance

Andy King, Aziem Chawdhary, William Jones, 2017, Pattern Recognit. Lett..

A pearl on SAT and SMT solving in Prolog

Jacob M. Howe, Andy King, A. King, 2012, Theor. Comput. Sci..

Lazy Set-Sharing Analysis

Xuan Li, Andy King, Lunjin Lu, 2006, FLOPS.

Detecting and Exploiting Determinacy in Logic Programs

Andy King, Patricia M. Hill, 1998 .

Generating Efficient, Terminating Logic Programs

Andy King, Jonathan C. Martin, 1997, TAPSOFT.

Share x Free Revisited

Andy King, 1995 .

On the Inference of Natural Level Mappings

Andy King, Jonathan C. Martin, 2004, Program Development in Computational Logic.

Taming the Wrapping of Integer Arithmetic

Andy King, Axel Simon, A. King, 2007, SAS.

An anytime symmetry detection algorithm for ROBDDs

Andy King, Neil Kettle, 2006, Asia and South Pacific Conference on Design Automation, 2006..

Integer Polyhedra for Program Analysis

Jacob M. Howe, Andy King, Philip J. Charles, 2009, AAIM.

Approximate Quantifier Elimination for Propositional Boolean Formulae

Jörg Brauer, Andy King, A. King, 2011, NASA Formal Methods.

Accurate Comparison of Binary Executables

Andy King, Edward Robbins, Martial Bourquin, 2013 .

A Backward Analysis for Constraint Logic Programs (appendix for journal paper)

Andy King, Lunjin Lu, 2001 .

X-tegration - Some Cross-Enterprise Thoughts

Jacob M. Howe, Andy King, Ashish Gupta, 2001, ICLP.

Domain Construction for Mode Analysis of Typed Logic Programs

Andy King, Jan-Georg Smaus, Patricia M. Hill, 1997, ICLP.

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Andy King, Jan-Georg Smaus, Patricia M. Hill, 2001, Theory Pract. Log. Program..

Depth-k Sharing and Freeness

Andy King, Paul Soper, 1994, ICLP.

BinSlayer: accurate comparison of binary executables

Andy King, Edward Robbins, Martial Bourquin, 2013, PPREW '13.

Theory propagation and rational-trees

Jacob M. Howe, Andy King, Edward Robbins, 2013, PPDP.

Transfer Function Synthesis without Quantifier Elimination (long version)

Jörg Brauer, Andy King, 2012 .

Using Probability to Reason about Soft Deadlines

Andy King, Jeremy W. Bryans, J. Bryans, 1998 .

Continuation compilation for concurrent logic programming

Andy King, Paul Soper, B Kemp, 1994 .

Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry pdf

Andy King, 2009, ArXiv.

Determinacy Inference for Logic Programs

Andy King, Lunjin Lu, 2005, ESOP.

Simple and Efficient Algorithms for Octagons

Andy King, Aziem Chawdhary, Edward Robbins, 2014, APLAS.

Revisiting Volgenant-Jonker for Approximating Graph Edit Distance

Andy King, Aziem Chawdhary, William Jones, 2015, GbRPR.

Widening Polyhedra with Landmarks

Andy King, Axel Simon, 2006, APLAS.

Mode Analysis Domains for Typed Logic Programs

Andy King, Jan-Georg Smaus, Patricia M. Hill, 1999, LOPSTR.

Ordering Optimizations for Concurrent Logic Programs

Andy King, Paul Soper, A. King, 1992, LFCS.

Functional and Logic Programming

Andy King, Oleg Kiselyov, 2016, Lecture Notes in Computer Science.

Editorial (special issue on rule based programming)

Olivier Danvy, Carolyn L. Talcott, Pierre-Etienne Moreau, 2006 .

An evaluation of the use of personal water craft to create technical and physical overload in training of an elite surfer

Andy King, Jeremy M. Sheppard, Lina Lundgren, 2014 .

Mutual Exclusion by Interpolation

Andy King, Jael Kriener, A. King, 2012, FLOPS.

Semantics for Prolog with Cut - Revisited

Andy King, Jael Kriener, 2014, FLOPS.

Untangling Reverse Engineering with Logic and Abstraction

Andy King, 2009, ICLP.

Control Generation by Program Transformation

Andy King, Jonathan C. Martin, 2006, Fundam. Informaticae.

Compile-Time Analysis of Concurrent Logic Programs for Multi-processors

Andy King, Paul Soper, 1990, Dagstuhl Seminar on Parallelization in Inference Systems.

Analysis of Logic Programs with Delay

Andy King, Patricia M. Hill, Andrew Heaton, 1997, LOPSTR.

Three Optimisations for Sharing

Jacob M. Howe, Andy King, 2003, Theory Pract. Log. Program..

A Framework for Sharing Analysis

Andy King, 1993, ICLP-Workshops on Implementation of Logic Programming Systems.

Backward Pair Sharing Analysis

Andy King, Lunjin Lu, 2004, FLOPS.

Inferring Argument Size Relationships with CLP(R)

Andy King, Florence Benoy, 1996, LOPSTR.

Specialising Finite Domain Programs Using Polyhedra

Jacob M. Howe, Andy King, 1999, ECOOP Workshops.

Partial Evaluation for Java Malware Detection

Andy King, Ranjeet Singh, 2014, LOPSTR.

Serialisation Analysis of Concurrent Logic Programs

Andy King, Paul Soper, 1992, ALP.

Distance: A New Metric for Controlling Granularity for Parallel Execution

Vítor Santos Costa, Andy King, Kish Shen, 1999, J. Funct. Log. Program..

Analyzing String Buffers in C

Andy King, Axel Simon, A. King, 2002, AMAST.

Range Analysis of Microcontroller Code Using Bit-Level Congruences

Stefan Kowalewski, Jörg Brauer, Andy King, 2010, FMICS.

Determinacy Inference for Prolog (appendix for conference submission)

Andy King, Jael Kriener, 2011 .

Detecting Determinacy in Prolog Programs

Samir Genaim, Andy King, Lunjin Lu, 2006, ICLP.

A Synergistic Analysis for Sharing and Groundness with Traces Linearity

Andy King, A. King, 1994, ESOP.

Inferring non-suspension conditions for logic programs with dynamic scheduling

Samir Genaim, Andy King, S. Genaim, 2008, TOCL.

Abstract Domains for Universal and Existential Properties

Andy King, Patricia M. Hill, Andrew Heaton, 2000, ESOP.

Abstract interpretation of microcontroller code: Intervals meet congruences

Stefan Kowalewski, Jörg Brauer, Andy King, 2013, Sci. Comput. Program..

Pair-sharing over rational trees

Andy King, 2000, J. Log. Program..

Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016) pdf

Manuel Carro, Andy King, 2016, ArXiv.

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations

Andy King, Jan-Georg Smaus, Patricia M. Hill, 1998, LOPSTR.

Transfer Function Synthesis without Quantifier Elimination

Jörg Brauer, Andy King, A. King, 2011, Log. Methods Comput. Sci..

Typed Norms for Typed Logic Programs

Andy King, Jonathan C. Martin, Paul Soper, 1996, LOPSTR.

A Pearl on SAT Solving in Prolog

Jacob M. Howe, Andy King, 2010, FLOPS.

Range Analysis of Binaries with Minimal Effort

Andy King, Edd Barrett, A. King, 2012, FMICS.

Widening ROBDDs with Prime Implicants

Andy King, Tadeusz Strzemecki, Neil Kettle, 2006, TACAS.

Existential Quantification as Incremental SAT

Jörg Brauer, Andy King, Jael Kriener, 2011, CAV.

Schedule Analysis of Concurrent Logic programs

Andy King, Paul Soper, 1992, JICSLP.

Evaluation of a robotic arm for echocardiography to X-ray image registration during cardiac catheterization procedures

YingLiang Ma, Kawal S. Rhode, Graeme P. Penney, 2009, 2009 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

Abstracting numeric constraints with Boolean functions

Jacob M. Howe, Andy King, 2000, Inf. Process. Lett..

Quotienting Share for Dependency Analysis

Andy King, Jan-Georg Smaus, Patricia M. Hill, 1999, ESOP.

From MinX to MinC: semantics-driven decompilation of recursive datatypes

Tom Schrijvers, Andy King, Edward Robbins, 2015, POPL.

Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Andy King, 2008, LOPSTR.

The two variable per inequality abstract domain

Andy King, Axel Simon, A. King, 2010, High. Order Symb. Comput..

Termination of Logic Programs with block Declarations Running in Several Modes

Andy King, Jan-Georg Smaus, Patricia M. Hill, 1998, PLILP/ALP.

Correctness of Set-Sharing with Linearity

Jacob M. Howe, Andy King, 2002 .

Automatic Abstraction for Intervals Using Boolean Formulae

Jörg Brauer, Andy King, A. King, 2010, SAS.

Forward versus Backward Verification of Logic Programs (appendix for conference submission)

Andy King, Lunjin Lu, 2003 .

Reducing Scheduling Overheads for Concurrent Logic Programs

Andy King, Paul Soper, 1991, PDK.

Lower-bound Time-complexity Analysis of Logic Programs

Andy King, Kish Shen, Florence Benoy, 1997, ILPS.

MODELLING AND MEASUREMENT OF PLASTIC DEFORMATION AND GRAIN ROTATION IN 3D AT THE GRAIN-TO-GRAIN LEVEL

Philip J. Withers, Andy King, Igor Simonovski, 2011 .

Forward versus Backward Verification of Logic Programs

Andy King, Lunjin Lu, A. King, 2003, ICLP.

An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs

Andy King, Neil Kettle, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Compact Difference Bound Matrices

Andy King, Aziem Chawdhary, 2017, APLAS.

Theory learning with symmetry breaking

Jacob M. Howe, Andy King, Edward Robbins, 2017, PPDP.

Partial evaluation of string obfuscations for Java malware detection

Andy King, Aziem Chawdhary, Ranjeet Singh, 2016, Formal Aspects of Computing.

Collapsing Closures

Xuan Li, Andy King, Lunjin Lu, 2006, ICLP.

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

Samir Genaim, Andy King, 2003, ESOP.

Implementing Groundness Analysis with Definite Boolean Functions

Jacob M. Howe, Andy King, A. King, 2000, ESOP.

Analysing Logic Programs by Reasoning Backwards

Jacob M. Howe, Andy King, Lunjin Lu, 2004, Program Development in Computational Logic.

RedAlert: Determinacy inference for Prolog pdf

Andy King, Jael Kriener, 2011, Theory Pract. Log. Program..

Benchmarks, assembly files, and witnesses

Tom Schrijvers, Andy King, Ed Robbins, 2015 .

Efficient Groundness Analysis in Prolog

Jacob M. Howe, Andy King, 2003, Theory Pract. Log. Program..

A Framework for Freeness Analysis

Andy King, 1994 .

Exploiting Sparsity in Polyhedral Analysis

Andy King, Axel Simon, A. King, 2005, SAS.

Preface for SCP special issue on Principles and Practice of Declarative Programming

Andy King, 2014, Sci. Comput. Program..

Closing the Performance Gap Between Doubles and Rationals for Octagons

Andy King, Aziem Chawdhary, 2018, SAS.

Front Matter, Table of Contents, Preface, List of Authors

Marina De Vos, Manuel Carro, Andy King, 2016, ICLP.

Two Variables per Linear Inequality as an Abstract Domain

Jacob M. Howe, Andy King, Axel Simon, 2002, LOPSTR.

Abstracting Builtins for Groundness Analysis

Andy King, Andrew Heaton, 2000 .

Determinacy and determinacy analysis

Andy King, Patricia M. Hill, P. Hill, 1997, J. Program. Lang..

Polyhedral Analysis Using Parametric Objectives

Jacob M. Howe, Andy King, A. King, 2012, SAS.

High Precision Sharing Analysis

Andy King, 1994 .

Incrementally closing octagons

Andy King, Aziem Chawdhary, Edward Robbins, 2016, Formal Methods Syst. Des..

Theory propagation and reification

Jacob M. Howe, Andy King, Edward Robbins, 2015, Sci. Comput. Program..

A Semantic Basis for Specialising Domain Constraints

Jacob M. Howe, Andy King, 1999 .

Preface: Functional and Logic Programming (FLOPS 2016)

Andy King, Oleg Kiselyov, 2018, Sci. Comput. Program..

Backward Type Inference Generalises Type Checking

Andy King, Lunjin Lu, 2002, SAS.

Computing convex hulls with a linear solver

Frédéric Mesnard, Andy King, Florence Benoy, 2003, Theory and Practice of Logic Programming.

Transfer Function Synthesis without Quantifier Elimination

Jörg Brauer, Andy King, 2011, ESOP.

Abstract Matching Can Improve on Abstract Unification

Andy King, Mark Longley, 1995 .

Correctness of Closure Collapsing (appendix to conference submission)

Andy King, Lunjin Lu, Xuan Li, 2006 .

Range and Set Abstraction using SAT

Andy King, Edd Barrett, 2010, Electron. Notes Theor. Comput. Sci..

Widening Positive Boolean functions forGoal-dependent

Andy King, Andy Heaton, Muhamed Abo-Zaed, 1998 .