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 – Preliminary Table of Contents

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üttel, Mikkel Korup Lauridsen, and Iman Owliaie
(Aalborg University, Denmark)


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


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


Article Search
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)


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


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


Article Search

proc time: 1.59