# DimSum: A Decentralized Approach to Multi-language Semantics and Verification

> Research article (Proceedings of the ACM on Programming Languages, 2023) · cited 17× · AI/ML

**Wikidata**: [openalex:W4315630763](https://www.wikidata.org/wiki/openalex:W4315630763)  
**Source**: https://4ort.xyz/entity/dimsum-a-decentralized-approach-to-multi-language-semantics-and-verification