Emanuele D’Osualdo

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

2023 · Proceedings of the ACM on Programming Languages

Prior work on multi-language program verification has achieved impressive results, including the compositional verification of complex compilers. But the existing approaches to this problem impose a variety of restrictions on the overall structure of multi-language …