J. Knoop: "Non-Standard Techniques for Program Analysis and Optimization"; Talk: Informatik Kolloquium, Technische Universität München, Germany (invited); 2006-06-22.