Andy King

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 21

Top Venues

CoRR

Sci. Comput. Program.

Theory Pract. Log. Program.

TACAS (1)

Publications

Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions. CoRR (2024)
Laura Bocchi, Andy King, Maurizio Murgia
Asynchronous Subtyping by Trace Relaxation. TACAS (1) (2024)
Jonah Pears, Laura Bocchi, Andy King
Safe asynchronous mixed-choice for timed interactions. CoRR (2023)
Thomas Seed, Chris Coppins, Andy King, Neil Evans
Polynomial Analysis of Modular Arithmetic. SAS (2023)
Jonah Pears, Laura Bocchi, Andy King
Safe Asynchronous Mixed-Choice for Timed Interactions. COORDINATION (2023)
Ed Robbins, Andy King, Jacob M. Howe
Backjumping is Exception Handling. Theory Pract. Log. Program. 21 (2) (2021)
Edward Robbins, Andy King, Jacob M. Howe
Backjumping is Exception Handling. CoRR (2020)
Takamasa Okudono, Andy King
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. TACAS (1) (2020)
Thomas Seed, Andy King, Neil Evans
Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases. SAT (2020)
Aziem Chawdhary, Edward Robbins, Andy King
Incrementally closing octagons. Formal Methods Syst. Des. 54 (2) (2019)
Jacob M. Howe, Andy King, Axel Simon
Incremental Closure for Systems of Two Variables Per Inequality. Theor. Comput. Sci. 768 (2019)
Aziem Chawdhary, Andy King
Closing the Performance Gap Between Doubles and Rationals for Octagons. SAS (2018)
Oleg Kiselyov, Andy King
Preface: Functional and Logic Programming (FLOPS 2016). Sci. Comput. Program. 164 (2018)
William Jones, Aziem Chawdhary, Andy King
Optimising the Volgenant-Jonker algorithm for approximating graph edit distance. Pattern Recognit. Lett. 87 (2017)
Aziem Chawdhary, Andy King
Compact Difference Bound Matrices. APLAS (2017)
Jacob M. Howe, Edward Robbins, Andy King
Theory learning with symmetry breaking. PPDP (2017)
Aziem Chawdhary, Ranjeet Singh, Andy King
Partial evaluation of string obfuscations for Java malware detection. Formal Aspects Comput. 29 (1) (2017)
Manuel Carro, Andy King
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). CoRR (2016)
Edward Robbins, Andy King, Tom Schrijvers
From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL (2016)
Aziem Chawdhary, Edward Robbins, Andy King
Incrementally Closing Octagons. CoRR (2016)
Manuel Carro, Andy King
Introduction to the 32nd International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 16 (5-6) (2016)
Edward Robbins, Jacob M. Howe, Andy King
Theory propagation and reification. Sci. Comput. Program. 111 (2015)
William Jones, Aziem Chawdhary, Andy King
Revisiting Volgenant-Jonker for Approximating Graph Edit Distance. GbRPR (2015)
Andy King
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 84 (2014)
Aziem Chawdhary, Edward Robbins, Andy King
Simple and Efficient Algorithms for Octagons. APLAS (2014)
Ranjeet Singh, Andy King
Partial Evaluation for Java Malware Detection. LOPSTR (2014)
Jael Kriener, Andy King
Semantics for Prolog with Cut - Revisited. FLOPS (2014)
Jörg Brauer, Andy King, Stefan Kowalewski
Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. 78 (7) (2013)
Edward Robbins, Jacob M. Howe, Andy King
Theory propagation and rational-trees. PPDP (2013)
Martial Bourquin, Andy King, Edward Robbins
BinSlayer: accurate comparison of binary executables. PPREW@POPL (2013)
Jael Kriener, Andy King, Sandrine Blazy
Proofs you can believe in: proving equivalences between Prolog semantics in Coq. PPDP (2013)
Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2 (1) (2012)
Jörg Brauer, Andy King
Transfer Function Synthesis without Quantifier Elimination Log. Methods Comput. Sci. 8 (3) (2012)
Jael Kriener, Andy King
Mutual Exclusion by Interpolation. FLOPS (2012)
Jacob M. Howe, Andy King
A pearl on SAT and SMT solving in Prolog. Theor. Comput. Sci. 435 (2012)
Jacob M. Howe, Andy King
Polyhedral Analysis Using Parametric Objectives. SAS (2012)
Edd Barrett, Andy King
Range Analysis of Binaries with Minimal Effort. FMICS (2012)
Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
Loop Leaping with Closures. SAS (2012)
Jörg Brauer, Andy King
Transfer Function Synthesis without Quantifier Elimination. ESOP (2011)
Jörg Brauer, Andy King
Approximate Quantifier Elimination for Propositional Boolean Formulae. NASA Formal Methods (2011)
Jörg Brauer, Andy King, Jael Kriener
Existential Quantification as Incremental SAT. CAV (2011)
Jael Kriener, Andy King
RedAlert: Determinacy Inference for Prolog CoRR (2011)
Jael Kriener, Andy King
RedAlert: Determinacy inference for Prolog. Theory Pract. Log. Program. 11 (4-5) (2011)
Jacob M. Howe, Andy King
A Pearl on SAT Solving in Prolog. FLOPS (2010)
Axel Simon, Andy King
The two variable per inequality abstract domain. High. Order Symb. Comput. 23 (1) (2010)
Jörg Brauer, Andy King, Stefan Kowalewski
Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS (2010)
Jörg Brauer, Andy King
Automatic Abstraction for Intervals Using Boolean Formulae. SAS (2010)
Edd Barrett, Andy King
Range and Set Abstraction using SAT. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Jacob M. Howe, Andy King, Charles Lawrence-Jones
Quadtrees as an Abstract Domain. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Andy King, Harald Søndergaard
Automatic Abstraction for Congruences. VMCAI (2010)
Andy King
Untangling Reverse Engineering with Logic and Abstraction. ICLP (2009)
Andy King
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry CoRR (2009)
Jacob M. Howe, Andy King
Logahedra: A New Weakly Relational Domain. ATVA (2009)
Philip J. Charles, Jacob M. Howe, Andy King
Integer Polyhedra for Program Analysis. AAIM (2009)
Samir Genaim, Andy King
Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log. 9 (3) (2008)
Neil Kettle, Andy King
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (4) (2008)
Andy King, Harald Søndergaard
Inferring Congruence Equations Using SAT. CAV (2008)
Axel Simon, Andy King
Taming the Wrapping of Integer Arithmetic. SAS (2007)
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
Editorial. High. Order Symb. Comput. 19 (4) (2006)
Neil Kettle, Andy King, Tadeusz Strzemecki
Widening ROBDDs with Prime Implicants. TACAS (2006)
Axel Simon, Andy King
Widening Polyhedra with Landmarks. APLAS (2006)
Xuan Li, Andy King, Lunjin Lu
Collapsing Closures. ICLP (2006)
Andy King, Lunjin Lu, Samir Genaim
Detecting Determinacy in Prolog Programs. ICLP (2006)
Neil Kettle, Andy King
An anytime symmetry detection algorithm for ROBDDs. ASP-DAC (2006)
Xuan Li, Andy King, Lunjin Lu
Lazy Set-Sharing Analysis. FLOPS (2006)
Andy King, Jonathan C. Martin
Control Generation by Program Transformation. Fundam. Informaticae 69 (1-2) (2006)
Lunjin Lu, Andy King
Determinacy Inference for Logic Programs. ESOP (2005)
Axel Simon, Andy King
Exploiting Sparsity in Polyhedral Analysis. SAS (2005)
Florence Benoy, Andy King, Frédéric Mesnard
Computing convex hulls with a linear solver. Theory Pract. Log. Program. 5 (1-2) (2005)
Lunjin Lu, Andy King
Backward Pair Sharing Analysis. FLOPS (2004)
Axel Simon, Andy King
Convex Hull of Planar H-Polyhedra CoRR (2004)
Axel Simon, Andy King
Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81 (3) (2004)
Florence Benoy, Andy King, Frédéric Mesnard
Computing Convex Hulls with a Linear Solver CoRR (2003)
Samir Genaim, Andy King
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. ESOP (2003)
Andy King, Lunjin Lu
Forward versus Backward Verification of Logic Programs. ICLP (2003)
Jacob M. Howe, Andy King
Efficient Groundness Analysis in Prolog. Theory Pract. Log. Program. 3 (1) (2003)
Jacob M. Howe, Andy King
Three Optimisations for Sharing. Theory Pract. Log. Program. 3 (2) (2003)
Axel Simon, Andy King, Jacob M. Howe
Two Variables per Linear Inequality as an Abstract Domain. LOPSTR (2002)
Andy King, Lunjin Lu
A Backward Analysis for Constraint Logic Programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Andy King, Lunjin Lu
A Backward Analysis for Constraint Logic Programs CoRR (2002)
Jacob M. Howe, Andy King
Efficient Groundness Analysis in Prolog CoRR (2002)
Jacob M. Howe, Andy King
Three Optimisations for Sharing CoRR (2002)
Axel Simon, Andy King
Analyzing String Buffers in C. AMAST (2002)
Lunjin Lu, Andy King
Backward Type Inference Generalises Type Checking. SAS (2002)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Declarations. Theory Pract. Log. Program. 1 (4) (2001)
Jacob M. Howe, Andy King
Positive Boolean Functions as Multiheaded Clauses. ICLP (2001)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Verifying Termination and Error-Freedom of Logic Programs with block Declarations CoRR (2000)
Andy King
Pair-sharing over rational trees. J. Log. Program. 46 (1-2) (2000)
Andrew Heaton, Patricia M. Hill, Andy King
Abstract Domains for Universal and Existential Properties. ESOP (2000)
Jacob M. Howe, Andy King
Implementing Groundness Analysis with Definite Boolean Functions. ESOP (2000)
Jacob M. Howe, Andy King
Abstracting numeric constraints with Boolean functions. Inf. Process. Lett. 75 (1-2) (2000)
Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King
A simple polynomial groundness analysis for logic programs. J. Log. Program. 45 (1-3) (2000)
Kish Shen, Vítor Santos Costa, Andy King
Distance: A New Metric for Controlling Granularity for Parallel Execution. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Jacob M. Howe, Andy King
Specialising Fininte Domain Programs Using Polyhedra. LOPSTR (1999)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Mode Analysis Domains for Typed Logic Programs. LOPSTR (1999)
Jacob M. Howe, Andy King
Specialising Finite Domain Programs Using Polyhedra. ECOOP Workshops (1999)
Andy King, Jan-Georg Smaus, Patricia M. Hill
for Dependency Analysis. ESOP (1999)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. LOPSTR (1998)
Kish Shen, Vítor Santos Costa, Andy King
Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP (1998)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP (1998)

Andy King.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andy King