DOI,IST REx ID,Title of publication
10.1145/3571220,17500,DimSum: A decentralized approach to multi-language semantics and verification