| 2025 | CONCUR | Abstract Subtyping for Asynchronous Multiparty Sessions. | Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson |
| 2024 | TACAS | Asynchronous Subtyping by Trace Relaxation. | Laura Bocchi, Andy King, Maurizio Murgia |
| 2023 | Coordination | Safe Asynchronous Mixed-Choice for Timed Interactions. | Jonah Pears, Laura Bocchi, Andy King |
| 2023 | SAS | Polynomial Analysis of Modular Arithmetic. | Thomas Seed, Chris Coppins, Andy King, Neil Evans |
| 2020 | SAT | Reducing Bit-Vector Polynomials to SAT Using Grbner Bases. | Thomas Seed, Andy King, Neil Evans |
| 2020 | TACAS | Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. | Takamasa Okudono, Andy King |
| 2018 | SAS | Closing the Performance Gap Between Doubles and Rationals for Octagons. | Aziem Chawdhary, Andy King |
| 2017 | APLAS | Compact Difference Bound Matrices. | Aziem Chawdhary, Andy King |
| 2017 | PPDP | Theory learning with symmetry breaking. | Jacob M. Howe, Edward Robbins, Andy King |
| 2016 | POPL | From MinX to MinC: semantics-driven decompilation of recursive datatypes. | Edward Robbins, Andy King, Tom Schrijvers |
| 2014 | APLAS | Simple and Efficient Algorithms for Octagons. | Aziem Chawdhary, Edward Robbins, Andy King |
| 2014 | FLOPS | Semantics for Prolog with Cut - Revisited. | Jael Kriener, Andy King |
| 2014 | LOPSTR | Partial Evaluation for Java Malware Detection. | Ranjeet Singh, Andy King |
| 2013 | POPL | BinSlayer: accurate comparison of binary executables. | Martial Bourquin, Andy King, Edward Robbins |
| 2013 | PPDP | Proofs you can believe in: proving equivalences between Prolog semantics in Coq. | Jael Kriener, Andy King, Sandrine Blazy |
| 2013 | PPDP | Theory propagation and rational-trees. | Edward Robbins, Jacob M. Howe, Andy King |
| 2012 | FLOPS | Mutual Exclusion by Interpolation. | Jael Kriener, Andy King |
| 2012 | FMICS | Range Analysis of Binaries with Minimal Effort. | Edd Barrett, Andy King |
| 2012 | SAS | Loop Leaping with Closures. | Sebastian Biallas, Jrg Brauer, Andy King, Stefan Kowalewski |
| 2012 | SAS | Polyhedral Analysis Using Parametric Objectives. | Jacob M. Howe, Andy King |
| 2011 | CAV | Existential Quantification as Incremental SAT. | Jrg Brauer, Andy King, Jael Kriener |
| 2011 | ESOP | Transfer Function Synthesis without Quantifier Elimination. | Jrg Brauer, Andy King |
| 2010 | FLOPS | A Pearl on SAT Solving in Prolog. | Jacob M. Howe, Andy King |
| 2010 | FMICS | Range Analysis of Microcontroller Code Using Bit-Level Congruences. | Jrg Brauer, Andy King, Stefan Kowalewski |
| 2010 | SAS | Automatic Abstraction for Intervals Using Boolean Formulae. | Jrg Brauer, Andy King |
| 2010 | VMCAI | Automatic Abstraction for Congruences. | Andy King, Harald Sndergaard |
| 2009 | AAIM | Integer Polyhedra for Program Analysis. | Philip J. Charles, Jacob M. Howe, Andy King |
| 2009 | ATVA | Logahedra: A New Weakly Relational Domain. | Jacob M. Howe, Andy King |
| 2009 | ICLP | Untangling Reverse Engineering with Logic and Abstraction. | Andy King |
| 2008 | CAV | Inferring Congruence Equations Using SAT. | Andy King, Harald Sndergaard |
| 2007 | SAS | Taming the Wrapping of Integer Arithmetic. | Axel Simon, Andy King |
| 2006 | APLAS | Widening Polyhedra with Landmarks. | Axel Simon, Andy King |
| 2006 | ASPDAC | An anytime symmetry detection algorithm for ROBDDs. | Neil Kettle, Andy King |
| 2006 | FLOPS | Lazy Set-Sharing Analysis. | Xuan Li, Andy King, Lunjin Lu |
| 2006 | ICLP | Detecting Determinacy in Prolog Programs. | Andy King, Lunjin Lu, Samir Genaim |
| 2006 | ICLP | Collapsing Closures. | Xuan Li, Andy King, Lunjin Lu |
| 2006 | TACAS | Widening ROBDDs with Prime Implicants. | Neil Kettle, Andy King, Tadeusz Strzemecki |
| 2005 | ESOP | Determinacy Inference for Logic Programs. | Lunjin Lu, Andy King |
| 2005 | SAS | Exploiting Sparsity in Polyhedral Analysis. | Axel Simon, Andy King |
| 2004 | FLOPS | Backward Pair Sharing Analysis. | Lunjin Lu, Andy King |
| 2003 | ESOP | Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. | Samir Genaim, Andy King |
| 2003 | ICLP | Forward versus Backward Verification of Logic Programs. | Andy King, Lunjin Lu |
| 2002 | LOPSTR | Two Variables per Linear Inequality as an Abstract Domain. | Axel Simon, Andy King, Jacob M. Howe |
| 2002 | SAS | Backward Type Inference Generalises Type Checking. | Lunjin Lu, Andy King |
| 2001 | ICLP | Positive Boolean Functions as Multiheaded Clauses. | Jacob M. Howe, Andy King |
| 2000 | ESOP | Abstract Domains for Universal and Existential Properties. | Andrew Heaton, Patricia M. Hill, Andy King |
| 2000 | ESOP | Implementing Groundness Analysis with Definite Boolean Functions. | Jacob M. Howe, Andy King |
| 1999 | ESOP | Quotienting | Andy King, Jan-Georg Smaus, Patricia M. Hill |
| 1999 | LOPSTR | Specialising Fininte Domain Programs Using Polyhedra. | Jacob M. Howe, Andy King |
| 1999 | LOPSTR | Mode Analysis Domains for Typed Logic Programs. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1998 | ICLP | Distance: A New Metric for Controlling Granularity for Parallel Execution. | Kish Shen, Vtor Santos Costa, Andy King |
| 1998 | LOPSTR | Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1997 | ICLP | Domain Construction for Mode Analysis of Typed Logic Programs. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1997 | LOPSTR | Analysis of Logic Programs with Delay. | Andrew Heaton, Patricia M. Hill, Andy King |
| 1996 | LOPSTR | Inferring Argument Size Relationships with CLP(R). | Florence Benoy, Andy King |
| 1996 | LOPSTR | Typed Norms for Typed Logic Programs. | Jonathan C. Martin, Andy King, Paul Soper |
| 1994 | ESOP | A Synergistic Analysis for Sharing and Groundness with Traces Linearity. | Andy King |
| 1994 | ICLP | Depth-k Sharing and Freeness. | Andy King, Paul Soper |
| 1993 | ICLP | A Framework for Sharing Analysis. | Andy King |
| 1993 | ICLP | A Framework for Sharing Analysis. | Andy King |
| 1992 | ICLP | Schedule Analysis of Concurrent Logic programs. | Andy King, Paul Soper |
| 1992 | LFCS | Ordering Optimizations for Concurrent Logic Programs. | Andy King, Paul Soper |