SSA without Dominance for Higher-Order Programs
2026-04-14T08:52:05Z•90a4cc9163105d884593f7ad36350f6b32b75f89484cf8e1416bf531a5c392a9
LLM-agentsSSATSANTclasynchronous-messagingatomicity-monitoringcompilersconcurrencycopy-on-writededuplicationdenotational-semanticsformal-methodsfree-variableshigher-order-languagesintermediate-representationmemory-optimizationperformancepointer-analysispoints-toprogram-analysisruntime-monitoringsecurity-sandboxingsession-typestyped-lambda-calculusvalue-semantics
What happened
Collection of PL research contributions focused on program representation, analyses, compilation, concurrency monitoring, and formal semantics. Key papers: (1) “SSA without Dominance” replaces dominance with free-variable driven IR and a nesting tree to extend SSA-style analyses to higher-order languages with better precision. (2) “Vanilla Object Orientation (VOO)” presents a value-semantics class framework for Tcl (copy-on-write lists/dicts) with large gains in allocation speed and memory use and a C++ migration path. (3) “Points-to Analysis Using MDE” introduces a Multi-level Deduplication (
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 90a4cc9163105d884593f7ad36350f6b32b75f89484cf8e1416bf531a5c392a9
- Enrichment time
- 2026-04-14T08:52:05Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.