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