Andy King

	2012
82		Jael Kriener, Andy King: Mutual Exclusion by Interpolation. FLOPS 2012: 182-196
81		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
80		Jörg Brauer, Andy King, Jael Kriener: Existential Quantification as Incremental SAT. CAV 2011: 191-207
79		Jörg Brauer, Andy King: Transfer Function Synthesis without Quantifier Elimination. ESOP 2011: 97-115
78		Jörg Brauer, Andy King: Approximate Quantifier Elimination for Propositional Boolean Formulae. NASA Formal Methods 2011: 73-88
77		Jael Kriener, Andy King: RedAlert: Determinacy Inference for Prolog CoRR abs/1109.2548: (2011)
76		Jael Kriener, Andy King: RedAlert: Determinacy inference for Prolog. TPLP 11(4-5): 537-553 (2011)
	2010
75		Jacob M. Howe, Andy King: A Pearl on SAT Solving in Prolog. FLOPS 2010: 165-174
74		Jörg Brauer, Andy King, Stefan Kowalewski: Range Analysis of Microcontroller Code Using Bit-Level Congruences. FMICS 2010: 82-98
73		Jörg Brauer, Andy King: Automatic Abstraction for Intervals Using Boolean Formulae. SAS 2010: 167-183
72		Andy King, Harald Søndergaard: Automatic Abstraction for Congruences. VMCAI 2010: 197-213
71		Edd Barrett, Andy King: Range and Set Abstraction using SAT. Electr. Notes Theor. Comput. Sci. 267(1): 17-27 (2010)
70		Jacob M. Howe, Andy King, Charles Lawrence-Jones: Quadtrees as an Abstract Domain. Electr. Notes Theor. Comput. Sci. 267(1): 89-100 (2010)
69		Axel Simon, Andy King: The two variable per inequality abstract domain. Higher-Order and Symbolic Computation 23(1): 87-143 (2010)
	2009
68		Philip J. Charles, Jacob M. Howe, Andy King: Integer Polyhedra for Program Analysis. AAIM 2009: 85-99
67		Jacob M. Howe, Andy King: Logahedra: A New Weakly Relational Domain. ATVA 2009: 306-320
66		Andy King: Untangling Reverse Engineering with Logic and Abstraction. ICLP 2009: 37
65		Andy King: Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry CoRR abs/0903.2353: (2009)
	2008
64		Andy King: Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers Springer 2008
63		Andy King, Harald Søndergaard: Inferring Congruence Equations Using SAT. CAV 2008: 281-293
62		Samir Genaim, Andy King: Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log. 9(3): (2008)
61		Neil Kettle, Andy King: An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Trans. on CAD of Integrated Circuits and Systems 27(4): 764-777 (2008)
	2007
60		Axel Simon, Andy King: Taming the Wrapping of Integer Arithmetic. SAS 2007: 121-136
	2006
59		Axel Simon, Andy King: Widening Polyhedra with Landmarks. APLAS 2006: 166-182
58		Neil Kettle, Andy King: An anytime symmetry detection algorithm for ROBDDs. ASP-DAC 2006: 243-248
57		Xuan Li, Andy King, Lunjin Lu: Lazy Set-Sharing Analysis. FLOPS 2006: 177-191
56		Andy King, Lunjin Lu, Samir Genaim: Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147
55		Xuan Li, Andy King, Lunjin Lu: Collapsing Closures. ICLP 2006: 148-162
54		Neil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119
53		Andy King, Jonathan C. Martin: Control Generation by Program Transformation. Fundam. Inform. 69(1-2): 179-218 (2006)
52		Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(4): 343-344 (2006)
	2005
51		Lunjin Lu, Andy King: Determinacy Inference for Logic Programs. ESOP 2005: 108-123
50		Axel Simon, Andy King: Exploiting Sparsity in Polyhedral Analysis. SAS 2005: 336-351
49		Florence Benoy, Andy King, Frédéric Mesnard: Computing convex hulls with a linear solver. TPLP 5(1-2): 259-271 (2005)
	2004
