PEPM '18- Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Full Citation in the ACM Digital Library

Developments in property-based testing (invited talk)

• Jan Midtgaard

A guess-and-assume approach to loop fusion for program verification

• Akifumi Imanishi
• Kohei Suenaga
• Atsushi Igarashi

Gradually typed symbolic expressions

• David Broman
• Jeremy G. Siek

On the cost of type-tag soundness

• Ben Greenman
• Zeina Migeed

Selective CPS transformation for shift and reset

• Kenichi Asai
• Chihiro Uehara

Checking cryptographic API usage with composable annotations (short paper)

• Duncan Mitchell
• L. Thomas van Binsbergen
• Blake Loring
• Johannes Kinder

Program generation for ML modules (short paper)

• Takahisa Watanabe
• Yukiyoshi Kameyama

Recursive programs in normal form (short paper)

• Barry Jay