yusuke1997/dblp-id-title huggingface dataset:
Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation
Designing aspects for side-effect localization
Combinators for impure yet hygienic code generation
Predicting Properties of Residual Programs
C-MIX: Specialization of C Programs
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience
LOCO: an interactive code (De)obfuscation tool
Special Address: MIX ten years after
Semantic bidirectionalization revisited
From Recursion to Iteration: What are the Optimizations?
Gradually typed symbolic expressions
COSTABS: a cost and termination analyzer for ABS
Automatic time-bound analysis for a higher-order language
A dead variable analysis for explicit model checking
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024
Self-adjusting computation: (an overview)
PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17 - 18, 2022
Source transformation, analysis and generation in TXL
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021
Mixed-initiative interaction = mixed computation
Toward introducing binding-time analysis to MetaOCaml
Calculating tree navigation with symmetric relational zipper
Dynamic Specialization in Extended Functional Language with Monotone Objects
Invited application paper: re-engineering C++ components via automatic program transformation
Deriving a Statically Typed Type-Directed Partial Evaluator
XML graphs in program analysis
Effective quotation: relating approaches to language-integrated query
Using circular programs to deforest in accumulating parameters
Allocation removal by partial evaluation in a tracing JIT
From spreadsheets to relational databases and back
Resource-Bounded Partial Evaluation
Output-constraint specialization
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)
Verified resource guarantees using COSTA and KeY
Quasiquotation in Lisp
Growing languages with metamorphic syntax macros
Static Backward Demand-Driven Slicing
Partially static operations
Proving Properties of Programs Defined over Recursive Data Structures
A type system for resource protocol verification and its correctness proof
A fold/unfold transformation framework for rewrite theories extended to CCT
Partial Evaluation for the Lambda Calculus
Properties of Unfolding-based Meta-level Systems
Fixing idioms: a recursion primitive for applicative DSLs
Object-oriented queries over software systems: (abstract of invited talk)
Jones optimality and hardware virtualization: a report on work in progress
A practical type analysis for verification of modular prolog programs
Selective CPS transformation for shift and reset
Abstract Interpretation and Low-Level Code Optimization
Compile-time reflection and metaprogramming for Java
A program transformation for returning states in functional-logic programs
Semantic Transformation Framework for Rewriting Rules
Shortcut fusion rules for the derivation of circular and higher-order monadic programs
Ownership Types for Verification of Programs with Pointer Arithmetic
Bidirectional data-flow analyses, type-systematically
Everything old is new again: quoted domain-specific languages
Ordering multiple continuations on the stack
Fully Lazy Higher-Order Removal
Towards constructing reusable specialization components
Translating flowcharts to non-deterministic languages
An analytical inductive functional programming system that avoids unintended programs
Multi-Level Specialization (Extended Abstract)
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages
Verification of code generators via higher-order model checking
Towards Multiple Self-Application
Characterizations of Partial Well-Behaved Lenses
Clock Analysis of Synchronous Dataflow Programs
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
A monadic approach for avoiding code duplication when staging memoized functions
Fusion with stacks and accumulating parameters
PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings. Technical Report 94/9
Packrat parsers can support left recursion
Transforming interpreters into inverse interpreters by partial evaluation
BiGUL: a formally verified core language for putback-based bidirectional programming
Desugaring in Practice: Opportunities and Challenges
Storeless semantics and alias logic
A type-safe structure editor calculus
A Polyvariant Binding Time Analysis
Using Abstract Interpretation to Define a Strictness Type Inference System
Unparsed patterns: easy user-extensibility of program manipulation tools
Type-based specialization of xml transformations
Algebraic Stepper for Simple Modules
Style normalization for canonical X-to-O mappings
Program optimization using indexed and recursive data structures
Semantics Preserving Transformation Rules for Prolog
Counterexample generation for program verification based on ownership refinement types
The Essence of LR Parsing
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013
Scoped and Typed Staging by Evaluation
Interpreting Specialization in Type Theory
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language
Practical, general parser combinators
A Suite of Optimizers Based on Abstract Interpretation
A Type Safe Calculus for Generating Syntax-Directed Editors
Interconveritibility of Set Constraints and Context-Free Language Reachability
Invited talk: the blast query language for software verification
Invited application paper: program generation considered easy
Non Pair-Sharing and Freeness Analysis Through Linear Refinement
Search-based binding time analysis using type-directed pruning
Logic Program Specialisation
Hole Refinements for Polymorphic Type-and-Example Driven Synthesis
Principal type specialisation
Strictly capturing non-strict closures
Implementation of Multiple Specialization in Logic Programs
Imperative program optimization by partial evaluation
A new type system for JVM lock primitives
Strictification of circular programs
Program generation for ML modules (short paper)
Tradeoffs in metaprogramming
Composing transformations for instrumentation and optimization
Using Types to Avoid Redundant Specialization
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract)
Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025, Denver, CO, USA, 21 January 2025
Combining higher-order model checking with refinement type inference
Self-Applicable Partial Evaluation for the pi-Calculus
Resource usage analysis for a functional language with exceptions
Inherited Limits
Program generators and the tools to make them
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
Offline partial evaluation for shift and reset
Staging generic programming
Improving Programs Which Recurse over Multiple Inductive Structures
Stratego/XT 0.16: components for transformation systems
From higher-order logic to Haskell: there and back again
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis
Self-applicable Online Partial Evaluation of Pure Lambda Calculus
Searching For Semantics
Refining types using type guards in TypeScript
Declarative Aspect-Oriented Programming
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023
Program transformations for portable CPU accounting and control in Java
The HERMIT in the stream: fusing stream fusion's concatMap
Program Analysis with Partial Transfer Functions
Linear logical approximations
Distillation: extracting the essence of programs
Automating property-based testing of evolving web services
Inferring Typing Rules for Contextual Sugars
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Higher-order Binding-time Analysis
Towards a scalable software model checker for higher-order programs
Effective Optimization of Multiple Traversals in Lazy Languages
Determinacy Analysis for Full Prolog
An approach to completing variable names for implicitly typed functional languages
Invited talk: injecting life with computers
Data dependencies and program slicing: from syntax to abstract semantics
Using Regular Approximations for Generalisation During Partial Evalution
Lightweight soundness for towers of language extensions
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths
Online Partial Deduction of Large Programs
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000
Proof optimization for partial redundancy elimination
Partial Evaluation of General Parsers
Towards Lightweight and Efficient Choreographic Cloud Services
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1
Partial Evaluation in Aircraft Crew Planning
Heap recycling for lazy languages
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Optimizing generics is easy!
Type Analysis of Logic Programs in the Presence of Type Definitions
SOC: a slicer for CSP specifications
Eta-Redexes in Partial Evaluation
Call Unfolding Strategies for Equational Logic Programs
The Second Futamura Projection for Type-Directed Partial Evaluation
Program transformation for numerical precision
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Bit-level partial evaluation of synchronous circuits
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution)
PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909)
Threads as Resource for Concurrency Verification
Invited talk: towards declarative programming for web services
Verifying Relational Properties of Functional Programs by First-Order Refinement
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
The Semantics of Scheme Control-Flow Analysis
An Intrinsically Typed Compiler for Algebraic Effect Handlers
General purpose languages should be metalanguages
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection
Binding-Time Analysis and the Taming of C Pointers
Automatic inference of specifications using matching logic
Towards a New Perspective on Partial Evaluation
Using program specialization to speed SystemC fixed-point simulation
Partial Evaluation: Concepts and Applications
Constructor Spezialization
Schedulers as Abstract Interpreter of Higher Dimensional Automata
Hybrid contract checking via symbolic simplification
Towards an Automated Tupling Strategy
Building Incremental Programs using Partial Evaluation
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources
CodeBricks: code fragments as building blocks
Program Transformation by Derivor Manipulations
Constraint-based locality analysis for X10 programs
Incremental Evaluation of Higher Order Attributes
Towards Efficient Compilation of a Dynamic Object-Oriented Language
Partial evaluation as universal compiler tool: experiences from the SAC Eco system
Quasi-terminating logic programs for ensuring the termination of partial evaluation
Towards Efficient Partial Evaluation
CProf: customizable calling context cross-profiling for embedded java processors
Concoqtion: indexed types now!
Lazy stateless incremental evaluation machinery for attribute grammars
Partial-Evaluation Techniques for Concurrent Programs
Complete Stream Fusion for Software-Defined Radio
Productivity Verification for Functional Programs by Reduction to Termination Verification
PERs from Projections for Binding-Time Analysis
Tools and libraries to model and manipulate circular programs
Optimizing SYB is easy!
DiaSuite: a paradigm-oriented software development approach
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020
Symbolic Pointer Analysis for Detecting Memory Leaks
Proving correctness via free theorems: the case of the destroy/build-rule
A Case Study in Functional Conversion and Mode Inference in miniKanren
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
Futures and promises in Haskell and Scala
Invited application paper: language design for implementing process scheduling hierarchies
Continuous code-quality assurance with SAFE
Efficient Embedding of Strategic Attribute Grammars via Memoization
Staging beyond terms: prospects and challenges
Extending sized type with collection analysis
A programmable editor for developing structured documents based on bidirectional transformations
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018
Detecting code clones with gaps by function applications
Corrective hints for type incorrect generic Java programs
Combining Program and Data Specialization
An embedded language for programming protocol stacks in embedded systems
Semantic models and abstract interpretation techniques for inductive data structures and pointers
The semantics of graphical languages
Automatic generation of efficient string matching algorithms by generalized partial computation
Techniques for Partial Evaluation of Imperative Languages
A Partial Evaluator for Data Flow Graphs
Functional parallels of sequential imperatives (short paper)
Practical aspects of bidirectional graph transformations
Faster Fourier Transforms via Automatic Program Specialization
Dictionary-Free Overloading by Partial Evaluation
iTasks for a change: type-safe run-time change in dynamically evolving workflows
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages
The SourceGraph program
Generating Programs for Polynomial Multiplication with Correctness Assurance
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain
Generating mutually recursive definitions
Program Bifurcation for a Polymorphic Typed Functional Language
Typed parsing and unparsing for untyped regular expression engines
Type Theory and Projections for Higher-Order Static Analysis
A Symbolic Constraint Solving Framework for Analysis of Logic Programs
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011
Monadic combinators for "Putback" style bidirectional programming
Constraint Specialisation in Horn Clause Verification
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers
Interactive data representation migration: exploiting program dependence to aid program transformation
Unifying object-oriented programming with typed functional programming
Program Transformations for Configuring Components
A Syntactic Approach to Program Transformations
The Essence of Eta-Expansion in Partial Evaluation
Gödelization in the Untyped lambda-Calculus
Generic programming in Fortran
Polyvariant Binding-Time Analysis For Applicative Languages
Adaptation-based programming in java
Program interpolation
Multi-Stage Programming with Explicit Annotations
Partial Evaluation and Separate Compilation
Language-integrated query with ordering, grouping and outer joins (poster paper)
Improving type error messages for generic java
Scala-virtualized
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019
Software synthesis with sketching
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA
CCCP: complete calling context profiling in virtual execution environments
A walk in the semantic park
A note on elimination of simplest recursions
Program analysis for bug detection using parfait: invited talk
Removing runtime overhead for optimized object queries
Revisiting the Evolution of Effects (Invited Talk)
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Shifting the stage: staging with delimited control
Declarative specialization for object-oriented-program specialization
A practical and precise inference and specializer for array bound checks elimination
Lowering: a static optimization technique for transparent functional reactivity
An operational semantics for android activities
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions
Guided model checking for programs with polymorphism
Just do it while compiling!: fast extensible records in haskell
Semantic Foundations of Binding Time Analysis for Imperative Programs
Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures
Proving termination of membership equational programs
Towards Partially Evaluating Reflection in Java
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
Optimization of Equational Programs Using Partial Evaluation
Is There a Use for Linear Logic?
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
Implementing typeful program transformations
The Replacement Operation for CLP Modules
Invited talk: what's the future for proof-carrying code?
Type-directed weaving of aspects for higher-order functional languages
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Shonan challenge for generative programming: short position paper
Analyzing the Communication Topology of Concurrent Programs
Finally, safely-extensible and efficient language-integrated query
Action Transformation by Partial Evaluation
Clone detection and removal for Erlang/OTP within a refactoring environment
Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations
Compositionality in the puzzle of semantics
Symbolic bisimulation for open and parameterized systems
Verifying programs via iterated specialization
SIMILIX: A Self-Applicable Partial Evaluator for Scheme
Finding and fixing Java naming bugs with the Lancelot Eclipse plugin
Efficient and flexible access control via logic program specialisation
Abstract syntax graphs for domain specific languages
Partial Evaluation of Shaped Programs: Experience with FISh
Implementation of automatic differentiation tools
Mnemonics: type-safe bytecode generation at run time
Program transformation by solving recurrences
High-fidelity metaprogramming with separator syntax trees
Regular approximation and bounded domains for size-change termination
Conditional weighted pushdown systems and applications
Effect Systems with Subtyping
Early detection of type errors in C++ templates
Jones optimality, binding-time improvements, and the strength of program specializers
Incremental resource usage analysis
Polyvariant Specialisation for Higher-Order, Block-Structured Languages
Recursive programs in normal form (short paper)
Transformation of structure-shy programs: applied to XPath queries and strategic functions
Cost-augmented narrowing-driven specialization
A generative geometric kernel
Checking cryptographic API usage with composable annotations (short paper)
Speedup Analysis in Partial Evaluation: Preliminary Results
Slicing Software for Model Construction
Higher Order Expression Procedures
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009
IGOR2 - an analytical inductive functional programming system: tool demo
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
Semi-automatic ladderisation: improving code security through rewriting and dependent types
Behavioral similarity matching using concrete source code templates in logic queries
A modular and generic analysis server system for functional logic programs
Efficient fair conjunction for structurally-recursive relations
Object-sensitive Type Analysis of PHP
Tutorial on Specialisation of Logic Programs
Polynomial-time inverse computation for accumulative functions with multiple data traversals
HIPimm: verifying granular immutability guarantees
Control flow obfuscation via CPS transformation
Self-applicable C Program Specialization
Bidirectional interpretation of XQuery
Abstract specialization and its applications
Functional programs as compressed data
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer
A Transformation System for CLP with Dynamic Scheduling and CCP
Annotation-Directed Run-Time Specialization in C
Diffusion: Calculating Efficient Parallel Programs
Coq to C translation with partial evaluation
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement
Type-Based Useless Variable Elimination
Path dependent analysis of logic programs
Shifting Expression Procedures into Reverse
Poly-controlled partial evaluation in practice
Supporting objects in run-time bytecode specialization
Type-changing rewriting and semantics-preserving transformation
Cost versus precision for approximate typing for Python
A simpler lambda calculus
Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk)
From checking to inference via driving and dag grammars
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008
Is there a fourth Futamura projection?
Closing the stage: from staged code to typed closures
A flexible framework for programming with non-deterministicfunctions
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997
Dynamic path conditions in dependence graphs
Certifying Compilation and Run-Time Code Generation
GOOL: a generic object-oriented language
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017
PEG parsing in less space using progressive tabling and dynamic analysis
Towards a Reflection for Effect Handlers
Efficient implementation of tuple pattern based retrieval
Tasks: language support for event-driven programming
In memoriam Neil Deaton Jones
Module generation without regret
Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk)
Semantical Interprocedural Analysis by Partial Symbolic Evaluation
A guess-and-assume approach to loop fusion for program verification
Caching Intermediate Results for Program Improvement