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: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis PEPM Invited Talks | |
| Invited Talk: LMS: a Perspective on Generative Programming PEPM Invited Talks I: Nada Amin | |
| 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
Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 45mTalk | Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis PEPM Invited Talks | ||
09:15 45mTalk | Invited Talk: Tracing JITs for Functional Languages PEPM Invited Talks | ||
10:30 - 12:00 | |||
10:30 45mTalk | Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs PEPM Invited Talks | ||
11:15 45mTalk | Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic PEPM Invited Talks | ||
14:00 - 15:30 | |||
14:00 45mTalk | Invited Talk: Program Synthesis: Opportunities for the next Decade PEPM Invited Talks | ||
14:45 45mTalk | Invited Talk: LMS: a Perspective on Generative Programming PEPM Invited Talks | ||
16:00 - 17:30 | |||
16:00 45mTalk | Invited Talk: Fiat: Extensible Code Generation with Proofs PEPM Invited Talks | ||
16:45 45mTalk | Invited Talk: The Promise of Relational Programming PEPM Invited Talks | ||
Tue 19 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 60mTalk | Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation PEPM Invited Talks | ||