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

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781450355872

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recursive programs in normal form (short paper)

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

10.1145/3175493.3162067 ◽

2018 ◽

Author(s):

Barry Jay

Keyword(s):

Normal Form ◽

Short Paper ◽

Recursive Programs

Download Full-text

Developments in property-based testing (invited talk)

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

10.1145/3175493.3168896 ◽

2018 ◽

Author(s):

Jan Midtgaard

Download Full-text

Checking cryptographic API usage with composable annotations (short paper)

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

10.1145/3175493.3162071 ◽

2018 ◽

Author(s):

Duncan Mitchell ◽

L. Thomas van Binsbergen ◽

Blake Loring ◽

Johannes Kinder

Keyword(s):

Short Paper ◽

Download Full-text

Program generation for ML modules (short paper)

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

10.1145/3175493.3162072 ◽

2018 ◽

Author(s):

Takahisa Watanabe ◽

Yukiyoshi Kameyama

Keyword(s):

Short Paper ◽

Program Generation

Download Full-text

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

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

10.1145/3175493.3162070 ◽

2018 ◽

Author(s):

Akifumi Imanishi ◽

Kohei Suenaga ◽

Atsushi Igarashi

Keyword(s):

Program Verification ◽

Download Full-text

Gradually typed symbolic expressions

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

10.1145/3175493.3162068 ◽

2018 ◽

Author(s):

David Broman ◽

Jeremy G. Siek

Download Full-text

On the cost of type-tag soundness

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

10.1145/3175493.3162066 ◽

2018 ◽

Author(s):

Ben Greenman ◽

Zeina Migeed

Keyword(s):

Download Full-text

Selective CPS transformation for shift and reset

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

10.1145/3175493.3162069 ◽

2018 ◽

Author(s):

Kenichi Asai ◽

Chihiro Uehara

Download Full-text

On the cost of type-tag soundness

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

10.1145/3162066 ◽

2017 ◽

Author(s):

Ben Greenman ◽

Zeina Migeed

Keyword(s):

Download Full-text

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

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

10.1145/3162070 ◽

2017 ◽

Author(s):

Akifumi Imanishi ◽

Kohei Suenaga ◽

Atsushi Igarashi

Keyword(s):

Program Verification ◽

Download Full-text