dblp.uni-trier.dewww.uni-trier.de

Andy King Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
68EEPhilip J. Charles, Jacob M. Howe, Andy King: Integer Polyhedra for Program Analysis. AAIM 2009: 85-99
67EEJacob M. Howe, Andy King: Logahedra: A New Weakly Relational Domain. ATVA 2009: 306-320
66EEAndy King: Untangling Reverse Engineering with Logic and Abstraction. ICLP 2009: 37
65EEAndy 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
63EEAndy King, Harald Søndergaard: Inferring Congruence Equations Using SAT. CAV 2008: 281-293
62EESamir Genaim, Andy King: Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log. 9(3): (2008)
61EENeil 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
60EEAxel Simon, Andy King: Taming the Wrapping of Integer Arithmetic. SAS 2007: 121-136
2006
59EEAxel Simon, Andy King: Widening Polyhedra with Landmarks. APLAS 2006: 166-182
58EENeil Kettle, Andy King: An anytime symmetry detection algorithm for ROBDDs. ASP-DAC 2006: 243-248
57EEXuan Li, Andy King, Lunjin Lu: Lazy Set-Sharing Analysis. FLOPS 2006: 177-191
56EEAndy King, Lunjin Lu, Samir Genaim: Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147
55EEXuan Li, Andy King, Lunjin Lu: Collapsing Closures. ICLP 2006: 148-162
54EENeil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119
53EEAndy King, Jonathan C. Martin: Control Generation by Program Transformation. Fundam. Inform. 69(1-2): 179-218 (2006)
52EEOlivier 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
51EELunjin Lu, Andy King: Determinacy Inference for Logic Programs. ESOP 2005: 108-123
50EEAxel Simon, Andy King: Exploiting Sparsity in Polyhedral Analysis. SAS 2005: 336-351
49EEFlorence Benoy, Andy King, Frédéric Mesnard: Computing convex hulls with a linear solver. TPLP 5(1-2): 259-271 (2005)
2004
48EELunjin Lu, Andy King: Backward Pair Sharing Analysis. FLOPS 2004: 132-146
47EEJacob M. Howe, Andy King, Lunjin Lu: Analysing Logic Programs by Reasoning Backwards. Program Development in Computational Logic 2004: 152-188
46EEJonathan C. Martin, Andy King: On the Inference of Natural Level Mappings. Program Development in Computational Logic 2004: 432-452
45EEAxel Simon, Andy King: Convex Hull of Planar H-Polyhedra CoRR cs.CG/0405089: (2004)
44EEAxel Simon, Andy King: Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81(3): 259-271 (2004)
2003
43EESamir Genaim, Andy King: Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. ESOP 2003: 84-98
42EEAndy King, Lunjin Lu: Forward versus Backward Verification of Logic Programs. ICLP 2003: 315-330
41EEFlorence 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
38EEAxel Simon, Andy King: Analyzing String Buffers in C. AMAST 2002: 365-379
37EEAxel Simon, Andy King, Jacob M. Howe: Two Variables per Linear Inequality as an Abstract Domain. LOPSTR 2002: 71-89
36EELunjin Lu, Andy King: Backward Type Inference Generalises Type Checking. SAS 2002: 85-101
35EEAndy King, Lunjin Lu: A Backward Analysis for Constraint Logic Programs CoRR cs.PL/0201011: (2002)
34EEJacob M. Howe, Andy King: Efficient Groundness Analysis in Prolog CoRR cs.PL/0201012: (2002)
33EEJacob 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
31EEJacob 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
29EEAndrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164
28EEJacob M. Howe, Andy King: Implementing Groundness Analysis with Definite Boolean Functions. ESOP 2000: 200-214
27EEJan-Georg Smaus, Patricia M. Hill, Andy King: Verifying Termination and Error-Freedom of Logic Programs with block Declarations CoRR cs.LO/0006033: (2000)
26EEJacob 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
22EEAndy 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
17EEJan-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
16EEJan-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
13EEAndrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167
12EEJonathan C. Martin, Andy King: Generating Efficient, Terminating Logic Programs. TAPSOFT 1997: 273-284
11EEPatricia 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
8EEAndy 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
5EEAndy 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)