48		Lunjin Lu, Andy King: Backward Pair Sharing Analysis. FLOPS 2004: 132-146
47		Jacob M. Howe, Andy King, Lunjin Lu: Analysing Logic Programs by Reasoning Backwards. Program Development in Computational Logic 2004: 152-188
46		Jonathan C. Martin, Andy King: On the Inference of Natural Level Mappings. Program Development in Computational Logic 2004: 432-452
45		Axel Simon, Andy King: Convex Hull of Planar H-Polyhedra CoRR cs.CG/0405089: (2004)
44		Axel Simon, Andy King: Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81(3): 259-271 (2004)
	2003
43		Samir Genaim, Andy King: Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. ESOP 2003: 84-98
42		Andy King, Lunjin Lu: Forward versus Backward Verification of Logic Programs. ICLP 2003: 315-330
41		Florence Benoy, Andy King, Frédéric Mesnard: Computing Convex Hulls with a Linear Solver CoRR cs.PL/0311002: (2003)
40		Jacob M. Howe, Andy King: Efficient Groundness Analysis in Prolog. TPLP 3(1): 95-124 (2003)
39		Jacob M. Howe, Andy King: Three Optimisations for Sharing. TPLP 3(2): 243-257 (2003)
	2002
38		Axel Simon, Andy King: Analyzing String Buffers in C. AMAST 2002: 365-379
37		Axel Simon, Andy King, Jacob M. Howe: Two Variables per Linear Inequality as an Abstract Domain. LOPSTR 2002: 71-89
36		Lunjin Lu, Andy King: Backward Type Inference Generalises Type Checking. SAS 2002: 85-101
35		Andy King, Lunjin Lu: A Backward Analysis for Constraint Logic Programs CoRR cs.PL/0201011: (2002)
34		Jacob M. Howe, Andy King: Efficient Groundness Analysis in Prolog CoRR cs.PL/0201012: (2002)
33		Jacob M. Howe, Andy King: Three Optimisations for Sharing CoRR cs.PL/0203022: (2002)
32		Andy King, Lunjin Lu: A Backward Analysis for Constraint Logic Programs. TPLP 2(4-5): 517-547 (2002)
	2001
31		Jacob M. Howe, Andy King: Positive Boolean Functions as Multiheaded Clauses. ICLP 2001: 120-134
30		Jan-Georg Smaus, Patricia M. Hill, Andy King: Verifying Termination and Error-Freedom of Logic Programs with block Declarations. TPLP 1(4): 447-486 (2001)
	2000
29		Andrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164
28		Jacob M. Howe, Andy King: Implementing Groundness Analysis with Definite Boolean Functions. ESOP 2000: 200-214
27		Jan-Georg Smaus, Patricia M. Hill, Andy King: Verifying Termination and Error-Freedom of Logic Programs with block Declarations CoRR cs.LO/0006033: (2000)
26		Jacob M. Howe, Andy King: Abstracting numeric constraints with Boolean functions. Inf. Process. Lett. 75(1-2): 17-23 (2000)
25		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)
24		Andy King: Pair-sharing over rational trees. J. Log. Program. 46(1-2): 139-155 (2000)
	1999
23		Jacob M. Howe, Andy King: Specialising Finite Domain Programs Using Polyhedra. ECOOP Workshops 1999: 258-259
22		Andy King, Jan-Georg Smaus, Patricia M. Hill: Quotienting Share for Dependency Analysis. ESOP 1999: 59-73
21		Jacob M. Howe, Andy King: Specialising Fininte Domain Programs Using Polyhedra. LOPSTR 1999: 118-135
20		Jan-Georg Smaus, Patricia M. Hill, Andy King: Mode Analysis Domains for Typed Logic Programs. LOPSTR 1999: 82-101
19		Kish Shen, Vítor Santos Costa, Andy King: Distance: A New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999)
	1998
