Publications Coauthored with Samir Genaim

• A Declarative Encoding of Telecommunications Feature Subscription in SAT;
  Michael Codish, Samir Genaim and Peter Stuckey;    Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2009)

• Termination Analysis of Java Bytecode;
  Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, German Puebla and Damiano Zanardini;    Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings

• Termination Analysis through Combination of Type Based Norms;
  Maurice Bruynooghe, Michael Codish, John Gallagher, Samir Genaim and Wim Vanhoof ;   ACM Transactions on Programming Languages and Systems; 29(2):10.

• Inferring Termination Conditions for Logic Programs using Backwards Analysis;
  Samir Genaim and Michael Codish ;   Theory and Practice of Logic Programming; (accepted):.

• One Loop at a Time;
  Michael Codish, Samir Genaim, Maurice Bruynooghe, John Gallagher and Wim Vanhoof;    6th International Workshop on Termination (WST 2003)

• Proving Termination One Loop at a Time;
  Michael Codish and Samir Genaim;    The 13th Workshop on Logic Programming Environments

• Combining Norms to Prove Termination;
  Samir Genaim, Michael Codish, John Gallagher and Vitaly Lagoon;    Third International Workshop on Verification, Model Checking and Abstract Interpretation

• Reuse of Results in Termination Analysis of Typed Logic Programs;
  Maurice Bruynooghe, Michael Codish, Samir Genaim and Wim Vanhoof;    Proceedings of The 9th International Static Analysis Symposium (SAS 2002 - to appear)

• Worst-Case Groundness Analysis using Definite Boolean Functions;
  Samir Genaim, J.M. Howe and Michael Codish ;   Theory and Practice of Logic Programming; 1(5):611-615.

• The Def-inite Approach to Dependency Analysis;
  Samir Genaim and Michael Codish;    Proceedings of the 10th European Symposium On Programming

• Higher-Precision Groundness Analysis;
  Michael Codish, Samir Genaim, Harald Søndergaard and Peter Stuckey;    Proceedings of the Seventeenth International Conference on Logic Programming

• Inferring Termination Conditions for Logic Programs using Backwards Analysis;
  Samir Genaim and Michael Codish;    Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning

• The Def-inite Approach to Dependency Analysis;
  Samir Genaim and Michael Codish;    Presented at the APPIA-GULP-PRODE 2000 Joint Conference on Declarative Programming (La Habana)

• Incremental Refinement of Semantic Based Program Analysis for Logic Programs;
  Samir Genaim and Michael Codish;    Proceedings of the 22nd Australasian Computer Science Conference