Amir Ben-Amram

The Size-Change-Termination Page summarizes my research on this method for program termination analysis.

NEW: slides from POPL 2013 (On The Linear Ranking Problem for Integer Linear-Constraint Loops).
slides from STACS 2013 (Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity ).
slides from VMCAI 2012 (On the Termination of Integer Loops, with Samir Genaim and Abu Naser Masud).

Graduate courses:

Graduate projects

Support Material:

• A Turing-Machine Simulator (Java applet)

• The MTA library has some 40 copies of my book that covers the material of Introduction to the Theory of Computation.
  Here is an errata list for the first printing (2002).
  The preface and full contents pages are here.

• WHILE Integrated Development Environment:
  A Windows-based interactive environment for experimenting with the WHILE language, a very simple programming language used for teaching theoretical concepts (inherited from Neil Jones's book on Computability and Complexity). This package will help students to absorb concepts of programming-language theory that we teach using this language as a vehicle.

• A humbler alternative is the following WHILE-language interpreter implemented in LISP.

There is nothing as practical as a good theory: Russ Cox's article on regular expression matching

Martin Tompa's famous article Figures of Merit, a (tongue in cheek) look at the ramifications of alphabetising authors' names, as is standard in Mathematics and Theoretical Computer Science

Ian Parberry's referee's guide for theoretical computer science

Advice for session chairs in conferences

Integrity under attack: the state of scholarly publishing is an important article by Douglas N. Arnold, SIAM preseident, on the damages caused by article-counting and citation-counting (combined with the flaws of human nature, in particular greed).

Comment candidater? - Pierre Lescanne's advice for PhD's seeking a position (French)

Google Scholar

The Collection of Computer Science Bibliographies

Zentralblatt MATH Database

SCIGEN: An Automatic Generator of Conference Papers and MathGen, for Mathematics journal papers (read their blog!)
A related experiment is Alan Sokal's submission of a non-sense Cultural Studies paper (but not a randomly-generated one).

Beyond Computer Science

• compassion towards people
• compassion towards animals
An interesting document on the subject is this MRMC report, which criticises animal experimentation in the medical sciences, including maternal deprivation studies.

Trivia

My PhD advisor was Zvi Galil. His advisor was John Hopcroft. My mathematical ancestry can be traced back to the 16th century thanks to the Mathematics Genealogy Project.

Mailing address