Email Gateway (Aug 18 2022 at 10:51): Email Gateway (Aug 18 2022 at 10:51):From: Oege.de.Moor@comlab.ox.ac.uk
PEPM 2008
ACM SIGPLAN Workshop on
Partial Evaluation and Program Manipulation
January 7-8, 2008, San Francisco
Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford)
Co-located with POPL
http://www.program-transformation.org/PEPM08/WebHome
PEPM is a leading venue for the presentation of
cutting-edge research in program analysis, program
generation and program transformation. Its proceedings
are published by ACM Press; full details of the
scope, submission process, and program committee
can be found at the above URL.
The program committee would particularly welcome
submissions from
researchers in automated reasoning
on any topic relating to
verification of compiler optimisations
Abstracts are due on October 12, and the deadline for
full paper submission is October 17.
Prospective authors are welcome to contact the program
chairs, Robert Glueck (glueck@acm.org) and Oege de Moor
(oege@comlab.ox.ac.uk) with any queries they might have.
Last updated: Nov 21 2024 at 12:39 UTC