PEPM '15- Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation

Full Citation in the ACM Digital Library

SESSION: Keynote Address

Desugaring in Practice: Opportunities and Challenges

• Shriram Krishnamurthi

SESSION: Types

Imperative Polymorphism by Store-Based Types as Abstract Interpretations

• Casper Bach Poulsen
• Peter D. Mosses
• Paolo Torrini

Object-sensitive Type Analysis of PHP

• Henk Erik Van der Hoek
• Jurriaan Hage

SESSION: Code Mining

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources

• Venkatesh Vinayakarao
• Rahul Purandare
• Aditya V. Nori

SESSION: Trees and Grammars

Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain

• Patrick Bahr
• Emil Axelsson

Incremental Evaluation of Higher Order Attributes

• Jeroen Bransen
• Atze Dijkstra
• S. Doaitse Swierstra

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

• L. Thomas van Binsbergen
• Jeroen Bransen
• Atze Dijkstra

SESSION: Verification

Verifying Relational Properties of Functional Programs by First-Order Refinement

• Kazuyuki Asada
• Ryosuke Sato
• Naoki Kobayashi

Threads as Resource for Concurrency Verification

• Duy-Khanh Le
• Wei-Ngan Chin
• Yong Meng Teo

Constraint Specialisation in Horn Clause Verification

• Bishoksan Kafle
• John P. Gallagher

SESSION: Transformation

SWIN: Towards Type-Safe Java Program Adaptation between APIs

• Jun Li
• Chenglong Wang
• Yingfei Xiong
• Zhenjiang Hu

SESSION: Slicing

Safe Concurrency Introduction through Slicing

• Huiqing Li
• Simon Thompson

Static Backward Demand-Driven Slicing

• Björn Lisper
• Abu Naser Masud
• Husni Khanfar

SESSION: Analysis

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics

• Ruud Koot
• Jurriaan Hage

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement

• Hidde Verstoep
• Jurriaan Hage