2024 share record
persistent URL:
Tomoaki Kobayashi , Oleg Kiselyov : Complete Stream Fusion for Software-Defined Radio. PEPM 2024 : 57-69 share record
persistent URL:
Guillaume Allais : Scoped and Typed Staging by Evaluation. PEPM 2024 : 83-93 share record
persistent URL:
Dines Bjørner : The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). PEPM 2024 : 53-56 share record
persistent URL:
Ren Fukaishi , Naoki Kobayashi , Ryosuke Sato : Productivity Verification for Functional Programs by Reduction to Termination Verification. PEPM 2024 : 70-82 share record
persistent URL:
Fritz Henglein : In memoriam Neil Deaton Jones. PEPM 2024 : 14-15 share record
persistent URL:
Yanhong A. Liu : Incremental Computation: What Is the Essence? (Invited Contribution). PEPM 2024 : 39-52 share record
persistent URL:
Louis Normann , Robert Glück : Partial Evaluation of Reversible Flowchart Programs. PEPM 2024 : 119-133 export record
dblp key:
conf/pepm/PettorossiPFA24 share record
persistent URL:
Alberto Pettorossi , Maurizio Proietti , Fabio Fioravanti , Emanuele De Angelis : A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). PEPM 2024 : 16-38 share record
persistent URL:
Peter Sestoft , Harald Søndergaard : The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). PEPM 2024 : 1-13 share record
persistent URL:
Izumi Tanaka , Ken Sakayori , Naoki Kobayashi : Ownership Types for Verification of Programs with Pointer Arithmetic. PEPM 2024 : 94-106 share record
persistent URL:
Syouki Tsuyama , Youyou Cong , Hidehiko Masuhara : An Intrinsically Typed Compiler for Algebraic Effect Handlers. PEPM 2024 : 134-145 export record
dblp key:
conf/pepm/VerbitskaiaEB24 share record
persistent URL:
Ekaterina Verbitskaia , Igor Engel , Daniil Berezun : A Case Study in Functional Conversion and Mode Inference in miniKanren. PEPM 2024 : 107-118 share record
persistent URL:
Gabriele Keller , Meng Wang : Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. ACM 2024 [contents] 2023 share record
persistent URL:
Jacques Carette , Gerardo Ortiz , Amr Sabry : Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL 2023 : 14-26 share record
persistent URL:
Youyou Cong , Kenichi Asai : Towards a Reflection for Effect Handlers. PEPM@POPL 2023 : 55-65 share record
persistent URL:
José Nuno Macedo , Emanuel Rodrigues , Marcos Viera , João Saraiva : Efficient Embedding of Strategic Attribute Grammars via Memoization. PEPM@POPL 2023 : 41-54 share record
persistent URL:
Jihee Park , Jaemin Hong , Sukyoung Ryu : Semantic Transformation Framework for Rewriting Rules. PEPM@POPL 2023 : 1-13 share record
persistent URL:
Ryo Tokuda , Yukiyoshi Kameyama : Generating Programs for Polynomial Multiplication with Correctness Assurance. PEPM@POPL 2023 : 27-40 share record
persistent URL:
Edwin C. Brady , Jens Palsberg : Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023. ACM 2023 [contents] 2022 share record
persistent URL:
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 : 14-27 share record
persistent URL:
Nicolas Biri : Dependent tagless final. PEPM@POPL 2022 : 1-13 share record
persistent URL:
Zena M. Ariola , Youyou Cong : PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17 - 18, 2022. ACM 2022 , ISBN 978-1-4503-9188-7 [contents] 2021 share record
persistent URL:
Christian Godiksen , Thomas Herrmann , Hans Hüttel , Mikkel Korup Lauridsen , Iman Owliaie : A type-safe structure editor calculus. PEPM@POPL 2021 : 1-13 share record
persistent URL:
Peter Lozov , Dmitry Boulytchev : Efficient fair conjunction for structurally-recursive relations. PEPM@POPL 2021 : 58-73 share record
persistent URL:
Isao Sasano , Kwanghoon Choi : A text-based syntax completion method using LR parsing. PEPM@POPL 2021 : 32-43 share record
persistent URL:
Zachary J. Sullivan , Paul Downen , Zena M. Ariola : Strictly capturing non-strict closures. PEPM@POPL 2021 : 74-89 share record
persistent URL:
Akira Tanaka : Coq to C translation with partial evaluation. PEPM@POPL 2021 : 14-31 share record
persistent URL:
Hideto Ueno , John Toman , Naoki Kobayashi , Takeshi Tsukada : Counterexample generation for program verification based on ownership refinement types. PEPM@POPL 2021 : 44-57 share record
persistent URL:
Sam Lindley , Torben Æ. Mogensen : Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. ACM 2021 , ISBN 978-1-4503-8305-9 [contents] 2020