PEPM 2021 – Proceedings

2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021)

Frontmatter

Papers

A Type-Safe Structure Editor Calculus
Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, and Iman Owliaie
(Aalborg University, Denmark)

Publisher's Version Article: poplws21pepmmain-p3-p doi:10.1145/3441296.3441393

Coq to C Translation with Partial Evaluation
Akira Tanaka
(AIST, Japan)

Publisher's Version Article: poplws21pepmmain-p5-p doi:10.1145/3441296.3441394

A Text-Based Syntax Completion Method using LR Parsing
Isao Sasano and Kwanghoon Choi
(Shibaura Institute of Technology, Japan; Chonnam National University, South Korea)

Publisher's Version Article: poplws21pepmmain-p6-p doi:10.1145/3441296.3441395

Counterexample Generation for Program Verification Based on Ownership Refinement Types
Hideto Ueno, John Toman, Naoki Kobayashi, and Takeshi Tsukada
(University of Tokyo, Japan; Certora, USA; Chiba University, Japan)

Publisher's Version Article: poplws21pepmmain-p10-p doi:10.1145/3441296.3441396

Efficient Fair Conjunction for Structurally-Recursive Relations
Peter Lozov and Dmitry Boulytchev
(St. Petersburg State University, Russia; JetBrains Research, Russia)

Publisher's Version Article: poplws21pepmmain-p20-p doi:10.1145/3441296.3441397

Strictly Capturing Non-strict Closures
Zachary J. Sullivan, Paul Downen, and Zena M. Ariola
(University of Oregon, USA)

Publisher's Version Article: poplws21pepmmain-p70-p doi:10.1145/3441296.3441398

proc time: 0.01