default search action
Andy King
Publications
- 2021
- [j29]Ed Robbins, Andy King, Jacob M. Howe:
Backjumping is Exception Handling. Theory Pract. Log. Program. 21(2): 125-144 (2021) - 2020
- [i12]Edward Robbins, Andy King, Jacob M. Howe:
Backjumping is Exception Handling. CoRR abs/2008.04720 (2020) - 2019
- [j28]Aziem Chawdhary, Edward Robbins, Andy King:
Incrementally closing octagons. Formal Methods Syst. Des. 54(2): 232-277 (2019) - [j27]Jacob M. Howe, Andy King, Axel Simon:
Incremental Closure for Systems of Two Variables Per Inequality. Theor. Comput. Sci. 768: 1-42 (2019) - 2018
- [c69]Aziem Chawdhary, Andy King:
Closing the Performance Gap Between Doubles and Rationals for Octagons. SAS 2018: 187-204 - 2017
- [j25]Aziem Chawdhary, Ranjeet Singh, Andy King:
Partial evaluation of string obfuscations for Java malware detection. Formal Aspects Comput. 29(1): 33-55 (2017) - [j24]William Jones, Aziem Chawdhary, Andy King:
Optimising the Volgenant-Jonker algorithm for approximating graph edit distance. Pattern Recognit. Lett. 87: 47-54 (2017) - [c68]Aziem Chawdhary, Andy King:
Compact Difference Bound Matrices. APLAS 2017: 471-490 - [c67]Jacob M. Howe, Edward Robbins, Andy King:
Theory learning with symmetry breaking. PPDP 2017: 85-96 - 2016
- [j23]Manuel Carro, Andy King:
Introduction to the 32nd International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 16(5-6): 509-514 (2016) - [c66]Edward Robbins, Andy King, Tom Schrijvers:
From MinX to MinC: semantics-driven decompilation of recursive datatypes. POPL 2016: 191-203 - [e4]Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1 [contents] - [i11]Manuel Carro, Andy King:
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). CoRR abs/1608.05440 (2016) - [i10]Aziem Chawdhary, Edward Robbins, Andy King:
Incrementally Closing Octagons. CoRR abs/1610.02952 (2016) - 2015
- [j22]Edward Robbins, Jacob M. Howe, Andy King:
Theory propagation and reification. Sci. Comput. Program. 111: 3-22 (2015) - [c65]William Jones, Aziem Chawdhary, Andy King:
Revisiting Volgenant-Jonker for Approximating Graph Edit Distance. GbRPR 2015: 98-107 - 2014
- [c64]Aziem Chawdhary, Edward Robbins, Andy King:
Simple and Efficient Algorithms for Octagons. APLAS 2014: 296-313 - [c63]Jael Kriener, Andy King:
Semantics for Prolog with Cut - Revisited. FLOPS 2014: 270-284 - [c62]Ranjeet Singh, Andy King:
Partial Evaluation for Java Malware Detection. LOPSTR 2014: 133-147 - 2013
- [j20]Jörg Brauer, Andy King, Stefan Kowalewski:
Abstract interpretation of microcontroller code: Intervals meet congruences. Sci. Comput. Program. 78(7): 862-883 (2013) - [c61]Martial Bourquin, Andy King, Edward Robbins:
BinSlayer: accurate comparison of binary executables. PPREW@POPL 2013: 4:1-4:10 - [c60]Jael Kriener, Andy King, Sandrine Blazy:
Proofs you can believe in: proving equivalences between Prolog semantics in Coq. PPDP 2013: 37-48 - [c59]Edward Robbins, Jacob M. Howe, Andy King:
Theory propagation and rational-trees. PPDP 2013: 193-204 - 2012
- [j19]Jörg Brauer, Andy King:
Transfer Function Synthesis without Quantifier Elimination. Log. Methods Comput. Sci. 8(3) (2012) - [j18]Jacob M. Howe, Andy King:
A pearl on SAT and SMT solving in Prolog. Theor. Comput. Sci. 435: 43-55 (2012) - [c58]Jael Kriener, Andy King:
Mutual Exclusion by Interpolation. FLOPS 2012: 182-196 - [c56]Jacob M. Howe, Andy King:
Polyhedral Analysis Using Parametric Objectives. SAS 2012: 41-57 - [c55]Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski:
Loop Leaping with Closures. SAS 2012: 214-230 - [e2]Danny De Schreye, Gerda Janssens, Andy King:
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. ACM 2012, ISBN 978-1-4503-1522-7 [contents] - [i9]Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon:
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2(1): 100-116 (2012) - 2011
- [j17]Jael Kriener, Andy King:
RedAlert: Determinacy inference for Prolog. Theory Pract. Log. Program. 11(4-5): 537-553 (2011) - [c54]Jörg Brauer, Andy King, Jael Kriener:
Existential Quantification as Incremental SAT. CAV 2011: 191-207 - [c53]Jörg Brauer, Andy King:
Transfer Function Synthesis without Quantifier Elimination. ESOP 2011: 97-115 - [c52]Jörg Brauer, Andy King:
Approximate Quantifier Elimination for Propositional Boolean Formulae. NASA Formal Methods 2011: 73-88 - [i8]Jael Kriener, Andy King:
RedAlert: Determinacy Inference for Prolog. CoRR abs/1109.2548 (2011) - 2010
- [j16]Axel Simon, Andy King:
The two variable per inequality abstract domain. High. Order Symb. Comput. 23(1): 87-143 (2010) - [c51]Jacob M. Howe, Andy King:
A Pearl on SAT Solving in Prolog. FLOPS 2010: 165-174 - [c50]Jörg Brauer, Andy King, Stefan Kowalewski:
Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS 2010: 82-98 - [c49]Jörg Brauer, Andy King:
Automatic Abstraction for Intervals Using Boolean Formulae. SAS 2010: 167-183 - [c48]Andy King, Harald Søndergaard:
Automatic Abstraction for Congruences. VMCAI 2010: 197-213 - [c46]Jacob M. Howe, Andy King, Charles Lawrence-Jones:
Quadtrees as an Abstract Domain. NSAD@SAS 2010: 89-100 - 2009
- [c45]Philip J. Charles, Jacob M. Howe, Andy King:
Integer Polyhedra for Program Analysis. AAIM 2009: 85-99 - [c44]Jacob M. Howe, Andy King:
Logahedra: A New Weakly Relational Domain. ATVA 2009: 306-320 - 2008
- [j14]Samir Genaim, Andy King:
Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log. 9(3): 17:1-17:43 (2008) - [c42]Andy King, Harald Søndergaard:
Inferring Congruence Equations Using SAT. CAV 2008: 281-293 - 2007
- [c41]Axel Simon, Andy King:
Taming the Wrapping of Integer Arithmetic. SAS 2007: 121-136 - 2006
- [c40]Axel Simon, Andy King:
Widening Polyhedra with Landmarks. APLAS 2006: 166-182 - [c38]Xuan Li, Andy King, Lunjin Lu:
Lazy Set-Sharing Analysis. FLOPS 2006: 177-191 - [c37]Andy King, Lunjin Lu, Samir Genaim:
Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147 - [c36]Xuan Li, Andy King, Lunjin Lu:
Collapsing Closures. ICLP 2006: 148-162 - 2005
- [j11]Florence Benoy, Andy King, Frédéric Mesnard:
Computing convex hulls with a linear solver. Theory Pract. Log. Program. 5(1-2): 259-271 (2005) - [c34]Lunjin Lu, Andy King:
Determinacy Inference for Logic Programs. ESOP 2005: 108-123 - [c33]Axel Simon, Andy King:
Exploiting Sparsity in Polyhedral Analysis. SAS 2005: 336-351 - 2004
- [j10]Axel Simon, Andy King:
Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81(3): 259-271 (2004) - [c32]Lunjin Lu, Andy King:
Backward Pair Sharing Analysis. FLOPS 2004: 132-146 - [p2]Jacob M. Howe, Andy King, Lunjin Lu:
Analysing Logic Programs by Reasoning Backwards. Program Development in Computational Logic 2004: 152-188 - [i6]Axel Simon, Andy King:
Convex Hull of Planar H-Polyhedra. CoRR cs.CG/0405089 (2004) - 2003
- [j9]Jacob M. Howe, Andy King:
Efficient Groundness Analysis in Prolog. Theory Pract. Log. Program. 3(1): 95-124 (2003) - [j8]Jacob M. Howe, Andy King:
Three Optimisations for Sharing. Theory Pract. Log. Program. 3(2): 243-257 (2003) - [c31]Samir Genaim, Andy King:
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. ESOP 2003: 84-98 - [c30]Andy King, Lunjin Lu:
Forward versus Backward Verification of Logic Programs. ICLP 2003: 315-330 - [i5]Florence Benoy, Andy King, Frédéric Mesnard:
Computing Convex Hulls with a Linear Solver. CoRR cs.PL/0311002 (2003) - 2002
- [j7]Andy King, Lunjin Lu:
A Backward Analysis for Constraint Logic Programs. Theory Pract. Log. Program. 2(4-5): 517-547 (2002) - [c29]Axel Simon, Andy King:
Analyzing String Buffers in C. AMAST 2002: 365-379 - [c28]Axel Simon, Andy King, Jacob M. Howe:
Two Variables per Linear Inequality as an Abstract Domain. LOPSTR 2002: 71-89 - [c27]Lunjin Lu, Andy King:
Backward Type Inference Generalises Type Checking. SAS 2002: 85-101 - [i4]Andy King, Lunjin Lu:
A Backward Analysis for Constraint Logic Programs. CoRR cs.PL/0201011 (2002) - [i3]Jacob M. Howe, Andy King:
Efficient Groundness Analysis in Prolog. CoRR cs.PL/0201012 (2002) - [i2]Jacob M. Howe, Andy King:
Three Optimisations for Sharing. CoRR cs.PL/0203022 (2002) - 2001
- [c26]Jacob M. Howe, Andy King:
Positive Boolean Functions as Multiheaded Clauses. ICLP 2001: 120-134 - 2000
- [j5]Jacob M. Howe, Andy King:
Abstracting numeric constraints with Boolean functions. Inf. Process. Lett. 75(1-2): 17-23 (2000) - [j4]Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King:
A simple polynomial groundness analysis for logic programs. J. Log. Program. 45(1-3): 143-156 (2000) - [c24]Jacob M. Howe, Andy King:
Implementing Groundness Analysis with Definite Boolean Functions. ESOP 2000: 200-214 - 1999
- [j2]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) - [c23]Jacob M. Howe, Andy King:
Specialising Finite Domain Programs Using Polyhedra. ECOOP Workshops 1999: 258-259 - [c20]Jacob M. Howe, Andy King:
Specialising Fininte Domain Programs Using Polyhedra. LOPSTR 1999: 118-135 - 1998
- [c19]Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP 1998: 85-99 - 1997
- [c14]Andy King, Kish Shen, Florence Benoy:
Lower-bound Time-complexity Analysis of Logic Programs. ILPS 1997: 261-275 - 1996
- [c12]Florence Benoy, Andy King:
Inferring Argument Size Relationships with CLP(R). LOPSTR 1996: 204-223
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint