No photo of Michael Codish

View Scopus Profile

Michael Codish

 https://orcid.org/0000-0003-0394-5854
1986 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2011

    Boolean equi-propagation for optimized SAT encoding

    Metodi, A., Codish, M., Lagoon, V. & Stuckey, P. J., 26 Sep 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. p. 621-636 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • Optimal base encodings for Pseudo-Boolean constraints

    Codish, M., Fekete, Y., Fuhs, C. & Schneider-Kamp, P., 4 Apr 2011, Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 189-204 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6605 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • SAT-based termination analysis using monotonicity constraints over the integers

    Codish, M., Gonopolskiy, I., Ben-Amram, A. M., Fuhs, C. & Giesl, J., 1 Jul 2011, In: Theory and Practice of Logic Programming. 11, 4-5, p. 503-520 18 p.

    Research output: Contribution to journal › Article › peer-review

    6 Scopus citations
  • 2010

    Lazy abstraction for size-change termination

    Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 1 Jan 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Fermuller, C. G. (ed.). Springer Verlag, p. 217-232 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Pairwise cardinality networks

    Codish, M. & Zazon-Ivry, M., 1 Dec 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. p. 154-172 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6355 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations
  • 2009

    A declarative encoding of telecommunications feature subscription in SAT

    Codish, M., Genaim, S. & Stuckey, P. J., 30 Nov 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 255-265 11 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Propagation via lazy clause generation

    Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Sep 2009, In: Constraints. 14, 3, p. 357-391 35 p.

    Research output: Contribution to journal › Article › peer-review

    183 Scopus citations
  • 2008

    A SAT-based approach to size change termination with global ranking functions

    Ben-Amram, A. M. & Codish, M., 21 Jul 2008, Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. p. 218-232 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4963 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Logic programming with satisfiability

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, In: Theory and Practice of Logic Programming. 8, 1, p. 121-128 8 p.

    Research output: Contribution to journal › Article › peer-review

    26 Scopus citations

  • Proving termination with (Boolean) satisfaction

    Codish, M., 1 Dec 2008, Logic-Based Program Synthesis and Transformation - 17th International Symposium, LOPSTR 2007, Revised Selected Papers. p. 1-7 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4915 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Telecommunications feature subscription as a partial order constraint problem

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 749-753 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Termination analysis of Java Bytecode

    Albert, E., Arenas, P., Codish, M., Genaim, S., Puebla, G. & Zanardini, D., 4 Jul 2008, Formal Methods for Open Object-Based Distributed Systems - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Proceedings. p. 2-18 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5051 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    40 Scopus citations
  • 2007

    Implementing RPO and POLO using SAT.

    Schneider-Kamp, P., Fuhs, C., Thiemann, R., Giesl, J., Annov, E., Codish, M., Middeldorp, A. & Zankl, H., 2007.

    Research output: Contribution to conference › Paper › peer-review

  • Propagation = Lazy clause generation

    Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Jan 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. Springer Verlag, p. 544-558 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations

  • Proving termination using recursive path orders and SAT solving

    Schneider-Kamp, P., Thiemann, R., Annov, E., Codish, M. & Giesl, J., 1 Jan 2007, Frontiers of Combining Systems - 6th International Symposium, FroCoS 2007, Proceedings. Springer Verlag, p. 267-282 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4720 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Termination analysis of logic programs through combination of type-based norms

    Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 1 Apr 2007, In: ACM Transactions on Programming Languages and Systems. 29, 2, 1216378.

    Research output: Contribution to journal › Article › peer-review

    38 Scopus citations
  • 2006

    SAT solving for argument filterings

    Codish, M., Schneider-Kamp, P., Lagoon, V., Thiemann, R. & Giesl, J., 1 Jan 2006, Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Proceedings. Springer Verlag, p. 30-44 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4246 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Size-change termination analysis in k-bits

    Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J., 14 Jul 2006, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations

  • Solving partial order constraints for LPO termination

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer Verlag, p. 4-18 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4098 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations
  • 2005

    Inferring termination conditions for logic programs using backwards analysis

    Genaim, S. & Codish, M., 1 Jan 2005, In: Theory and Practice of Logic Programming. 5, 1-2, p. 75-91 17 p.

    Research output: Contribution to journal › Review article › peer-review

    4 Scopus citations

  • Testing for termination with monotonicity constraints

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2005, In: Lecture Notes in Computer Science. 3668, p. 326-340 15 p.

    Research output: Contribution to journal › Conference article › peer-review

    29 Scopus citations
  • 2003

    Proving Termination One Loop at a Time

    Codish, M. & Genaim, S., 2003, Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Mesnard, F. & Serebrenik, A. (eds.). Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), Vol. CW371. p. 48-59 12 p. (Report).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Combining norms to prove termination

    Genaim, S., Codish, M., Gallagher, J. & Lagoon, V., 1 Jan 2002, Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 2002, Revised Papers. Cortesi, A. (ed.). Springer Verlag, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2294 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    16 Scopus citations

  • Meta-circular abstract interpretation in prolog

    Codish, M. & Søndergaard, H., 1 Jan 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 109-134 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    2 Scopus citations

  • Reuse of results in termination analysis of typed logic programs

    Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 1 Jan 2002, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Hermenegildo, M. V. & Puebla, G. (eds.). Springer Verlag, p. 477-492 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2477).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations
  • 2001

    Higher-precision groundness analysis

    Codish, M., Genaim, S., Søndergaard, H. & Stuckey, P. J., 1 Jan 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer Verlag, p. 135-149 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Inferring termination conditions for logic programs using backwards analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 685-694 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    21 Scopus citations

  • Pos(T ): Analyzing dependencies in typed logic programs

    Bruynooghe, M., Vanhoof, W. & Codish, M., 1 Jan 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. Bjørner, D., Broy, M. & Zamulin, Z. (eds.). Springer Verlag, p. 406-420 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The def-inite approach to dependency analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Programming Languages and Systems - 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Sands, D. (ed.). Springer Verlag, p. 417-431 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2028).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Worst-case groundness analysis using definite Boolean functions

    Genaim, S., Codish, M. & Howe, J. M., 1 Jan 2001, In: Theory and Practice of Logic Programming. 1, 5, p. 611-615 5 p.

    Research output: Contribution to journal › Article › peer-review

    3 Scopus citations
  • 2000

    Algebraic approach to sharing analysis of logic programs

    Codish, M., Lagoon, V. & Bueno, F., 1 Jan 2000, In: Journal of Logic Programming. 42, 2, p. 111-149 39 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations

  • Improving program analyses by structure untupling

    Codish, M., Marriott, K. & Taboch, C., 1 Jan 2000, In: Journal of Logic Programming. 43, 3, p. 251-263 13 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations

  • Simple polynomial groundness analysis for logic programs

    Heaton, A., Abo-Zaed, M., Codish, M. & King, A., 1 Jan 2000, In: Journal of Logic Programming. 45, 1, p. 143-156 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations

  • Type dependencies for logic programs using ACI-unification

    Codish, M. & Lagoon, V., 6 May 2000, In: Theoretical Computer Science. 238, 1-2, p. 131-159 29 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations
  • 1999

    Efficient goal directed bottom-up evaluation of logic programs

    Codish, M., 1 Jan 1999, In: Journal of Logic Programming. 38, 3, p. 355-370 16 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    18 Scopus citations

  • Semantic basis for the termination analysis of logic programs

    Codish, M. & Taboch, C., 1 Jan 1999, In: Journal of Logic Programming. 41, 1, p. 103-123 21 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    22 Scopus citations

  • Sharing and groundness dependencies in logic programs

    Codish, M., Søndergaard, H. & Stuckey, P. J., 1 Jan 1999, In: ACM Transactions on Programming Languages and Systems. 21, 5, p. 948-976 29 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 Scopus citations

  • Worst-case groundness analysis using positive Boolean functions

    Codish, M., 1 Jan 1999, In: Journal of Logic Programming. 41, 1, p. 125-128 4 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    12 Scopus citations
  • 1998

    Semantics-based programanalysis for logic-based languages using XSB

    Codish, M., Demoen, B. & Sagonas, K., 1 Dec 1998, In: International Journal on Software Tools for Technology Transfer. 2, 1, p. 29-45 17 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • The boolean logic of set sharing analysis

    Codish, M. & Søndergaard, H., 1 Jan 1998, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer Verlag, p. 89-101 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1490).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1997

    A confluent semantic basis for the analysis of concurrent constraint logic programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W., 1 Jan 1997, In: Journal of Logic Programming. 30, 1, p. 53-81 29 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 Scopus citations

  • An algebraic approach to sharing analysis of logic programs

    Codish, M., Lagoon, V. & Bueno, F., 1 Jan 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer Verlag, p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

    Codish, M. & Taboch, C., 1 Jan 1997, Algebraic and Logic Programming - 6th International Joint Conference ALP 1997 ― HOA 1997, Proceedings. Meinke, K., Hanus, M. & Heering, J. (eds.). Springer Verlag, p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1298).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints

    Codish, M. & Taboch, C., 1997, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997. Falaschi, M., Navarro, M. & Policriti, A. (eds.). p. 545-556 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Efficient Goal Directed Bottom-up Evaluation of Logic Programs

    Codish, M., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 422 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Exploiting goal independence in the analysis of logic programs

    Codish, M., Bruynooghe, M., García De La Banda, M. & Hermenegildo, M., 1 Jan 1997, In: Journal of Logic Programming. 32, 3, p. 247-261 15 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 Scopus citations

  • Sharing Analysis Using Set Logic Programs

    Bueno, F., Codish, M. & Lagoon, V., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 417 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • XSB as the Natural Habitat for General Purpose Program Analysis

    Codish, M., Demoen, B. & Sagonas, K., 1997, Logic Programming, Proceedings of the 14th International Conference on Logic Programming. Naish, L. (ed.). MIT Press Journals, p. 416 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    On the design of a correct freeness analysis for logic programs

    Codish, M., Dams, D., Filé, G. & Bruynooghe, M., 1 Jan 1996, In: Journal of Logic Programming. 28, 3, p. 181-206 26 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Proving implications by algebraic approximation

    Codish, M. & Mashevitzky, G., 30 Sep 1996, In: Theoretical Computer Science. 165, 1, p. 57-74 18 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access