Why are partial evaluation and supercompilation still not widely used in practic
summary
Argues that partial evaluation and supercompilation repeatedly show concrete wins in research—Russian work produces prototypes (including a Novosibirsk supercompiler) that specialize interpreters and DSLs and yield real, repeatable speedups in lab benchmarks—but adoption stalls because tools remain brittle, target narrow domains, and demand heavy integration and maintenance costs. Demonstrates working prototypes for Java/.NET-style stacks and R&D case studies, but finds they rarely survive the jump to production.
AI-written summary · about
chapters (8)
- 0:00Partial evaluation & supercompilation intro
- 5:53Historical context
- 13:28Practical adoption challenges
- 20:18Technical barriers
- 27:47Case studies
- 35:31Research & tools today
- 43:14Future directions
- 50:10Q&A
related talks
09mCompilers for nothing, executables for free!
59mCompilers can be surprising
26mAn Analysis of Compiled Code Reusability in Dynamic Compilation
39mAsk Me Anything with Alex Aiken
59mSupercompilation, Partial Evaluation, Futamura Projections and How GraalVM Will Save the World
20mPartial Evaluation, Whole-Program Compilation
19mReusing Just-in-Time Compiled Code
40mYour Program as a Transpiler: Applying Compiler Design to Everyday Programming