05:07
2026-06-03
pldi26.sigplan.org
ai-research
Semantic Reification: A New Paradigm for Random Program Generation
Researchers at ETH Zurich introduced semantic reification, a new paradigm for random program generation that constructs programs based on their control flow and execution paths rather than syntax, ens…