The Size-Change-Termination Page summarizes my research on this method for program termination analysis.
A few research presentations:
slides from FOPARA 2013: Ranking Functions for Linear-Constraint Loops (corresponds to recent JACM paper with Samir Genaim).
slides from STACS 2013: Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity .
Simple programs that are hard to analyze, a presentation in honour of Neil Jones on the occasion of the SIGPLAN Programming Languages Achievement Award
Publicly accessible demo progams:
Following are short descriptions in English of courses that I teach or have taught. Students looking for current information will find it in the MTA website.
Here is an errata list for the first printing (2002).
The preface and full contents pages are here.
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.
(my contribution to PageRank)
Fritz Henglein's talk on an important topic: Also in static analysis, soundness is not enough.
There is nothing as practical as a good theory: Russ Cox's article on regular expression matching
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).
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
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).
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
Beyond Computer Science
Here are links to two groups that stand for important causes:
My Erdös number is 3 (via Uri Zwick and Noga Alon).
Prof. Amir M. Ben-Amram
School of Computer Science
The Academic College of Tel-Aviv Yaffo
2 Rabenu Yeruham Str.
68182 Tel Aviv
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.