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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

Barry Jay

Keyword(s):

Normal Form ◽

Short Paper ◽

Recursive Programs

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

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 ◽

Api Usage

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

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 ◽

Loop Fusion

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

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 ◽

Cited By ~ 1

Author(s):

Ben Greenman ◽

Zeina Migeed

Keyword(s):

The Cost

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 ◽

Cited By ~ 1

Author(s):

Kenichi Asai ◽

Chihiro Uehara

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 ◽

Cited By ~ 6

Author(s):

Ben Greenman ◽

Zeina Migeed

Keyword(s):

The Cost

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 ◽

Cited By ~ 1

Author(s):

Akifumi Imanishi ◽

Kohei Suenaga ◽

Atsushi Igarashi

Keyword(s):

Program Verification ◽

Loop Fusion

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Recursive programs in normal form (short paper)

Developments in property-based testing (invited talk)

Checking cryptographic API usage with composable annotations (short paper)

Program generation for ML modules (short paper)

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

On the cost of type-tag soundness

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
Latest Publications