POPL 2018 (series) / PEPM 2018 (series) / — ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation /
Posters/Demos
- Jan Bessai, Boris Düdder, George Heineman, and Jakob Rehof: Towards Language-independent Code Synthesis (Poster and Demo)
- Dominic Duggan and Jianhua Yao: Dataflow Metaprogramming (Poster)
- Isao Sasano: An Approach to Generating Text-Based IDEs with Syntax Completion (Poster and Demo)
- Olivier Nicole, Leo White, and Jeremy Yallop: Modular Macros (Demo)
- Cyprien Mangin and Matthieu Sozeau: Equations: From Clauses to Splittings to Functions (Poster and Demo)
Poster Presentations of Regular Research and Short Papers
- Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder: Checking Cryptographic API Usage with Composable Annotations
- Ben Greenman and Zeina Migeed: On the Cost of Type-Tag Soundness
- Akifumi Imanishi, Kohei Suenaga, and Atsushi Igarashi: A Guess-and-Assume Approach to Loop Fusion for Program Verification
- Jeremy Yallop, Tamara von Glehn, and Ohad Kammar: Partially Static Data as Free Extension of Algebras
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
Tue 9 Jan
Displayed time zone: Tijuana, Baja California change
16:00 - 17:30 | |||
16:00 10mTalk | Towards Language-independent Code Synthesis (Poster/Demo Talk) PEPM Jan Bessai Technical University Dortmund, Boris Düdder University of Copenhagen, George Heineman Worcester Polytechnic Institute, Jakob Rehof Technical University Dortmund File Attached | ||
16:10 10mTalk | Dataflow Metaprogramming (Poster/Demo Talk) PEPM | ||
16:20 10mTalk | An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk) PEPM Isao Sasano Shibaura Institute of Technology | ||
16:30 10mTalk | Modular Macros (Poster/Demo Talk) PEPM File Attached | ||
16:40 10mTalk | Equations: From Clauses to Splittings to Functions (Poster/Demo Talk) PEPM File Attached | ||
16:50 40mOther | Posters/Demos PEPM | ||