| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis |
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution).  |
PEPM  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Dines Bjørner |
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein |
In memoriam Neil Deaton Jones. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sestoft, Harald Søndergaard |
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ren Fukaishi, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Productivity Verification for Functional Programs by Reduction to Termination Verification. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara |
An Intrinsically Typed Compiler for Algebraic Effect Handlers. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong A. Liu |
Incremental Computation: What Is the Essence? (Invited Contribution). |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Allais |
Scoped and Typed Staging by Evaluation. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Verbitskaia, Igor Engel, Daniil Berezun |
A Case Study in Functional Conversion and Mode Inference in miniKanren. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Keller, Meng Wang 0002 (eds.) |
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024 |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Izumi Tanaka, Ken Sakayori, Naoki Kobayashi 0001 |
Ownership Types for Verification of Programs with Pointer Arithmetic. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Normann, Robert Glück |
Partial Evaluation of Reversible Flowchart Programs. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoaki Kobayashi, Oleg Kiselyov |
Complete Stream Fusion for Software-Defined Radio. |
PEPM |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard |
Developments in property-based testing (invited talk). |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder |
Checking cryptographic API usage with composable annotations (short paper). |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai, Chihiro Uehara |
Selective CPS transformation for shift and reset. |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi |
A guess-and-assume approach to loop fusion for program verification. |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahisa Watanabe, Yukiyoshi Kameyama |
Program generation for ML modules (short paper). |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Hsiang-Shang Ko (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018 |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Jay |
Recursive programs in normal form (short paper). |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Broman, Jeremy G. Siek |
Gradually typed symbolic expressions. |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Greenman, Zeina Migeed |
On the cost of type-tag soundness. |
PEPM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuya Katsushima, Oleg Kiselyov |
Language-integrated query with ordering, grouping and outer joins (poster paper). |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi 0001, Atsushi Igarashi |
Verification of code generators via higher-order model checking. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsubasa Matsushita, Isao Sasano |
Detecting code clones with gaps by function applications. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Gabe de Wolff, Jurriaan Hage |
Refining types using type guards in TypeScript. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrik Pagh Schultz, Jeremy Yallop (eds.) |
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017 |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer |
Predicting resource consumption of higher-order workflows. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf, Kevin J. Brown |
Functional parallels of sequential imperatives (short paper). |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Ulrik Terp Rasmussen |
PEG parsing in less space using progressive tabling and dynamic analysis. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Jurriaan Hage |
Lightweight soundness for towers of language extensions. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishna Narasimhan, Christoph Reichenbach, Julia Lawall |
Interactive data representation migration: exploiting program dependence to aid program transformation. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniil Berezun, Neil D. Jones |
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Levin Fritz, Jurriaan Hage |
Cost versus precision for approximate typing for Python. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Kazuyuki Asada |
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. |
PEPM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai |
Toward introducing binding-time analysis to MetaOCaml. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Yallop |
Staging generic programming. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu |
BiGUL: a formally verified core language for putback-based bidirectional programming. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Inoue 0001, Oleg Kiselyov, Yukiyoshi Kameyama |
Staging beyond terms: prospects and challenges. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama |
Finally, safely-extensible and efficient language-integrated query. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Afroozeh, Anastasia Izmaylova |
Operator precedence for data-dependent grammars. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Brandvein, Yanhong A. Liu |
Removing runtime overhead for optimized object queries. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler |
Everything old is new again: quoted domain-specific languages. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Erwig, Tiark Rompf (eds.) |
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 |
PEPM |
2016 |
DBLP BibTeX RDF |
|
| 1 | Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm |
Practical, general parser combinators. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
A constraint language for static semantic analysis based on scope graphs. |
PEPM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Li, Chenglong Wang, Yingfei Xiong 0001, Zhenjiang Hu |
SWIN: Towards Type-Safe Java Program Adaptation between APIs. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Erik Van der Hoek, Jurriaan Hage |
Object-sensitive Type Analysis of PHP. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lisper, Abu Naser Masud, Husni Khanfar |
Static Backward Demand-Driven Slicing. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishoksan Kafle, John P. Gallagher |
Constraint Specialisation in Horn Clause Verification. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuyuki Asada, Ryosuke Sato 0001, Naoki Kobayashi 0001 |
Verifying Relational Properties of Functional Programs by First-Order Refinement. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
Incremental Evaluation of Higher Order Attributes. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidde Verstoep, Jurriaan Hage |
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqing Li, Simon J. Thompson |
Safe Concurrency Introduction through Slicing. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Desugaring in Practice: Opportunities and Challenges. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai, Kostis Sagonas (eds.) |
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015 |
PEPM |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ruud Koot, Jurriaan Hage |
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
Threads as Resource for Concurrency Verification. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori |
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Emil Axelsson |
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra |
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. |
PEPM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
Lazy stateless incremental evaluation machinery for attribute grammars. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Chen 0008, Martin Erwig |
Early detection of type errors in C++ templates. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne Payet, Fausto Spoto |
An operational semantics for android activities. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiyu Miao, Jeremy G. Siek |
Compile-time reflection and metaprogramming for Java. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
Effective quotation: relating approaches to language-integrated query. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich |
Lessons from a web-based IDE and runtime. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Pacheco 0001, Zhenjiang Hu, Sebastian Fischer 0001 |
Monadic combinators for "Putback" style bidirectional programming. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Combinators for impure yet hygienic code generation. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey |
Deriving interpretations of the gradually-typed lambda calculus. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur |
Type-changing rewriting and semantics-preserving transformation. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill |
The HERMIT in the stream: fusing stream fusion's concatMap. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Costea, Asankhaya Sharma, Cristina David |
HIPimm: verifying granular immutability guarantees. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven-Bodo Scholz |
Partial evaluation as universal compiler tool: experiences from the SAC Eco system. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Wang 0002, Shayan Najd |
Semantic bidirectionalization revisited. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Jurriaan Hage (eds.) |
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA |
PEPM |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pedro Martins 0001, João Saraiva, João Paulo Fernandes, Eric Van Wyk |
Generating attribute grammar-based bidirectional transformations from rewrite rules. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Fabian Skrlac |
A modular and generic analysis server system for functional logic programs. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco |
Automating property-based testing of evolving web services. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Adams 0001, Andrew Farmer, José Pedro Magalhães |
Optimizing SYB is easy! |
PEPM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryosuke Sato 0001, Hiroshi Unno 0001, Naoki Kobayashi 0001 |
Towards a scalable software model checker for higher-order programs. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Martinez, Marcos Viera, Alberto Pardo |
Just do it while compiling!: fast extensible records in haskell. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Devriese, Ilya Sergey, Dave Clarke 0001, Frank Piessens |
Fixing idioms: a recursion primitive for applicative DSLs. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Servetto, Elena Zucca |
A meta-circular language for active libraries. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner |
Traceability and evidence of correctness of EDSL abstractions. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
Verified integrity properties for safe approximate program transformations. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Shonan challenge for generative programming: short position paper. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Marco A. Feliú, Alicia Villanueva |
Automatic inference of specifications using matching logic. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Shin-Cheng Mu (eds.) |
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 |
PEPM |
2013 |
DBLP BibTeX RDF |
|
| 1 | Qiang Sun, Yuting Chen, Jianjun Zhao 0001 |
Constraint-based locality analysis for X10 programs. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro García-Pérez, Pablo Nogueira |
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Simon |
Deriving a complete type inference for hindley-milner and vector sizes using expansion. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
Precise explanation of success typing errors. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Weijers, Jurriaan Hage, Stefan Holdermans |
Security type error diagnosis for higher-order, polymorphic languages. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verifying programs via iterated specialization. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Partially static operations. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Andres Löh |
Abstract syntax graphs for domain specific languages. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Luca Torella |
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license