Workshop on Partial Evaluation

Workshop on Partial Evaluation
Name	Workshop on Partial Evaluation
Abbreviation	PE
Discipline	Program transformation; Compiler optimization
Established	1990
Frequency	Annual / Biennial
Country	International

Workshop on Partial Evaluation

The Workshop on Partial Evaluation is a recurring scholarly meeting focused on partial evaluation, program specialization, just-in-time compilation, static analysis, and compiler optimization. It gathers researchers from programming languages, software engineering, formal methods, runtime systems, and verification communities to exchange advances in program transformation, partial deduction, interpretation techniques, and related domain-specific languages research. The workshop has been associated with major conferences and institutions such as ACM SIGPLAN, IFIP, ETAPS, POPL, and PLDI.

Overview

The workshop concentrates on topics including partial evaluation, automatic program generation, binding-time analysis, supercompilation, staged computation, multi-stage programming, template metaprogramming, operator specialization, abstract interpretation, and type-directed optimization. Participants often present work on interprocedural optimization, shape analysis, pointer analysis, alias analysis, garbage collection, runtime specialization, memory management, profiling-guided optimization, and domain-specific optimization techniques. The event attracts attendees from universities like MIT, Stanford University, University of Cambridge, University of Oxford, ETH Zurich, INRIA, University of Tokyo, University of California, Berkeley, University of Illinois Urbana-Champaign, and Carnegie Mellon University as well as researchers from industry labs such as Google Research, Microsoft Research, IBM Research, Oracle Corporation, NVIDIA Research, Intel Labs, and Facebook AI Research.

History and Editions

The workshop traces origins to early research in partial evaluation and program transformation in the late 1980s and early 1990s, evolving alongside conferences like ICFP, PLDI, POPL, ETAPS, and workshops associated with ACM SIGPLAN. Early editions featured contributors from institutions such as University of Copenhagen, University of Edinburgh, RIKEN, TU Delft, University of Warsaw, Katholieke Universiteit Leuven, University of Toronto, McGill University, and Australian National University. Over the years, editions have been colocated with events including ICFP 1994, ETAPS 2000, PLDI 2005, POPL 2010, and regional gatherings supported by IFIP WG 2.1 and IFIP WG 2.2. Proceedings were sometimes published in series by Springer, ACM Digital Library, and IEEE Xplore or distributed as technical reports from SRI International, Bell Labs, Los Alamos National Laboratory, and Max Planck Institute.

Topics and Themes

Recurring themes include specialization of interpretive languages such as Lisp, Scheme, Haskell, ML, OCaml, Java, C++, Rust, JavaScript, Python, and Lua; compilation for embedded systems and real-time systems; separation logic and formal verification of specialized code; and connections to partial deduction, supercompilation, symbolic execution, concolic testing, model checking, and satisfiability modulo theories. Cross-cutting concerns often reference tools and frameworks like LLVM, GCC, Soot, Frama-C, Coq, Isabelle/HOL, Agda, Z3, SPARK, Eclipse IDE, and Visual Studio Code.

Organizers and Program Committee

Organizing committees have included senior researchers affiliated with University of Minnesota, University of Washington, Imperial College London, University of Toronto, University of California, Santa Cruz, University of Pennsylvania, ETH Zurich, University of Pisa, Technical University of Munich, KTH Royal Institute of Technology, and Chalmers University of Technology. Program committees commonly feature experts who have contributed to foundational work in partial evaluation and program specialization from labs such as Microsoft Research Cambridge, AT&T Bell Labs, Nokia Bell Labs, Hewlett-Packard Labs, Samsung Research, Alibaba Group, Tencent, and companies with strong compiler research like Adobe Systems and ARM Holdings. Committees coordinate peer review alongside editorial boards from Springer Lecture Notes in Computer Science, ACM SIGPLAN Notices, and IEEE Transactions on Software Engineering.

Keynotes and Invited Talks

Invited speakers have included prominent figures associated with breakthroughs in partial evaluation and compiler theory, often known from affiliations such as INRIA Saclay, University of Edinburgh, University of Cambridge Computer Laboratory, MIT CSAIL, Stanford AI Lab, Princeton University, Yale University, Columbia University, Brown University, Delft University of Technology, University of British Columbia, Seoul National University, Tsinghua University, and Peking University. Keynote topics have spanned historical surveys of partial evaluation research, novel staging approaches, industrial applications in just-in-time compilers, and links to machine learning-driven optimization, with speakers who have been recognized by awards such as the Turing Award, ACM Fellow, IEEE Fellow, Royal Society Fellowship, and Royal Academy of Engineering honors.

Proceedings and Publications

Proceedings have appeared as edited volumes and special issues with publishers including Springer, ACM, IEEE, and as technical reports from organizations like SRI International and CESNET. Selected papers were later expanded for journals such as Journal of Functional Programming, ACM Transactions on Programming Languages and Systems, IEEE Transactions on Software Engineering, Software: Practice and Experience, Theoretical Computer Science, and Formal Aspects of Computing. Several influential artifacts—implementations of specializers, benchmarks, and datasets—have been archived at institutions like Dryad, Zenodo, arXiv, and university repositories from University of Cambridge, ETH Zurich, and INRIA.

Impact and Legacy

The workshop has influenced advances in compiler design, runtime specialization, domain-specific languages, and software verification and helped seed research directions in staged computation, multi-stage programming languages, just-in-time compilation, and automatic generation of efficient code for high-performance computing and embedded systems. Alumni include researchers who later contributed to major projects at Google, Apple, Microsoft, IBM, NVIDIA, Amazon Web Services, ARM, and academic leadership at Harvard University, Princeton University, ETH Zurich, Imperial College London, University of Oxford, and California Institute of Technology. The workshop's legacy persists through citations in proceedings of POPL, PLDI, ICFP, CGO, SOSP, and OSDI and through incorporation of partial evaluation techniques into mainstream toolchains such as GCC, LLVM, HotSpot, and V8.

Category:Computer science conferences