Invited Talks

ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
We are proud to present the following two invited talks:

  • Markus Püschel (ETH Zürich, Switzerland): Compiling Math to High Performance Code

  • Martin Berger (University of Sussex, UK): Specification and verification of meta-programs