18		Kish Shen, Vítor Santos Costa, Andy King: Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP 1998: 85-99
17		Jan-Georg Smaus, Patricia M. Hill, Andy King: Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. LOPSTR 1998: 289-307
16		Jan-Georg Smaus, Patricia M. Hill, Andy King: Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP 1998: 73-88
	1997
15		Jan-Georg Smaus, Patricia M. Hill, Andy King: Domain Construction for Mode Analysis of Typed Logic Programs. ICLP 1997: 418
14		Andy King, Kish Shen, Florence Benoy: Lower-bound Time-complexity Analysis of Logic Programs. ILPS 1997: 261-275
13		Andrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167
12		Jonathan C. Martin, Andy King: Generating Efficient, Terminating Logic Programs. TAPSOFT 1997: 273-284
11		Patricia M. Hill, Andy King: Determinacy and determinacy analysis. J. Prog. Lang. 5(1): 135-171 (1997)
	1996
10		Florence Benoy, Andy King: Inferring Argument Size Relationships with CLP(R). LOPSTR 1996: 204-223
9		Jonathan C. Martin, Andy King, Paul Soper: Typed Norms for Typed Logic Programs. LOPSTR 1996: 224-238
	1994
8		Andy King: A Synergistic Analysis for Sharing and Groundness with Traces Linearity. ESOP 1994: 363-378
7		Andy King, Paul Soper: Depth-k Sharing and Freeness. ICLP 1994: 553-568
	1993
6		Andy King: A Framework for Sharing Analysis. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 137-149
	1992
5		Andy King, Paul Soper: Serialisation Analysis of Concurrent Logic Programs. ALP 1992: 322-334
4		Andy King, Paul Soper: Schedule Analysis of Concurrent Logic programs. JICSLP 1992: 478-492
3		Andy King, Paul Soper: Ordering Optimizations for Concurrent Logic Programs. LFCS 1992: 221-228
	1991
2		Andy King, Paul Soper: Reducing Scheduling Overheads for Concurrent Logic Programs. PDK 1991: 279-286
	1990
1		Andy King, Paul Soper: Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 367

Coauthor Index

1	Muhamed Abo-Zaed	[25]
2	Edd Barrett	[71]
3	Florence Benoy	[10] [14] [41] [49]
4	Jörg Brauer	[73] [74] [78] [79] [80]
5	Philip J. Charles	[68]
6	Michael Codish	[25]
7	Vítor Santos Costa	[18] [19]
8	Olivier Danvy	[52]
9	Andrzej Filinski	[52]
10	Samir Genaim	[43] [56] [62]
11	Jean-Louis Giavitto	[52]
12	Andrew Heaton	[13] [29]
13	Andy Heaton	[25]
14	Patricia M. Hill	[11] [13] [15] [16] [17] [20] [22] [27] [29] [30]
15	Jacob M. Howe	[21] [23] [26] [28] [31] [33] [34] [37] [39] [40] [47] [67] [68] [70] [75]
16	Neil Kettle	[54] [58] [61]
17	Stefan Kowalewski	[74]
18	Jael Kriener	[76] [77] [80] [82]
19	Charles Lawrence-Jones	[70]
20	Xuan Li	[55] [57]
21	Lunjin Lu	[32] [35] [36] [42] [47] [48] [51] [55] [56] [57]
22	Jonathan C. Martin	[9] [12] [46] [53]
23	Frédéric Mesnard (Fred Mesnard)	[41] [49]
24	Pierre-Etienne Moreau	[52]
25	Alan Mycroft	[81]
26	Thomas W. Reps	[81]
27	Kish Shen	[14] [18] [19]
28	Axel Simon	[37] [38] [44] [45] [50] [59] [60] [69] [81]
29	Jan-Georg Smaus	[15] [16] [17] [20] [22] [27] [30]
30	Harald Søndergaard	[63] [72]
31	Paul Soper	[1] [2] [3] [4] [5] [7] [9]
32	Tadeusz Strzemecki	[54]
33	Carolyn L. Talcott	[52]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page