Author Retrospective for Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs

Philippe Clauss (1, 2, 3)

1 ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
2 MULTICORE
3 CAMUS - Compilation pour les Architectures MUlti-coeurS

Ehrhart polynomials are amazing mathematical objects that I discovered in the early 90's and that have many applications in computer science. This retrospective relates my personal and scientific experience regarding this research work, my meeting with the mathematician Eugène Ehrhart, and addresses some extensions and perspectives of further developments.

Mots clés: ehrhart polynomials; integer points; nested loops; polyhedral model; polyhedron; program analysis and optimization

Domaines: Informatique et langage [cs.CL]

Philippe Clauss. Author Retrospective for Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs. ICS, International Conference on Supercomputing, 2014, New York, United States. ⟨10.1145/2591635.2591654⟩. ⟨hal-01100296⟩