About
The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs.
The list of accepted papers is available here.
In addition to regular research papers, PEPM 2016 will feature a full day of high-caliber invited talks that cover the core of PEPM - program manipulation - from many different angles. The full list of invited talks is available here. Most Invited talks will be scheduled on Moday, Jan 18.
Invited Talks
Invited Talk: LMS: a Perspective on Generative Programming
Nada Amin
Invited Talk: Fiat: Extensible Code Generation with Proofs
Adam Chlipala
Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis
Martin Vechev
Invited Talk: The Promise of Relational Programming
William E. Byrd
Invited Talk: Program Synthesis: Opportunities for the next Decade
Rastislav BodÃk
Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs
Kathleen Fisher
