Andy King

126 papers A* 3A 9B 21C 18Misc 7Journal 44Unranked 21
YearRankTypeTitle / Venue / Authors
2025 B conf
Abstract Subtyping for Asynchronous Multiparty Sessions.
CONCUR
Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson
2025 J jnl
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions.
Log. Methods Comput. Sci.
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
2024 — conf
Asynchronous Subtyping by Trace Relaxation.
TACAS (1)
Laura Bocchi, Andy King, Maurizio Murgia
2024 J jnl
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.
CoRR
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
2023 B conf
Polynomial Analysis of Modular Arithmetic.
SAS
Thomas Seed, Chris Coppins, Andy King, Neil Evans
2023 C conf
Safe Asynchronous Mixed-Choice for Timed Interactions.
COORDINATION
Jonah Pears, Laura Bocchi, Andy King
2023 J jnl
Safe asynchronous mixed-choice for timed interactions.
CoRR
Jonah Pears, Laura Bocchi, Andy King
2021 J jnl
Backjumping is Exception Handling.
Theory Pract. Log. Program.
Ed Robbins, Andy King, Jacob M. Howe
2020 J jnl
Backjumping is Exception Handling.
CoRR
Edward Robbins, Andy King, Jacob M. Howe
2020 — conf
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.
TACAS (1)
Takamasa Okudono, Andy King
2020 A conf
Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.
SAT
Thomas Seed, Andy King, Neil Evans
2019 J jnl
Incremental Closure for Systems of Two Variables Per Inequality.
Theor. Comput. Sci.
Jacob M. Howe, Andy King, Axel Simon
2019 J jnl
Incrementally closing octagons.
Formal Methods Syst. Des.
Aziem Chawdhary, Edward Robbins, Andy King
2018 B conf
Closing the Performance Gap Between Doubles and Rationals for Octagons.
SAS
Aziem Chawdhary, Andy King
2018 J jnl
Preface: Functional and Logic Programming (FLOPS 2016).
Sci. Comput. Program.
Oleg Kiselyov, Andy King
2017 B conf
Compact Difference Bound Matrices.
APLAS
Aziem Chawdhary, Andy King
2017 J jnl
Optimising the Volgenant-Jonker algorithm for approximating graph edit distance.
Pattern Recognit. Lett.
William Jones, Aziem Chawdhary, Andy King
2017 J jnl
Partial evaluation of string obfuscations for Java malware detection.
Formal Aspects Comput.
Aziem Chawdhary, Ranjeet Singh, Andy King
2017 C conf
Theory learning with symmetry breaking.
PPDP
Jacob M. Howe, Edward Robbins, Andy King
2016 A* conf
From MinX to MinC: semantics-driven decompilation of recursive datatypes.
POPL
Edward Robbins, Andy King, Tom Schrijvers
2016 Misc ed.
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
FLOPS
Oleg Kiselyov, Andy King
2016 J jnl
Incrementally Closing Octagons.
CoRR
Aziem Chawdhary, Edward Robbins, Andy King
2016 J jnl
Introduction to the 32nd International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program.
Manuel Carro, Andy King
2016 J jnl
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016).
CoRR
Manuel Carro, Andy King
2016 — ed.
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, New York City, USA, October 16-21, 2016
ICLP (Technical Communications)
Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos
2015 — conf
Revisiting Volgenant-Jonker for Approximating Graph Edit Distance.
GbRPR
William Jones, Aziem Chawdhary, Andy King
2015 J jnl
Theory propagation and reification.
Sci. Comput. Program.
Edward Robbins, Jacob M. Howe, Andy King
2014 C conf
Partial Evaluation for Java Malware Detection.
LOPSTR
Ranjeet Singh, Andy King
2014 J jnl
Preface for SCP special issue on Principles and Practice of Declarative Programming.
Sci. Comput. Program.
Andy King
2014 C ed.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014
PPDP
Olaf Chitil, Andy King, Olivier Danvy
2014 Misc conf
Semantics for Prolog with Cut - Revisited.
FLOPS
Jael Kriener, Andy King
2014 B conf
Simple and Efficient Algorithms for Octagons.
APLAS
Aziem Chawdhary, Edward Robbins, Andy King
2013 J jnl
Abstract interpretation of microcontroller code: Intervals meet congruences.
Sci. Comput. Program.
Jörg Brauer, Andy King, Stefan Kowalewski
2013 — conf
BinSlayer: accurate comparison of binary executables.
PPREW@POPL
Martial Bourquin, Andy King, Edward Robbins
2013 C conf
Proofs you can believe in: proving equivalences between Prolog semantics in Coq.
PPDP
Jael Kriener, Andy King, Sandrine Blazy
2013 C conf
Theory propagation and rational-trees.
PPDP
Edward Robbins, Jacob M. Howe, Andy King
2012 J jnl
A pearl on SAT and SMT solving in Prolog.
Theor. Comput. Sci.
Jacob M. Howe, Andy King
2012 J jnl
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).
Dagstuhl Reports
Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon
2012 B conf
Loop Leaping with Closures.
SAS
Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
2012 Misc conf
Mutual Exclusion by Interpolation.
FLOPS
Jael Kriener, Andy King
2012 B conf
Polyhedral Analysis Using Parametric Objectives.
SAS
Jacob M. Howe, Andy King
2012 C ed.
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012
PPDP
Danny De Schreye, Gerda Janssens, Andy King
2012 C conf
Range Analysis of Binaries with Minimal Effort.
FMICS
Edd Barrett, Andy King
2012 J jnl
Transfer Function Synthesis without Quantifier Elimination
Log. Methods Comput. Sci.
Jörg Brauer, Andy King
2011 — conf
Approximate Quantifier Elimination for Propositional Boolean Formulae.
NASA Formal Methods
Jörg Brauer, Andy King
2011 A* conf
Existential Quantification as Incremental SAT.
CAV
Jörg Brauer, Andy King, Jael Kriener
2011 J jnl
RedAlert: Determinacy Inference for Prolog
CoRR
Jael Kriener, Andy King
2011 J jnl
RedAlert: Determinacy inference for Prolog.
Theory Pract. Log. Program.
Jael Kriener, Andy King
2011 A conf
Transfer Function Synthesis without Quantifier Elimination.
ESOP
Jörg Brauer, Andy King
2010 Misc conf
A Pearl on SAT Solving in Prolog.
FLOPS
Jacob M. Howe, Andy King
2010 B conf
Automatic Abstraction for Congruences.
VMCAI
Andy King, Harald Søndergaard
2010 B conf
Automatic Abstraction for Intervals Using Boolean Formulae.
SAS
Jörg Brauer, Andy King
2010 — conf
Quadtrees as an Abstract Domain.
NSAD@SAS
Jacob M. Howe, Andy King, Charles Lawrence-Jones
2010 C conf
Range Analysis of Microcontroller Code Using Bit-Level Congruences.
FMICS
Jörg Brauer, Andy King, Stefan Kowalewski
2010 — conf
Range and Set Abstraction using SAT.
NSAD@SAS
Edd Barrett, Andy King
2010 J jnl
The two variable per inequality abstract domain.
High. Order Symb. Comput.
Axel Simon, Andy King
2009 C conf
Integer Polyhedra for Program Analysis.
AAIM
Philip J. Charles, Jacob M. Howe, Andy King
2009 B conf
Logahedra: A New Weakly Relational Domain.
ATVA
Jacob M. Howe, Andy King
2009 J jnl
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry
CoRR
Andy King
2009 B conf
Untangling Reverse Engineering with Logic and Abstraction.
ICLP
Andy King
2008 J jnl
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Neil Kettle, Andy King
2008 A* conf
Inferring Congruence Equations Using SAT.
CAV
Andy King, Harald Søndergaard
2008 J jnl
Inferring non-suspension conditions for logic programs with dynamic scheduling.
ACM Trans. Comput. Log.
Samir Genaim, Andy King
2008 C ed.
Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
LOPSTR
Andy King
2007 B conf
Taming the Wrapping of Integer Arithmetic.
SAS
Axel Simon, Andy King
2006 — conf
An anytime symmetry detection algorithm for ROBDDs.
ASP-DAC
Neil Kettle, Andy King
2006 B conf
Collapsing Closures.
ICLP
Xuan Li, Andy King, Lunjin Lu
2006 J jnl
Control Generation by Program Transformation.
Fundam. Informaticae
Andy King, Jonathan C. Martin
2006 B conf
Detecting Determinacy in Prolog Programs.
ICLP
Andy King, Lunjin Lu, Samir Genaim
2006 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
2006 Misc conf
Lazy Set-Sharing Analysis.
FLOPS
Xuan Li, Andy King, Lunjin Lu
2006 B conf
Widening Polyhedra with Landmarks.
APLAS
Axel Simon, Andy King
2006 A conf
Widening ROBDDs with Prime Implicants.
TACAS
Neil Kettle, Andy King, Tadeusz Strzemecki
2005 J jnl
Computing convex hulls with a linear solver.
Theory Pract. Log. Program.
Florence Benoy, Andy King, Frédéric Mesnard
2005 A conf
Determinacy Inference for Logic Programs.
ESOP
Lunjin Lu, Andy King
2005 B conf
Exploiting Sparsity in Polyhedral Analysis.
SAS
Axel Simon, Andy King
2004 — ch.
Analysing Logic Programs by Reasoning Backwards.
Program Development in Computational Logic
Jacob M. Howe, Andy King, Lunjin Lu
2004 Misc conf
Backward Pair Sharing Analysis.
FLOPS
Lunjin Lu, Andy King
2004 J jnl
Convex Hull of Planar H-Polyhedra
CoRR
Axel Simon, Andy King
2004 J jnl
Convex hull of planar h-polyhedra.
Int. J. Comput. Math.
Axel Simon, Andy King
2004 — ch.
On the Inference of Natural Level Mappings.
Program Development in Computational Logic
Jonathan C. Martin, Andy King
2003 J jnl
Computing Convex Hulls with a Linear Solver
CoRR
Florence Benoy, Andy King, Frédéric Mesnard
2003 J jnl
Efficient Groundness Analysis in Prolog.
Theory Pract. Log. Program.
Jacob M. Howe, Andy King
2003 B conf
Forward versus Backward Verification of Logic Programs.
ICLP
Andy King, Lunjin Lu
2003 A conf
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.
ESOP
Samir Genaim, Andy King
2003 J jnl
Three Optimisations for Sharing.
Theory Pract. Log. Program.
Jacob M. Howe, Andy King
2002 J jnl
A Backward Analysis for Constraint Logic Programs
CoRR
Andy King, Lunjin Lu
2002 J jnl
A Backward Analysis for Constraint Logic Programs.
Theory Pract. Log. Program.
Andy King, Lunjin Lu
2002 — conf
Analyzing String Buffers in C.
AMAST
Axel Simon, Andy King
2002 B conf
Backward Type Inference Generalises Type Checking.
SAS
Lunjin Lu, Andy King
2002 J jnl
Efficient Groundness Analysis in Prolog
CoRR
Jacob M. Howe, Andy King
2002 J jnl
Three Optimisations for Sharing
CoRR
Jacob M. Howe, Andy King
2002 C conf
Two Variables per Linear Inequality as an Abstract Domain.
LOPSTR
Axel Simon, Andy King, Jacob M. Howe
2001 B conf
Positive Boolean Functions as Multiheaded Clauses.
ICLP
Jacob M. Howe, Andy King
2001 J jnl
Verifying Termination and Error-Freedom of Logic Programs with
Theory Pract. Log. Program.
Jan-Georg Smaus, Patricia M. Hill, Andy King
2000 J jnl
A simple polynomial groundness analysis for logic programs.
J. Log. Program.
Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King
2000 A conf
Abstract Domains for Universal and Existential Properties.
ESOP
Andrew Heaton, Patricia M. Hill, Andy King
2000 J jnl
Abstracting numeric constraints with Boolean functions.
Inf. Process. Lett.
Jacob M. Howe, Andy King
2000 A conf
Implementing Groundness Analysis with Definite Boolean Functions.
ESOP
Jacob M. Howe, Andy King
2000 J jnl
Pair-sharing over rational trees.
J. Log. Program.
Andy King
2000 J jnl
Verifying Termination and Error-Freedom of Logic Programs with block Declarations
CoRR
Jan-Georg Smaus, Patricia M. Hill, Andy King
1999 J jnl
Distance: A New Metric for Controlling Granularity for Parallel Execution.
J. Funct. Log. Program.
Kish Shen, Vítor Santos Costa, Andy King
1999 C conf
Mode Analysis Domains for Typed Logic Programs.
LOPSTR
Jan-Georg Smaus, Patricia M. Hill, Andy King
1999 A conf
Quotienting
ESOP
Andy King, Jan-Georg Smaus, Patricia M. Hill
1999 C conf
Specialising Fininte Domain Programs Using Polyhedra.
LOPSTR
Jacob M. Howe, Andy King
1999 — conf
Specialising Finite Domain Programs Using Polyhedra.
ECOOP Workshops
Jacob M. Howe, Andy King
1998 — conf
Distance: A New Metric for Controlling Granularity for Parallel Execution.
IJCSLP
Kish Shen, Vítor Santos Costa, Andy King
1998 C conf
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.
LOPSTR
Jan-Georg Smaus, Patricia M. Hill, Andy King
1998 — conf
Termination of Logic Programs with block Declarations Running in Several Modes.
PLILP/ALP
Jan-Georg Smaus, Patricia M. Hill, Andy King
1997 C conf
Analysis of Logic Programs with Delay.
LOPSTR
Andrew Heaton, Patricia M. Hill, Andy King
1997 J jnl
Determinacy and determinacy analysis.
J. Program. Lang.
Patricia M. Hill, Andy King
1997 B conf
Domain Construction for Mode Analysis of Typed Logic Programs.
ICLP
Jan-Georg Smaus, Patricia M. Hill, Andy King
1997 — conf
Generating Efficient, Terminating Logic Programs.
TAPSOFT
Jonathan C. Martin, Andy King
1997 — conf
Lower-bound Time-complexity Analysis of Logic Programs.
ILPS
Andy King, Kish Shen, Florence Benoy
1996 C conf
Inferring Argument Size Relationships with CLP(R).
LOPSTR
Florence Benoy, Andy King
1996 C conf
Typed Norms for Typed Logic Programs.
LOPSTR
Jonathan C. Martin, Andy King, Paul Soper
1994 A conf
A Synergistic Analysis for Sharing and Groundness with Traces Linearity.
ESOP
Andy King
1994 — conf
Continuation Compilation for Concurrent Logic Programming.
AIRTC
B. Kemp, Paul Soper, Andy King
1994 B conf
Depth-k Sharing and Freeness.
ICLP
Andy King, Paul Soper
1993 — conf
A Framework for Sharing Analysis.
ICLP-Workshops on Implementation of Logic Programming Systems
Andy King
1993 — conf
A Framework for Sharing Analysis.
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems
Andy King
1992 Misc conf
Ordering Optimizations for Concurrent Logic Programs.
LFCS
Andy King, Paul Soper
1992 — conf
Schedule Analysis of Concurrent Logic programs.
JICSLP
Andy King, Paul Soper
1992 — conf
Serialisation Analysis of Concurrent Logic Programs.
ALP
Andy King, Paul Soper
1991 — conf
Reducing Scheduling Overheads for Concurrent Logic Programs.
PDK
Andy King, Paul Soper
1990 — conf
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors.
Dagstuhl Seminar on Parallelization in Inference Systems
Andy King, Paul Soper