researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1991
1992
1993
1994
1995
1997
1998
1999
2000
2002
2003
2004
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
analysis
compiler
data-flow
functional programming
logic
logic programming
meta-model
meta-objects
optimization
partial evaluation
program analysis
program transformation
programming
programming languages
rule-based
semantics
systematic-approach
transformation
Filter by Author
[+]
OR
AND
NOT
1
Charles Consel
Elvira Albert
Germán Puebla
João Saraiva
Jurriaan Hage
Kenichi Asai
Michael Leuschel
Naoki Kobayashi 0001
Oleg Kiselyov
Olivier Danvy
Peter Thiemann
Robert Glück
Siau-Cheng Khoo
Stefan Holdermans
Torben Æ. Mogensen
Walid Taha
Wei-Ngan Chin
Yanhong A. Liu
Yukiyoshi Kameyama
Zhenjiang Hu
Filter by Top terms
[+]
OR
AND
NOT
1
acm
analysis
evaluation
functional
language
languages
logic
manipulation
partial
pepm
proceedings
program
programming
programs
semantics
sigplan
specialization
time
type
using
Partial Evaluation and Program Manipulation (PEPM)
Editions
Publications
Viewing Publication 1 - 100 from 548
2024
Scoped and Typed Staging by Evaluation
Guillaume Allais
.
PEPM 2024
:
83-93
[doi]
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution)
Dines Bjørner
.
PEPM 2024
:
53-56
[doi]
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi
,
Naoki Kobayashi
,
Ryosuke Sato
.
PEPM 2024
:
70-82
[doi]
In memoriam Neil Deaton Jones
Fritz Henglein
.
PEPM 2024
:
14-15
[doi]
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024
Gabriele Keller
,
Meng Wang 0002
, editors,
ACM,
2024.
[doi]
Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi
,
Oleg Kiselyov
.
PEPM 2024
:
57-69
[doi]
Incremental Computation: What Is the Essence? (Invited Contribution)
Yanhong A. Liu
.
PEPM 2024
:
39-52
[doi]
Partial Evaluation of Reversible Flowchart Programs
Louis Normann
,
Robert Glück
.
PEPM 2024
:
119-133
[doi]
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi
,
Maurizio Proietti
,
Fabio Fioravanti
,
Emanuele De Angelis
.
PEPM 2024
:
16-38
[doi]
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Peter Sestoft
,
Harald Søndergaard
.
PEPM 2024
:
1-13
[doi]
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka
,
Ken Sakayori
,
Naoki Kobayashi 0001
.
PEPM 2024
:
94-106
[doi]
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama
,
Youyou Cong
,
Hidehiko Masuhara
.
PEPM 2024
:
134-145
[doi]
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia
,
Igor Engel
,
Daniil Berezun
.
PEPM 2024
:
107-118
[doi]
2023
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023
Edwin C. Brady
,
Jens Palsberg
, editors,
ACM,
2023.
[doi]
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Jacques Carette
,
Gerardo Ortiz
,
Amr Sabry
.
PEPM 2023
:
14-26
[doi]
Towards a Reflection for Effect Handlers
Youyou Cong
,
Kenichi Asai
.
PEPM 2023
:
55-65
[doi]
Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo
,
Emanuel Rodrigues
,
Marcos Viera
,
João Saraiva
.
PEPM 2023
:
41-54
[doi]
Semantic Transformation Framework for Rewriting Rules
Jihee Park
,
Jaemin Hong
,
Sukyoung Ryu
.
PEPM 2023
:
1-13
[doi]
Generating Programs for Polynomial Multiplication with Correctness Assurance
Ryo Tokuda
,
Yukiyoshi Kameyama
.
PEPM 2023
:
27-40
[doi]
2022
Semi-automatic ladderisation: improving code security through rewriting and dependent types
Christopher Brown 0002
,
Adam D. Barwell
,
Yoann Marquer
,
Olivier Zendra
,
Tania Richmond
,
Chen Gu
.
PEPM 2022
:
14-27
[doi]
POPL '22: The 49th Annual ACM SIGPLAN Symposium on Principles of Programming Languages, Philadelphia, PA, USA, January 17 - 18, 2022
Zena M. Ariola
,
Youyou Cong
, editors,
ACM,
2022.
[doi]
Dependent tagless final
Nicolas Biri
.
PEPM 2022
:
1-13
[doi]
2021
A type-safe structure editor calculus
Christian Godiksen
,
Thomas Herrmann
,
Hans Hüttel
,
Mikkel Korup Lauridsen
,
Iman Owliaie
.
PEPM 2021
:
1-13
[doi]
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021
Sam Lindley
,
Torben Æ. Mogensen
, editors,
ACM,
2021.
[doi]
Efficient fair conjunction for structurally-recursive relations
Peter Lozov
,
Dmitry Boulytchev
.
PEPM 2021
:
58-73
[doi]
A text-based syntax completion method using LR parsing
Isao Sasano
,
Kwanghoon Choi
.
PEPM 2021
:
32-43
[doi]
Strictly capturing non-strict closures
Zachary J. Sullivan
,
Paul Downen
,
Zena M. Ariola
.
PEPM 2021
:
74-89
[doi]
Coq to C translation with partial evaluation
Akira Tanaka
.
PEPM 2021
:
14-31
[doi]
Counterexample generation for program verification based on ownership refinement types
Hideto Ueno
,
John Toman
,
Naoki Kobayashi 0001
,
Takeshi Tsukada
.
PEPM 2021
:
44-57
[doi]
2020
High-fidelity metaprogramming with separator syntax trees
Rodin T. A. Aarssen
,
Tijs van der Storm
.
PEPM 2020
:
27-37
[doi]
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020
Casper Bach Poulsen
,
Zhenjiang Hu
, editors,
ACM,
2020.
[doi]
GOOL: a generic object-oriented language
Jacques Carette
,
Brooks MacLachlan
,
Spencer Smith
.
PEPM 2020
:
45-51
[doi]
Symbolic bisimulation for open and parameterized systems
Zechen Hou
,
Eric Madelaine
.
PEPM 2020
:
14-26
[doi]
An approach to generate text-based IDEs for syntax completion based on syntax specification
Isao Sasano
.
PEPM 2020
:
38-44
[doi]
Module generation without regret
Yuhi Sato
,
Yukiyoshi Kameyama
,
Takahisa Watanabe
.
PEPM 2020
:
1-13
[doi]
2019
Extracting a call-by-name partial evaluator from a proof of termination
Kenichi Asai
.
PEPM 2019
:
61-67
[doi]
Futures and promises in Haskell and Scala
Tamino Dauth
,
Martin Sulzmann
.
PEPM 2019
:
68-74
[doi]
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019
Manuel V. Hermenegildo
,
Atsushi Igarashi
, editors,
ACM,
2019.
[doi]
A simpler lambda calculus
Barry Jay
.
PEPM 2019
:
1-9
[doi]
Control flow obfuscation via CPS transformation
Kenny Zhuo Ming Lu
.
PEPM 2019
:
54-60
[doi]
Typed parsing and unparsing for untyped regular expression engines
Gabriel Radanne
.
PEPM 2019
:
35-46
[doi]
Combining higher-order model checking with refinement type inference
Ryosuke Sato
,
Naoki Iwayama
,
Naoki Kobayashi 0001
.
PEPM 2019
:
47-53
[doi]
Reduction from branching-time property verification of higher-order programs to HFL validity checking
Keiichi Watanabe
,
Takeshi Tsukada
,
Hiroki Oshikawa
,
Naoki Kobayashi 0001
.
PEPM 2019
:
22-34
[doi]
Method name suggestion with hierarchical attention networks
Sihan Xu
,
Sen Zhang
,
Weijing Wang
,
Xinya Cao
,
Chenkai Guo
,
Jing Xu
.
PEPM 2019
:
10-21
[doi]
Generating mutually recursive definitions
Jeremy Yallop
,
Oleg Kiselyov
.
PEPM 2019
:
75-81
[doi]
2018
Selective CPS transformation for shift and reset
Kenichi Asai
,
Chihiro Uehara
.
PEPM 2018
:
40-52
[doi]
Gradually typed symbolic expressions
David Broman
,
Jeremy G. Siek
.
PEPM 2018
:
15-29
[doi]
On the cost of type-tag soundness
Ben Greenman
,
Zeina Migeed
.
PEPM 2018
:
30-39
[doi]
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018
Fritz Henglein
,
Hsiang-Shang Ko
, editors,
ACM,
2018.
[doi]
A guess-and-assume approach to loop fusion for program verification
Akifumi Imanishi
,
Kohei Suenaga
,
Atsushi Igarashi
.
PEPM 2018
:
2-14
[doi]
Recursive programs in normal form (short paper)
Barry Jay
.
PEPM 2018
:
67-73
[doi]
Developments in property-based testing (invited talk)
Jan Midtgaard
.
PEPM 2018
:
1
[doi]
Checking cryptographic API usage with composable annotations (short paper)
Duncan Mitchell
,
L. Thomas van Binsbergen
,
Blake Loring
,
Johannes Kinder
.
PEPM 2018
:
53-59
[doi]
Program generation for ML modules (short paper)
Takahisa Watanabe
,
Yukiyoshi Kameyama
.
PEPM 2018
:
60-66
[doi]
2017
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)
Daniil Berezun
,
Neil D. Jones
.
PEPM 2017
:
1-11
[doi]
Refining types using type guards in TypeScript
Ivo Gabe de Wolff
,
Jurriaan Hage
.
PEPM 2017
:
111-122
[doi]
Cost versus precision for approximate typing for Python
Levin Fritz
,
Jurriaan Hage
.
PEPM 2017
:
89-98
[doi]
PEG parsing in less space using progressive tabling and dynamic analysis
Fritz Henglein
,
Ulrik Terp Rasmussen
.
PEPM 2017
:
35-46
[doi]
Language-integrated query with ordering, grouping and outer joins (poster paper)
Tatsuya Katsushima
,
Oleg Kiselyov
.
PEPM 2017
:
123-124
[doi]
Predicting resource consumption of higher-order workflows
Markus Klinik
,
Jurriaan Hage
,
Jan Martin Jansen
,
Rinus Plasmeijer
.
PEPM 2017
:
99-110
[doi]
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction
Kazutaka Matsuda
,
Kazuyuki Asada
.
PEPM 2017
:
71-82
[doi]
Detecting code clones with gaps by function applications
Tsubasa Matsushita
,
Isao Sasano
.
PEPM 2017
:
12-22
[doi]
Interactive data representation migration: exploiting program dependence to aid program transformation
Krishna Narasimhan
,
Christoph Reichenbach
,
Julia Lawall
.
PEPM 2017
:
47-58
[doi]
Functional parallels of sequential imperatives (short paper)
Tiark Rompf
,
Kevin J. Brown
.
PEPM 2017
:
83-88
[doi]
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017
Ulrik Pagh Schultz
,
Jeremy Yallop
, editors,
ACM,
2017.
[doi]
Lightweight soundness for towers of language extensions
Alejandro Serrano
,
Jurriaan Hage
.
PEPM 2017
:
23-34
[doi]
Verification of code generators via higher-order model checking
Takashi Suwa
,
Takeshi Tsukada
,
Naoki Kobayashi 0001
,
Atsushi Igarashi
.
PEPM 2017
:
59-70
[doi]
2016
Operator precedence for data-dependent grammars
Ali Afroozeh
,
Anastasia Izmaylova
.
PEPM 2016
:
13-24
[doi]
Toward introducing binding-time analysis to MetaOCaml
Kenichi Asai
.
PEPM 2016
:
97-102
[doi]
Removing runtime overhead for optimized object queries
Jon Brandvein
,
Yanhong A. Liu
.
PEPM 2016
:
73-84
[doi]
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
Martin Erwig
,
Tiark Rompf
, editors,
ACM,
2016.
[doi]
Staging beyond terms: prospects and challenges
Jun Inoue
,
Oleg Kiselyov
,
Yukiyoshi Kameyama
.
PEPM 2016
:
103-108
[doi]
Practical, general parser combinators
Anastasia Izmaylova
,
Ali Afroozeh
,
Tijs van der Storm
.
PEPM 2016
:
1-12
[doi]
BiGUL: a formally verified core language for putback-based bidirectional programming
Hsiang-Shang Ko
,
Tao Zan
,
Zhenjiang Hu
.
PEPM 2016
:
61-72
[doi]
Everything old is new again: quoted domain-specific languages
Shayan Najd
,
Sam Lindley
,
Josef Svenningsson
,
Philip Wadler
.
PEPM 2016
:
25-36
[doi]
Finally, safely-extensible and efficient language-integrated query
Kenichi Suzuki
,
Oleg Kiselyov
,
Yukiyoshi Kameyama
.
PEPM 2016
:
37-48
[doi]
A constraint language for static semantic analysis based on scope graphs
Hendrik van Antwerpen
,
Pierre Néron
,
Andrew P. Tolmach
,
Eelco Visser
,
Guido Wachsmuth
.
PEPM 2016
:
49-60
[doi]
Staging generic programming
Jeremy Yallop
.
PEPM 2016
:
85-96
[doi]
2015
Verifying Relational Properties of Functional Programs by First-Order Refinement
Kazuyuki Asada
,
Ryosuke Sato
,
Naoki Kobayashi 0001
.
PEPM 2015
:
61-72
[doi]
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015
Kenichi Asai
,
Kostis Sagonas
, editors,
ACM,
2015.
[doi]
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Casper Bach Poulsen
,
Peter D. Mosses
,
Paolo Torrini
.
PEPM 2015
:
3-8
[doi]
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain
Patrick Bahr
,
Emil Axelsson
.
PEPM 2015
:
27-38
[doi]
Incremental Evaluation of Higher Order Attributes
Jeroen Bransen
,
Atze Dijkstra
,
S. Doaitse Swierstra
.
PEPM 2015
:
39-48
[doi]
Object-sensitive Type Analysis of PHP
Henk Erik Van der Hoek
,
Jurriaan Hage
.
PEPM 2015
:
9-20
[doi]
Constraint Specialisation in Horn Clause Verification
Bishoksan Kafle
,
John P. Gallagher
.
PEPM 2015
:
85-90
[doi]
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
Ruud Koot
,
Jurriaan Hage
.
PEPM 2015
:
127-138
[doi]
Desugaring in Practice: Opportunities and Challenges
Shriram Krishnamurthi
.
PEPM 2015
:
1-2
[doi]
Threads as Resource for Concurrency Verification
Duy-Khanh Le
,
Wei-Ngan Chin
,
Yong Meng Teo
.
PEPM 2015
:
73-84
[doi]
Safe Concurrency Introduction through Slicing
Huiqing Li
,
Simon J. Thompson
.
PEPM 2015
:
103-113
[doi]
SWIN: Towards Type-Safe Java Program Adaptation between APIs
Jun Li
,
Chenglong Wang
,
Yingfei Xiong
,
Zhenjiang Hu
.
PEPM 2015
:
91-102
[doi]
Static Backward Demand-Driven Slicing
Björn Lisper
,
Abu Naser Masud
,
Husni Khanfar
.
PEPM 2015
:
115-126
[doi]
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection
L. Thomas van Binsbergen
,
Jeroen Bransen
,
Atze Dijkstra
.
PEPM 2015
:
49-60
[doi]
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement
Hidde Verstoep
,
Jurriaan Hage
.
PEPM 2015
:
139-142
[doi]
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources
Venkatesh Vinayakarao
,
Rahul Purandare
,
Aditya V. Nori
.
PEPM 2015
:
21-26
[doi]
2014
Optimizing SYB is easy!
Michael D. Adams
,
Andrew Farmer
,
José Pedro Magalhães
.
PEPM 2014
:
71-82
[doi]
Lazy stateless incremental evaluation machinery for attribute grammars
Jeroen Bransen
,
Atze Dijkstra
,
S. Doaitse Swierstra
.
PEPM 2014
:
145-156
[doi]
The HERMIT in the stream: fusing stream fusion's concatMap
Andrew Farmer
,
Christian Höner zu Siederdissen
,
Andy Gill
.
PEPM 2014
:
97-108
[doi]
Lessons from a web-based IDE and runtime
Manuel Fähndrich
.
PEPM 2014
:
1-2
[doi]
A modular and generic analysis server system for functional logic programs
Michael Hanus
,
Fabian Skrlac
.
PEPM 2014
:
181-188
[doi]
Automating property-based testing of evolving web services
Huiqing Li
,
Simon J. Thompson
,
Pablo Lamela Seijas
,
Miguel Angel Francisco
.
PEPM 2014
:
169-180
[doi]
Sign in
or
sign up
to see more results.