PEPM@POPL

Keyphrases

Publications

2023

2022

PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17 - 18, 2022 PEPM@POPL (2022)
Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu
Semi-automatic ladderisation: improving code security through rewriting and dependent types. PEPM@POPL (2022)
Nicolas Biri
Dependent tagless final. PEPM@POPL (2022)

2021

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. PEPM@POPL (2021)
Peter Lozov, Dmitry Boulytchev
Efficient fair conjunction for structurally-recursive relations. PEPM@POPL (2021)
Zachary J. Sullivan, Paul Downen, Zena M. Ariola
Strictly capturing non-strict closures. PEPM@POPL (2021)
Akira Tanaka
Coq to C translation with partial evaluation. PEPM@POPL (2021)
Isao Sasano, Kwanghoon Choi
A text-based syntax completion method using LR parsing. PEPM@POPL (2021)
Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie
A type-safe structure editor calculus. PEPM@POPL (2021)
Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada
Counterexample generation for program verification based on ownership refinement types. PEPM@POPL (2021)

2020

2019