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)

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

Gradually typed symbolic expressions

On the cost of type-tag soundness

Selective CPS transformation for shift and reset

Checking cryptographic API usage with composable annotations (short paper)

Program generation for ML modules (short paper)

Recursive programs in normal form (short paper)