POPL 2021 Co-Located Events
POPL 2021 Co-Located Events
Powered by
Conference Publishing Consulting

2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021), January 18-19, 2021, Virtual, Denmark

PEPM 2021 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Papers

A Type-Safe Structure Editor Calculus
Christian Godiksen, Thomas Herrmann, Hans HüttelORCID logo, Mikkel Korup Lauridsen, and Iman Owliaie
(Aalborg University, Denmark)
Publisher's Version
Coq to C Translation with Partial Evaluation
Akira Tanaka
(AIST, Japan)
Publisher's Version
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
Counterexample Generation for Program Verification Based on Ownership Refinement Types
Hideto Ueno, John Toman, Naoki KobayashiORCID logo, and Takeshi Tsukada ORCID logo
(University of Tokyo, Japan; Certora, USA; Chiba University, Japan)
Publisher's Version
Efficient Fair Conjunction for Structurally-Recursive Relations
Peter Lozov ORCID logo and Dmitry Boulytchev ORCID logo
(St. Petersburg State University, Russia; JetBrains Research, Russia)
Publisher's Version
Strictly Capturing Non-strict Closures
Zachary J. Sullivan, Paul DownenORCID logo, and Zena M. Ariola
(University of Oregon, USA)
Publisher's Version

proc time: 1.67