Write a Blog >>

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.

PEPM 2016 will feature a series of high-caliber invited talks that cover the core of PEPM - program manipulation - from different angles. Most of the invited talks will take place on Monday, Jan 18.

Invited Talks

Title
Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation
PEPM Invited Talks
Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic
PEPM Invited Talks
Invited Talk: Fiat: Extensible Code Generation with Proofs
PEPM Invited Talks
Invited Talk: LMS: a Perspective on Generative Programming
PEPM Invited Talks
Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis
PEPM Invited Talks
Invited Talk: Program Synthesis: Opportunities for the next Decade
PEPM Invited Talks
Invited Talk: The Promise of Relational Programming
PEPM Invited Talks
Invited Talk: Tracing JITs for Functional Languages
PEPM Invited Talks
Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs
PEPM Invited Talks
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

14:00 - 15:30
Invited talks 4 & 5PEPM Invited Talks at Room Demens
14:00
45m
Talk
Invited Talk: Program Synthesis: Opportunities for the next Decade
PEPM Invited Talks
I: Rastislav BodikUniversity of Washington, USA
14:45
45m
Talk
Invited Talk: LMS: a Perspective on Generative Programming
PEPM Invited Talks
I: Nada AminEPFL
16:00 - 17:30
Invited talks 6 & 7PEPM Invited Talks at Room Demens
16:00
45m
Talk
Invited Talk: Fiat: Extensible Code Generation with Proofs
PEPM Invited Talks
16:45
45m
Talk
Invited Talk: The Promise of Relational Programming
PEPM Invited Talks
I: William E. ByrdUniversity of Utah

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change