POPL 2021 Co-Located Events
POPL 2021 Co-Located Events

Title Page

Message from the Chairs

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

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 Kobayashi, and Takeshi Tsukada
(University of Tokyo, Japan; Certora, USA; Chiba University, Japan)

Publisher's Version

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

Publisher's Version

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

Publisher's Version