Multicategorical Semantics for Untyped Effects
2026-05-21T08:52:04Z•e2e9a94677e873be6eb09fb75c8bcca3fbbfeacd47360e4e0500ee5735d76e28
CXLLLM-agentsLLM-assisted-codeLLM-trainingarxivcategorical-semanticscorrectnesscryptodependency-managementdistributed-systemsmanaged-runtimesmemory-managementobject-relocationperformance-simulationprogramming-languagesresearchruntime-verificationsimulationsupply-chain
What happened
Collection of six arXiv papers (May 21, 2026) spanning programming-language theory, managed runtimes, machine learning systems, and tooling. Highlights with potential security relevance: (1) Clove — adds object-level CXL tiered-memory management to managed runtimes (JVM prototype) to reduce page-based overhead; enables object relocation and hotness tracking but introduces new attack surface regarding object placement, relocation policies, and potential confidentiality/integrity leaks across memory tiers. (2) Stdlib or Third-Party? (zerodep) — an empirical corpus of LLM-assisted, stdlib-only re
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- e2e9a94677e873be6eb09fb75c8bcca3fbbfeacd47360e4e0500ee5735d76e28
- Enrichment time
- 2026-05-21T08:52:04Z
- 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.